1546852485.933 * [misc]progress:  [Phase 1 of 3] Setting up.
1546852485.933 * * * [misc]progress:  [1/2] Preparing points
1546852485.933 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546852485.971 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546852485.971 * * * * [exit]points:  Sampled 256 points with exact outputs
1546852485.972 * * * [misc]progress:  [2/2] Setting up program.
1546852485.974 * [misc]progress:  [Phase 2 of 3] Improving.
1546852485.974 * * * * [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))))))>
1546852485.974 * [enter]simplify:  Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
1546852485.974 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852485.976 * * [misc]simplify:  iters left: 5 (22 enodes)
1546852485.979 * * [misc]simplify:  iters left: 4 (43 enodes)
1546852485.994 * * [misc]simplify:  iters left: 3 (93 enodes)
1546852486.028 * * [misc]simplify:  iters left: 2 (206 enodes)
1546852486.130 * * [misc]simplify:  iters left: 1 (399 enodes)
1546852486.440 * [exit]simplify:  Simplified to (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))))
1546852486.440 * [misc]simplify:  Simplified (2) to (λ (t) (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))))))
1546852486.445 * * [misc]progress:  iteration 1 / 4
1546852486.445 * * * [misc]progress:  picking best candidate
1546852486.447 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852486.447 * * * [misc]progress:  localizing error
1546852486.466 * * * [misc]progress:  generating rewritten candidates
1546852486.467 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
1546852486.474 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1546852486.481 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2 2)
1546852486.484 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 1)
1546852486.488 * * * [misc]progress:  generating series expansions
1546852486.488 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
1546852486.488 * [misc]backup-simplify:  Simplify (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) into (* 4 (/ (pow t 2) (pow (+ t 1) 2)))
1546852486.488 * [misc]approximate:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in (t) around 0
1546852486.488 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1546852486.488 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.488 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.489 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1546852486.489 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.489 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.489 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.489 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.489 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1546852486.489 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546852486.489 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.489 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.489 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.489 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.489 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.489 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.489 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.489 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.489 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.489 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1546852486.489 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.489 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.489 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1546852486.489 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.489 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.489 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.489 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.489 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1546852486.490 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546852486.490 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.490 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.490 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.490 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.490 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.490 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.490 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.490 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.490 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.490 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1546852486.490 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.490 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546852486.490 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.491 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1546852486.491 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 2 1)))) into -2
1546852486.491 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1546852486.491 * [misc]backup-simplify:  Simplify -8 into -8
1546852486.491 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546852486.491 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.491 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1546852486.492 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3
1546852486.492 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12
1546852486.492 * [misc]backup-simplify:  Simplify 12 into 12
1546852486.492 * [misc]backup-simplify:  Simplify (+ (* 12 (pow t 4)) (+ (* -8 (pow t 3)) (* 4 (pow t 2)))) into (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))
1546852486.492 * [misc]backup-simplify:  Simplify (* (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t)))) into (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))
1546852486.492 * [misc]approximate:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in (t) around 0
1546852486.492 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1546852486.492 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.492 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.492 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1546852486.492 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.492 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.492 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.492 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.492 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1546852486.492 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546852486.492 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.492 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.492 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.492 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.493 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.493 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.493 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.493 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.493 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.493 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.493 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.493 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1546852486.493 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1546852486.493 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.493 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.493 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1546852486.493 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.493 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.493 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.493 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.493 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1546852486.493 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546852486.493 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.493 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.493 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.493 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.493 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.494 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.494 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.494 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.494 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.494 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.494 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.494 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1546852486.494 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.494 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.494 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.495 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1546852486.495 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546852486.495 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 0 1)) into 2
1546852486.495 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 2 1)))) into -8
1546852486.495 * [misc]backup-simplify:  Simplify -8 into -8
1546852486.495 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.496 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.496 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1546852486.496 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546852486.496 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 2) (* 0 1))) into 1
1546852486.496 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 1 1)) (* -8 (/ 2 1)))) into 12
1546852486.496 * [misc]backup-simplify:  Simplify 12 into 12
1546852486.497 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1546852486.497 * [misc]backup-simplify:  Simplify (* (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t))))) into (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))
1546852486.497 * [misc]approximate:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in (t) around 0
1546852486.497 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1546852486.497 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.497 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.497 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1546852486.497 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.497 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.497 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.497 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.497 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1546852486.497 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546852486.497 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.497 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.497 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.497 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.497 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.497 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.497 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.497 * [misc]backup-simplify:  Simplify (- 1) into -1
1546852486.497 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546852486.498 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.498 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546852486.498 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.498 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1546852486.498 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1546852486.498 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.498 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.498 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1546852486.498 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.498 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.498 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.498 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.498 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1546852486.498 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546852486.498 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.498 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.498 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.498 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.498 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.498 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.498 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.498 * [misc]backup-simplify:  Simplify (- 1) into -1
1546852486.498 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546852486.499 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.499 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546852486.499 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.499 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1546852486.499 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.499 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.499 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.499 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.499 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
1546852486.500 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546852486.500 * [misc]backup-simplify:  Simplify (+ (* 1 -2) (* 0 1)) into -2
1546852486.500 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ -2 1)))) into 8
1546852486.500 * [misc]backup-simplify:  Simplify 8 into 8
1546852486.500 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.500 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.500 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.500 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1
1546852486.500 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546852486.501 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 -2) (* 0 1))) into 1
1546852486.501 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 1 1)) (* 8 (/ -2 1)))) into 12
1546852486.501 * [misc]backup-simplify:  Simplify 12 into 12
1546852486.501 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1546852486.501 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1546852486.501 * [misc]backup-simplify:  Simplify (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) into (* 4 (/ (pow t 2) (pow (+ t 1) 2)))
1546852486.501 * [misc]approximate:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in (t) around 0
1546852486.501 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1546852486.501 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.501 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.501 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1546852486.501 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.501 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.501 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.501 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.501 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1546852486.501 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546852486.501 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.501 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.501 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.501 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.501 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.502 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.502 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.502 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.502 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.502 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1546852486.502 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.502 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.502 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1546852486.502 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.502 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.502 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.502 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.502 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1546852486.502 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546852486.502 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.502 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.502 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.502 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.502 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.502 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.502 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.502 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.503 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.503 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1546852486.503 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.503 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546852486.503 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.503 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1546852486.503 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 2 1)))) into -2
1546852486.503 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1546852486.503 * [misc]backup-simplify:  Simplify -8 into -8
1546852486.504 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546852486.504 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.504 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1546852486.504 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3
1546852486.504 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12
1546852486.504 * [misc]backup-simplify:  Simplify 12 into 12
1546852486.504 * [misc]backup-simplify:  Simplify (+ (* 12 (pow t 4)) (+ (* -8 (pow t 3)) (* 4 (pow t 2)))) into (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))
1546852486.505 * [misc]backup-simplify:  Simplify (* (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t)))) into (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))
1546852486.505 * [misc]approximate:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in (t) around 0
1546852486.505 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1546852486.505 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.505 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.505 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1546852486.505 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.505 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.505 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.505 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.505 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1546852486.505 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546852486.505 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.505 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.505 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.505 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.505 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.505 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.505 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.505 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.505 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.505 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.505 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.505 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1546852486.506 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1546852486.506 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.506 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.506 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1546852486.506 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.506 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.506 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.506 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.506 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1546852486.506 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546852486.506 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.506 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.506 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.506 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.506 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.506 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.506 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.506 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.506 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.506 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.506 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.506 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1546852486.506 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.507 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.507 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.507 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1546852486.507 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546852486.507 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 0 1)) into 2
1546852486.507 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 2 1)))) into -8
1546852486.507 * [misc]backup-simplify:  Simplify -8 into -8
1546852486.507 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.508 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.508 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1546852486.508 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546852486.508 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 2) (* 0 1))) into 1
1546852486.508 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 1 1)) (* -8 (/ 2 1)))) into 12
1546852486.508 * [misc]backup-simplify:  Simplify 12 into 12
1546852486.508 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1546852486.509 * [misc]backup-simplify:  Simplify (* (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t))))) into (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))
1546852486.509 * [misc]approximate:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in (t) around 0
1546852486.509 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1546852486.509 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.509 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.509 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1546852486.509 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.509 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.509 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.509 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.509 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1546852486.509 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546852486.509 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.509 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.509 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.509 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.509 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.509 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.509 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.509 * [misc]backup-simplify:  Simplify (- 1) into -1
1546852486.509 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546852486.509 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.509 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546852486.510 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.510 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1546852486.510 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1546852486.510 * [misc]taylor:  Taking taylor expansion of 4 in t
1546852486.510 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.510 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1546852486.510 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1546852486.510 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.510 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.510 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.510 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1546852486.510 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546852486.510 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.510 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.510 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.510 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.510 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.510 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.510 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.510 * [misc]backup-simplify:  Simplify (- 1) into -1
1546852486.510 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546852486.510 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.510 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546852486.510 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546852486.511 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1546852486.511 * [misc]backup-simplify:  Simplify 4 into 4
1546852486.511 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.511 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.511 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.511 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
1546852486.511 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1546852486.511 * [misc]backup-simplify:  Simplify (+ (* 1 -2) (* 0 1)) into -2
1546852486.512 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ -2 1)))) into 8
1546852486.512 * [misc]backup-simplify:  Simplify 8 into 8
1546852486.512 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.512 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.512 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.512 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1
1546852486.512 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1546852486.512 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 -2) (* 0 1))) into 1
1546852486.513 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 1 1)) (* 8 (/ -2 1)))) into 12
1546852486.513 * [misc]backup-simplify:  Simplify 12 into 12
1546852486.513 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1546852486.513 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2 2)
1546852486.513 * [misc]backup-simplify:  Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1546852486.513 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1546852486.513 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546852486.513 * [misc]taylor:  Taking taylor expansion of 2 in t
1546852486.513 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.513 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546852486.513 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.513 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.513 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.513 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546852486.513 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.513 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.513 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.513 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.513 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.513 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.513 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.513 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546852486.513 * [misc]taylor:  Taking taylor expansion of 2 in t
1546852486.513 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.513 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546852486.513 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.513 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.513 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.513 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546852486.513 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.514 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.514 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.514 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.514 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.514 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.514 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.514 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1546852486.514 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.514 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.514 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1546852486.514 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1546852486.514 * [misc]backup-simplify:  Simplify -2 into -2
1546852486.514 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.515 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1546852486.515 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1546852486.515 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.515 * [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)))
1546852486.515 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1546852486.515 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1546852486.515 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546852486.515 * [misc]taylor:  Taking taylor expansion of 2 in t
1546852486.515 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.515 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546852486.515 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.515 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.515 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.515 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546852486.515 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.515 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.515 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.515 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.515 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.515 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.515 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.516 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.516 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546852486.516 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.516 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.516 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546852486.516 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546852486.516 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546852486.516 * [misc]taylor:  Taking taylor expansion of 2 in t
1546852486.516 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.516 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546852486.516 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.516 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.516 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.516 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546852486.516 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.516 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.516 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.516 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.516 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.516 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.516 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.517 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.517 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546852486.517 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.517 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.517 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546852486.517 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546852486.517 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.518 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.518 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.518 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1546852486.518 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1546852486.518 * [misc]backup-simplify:  Simplify -2 into -2
1546852486.518 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.518 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.519 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1546852486.519 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1546852486.519 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.519 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546852486.519 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1546852486.519 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1546852486.519 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546852486.519 * [misc]taylor:  Taking taylor expansion of -2 in t
1546852486.519 * [misc]backup-simplify:  Simplify -2 into -2
1546852486.519 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546852486.519 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.519 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.519 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.519 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546852486.519 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.519 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.519 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.519 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.519 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.519 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.519 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.519 * [misc]backup-simplify:  Simplify (- 1) into -1
1546852486.523 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546852486.523 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546852486.523 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.523 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.523 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.523 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546852486.523 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546852486.523 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546852486.523 * [misc]taylor:  Taking taylor expansion of -2 in t
1546852486.523 * [misc]backup-simplify:  Simplify -2 into -2
1546852486.523 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546852486.523 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.523 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.523 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.523 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546852486.523 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.524 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.524 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.524 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.524 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.524 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.524 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.524 * [misc]backup-simplify:  Simplify (- 1) into -1
1546852486.524 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546852486.524 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546852486.524 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.524 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.524 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.524 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546852486.525 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546852486.525 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.525 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.525 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.525 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.525 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1546852486.525 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1546852486.525 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.526 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.526 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.526 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.526 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1546852486.526 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1546852486.526 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.526 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546852486.526 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 1)
1546852486.526 * [misc]backup-simplify:  Simplify (/ (* 2 t) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1546852486.527 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1546852486.527 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546852486.527 * [misc]taylor:  Taking taylor expansion of 2 in t
1546852486.527 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.527 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546852486.527 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.527 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.527 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.527 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546852486.527 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.527 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.527 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.527 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.527 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.527 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.527 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.527 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1546852486.527 * [misc]taylor:  Taking taylor expansion of 2 in t
1546852486.527 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.527 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1546852486.527 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.527 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.527 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.527 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1546852486.527 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.527 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.527 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.527 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.527 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.527 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.527 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.527 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1546852486.528 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.528 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.528 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1546852486.528 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1546852486.528 * [misc]backup-simplify:  Simplify -2 into -2
1546852486.528 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.528 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1546852486.528 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1546852486.528 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.529 * [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)))
1546852486.529 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1546852486.529 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1546852486.529 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546852486.529 * [misc]taylor:  Taking taylor expansion of 2 in t
1546852486.529 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.529 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546852486.529 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.529 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.529 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.529 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546852486.529 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.529 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.529 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.529 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.529 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.529 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.529 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.529 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.529 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546852486.529 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.530 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.530 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546852486.530 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546852486.530 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1546852486.530 * [misc]taylor:  Taking taylor expansion of 2 in t
1546852486.530 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.530 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1546852486.530 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.530 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.530 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.530 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1546852486.530 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.530 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.530 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.530 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.530 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.530 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.530 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.530 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.530 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1546852486.530 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.531 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546852486.531 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1546852486.531 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1546852486.531 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.531 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.531 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.531 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1546852486.531 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1546852486.531 * [misc]backup-simplify:  Simplify -2 into -2
1546852486.532 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.532 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.532 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1546852486.532 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1546852486.532 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.532 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546852486.532 * [misc]backup-simplify:  Simplify (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1546852486.532 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1546852486.532 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546852486.532 * [misc]taylor:  Taking taylor expansion of -2 in t
1546852486.533 * [misc]backup-simplify:  Simplify -2 into -2
1546852486.533 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546852486.533 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.533 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.533 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.533 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546852486.533 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.533 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.533 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.533 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.533 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.533 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.533 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.533 * [misc]backup-simplify:  Simplify (- 1) into -1
1546852486.533 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546852486.533 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546852486.533 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.533 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.533 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.534 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546852486.534 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546852486.534 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1546852486.534 * [misc]taylor:  Taking taylor expansion of -2 in t
1546852486.534 * [misc]backup-simplify:  Simplify -2 into -2
1546852486.534 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1546852486.534 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.534 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.534 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.534 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1546852486.534 * [misc]taylor:  Taking taylor expansion of 1 in t
1546852486.534 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.534 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1546852486.534 * [misc]taylor:  Taking taylor expansion of t in t
1546852486.534 * [misc]backup-simplify:  Simplify 0 into 0
1546852486.534 * [misc]backup-simplify:  Simplify 1 into 1
1546852486.534 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546852486.534 * [misc]backup-simplify:  Simplify (- 1) into -1
1546852486.534 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546852486.534 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546852486.534 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546852486.535 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.535 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546852486.535 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546852486.535 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1546852486.535 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.535 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.535 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.535 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.535 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1546852486.536 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1546852486.536 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.536 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546852486.536 * [misc]backup-simplify:  Simplify (- 0) into 0
1546852486.536 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546852486.536 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1546852486.536 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1546852486.536 * [misc]backup-simplify:  Simplify 2 into 2
1546852486.537 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546852486.537 * * * [misc]progress:  simplifying candidates
1546852486.537 * * * * [misc]progress:  [ 1 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ 1 t)) (+ 1 1)))))>
1546852486.537 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1546852486.537 * * [misc]simplify:  iters left: 4 (6 enodes)
1546852486.538 * * [misc]simplify:  iters left: 3 (12 enodes)
1546852486.539 * * [misc]simplify:  iters left: 2 (14 enodes)
1546852486.541 * * [misc]simplify:  iters left: 1 (17 enodes)
1546852486.544 * [exit]simplify:  Simplified to (/ (* 2 t) (+ t 1))
1546852486.544 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ t 1)) (+ 1 1)))))
1546852486.544 * [enter]simplify:  Simplifying (+ 1 1)
1546852486.544 * * [misc]simplify:  iters left: 2 (2 enodes)
1546852486.545 * * [misc]simplify:  iters left: 1 (5 enodes)
1546852486.546 * [exit]simplify:  Simplified to 2
1546852486.546 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ 1 t)) 2))))
1546852486.546 * * * * [misc]progress:  [ 2 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1))))>
1546852486.547 * [enter]simplify:  Simplifying (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
1546852486.547 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852486.549 * * [misc]simplify:  iters left: 5 (17 enodes)
1546852486.554 * * [misc]simplify:  iters left: 4 (38 enodes)
1546852486.569 * * [misc]simplify:  iters left: 3 (88 enodes)
1546852486.596 * * [misc]simplify:  iters left: 2 (200 enodes)
1546852486.657 * * [misc]simplify:  iters left: 1 (388 enodes)
1546852487.056 * [exit]simplify:  Simplified to (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))
1546852487.057 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))) 1))))
1546852487.057 * * * * [misc]progress:  [ 3 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ 1 t)) 2))))>
1546852487.057 * * * * [misc]progress:  [ 4 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ 1 t)) (+ 1 1)))))>
1546852487.057 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1546852487.058 * * [misc]simplify:  iters left: 4 (6 enodes)
1546852487.059 * * [misc]simplify:  iters left: 3 (12 enodes)
1546852487.061 * * [misc]simplify:  iters left: 2 (14 enodes)
1546852487.063 * * [misc]simplify:  iters left: 1 (17 enodes)
1546852487.065 * [exit]simplify:  Simplified to (/ (* 2 t) (+ t 1))
1546852487.065 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ t 1)) (+ 1 1)))))
1546852487.065 * * * * [misc]progress:  [ 5 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1))))>
1546852487.065 * * * * [misc]progress:  [ 6 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (- (log (* 2 t)) (log (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))))))>
1546852487.065 * [enter]simplify:  Simplifying (+ (- (log (* 2 t)) (log (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))
1546852487.065 * * [misc]simplify:  iters left: 6 (9 enodes)
1546852487.067 * * [misc]simplify:  iters left: 5 (22 enodes)
1546852487.071 * * [misc]simplify:  iters left: 4 (45 enodes)
1546852487.082 * * [misc]simplify:  iters left: 3 (136 enodes)
1546852487.148 * * [misc]simplify:  iters left: 2 (378 enodes)
1546852487.361 * [exit]simplify:  Simplified to (+ (- (log (* 2 t)) (log (+ t 1))) (- (log (* 2 t)) (log (+ t 1))))
1546852487.361 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (- (log (* 2 t)) (log (+ t 1))) (- (log (* 2 t)) (log (+ t 1))))))))
1546852487.361 * * * * [misc]progress:  [ 7 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (- (log (* 2 t)) (log (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))))))>
1546852487.361 * [enter]simplify:  Simplifying (+ (- (log (* 2 t)) (log (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))
1546852487.361 * * [misc]simplify:  iters left: 6 (11 enodes)
1546852487.364 * * [misc]simplify:  iters left: 5 (25 enodes)
1546852487.368 * * [misc]simplify:  iters left: 4 (52 enodes)
1546852487.386 * * [misc]simplify:  iters left: 3 (142 enodes)
1546852487.433 * * [misc]simplify:  iters left: 2 (422 enodes)
1546852487.691 * [exit]simplify:  Simplified to (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))
1546852487.691 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))))))
1546852487.691 * * * * [misc]progress:  [ 8 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (/ (* 2 t) (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))))))>
1546852487.691 * [enter]simplify:  Simplifying (+ (log (/ (* 2 t) (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))
1546852487.691 * * [misc]simplify:  iters left: 6 (11 enodes)
1546852487.694 * * [misc]simplify:  iters left: 5 (25 enodes)
1546852487.698 * * [misc]simplify:  iters left: 4 (45 enodes)
1546852487.708 * * [misc]simplify:  iters left: 3 (129 enodes)
1546852487.761 * * [misc]simplify:  iters left: 2 (419 enodes)
1546852488.061 * [exit]simplify:  Simplified to (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))
1546852488.061 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))))))
1546852488.061 * * * * [misc]progress:  [ 9 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (/ (* 2 t) (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))))))>
1546852488.061 * [enter]simplify:  Simplifying (+ (log (/ (* 2 t) (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))
1546852488.062 * * [misc]simplify:  iters left: 6 (8 enodes)
1546852488.063 * * [misc]simplify:  iters left: 5 (17 enodes)
1546852488.066 * * [misc]simplify:  iters left: 4 (29 enodes)
1546852488.071 * * [misc]simplify:  iters left: 3 (65 enodes)
1546852488.094 * * [misc]simplify:  iters left: 2 (209 enodes)
1546852488.151 * [exit]simplify:  Simplified to (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))
1546852488.151 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))))))
1546852488.151 * * * * [misc]progress:  [ 10 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1546852488.151 * * * * [misc]progress:  [ 11 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (log (exp (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1546852488.151 * * * * [misc]progress:  [ 12 / 136 ] 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) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))))))>
1546852488.152 * [enter]simplify:  Simplifying (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1546852488.152 * * [misc]simplify:  iters left: 6 (11 enodes)
1546852488.154 * * [misc]simplify:  iters left: 5 (46 enodes)
1546852488.166 * * [misc]simplify:  iters left: 4 (182 enodes)
1546852488.398 * [exit]simplify:  Simplified to (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))
1546852488.399 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))))))
1546852488.399 * * * * [misc]progress:  [ 13 / 136 ] 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)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))))>
1546852488.399 * [enter]simplify:  Simplifying (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1546852488.399 * * [misc]simplify:  iters left: 6 (14 enodes)
1546852488.402 * * [misc]simplify:  iters left: 5 (58 enodes)
1546852488.429 * * [misc]simplify:  iters left: 4 (230 enodes)
1546852488.816 * [exit]simplify:  Simplified to (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))
1546852488.816 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))))))
1546852488.816 * * * * [misc]progress:  [ 14 / 136 ] 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) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))))))>
1546852488.817 * [enter]simplify:  Simplifying (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1546852488.817 * * [misc]simplify:  iters left: 6 (14 enodes)
1546852488.823 * * [misc]simplify:  iters left: 5 (58 enodes)
1546852488.854 * * [misc]simplify:  iters left: 4 (222 enodes)
1546852489.230 * [exit]simplify:  Simplified to (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))
1546852489.230 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))))))
1546852489.230 * * * * [misc]progress:  [ 15 / 136 ] 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)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))))>
1546852489.230 * [enter]simplify:  Simplifying (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1546852489.230 * * [misc]simplify:  iters left: 6 (9 enodes)
1546852489.234 * * [misc]simplify:  iters left: 5 (26 enodes)
1546852489.246 * * [misc]simplify:  iters left: 4 (97 enodes)
1546852489.310 * * [misc]simplify:  iters left: 3 (407 enodes)
1546852489.966 * [exit]simplify:  Simplified to (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))
1546852489.967 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))))))
1546852489.967 * * * * [misc]progress:  [ 16 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1546852489.968 * * * * [misc]progress:  [ 17 / 136 ] 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)))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1546852489.968 * * * * [misc]progress:  [ 18 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (sqrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (sqrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1546852489.968 * * * * [misc]progress:  [ 19 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (* 2 t) (* 2 t)) (* (+ 1 t) (+ 1 t))))))>
1546852489.968 * [enter]simplify:  Simplifying (* (* 2 t) (* 2 t))
1546852489.968 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852489.970 * * [misc]simplify:  iters left: 3 (9 enodes)
1546852489.973 * * [misc]simplify:  iters left: 2 (17 enodes)
1546852489.977 * * [misc]simplify:  iters left: 1 (21 enodes)
1546852489.983 * [exit]simplify:  Simplified to (* t (* 4 t))
1546852489.983 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* t (* 4 t)) (* (+ 1 t) (+ 1 t))))))
1546852489.983 * [enter]simplify:  Simplifying (* (+ 1 t) (+ 1 t))
1546852489.983 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852489.985 * * [misc]simplify:  iters left: 3 (13 enodes)
1546852489.990 * * [misc]simplify:  iters left: 2 (26 enodes)
1546852489.998 * * [misc]simplify:  iters left: 1 (38 enodes)
1546852490.014 * [exit]simplify:  Simplified to (* (+ t 1) (+ t 1))
1546852490.014 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* t (* 4 t)) (* (+ t 1) (+ t 1))))))
1546852490.014 * * * * [misc]progress:  [ 20 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1546852490.015 * * * * [misc]progress:  [ 21 / 136 ] 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)))))))>
1546852490.015 * [enter]simplify:  Simplifying (cbrt (/ (* 2 t) (+ 1 t)))
1546852490.015 * * [misc]simplify:  iters left: 5 (7 enodes)
1546852490.017 * * [misc]simplify:  iters left: 4 (13 enodes)
1546852490.020 * * [misc]simplify:  iters left: 3 (15 enodes)
1546852490.022 * * [misc]simplify:  iters left: 2 (18 enodes)
1546852490.024 * * [misc]simplify:  iters left: 1 (20 enodes)
1546852490.027 * [exit]simplify:  Simplified to (cbrt (/ (* 2 t) (+ t 1)))
1546852490.027 * [misc]simplify:  Simplified (2 2 2 2) to (λ (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) (+ t 1)))))))
1546852490.027 * * * * [misc]progress:  [ 22 / 136 ] 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)))))))>
1546852490.027 * [enter]simplify:  Simplifying (sqrt (/ (* 2 t) (+ 1 t)))
1546852490.027 * * [misc]simplify:  iters left: 5 (7 enodes)
1546852490.028 * * [misc]simplify:  iters left: 4 (13 enodes)
1546852490.030 * * [misc]simplify:  iters left: 3 (15 enodes)
1546852490.036 * * [misc]simplify:  iters left: 2 (18 enodes)
1546852490.038 * * [misc]simplify:  iters left: 1 (20 enodes)
1546852490.041 * [exit]simplify:  Simplified to (sqrt (/ (* 2 t) (+ t 1)))
1546852490.041 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (sqrt (/ (* 2 t) (+ 1 t)))) (sqrt (/ (* 2 t) (+ t 1)))))))
1546852490.041 * * * * [misc]progress:  [ 23 / 136 ] 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)))))))>
1546852490.041 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1546852490.041 * * [misc]simplify:  iters left: 5 (5 enodes)
1546852490.042 * * [misc]simplify:  iters left: 4 (8 enodes)
1546852490.043 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1546852490.043 * [misc]simplify:  Simplified (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)))))))
1546852490.043 * * * * [misc]progress:  [ 24 / 136 ] 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)))))))>
1546852490.043 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1546852490.043 * * [misc]simplify:  iters left: 5 (5 enodes)
1546852490.044 * * [misc]simplify:  iters left: 4 (8 enodes)
1546852490.045 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1546852490.045 * [misc]simplify:  Simplified (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)))))))
1546852490.045 * * * * [misc]progress:  [ 25 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 1)) (/ t (+ 1 t))))))>
1546852490.046 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1546852490.046 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852490.046 * * [misc]simplify:  iters left: 3 (7 enodes)
1546852490.047 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1546852490.047 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 1)) (/ t (+ 1 t))))))
1546852490.047 * * * * [misc]progress:  [ 26 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t))))))>
1546852490.048 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1546852490.048 * * [misc]simplify:  iters left: 4 (6 enodes)
1546852490.049 * * [misc]simplify:  iters left: 3 (12 enodes)
1546852490.051 * * [misc]simplify:  iters left: 2 (14 enodes)
1546852490.053 * * [misc]simplify:  iters left: 1 (17 enodes)
1546852490.055 * [exit]simplify:  Simplified to (/ (* 2 t) (+ t 1))
1546852490.055 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ t 1))))))
1546852490.055 * * * * [misc]progress:  [ 27 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (/ 1 (+ 1 t))))))>
1546852490.055 * [enter]simplify:  Simplifying (/ 1 (+ 1 t))
1546852490.055 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852490.056 * * [misc]simplify:  iters left: 3 (7 enodes)
1546852490.057 * [exit]simplify:  Simplified to (/ 1 (+ t 1))
1546852490.057 * [misc]simplify:  Simplified (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))))))
1546852490.057 * * * * [misc]progress:  [ 28 / 136 ] 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)))))))>
1546852490.057 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1546852490.057 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852490.059 * * [misc]simplify:  iters left: 5 (14 enodes)
1546852490.061 * * [misc]simplify:  iters left: 4 (25 enodes)
1546852490.065 * * [misc]simplify:  iters left: 3 (37 enodes)
1546852490.069 * * [misc]simplify:  iters left: 2 (41 enodes)
1546852490.075 * * [misc]simplify:  iters left: 1 (54 enodes)
1546852490.081 * [exit]simplify:  Simplified to (- (* t t) (- t 1))
1546852490.081 * [misc]simplify:  Simplified (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))))))
1546852490.081 * * * * [misc]progress:  [ 29 / 136 ] 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)))))>
1546852490.081 * [enter]simplify:  Simplifying (- 1 t)
1546852490.081 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852490.082 * * [misc]simplify:  iters left: 1 (7 enodes)
1546852490.083 * [exit]simplify:  Simplified to (- 1 t)
1546852490.083 * [misc]simplify:  Simplified (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)))))
1546852490.083 * * * * [misc]progress:  [ 30 / 136 ] 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)))))))>
1546852490.083 * [enter]simplify:  Simplifying (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))
1546852490.083 * * [misc]simplify:  iters left: 6 (8 enodes)
1546852490.084 * * [misc]simplify:  iters left: 5 (14 enodes)
1546852490.086 * * [misc]simplify:  iters left: 4 (16 enodes)
1546852490.088 * * [misc]simplify:  iters left: 3 (19 enodes)
1546852490.090 * * [misc]simplify:  iters left: 2 (21 enodes)
1546852490.093 * * [misc]simplify:  iters left: 1 (22 enodes)
1546852490.098 * [exit]simplify:  Simplified to (* (cbrt (/ (* 2 t) (+ t 1))) (cbrt (/ (* 2 t) (+ t 1))))
1546852490.098 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (cbrt (/ (* 2 t) (+ t 1))) (cbrt (/ (* 2 t) (+ t 1)))) (* (cbrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))
1546852490.098 * * * * [misc]progress:  [ 31 / 136 ] 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)))))))>
1546852490.098 * [enter]simplify:  Simplifying (sqrt (/ (* 2 t) (+ 1 t)))
1546852490.098 * * [misc]simplify:  iters left: 5 (7 enodes)
1546852490.100 * * [misc]simplify:  iters left: 4 (13 enodes)
1546852490.103 * * [misc]simplify:  iters left: 3 (15 enodes)
1546852490.107 * * [misc]simplify:  iters left: 2 (18 enodes)
1546852490.112 * * [misc]simplify:  iters left: 1 (20 enodes)
1546852490.117 * [exit]simplify:  Simplified to (sqrt (/ (* 2 t) (+ t 1)))
1546852490.117 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (sqrt (/ (* 2 t) (+ t 1))) (* (sqrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))
1546852490.117 * * * * [misc]progress:  [ 32 / 136 ] 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)))))))>
1546852490.117 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1546852490.117 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852490.120 * * [misc]simplify:  iters left: 5 (12 enodes)
1546852490.123 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1546852490.123 * [misc]simplify:  Simplified (2 2 2 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)))))))
1546852490.123 * * * * [misc]progress:  [ 33 / 136 ] 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)))))))>
1546852490.123 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1546852490.123 * * [misc]simplify:  iters left: 5 (6 enodes)
1546852490.125 * * [misc]simplify:  iters left: 4 (9 enodes)
1546852490.127 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1546852490.127 * [misc]simplify:  Simplified (2 2 2 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)))))))
1546852490.127 * * * * [misc]progress:  [ 34 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 1) (* (/ t (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1546852490.127 * [enter]simplify:  Simplifying (/ 2 1)
1546852490.127 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852490.128 * * [misc]simplify:  iters left: 1 (5 enodes)
1546852490.128 * [exit]simplify:  Simplified to 2
1546852490.128 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* 2 (* (/ t (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))
1546852490.128 * * * * [misc]progress:  [ 35 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1546852490.128 * * * * [misc]progress:  [ 36 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 t) (* (/ 1 (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1546852490.129 * [enter]simplify:  Simplifying (* 2 t)
1546852490.129 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852490.129 * * [misc]simplify:  iters left: 1 (4 enodes)
1546852490.130 * [exit]simplify:  Simplified to (* 2 t)
1546852490.130 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 t) (* (/ 1 (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))
1546852490.130 * * * * [misc]progress:  [ 37 / 136 ] 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)))))))>
1546852490.130 * [enter]simplify:  Simplifying (/ (* 2 t) (+ (pow 1 3) (pow t 3)))
1546852490.130 * * [misc]simplify:  iters left: 5 (9 enodes)
1546852490.133 * * [misc]simplify:  iters left: 4 (20 enodes)
1546852490.135 * * [misc]simplify:  iters left: 3 (22 enodes)
1546852490.137 * * [misc]simplify:  iters left: 2 (25 enodes)
1546852490.140 * * [misc]simplify:  iters left: 1 (27 enodes)
1546852490.143 * [exit]simplify:  Simplified to (/ (* 2 t) (+ 1 (pow t 3)))
1546852490.143 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 (pow t 3))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ (* 2 t) (+ 1 t)))))))
1546852490.143 * * * * [misc]progress:  [ 38 / 136 ] 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)))))))>
1546852490.144 * [enter]simplify:  Simplifying (/ (* 2 t) (- (* 1 1) (* t t)))
1546852490.144 * * [misc]simplify:  iters left: 6 (8 enodes)
1546852490.145 * * [misc]simplify:  iters left: 5 (15 enodes)
1546852490.147 * * [misc]simplify:  iters left: 4 (24 enodes)
1546852490.150 * * [misc]simplify:  iters left: 3 (31 enodes)
1546852490.154 * * [misc]simplify:  iters left: 2 (40 enodes)
1546852490.159 * * [misc]simplify:  iters left: 1 (50 enodes)
1546852490.165 * [exit]simplify:  Simplified to (/ 2 (- (/ 1 t) t))
1546852490.166 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 (- (/ 1 t) t)) (* (- 1 t) (/ (* 2 t) (+ 1 t)))))))
1546852490.166 * * * * [misc]progress:  [ 39 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (+ 1 t)))))>
1546852490.166 * [enter]simplify:  Simplifying (+ 1 t)
1546852490.166 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852490.166 * * [misc]simplify:  iters left: 1 (6 enodes)
1546852490.167 * [exit]simplify:  Simplified to (+ t 1)
1546852490.167 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (+ t 1)))))
1546852490.167 * * * * [misc]progress:  [ 40 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (* 2 t) (/ (* 2 t) (+ 1 t))) (+ 1 t)))))>
1546852490.167 * [enter]simplify:  Simplifying (* (* 2 t) (/ (* 2 t) (+ 1 t)))
1546852490.167 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852490.168 * * [misc]simplify:  iters left: 5 (18 enodes)
1546852490.171 * * [misc]simplify:  iters left: 4 (40 enodes)
1546852490.179 * * [misc]simplify:  iters left: 3 (67 enodes)
1546852490.191 * * [misc]simplify:  iters left: 2 (95 enodes)
1546852490.209 * * [misc]simplify:  iters left: 1 (118 enodes)
1546852490.230 * [exit]simplify:  Simplified to (* (* 2 t) (/ (* 2 t) (+ t 1)))
1546852490.230 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (* 2 t) (/ (* 2 t) (+ t 1))) (+ 1 t)))))
1546852490.230 * * * * [misc]progress:  [ 41 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852490.230 * * * * [misc]progress:  [ 42 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ 1 t)) (+ 1 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852490.230 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1546852490.230 * * [misc]simplify:  iters left: 4 (6 enodes)
1546852490.232 * * [misc]simplify:  iters left: 3 (12 enodes)
1546852490.235 * * [misc]simplify:  iters left: 2 (14 enodes)
1546852490.239 * * [misc]simplify:  iters left: 1 (17 enodes)
1546852490.244 * [exit]simplify:  Simplified to (/ (* 2 t) (+ t 1))
1546852490.244 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ t 1)) (+ 1 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852490.244 * [enter]simplify:  Simplifying (+ 1 1)
1546852490.244 * * [misc]simplify:  iters left: 2 (2 enodes)
1546852490.246 * * [misc]simplify:  iters left: 1 (5 enodes)
1546852490.247 * [exit]simplify:  Simplified to 2
1546852490.247 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ 1 t)) 2)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852490.247 * * * * [misc]progress:  [ 43 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852490.247 * [enter]simplify:  Simplifying (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
1546852490.247 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852490.250 * * [misc]simplify:  iters left: 5 (17 enodes)
1546852490.255 * * [misc]simplify:  iters left: 4 (38 enodes)
1546852490.263 * * [misc]simplify:  iters left: 3 (88 enodes)
1546852490.281 * * [misc]simplify:  iters left: 2 (200 enodes)
1546852490.360 * * [misc]simplify:  iters left: 1 (388 enodes)
1546852490.752 * [exit]simplify:  Simplified to (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))
1546852490.752 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (pow (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))) 1)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852490.752 * * * * [misc]progress:  [ 44 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ 1 t)) 2)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852490.752 * * * * [misc]progress:  [ 45 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ 1 t)) (+ 1 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852490.752 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1546852490.752 * * [misc]simplify:  iters left: 4 (6 enodes)
1546852490.753 * * [misc]simplify:  iters left: 3 (12 enodes)
1546852490.755 * * [misc]simplify:  iters left: 2 (14 enodes)
1546852490.756 * * [misc]simplify:  iters left: 1 (17 enodes)
1546852490.759 * [exit]simplify:  Simplified to (/ (* 2 t) (+ t 1))
1546852490.759 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ t 1)) (+ 1 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852490.759 * * * * [misc]progress:  [ 46 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852490.759 * * * * [misc]progress:  [ 47 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (+ (- (log (* 2 t)) (log (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852490.759 * [enter]simplify:  Simplifying (+ (- (log (* 2 t)) (log (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))
1546852490.759 * * [misc]simplify:  iters left: 6 (9 enodes)
1546852490.761 * * [misc]simplify:  iters left: 5 (22 enodes)
1546852490.765 * * [misc]simplify:  iters left: 4 (45 enodes)
1546852490.775 * * [misc]simplify:  iters left: 3 (136 enodes)
1546852490.809 * * [misc]simplify:  iters left: 2 (378 enodes)
1546852490.996 * [exit]simplify:  Simplified to (+ (- (log (* 2 t)) (log (+ t 1))) (- (log (* 2 t)) (log (+ t 1))))
1546852490.996 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (exp (+ (- (log (* 2 t)) (log (+ t 1))) (- (log (* 2 t)) (log (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852490.997 * * * * [misc]progress:  [ 48 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (+ (- (log (* 2 t)) (log (+ 1 t))) (log (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852490.997 * [enter]simplify:  Simplifying (+ (- (log (* 2 t)) (log (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))
1546852490.998 * * [misc]simplify:  iters left: 6 (11 enodes)
1546852491.000 * * [misc]simplify:  iters left: 5 (25 enodes)
1546852491.004 * * [misc]simplify:  iters left: 4 (52 enodes)
1546852491.017 * * [misc]simplify:  iters left: 3 (142 enodes)
1546852491.054 * * [misc]simplify:  iters left: 2 (422 enodes)
1546852491.279 * [exit]simplify:  Simplified to (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))
1546852491.279 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (exp (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852491.279 * * * * [misc]progress:  [ 49 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (+ (log (/ (* 2 t) (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852491.280 * [enter]simplify:  Simplifying (+ (log (/ (* 2 t) (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))
1546852491.280 * * [misc]simplify:  iters left: 6 (11 enodes)
1546852491.282 * * [misc]simplify:  iters left: 5 (25 enodes)
1546852491.287 * * [misc]simplify:  iters left: 4 (45 enodes)
1546852491.296 * * [misc]simplify:  iters left: 3 (129 enodes)
1546852491.347 * * [misc]simplify:  iters left: 2 (419 enodes)
1546852491.597 * [exit]simplify:  Simplified to (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))
1546852491.598 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (exp (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852491.598 * * * * [misc]progress:  [ 50 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (+ (log (/ (* 2 t) (+ 1 t))) (log (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852491.598 * [enter]simplify:  Simplifying (+ (log (/ (* 2 t) (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))
1546852491.598 * * [misc]simplify:  iters left: 6 (8 enodes)
1546852491.602 * * [misc]simplify:  iters left: 5 (17 enodes)
1546852491.607 * * [misc]simplify:  iters left: 4 (29 enodes)
1546852491.617 * * [misc]simplify:  iters left: 3 (65 enodes)
1546852491.651 * * [misc]simplify:  iters left: 2 (209 enodes)
1546852491.758 * [exit]simplify:  Simplified to (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))
1546852491.759 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (exp (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852491.759 * * * * [misc]progress:  [ 51 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852491.759 * * * * [misc]progress:  [ 52 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (log (exp (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852491.759 * * * * [misc]progress:  [ 53 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852491.759 * [enter]simplify:  Simplifying (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1546852491.759 * * [misc]simplify:  iters left: 6 (11 enodes)
1546852491.761 * * [misc]simplify:  iters left: 5 (46 enodes)
1546852491.773 * * [misc]simplify:  iters left: 4 (182 enodes)
1546852492.057 * [exit]simplify:  Simplified to (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))
1546852492.057 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (cbrt (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852492.057 * * * * [misc]progress:  [ 54 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852492.057 * [enter]simplify:  Simplifying (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1546852492.058 * * [misc]simplify:  iters left: 6 (14 enodes)
1546852492.064 * * [misc]simplify:  iters left: 5 (58 enodes)
1546852492.094 * * [misc]simplify:  iters left: 4 (230 enodes)
1546852492.546 * [exit]simplify:  Simplified to (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))
1546852492.546 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (cbrt (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852492.546 * * * * [misc]progress:  [ 55 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852492.546 * [enter]simplify:  Simplifying (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1546852492.547 * * [misc]simplify:  iters left: 6 (14 enodes)
1546852492.550 * * [misc]simplify:  iters left: 5 (58 enodes)
1546852492.571 * * [misc]simplify:  iters left: 4 (222 enodes)
1546852492.870 * [exit]simplify:  Simplified to (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))
1546852492.870 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (cbrt (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852492.870 * * * * [misc]progress:  [ 56 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 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))))))>
1546852492.870 * [enter]simplify:  Simplifying (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1546852492.870 * * [misc]simplify:  iters left: 6 (9 enodes)
1546852492.872 * * [misc]simplify:  iters left: 5 (26 enodes)
1546852492.883 * * [misc]simplify:  iters left: 4 (97 enodes)
1546852492.948 * * [misc]simplify:  iters left: 3 (407 enodes)
1546852493.593 * [exit]simplify:  Simplified to (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3))
1546852493.593 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (cbrt (* (pow (/ (* 2 t) (+ t 1)) 3) (pow (/ (* 2 t) (+ t 1)) 3)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.593 * * * * [misc]progress:  [ 57 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.594 * * * * [misc]progress:  [ 58 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 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))))))>
1546852493.594 * * * * [misc]progress:  [ 59 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (sqrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (sqrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.594 * * * * [misc]progress:  [ 60 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (/ (* (* 2 t) (* 2 t)) (* (+ 1 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.594 * [enter]simplify:  Simplifying (* (* 2 t) (* 2 t))
1546852493.594 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852493.595 * * [misc]simplify:  iters left: 3 (9 enodes)
1546852493.597 * * [misc]simplify:  iters left: 2 (17 enodes)
1546852493.601 * * [misc]simplify:  iters left: 1 (21 enodes)
1546852493.606 * [exit]simplify:  Simplified to (* t (* 4 t))
1546852493.606 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (/ (* t (* 4 t)) (* (+ 1 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.606 * [enter]simplify:  Simplifying (* (+ 1 t) (+ 1 t))
1546852493.606 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852493.607 * * [misc]simplify:  iters left: 3 (13 enodes)
1546852493.610 * * [misc]simplify:  iters left: 2 (26 enodes)
1546852493.614 * * [misc]simplify:  iters left: 1 (38 enodes)
1546852493.622 * [exit]simplify:  Simplified to (* (+ t 1) (+ t 1))
1546852493.623 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (/ (* t (* 4 t)) (* (+ t 1) (+ t 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.623 * * * * [misc]progress:  [ 61 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.623 * * * * [misc]progress:  [ 62 / 136 ] 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))))))>
1546852493.623 * [enter]simplify:  Simplifying (cbrt (/ (* 2 t) (+ 1 t)))
1546852493.623 * * [misc]simplify:  iters left: 5 (7 enodes)
1546852493.629 * * [misc]simplify:  iters left: 4 (13 enodes)
1546852493.631 * * [misc]simplify:  iters left: 3 (15 enodes)
1546852493.633 * * [misc]simplify:  iters left: 2 (18 enodes)
1546852493.635 * * [misc]simplify:  iters left: 1 (20 enodes)
1546852493.638 * [exit]simplify:  Simplified to (cbrt (/ (* 2 t) (+ t 1)))
1546852493.638 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))) (cbrt (/ (* 2 t) (+ t 1))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.638 * * * * [misc]progress:  [ 63 / 136 ] 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))))))>
1546852493.638 * [enter]simplify:  Simplifying (sqrt (/ (* 2 t) (+ 1 t)))
1546852493.638 * * [misc]simplify:  iters left: 5 (7 enodes)
1546852493.639 * * [misc]simplify:  iters left: 4 (13 enodes)
1546852493.641 * * [misc]simplify:  iters left: 3 (15 enodes)
1546852493.643 * * [misc]simplify:  iters left: 2 (18 enodes)
1546852493.645 * * [misc]simplify:  iters left: 1 (20 enodes)
1546852493.648 * [exit]simplify:  Simplified to (sqrt (/ (* 2 t) (+ t 1)))
1546852493.648 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (sqrt (/ (* 2 t) (+ 1 t)))) (sqrt (/ (* 2 t) (+ t 1))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.648 * * * * [misc]progress:  [ 64 / 136 ] 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))))))>
1546852493.648 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1546852493.648 * * [misc]simplify:  iters left: 5 (5 enodes)
1546852493.649 * * [misc]simplify:  iters left: 4 (8 enodes)
1546852493.651 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1546852493.651 * [misc]simplify:  Simplified (2 1 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))))))
1546852493.651 * * * * [misc]progress:  [ 65 / 136 ] 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))))))>
1546852493.652 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1546852493.652 * * [misc]simplify:  iters left: 5 (5 enodes)
1546852493.653 * * [misc]simplify:  iters left: 4 (8 enodes)
1546852493.655 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1546852493.655 * [misc]simplify:  Simplified (2 1 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))))))
1546852493.655 * * * * [misc]progress:  [ 66 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 1)) (/ t (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.655 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1546852493.655 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852493.656 * * [misc]simplify:  iters left: 3 (7 enodes)
1546852493.658 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1546852493.658 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 1)) (/ t (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.658 * * * * [misc]progress:  [ 67 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.658 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1546852493.658 * * [misc]simplify:  iters left: 4 (6 enodes)
1546852493.660 * * [misc]simplify:  iters left: 3 (12 enodes)
1546852493.663 * * [misc]simplify:  iters left: 2 (14 enodes)
1546852493.666 * * [misc]simplify:  iters left: 1 (17 enodes)
1546852493.670 * [exit]simplify:  Simplified to (/ (* 2 t) (+ t 1))
1546852493.670 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ t 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.670 * * * * [misc]progress:  [ 68 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (/ 1 (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.670 * [enter]simplify:  Simplifying (/ 1 (+ 1 t))
1546852493.670 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852493.671 * * [misc]simplify:  iters left: 3 (7 enodes)
1546852493.673 * [exit]simplify:  Simplified to (/ 1 (+ t 1))
1546852493.673 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (/ 1 (+ t 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.673 * * * * [misc]progress:  [ 69 / 136 ] 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))))))>
1546852493.673 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1546852493.673 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852493.676 * * [misc]simplify:  iters left: 5 (14 enodes)
1546852493.679 * * [misc]simplify:  iters left: 4 (25 enodes)
1546852493.685 * * [misc]simplify:  iters left: 3 (37 enodes)
1546852493.689 * * [misc]simplify:  iters left: 2 (41 enodes)
1546852493.694 * * [misc]simplify:  iters left: 1 (54 enodes)
1546852493.699 * [exit]simplify:  Simplified to (- (* t t) (- t 1))
1546852493.700 * [misc]simplify:  Simplified (2 1 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))))))
1546852493.700 * * * * [misc]progress:  [ 70 / 136 ] 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))))))>
1546852493.700 * [enter]simplify:  Simplifying (- 1 t)
1546852493.700 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852493.700 * * [misc]simplify:  iters left: 1 (7 enodes)
1546852493.701 * [exit]simplify:  Simplified to (- 1 t)
1546852493.701 * [misc]simplify:  Simplified (2 1 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))))))
1546852493.701 * * * * [misc]progress:  [ 71 / 136 ] 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))))))>
1546852493.701 * [enter]simplify:  Simplifying (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))
1546852493.701 * * [misc]simplify:  iters left: 6 (8 enodes)
1546852493.703 * * [misc]simplify:  iters left: 5 (14 enodes)
1546852493.704 * * [misc]simplify:  iters left: 4 (16 enodes)
1546852493.706 * * [misc]simplify:  iters left: 3 (19 enodes)
1546852493.709 * * [misc]simplify:  iters left: 2 (21 enodes)
1546852493.711 * * [misc]simplify:  iters left: 1 (22 enodes)
1546852493.714 * [exit]simplify:  Simplified to (* (cbrt (/ (* 2 t) (+ t 1))) (cbrt (/ (* 2 t) (+ t 1))))
1546852493.714 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* (cbrt (/ (* 2 t) (+ t 1))) (cbrt (/ (* 2 t) (+ t 1)))) (* (cbrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.714 * * * * [misc]progress:  [ 72 / 136 ] 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))))))>
1546852493.715 * [enter]simplify:  Simplifying (sqrt (/ (* 2 t) (+ 1 t)))
1546852493.715 * * [misc]simplify:  iters left: 5 (7 enodes)
1546852493.716 * * [misc]simplify:  iters left: 4 (13 enodes)
1546852493.718 * * [misc]simplify:  iters left: 3 (15 enodes)
1546852493.719 * * [misc]simplify:  iters left: 2 (18 enodes)
1546852493.723 * * [misc]simplify:  iters left: 1 (20 enodes)
1546852493.725 * [exit]simplify:  Simplified to (sqrt (/ (* 2 t) (+ t 1)))
1546852493.725 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (sqrt (/ (* 2 t) (+ t 1))) (* (sqrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.725 * * * * [misc]progress:  [ 73 / 136 ] 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))))))>
1546852493.726 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1546852493.726 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852493.727 * * [misc]simplify:  iters left: 5 (12 enodes)
1546852493.728 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1546852493.728 * [misc]simplify:  Simplified (2 1 2 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))))))
1546852493.728 * * * * [misc]progress:  [ 74 / 136 ] 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))))))>
1546852493.728 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1546852493.729 * * [misc]simplify:  iters left: 5 (6 enodes)
1546852493.729 * * [misc]simplify:  iters left: 4 (9 enodes)
1546852493.730 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1546852493.731 * [misc]simplify:  Simplified (2 1 2 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))))))
1546852493.731 * * * * [misc]progress:  [ 75 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ 2 1) (* (/ t (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.731 * [enter]simplify:  Simplifying (/ 2 1)
1546852493.731 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852493.731 * * [misc]simplify:  iters left: 1 (5 enodes)
1546852493.732 * [exit]simplify:  Simplified to 2
1546852493.732 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* 2 (* (/ t (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.732 * * * * [misc]progress:  [ 76 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.732 * * * * [misc]progress:  [ 77 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 2 t) (* (/ 1 (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.732 * [enter]simplify:  Simplifying (* 2 t)
1546852493.732 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852493.733 * * [misc]simplify:  iters left: 1 (4 enodes)
1546852493.733 * [exit]simplify:  Simplified to (* 2 t)
1546852493.733 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* 2 t) (* (/ 1 (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.733 * * * * [misc]progress:  [ 78 / 136 ] 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))))))>
1546852493.733 * [enter]simplify:  Simplifying (/ (* 2 t) (+ (pow 1 3) (pow t 3)))
1546852493.733 * * [misc]simplify:  iters left: 5 (9 enodes)
1546852493.736 * * [misc]simplify:  iters left: 4 (20 enodes)
1546852493.738 * * [misc]simplify:  iters left: 3 (22 enodes)
1546852493.740 * * [misc]simplify:  iters left: 2 (25 enodes)
1546852493.743 * * [misc]simplify:  iters left: 1 (27 enodes)
1546852493.747 * [exit]simplify:  Simplified to (/ (* 2 t) (+ 1 (pow t 3)))
1546852493.747 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 (pow t 3))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.747 * * * * [misc]progress:  [ 79 / 136 ] 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))))))>
1546852493.747 * [enter]simplify:  Simplifying (/ (* 2 t) (- (* 1 1) (* t t)))
1546852493.747 * * [misc]simplify:  iters left: 6 (8 enodes)
1546852493.748 * * [misc]simplify:  iters left: 5 (15 enodes)
1546852493.750 * * [misc]simplify:  iters left: 4 (24 enodes)
1546852493.754 * * [misc]simplify:  iters left: 3 (31 enodes)
1546852493.758 * * [misc]simplify:  iters left: 2 (40 enodes)
1546852493.764 * * [misc]simplify:  iters left: 1 (50 enodes)
1546852493.776 * [exit]simplify:  Simplified to (/ 2 (- (/ 1 t) t))
1546852493.776 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (/ 2 (- (/ 1 t) t)) (* (- 1 t) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.776 * * * * [misc]progress:  [ 80 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (/ (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (+ 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.777 * [enter]simplify:  Simplifying (+ 1 t)
1546852493.777 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852493.778 * * [misc]simplify:  iters left: 1 (6 enodes)
1546852493.779 * [exit]simplify:  Simplified to (+ t 1)
1546852493.779 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (/ (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (+ t 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.779 * * * * [misc]progress:  [ 81 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (/ (* (* 2 t) (/ (* 2 t) (+ 1 t))) (+ 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.779 * [enter]simplify:  Simplifying (* (* 2 t) (/ (* 2 t) (+ 1 t)))
1546852493.780 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852493.782 * * [misc]simplify:  iters left: 5 (18 enodes)
1546852493.788 * * [misc]simplify:  iters left: 4 (40 enodes)
1546852493.803 * * [misc]simplify:  iters left: 3 (67 enodes)
1546852493.821 * * [misc]simplify:  iters left: 2 (95 enodes)
1546852493.836 * * [misc]simplify:  iters left: 1 (118 enodes)
1546852493.855 * [exit]simplify:  Simplified to (* (* 2 t) (/ (* 2 t) (+ t 1)))
1546852493.855 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (/ (* (* 2 t) (/ (* 2 t) (+ t 1))) (+ 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852493.855 * * * * [misc]progress:  [ 82 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852493.855 * * * * [misc]progress:  [ 83 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (pow (/ (* 2 t) (+ 1 t)) 1)))))>
1546852493.855 * * * * [misc]progress:  [ 84 / 136 ] 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))))))))>
1546852493.855 * [enter]simplify:  Simplifying (- (log (* 2 t)) (log (+ 1 t)))
1546852493.855 * * [misc]simplify:  iters left: 5 (8 enodes)
1546852493.857 * * [misc]simplify:  iters left: 4 (17 enodes)
1546852493.860 * * [misc]simplify:  iters left: 3 (23 enodes)
1546852493.866 * * [misc]simplify:  iters left: 2 (31 enodes)
1546852493.874 * * [misc]simplify:  iters left: 1 (35 enodes)
1546852493.883 * [exit]simplify:  Simplified to (- (log (* 2 t)) (log (+ t 1)))
1546852493.883 * [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))))))))
1546852493.883 * * * * [misc]progress:  [ 85 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (exp (log (/ (* 2 t) (+ 1 t))))))))>
1546852493.883 * * * * [misc]progress:  [ 86 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (log (exp (/ (* 2 t) (+ 1 t))))))))>
1546852493.883 * * * * [misc]progress:  [ 87 / 136 ] 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))))))))>
1546852493.883 * [enter]simplify:  Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1546852493.883 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852493.888 * * [misc]simplify:  iters left: 5 (41 enodes)
1546852493.907 * * [misc]simplify:  iters left: 4 (130 enodes)
1546852494.053 * [exit]simplify:  Simplified to (pow (/ (* 2 t) (+ t 1)) 3)
1546852494.053 * [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))))))
1546852494.053 * * * * [misc]progress:  [ 88 / 136 ] 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))))))))>
1546852494.053 * * * * [misc]progress:  [ 89 / 136 ] 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))))))))>
1546852494.053 * * * * [misc]progress:  [ 90 / 136 ] 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))))))))>
1546852494.053 * * * * [misc]progress:  [ 91 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (- (* 2 t)) (- (+ 1 t)))))))>
1546852494.053 * * * * [misc]progress:  [ 92 / 136 ] 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))))))))>
1546852494.057 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1546852494.057 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852494.059 * * [misc]simplify:  iters left: 5 (12 enodes)
1546852494.063 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1546852494.063 * [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))))))))
1546852494.063 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1546852494.063 * * [misc]simplify:  iters left: 5 (5 enodes)
1546852494.065 * * [misc]simplify:  iters left: 4 (8 enodes)
1546852494.067 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1546852494.067 * [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))))))))
1546852494.067 * * * * [misc]progress:  [ 93 / 136 ] 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))))))))>
1546852494.067 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1546852494.067 * * [misc]simplify:  iters left: 5 (6 enodes)
1546852494.069 * * [misc]simplify:  iters left: 4 (9 enodes)
1546852494.071 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1546852494.071 * [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))))))))
1546852494.072 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1546852494.072 * * [misc]simplify:  iters left: 5 (5 enodes)
1546852494.073 * * [misc]simplify:  iters left: 4 (8 enodes)
1546852494.075 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1546852494.075 * [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))))))))
1546852494.075 * * * * [misc]progress:  [ 94 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (/ 2 1) (/ t (+ 1 t)))))))>
1546852494.076 * [enter]simplify:  Simplifying (/ 2 1)
1546852494.076 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852494.077 * * [misc]simplify:  iters left: 1 (5 enodes)
1546852494.078 * [exit]simplify:  Simplified to 2
1546852494.078 * [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)))))))
1546852494.078 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1546852494.078 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852494.079 * * [misc]simplify:  iters left: 3 (7 enodes)
1546852494.081 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1546852494.081 * [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)))))))
1546852494.081 * * * * [misc]progress:  [ 95 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* 1 (/ (* 2 t) (+ 1 t)))))))>
1546852494.081 * * * * [misc]progress:  [ 96 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (* (* 2 t) (/ 1 (+ 1 t)))))))>
1546852494.081 * * * * [misc]progress:  [ 97 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ 1 (/ (+ 1 t) (* 2 t)))))))>
1546852494.081 * * * * [misc]progress:  [ 98 / 136 ] 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)))))))>
1546852494.081 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1546852494.082 * * [misc]simplify:  iters left: 3 (4 enodes)
1546852494.083 * * [misc]simplify:  iters left: 2 (7 enodes)
1546852494.084 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1546852494.084 * [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)))))))
1546852494.084 * * * * [misc]progress:  [ 99 / 136 ] 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)))))))>
1546852494.085 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1546852494.085 * * [misc]simplify:  iters left: 3 (4 enodes)
1546852494.086 * * [misc]simplify:  iters left: 2 (7 enodes)
1546852494.088 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1546852494.088 * [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)))))))
1546852494.088 * * * * [misc]progress:  [ 100 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (/ (* 2 t) 1) (+ 1 t))))))>
1546852494.088 * [enter]simplify:  Simplifying (+ 1 t)
1546852494.088 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852494.089 * * [misc]simplify:  iters left: 1 (6 enodes)
1546852494.090 * [exit]simplify:  Simplified to (+ t 1)
1546852494.090 * [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))))))
1546852494.091 * * * * [misc]progress:  [ 101 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ 2 (/ (+ 1 t) t))))))>
1546852494.091 * * * * [misc]progress:  [ 102 / 136 ] 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))))))))>
1546852494.091 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1546852494.091 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852494.094 * * [misc]simplify:  iters left: 5 (14 enodes)
1546852494.096 * * [misc]simplify:  iters left: 4 (25 enodes)
1546852494.100 * * [misc]simplify:  iters left: 3 (37 enodes)
1546852494.104 * * [misc]simplify:  iters left: 2 (41 enodes)
1546852494.109 * * [misc]simplify:  iters left: 1 (54 enodes)
1546852494.114 * [exit]simplify:  Simplified to (- (* t t) (- t 1))
1546852494.114 * [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)))))))
1546852494.114 * * * * [misc]progress:  [ 103 / 136 ] 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))))))>
1546852494.114 * [enter]simplify:  Simplifying (- 1 t)
1546852494.115 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852494.115 * * [misc]simplify:  iters left: 1 (7 enodes)
1546852494.116 * [exit]simplify:  Simplified to (- 1 t)
1546852494.116 * [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))))))
1546852494.116 * * * * [misc]progress:  [ 104 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (pow (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t))))))>
1546852494.116 * * * * [misc]progress:  [ 105 / 136 ] 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))))))>
1546852494.116 * [enter]simplify:  Simplifying (- (log (* 2 t)) (log (+ 1 t)))
1546852494.116 * * [misc]simplify:  iters left: 5 (8 enodes)
1546852494.118 * * [misc]simplify:  iters left: 4 (17 enodes)
1546852494.121 * * [misc]simplify:  iters left: 3 (23 enodes)
1546852494.128 * * [misc]simplify:  iters left: 2 (31 enodes)
1546852494.136 * * [misc]simplify:  iters left: 1 (35 enodes)
1546852494.143 * [exit]simplify:  Simplified to (- (log (* 2 t)) (log (+ t 1)))
1546852494.144 * [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))))))
1546852494.144 * * * * [misc]progress:  [ 106 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (exp (log (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546852494.144 * * * * [misc]progress:  [ 107 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (log (exp (/ (* 2 t) (+ 1 t)))) (/ (* 2 t) (+ 1 t))))))>
1546852494.144 * * * * [misc]progress:  [ 108 / 136 ] 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))))))>
1546852494.144 * [enter]simplify:  Simplifying (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1546852494.144 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852494.148 * * [misc]simplify:  iters left: 5 (41 enodes)
1546852494.165 * * [misc]simplify:  iters left: 4 (130 enodes)
1546852494.270 * [exit]simplify:  Simplified to (pow (/ (* 2 t) (+ t 1)) 3)
1546852494.270 * [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))))))
1546852494.270 * * * * [misc]progress:  [ 109 / 136 ] 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))))))>
1546852494.270 * * * * [misc]progress:  [ 110 / 136 ] 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))))))>
1546852494.270 * * * * [misc]progress:  [ 111 / 136 ] 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))))))>
1546852494.270 * * * * [misc]progress:  [ 112 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (- (* 2 t)) (- (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546852494.270 * * * * [misc]progress:  [ 113 / 136 ] 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))))))>
1546852494.270 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1546852494.270 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852494.273 * * [misc]simplify:  iters left: 5 (12 enodes)
1546852494.276 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1546852494.276 * [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))))))
1546852494.276 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1546852494.276 * * [misc]simplify:  iters left: 5 (5 enodes)
1546852494.278 * * [misc]simplify:  iters left: 4 (8 enodes)
1546852494.280 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1546852494.280 * [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))))))
1546852494.280 * * * * [misc]progress:  [ 114 / 136 ] 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))))))>
1546852494.280 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1546852494.281 * * [misc]simplify:  iters left: 5 (6 enodes)
1546852494.282 * * [misc]simplify:  iters left: 4 (9 enodes)
1546852494.284 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1546852494.284 * [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))))))
1546852494.285 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1546852494.285 * * [misc]simplify:  iters left: 5 (5 enodes)
1546852494.286 * * [misc]simplify:  iters left: 4 (8 enodes)
1546852494.288 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1546852494.288 * [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))))))
1546852494.289 * * * * [misc]progress:  [ 115 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ 2 1) (/ t (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546852494.289 * [enter]simplify:  Simplifying (/ 2 1)
1546852494.289 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852494.290 * * [misc]simplify:  iters left: 1 (5 enodes)
1546852494.291 * [exit]simplify:  Simplified to 2
1546852494.291 * [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))))))
1546852494.291 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1546852494.291 * * [misc]simplify:  iters left: 4 (4 enodes)
1546852494.293 * * [misc]simplify:  iters left: 3 (7 enodes)
1546852494.294 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1546852494.294 * [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))))))
1546852494.294 * * * * [misc]progress:  [ 116 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 1 (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546852494.294 * * * * [misc]progress:  [ 117 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (* 2 t) (/ 1 (+ 1 t))) (/ (* 2 t) (+ 1 t))))))>
1546852494.294 * * * * [misc]progress:  [ 118 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 1 (/ (+ 1 t) (* 2 t))) (/ (* 2 t) (+ 1 t))))))>
1546852494.295 * * * * [misc]progress:  [ 119 / 136 ] 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))))))>
1546852494.295 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1546852494.295 * * [misc]simplify:  iters left: 3 (4 enodes)
1546852494.296 * * [misc]simplify:  iters left: 2 (7 enodes)
1546852494.298 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1546852494.298 * [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))))))
1546852494.298 * * * * [misc]progress:  [ 120 / 136 ] 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))))))>
1546852494.298 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1546852494.298 * * [misc]simplify:  iters left: 3 (4 enodes)
1546852494.300 * * [misc]simplify:  iters left: 2 (7 enodes)
1546852494.301 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1546852494.301 * [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))))))
1546852494.301 * * * * [misc]progress:  [ 121 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ (* 2 t) 1) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852494.301 * [enter]simplify:  Simplifying (+ 1 t)
1546852494.302 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852494.302 * * [misc]simplify:  iters left: 1 (6 enodes)
1546852494.304 * [exit]simplify:  Simplified to (+ t 1)
1546852494.304 * [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))))))
1546852494.304 * * * * [misc]progress:  [ 122 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 (/ (+ 1 t) t)) (/ (* 2 t) (+ 1 t))))))>
1546852494.304 * * * * [misc]progress:  [ 123 / 136 ] 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))))))>
1546852494.304 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1546852494.304 * * [misc]simplify:  iters left: 6 (7 enodes)
1546852494.307 * * [misc]simplify:  iters left: 5 (14 enodes)
1546852494.310 * * [misc]simplify:  iters left: 4 (25 enodes)
1546852494.318 * * [misc]simplify:  iters left: 3 (37 enodes)
1546852494.326 * * [misc]simplify:  iters left: 2 (41 enodes)
1546852494.336 * * [misc]simplify:  iters left: 1 (54 enodes)
1546852494.346 * [exit]simplify:  Simplified to (- (* t t) (- t 1))
1546852494.346 * [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))))))
1546852494.347 * * * * [misc]progress:  [ 124 / 136 ] 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))))))>
1546852494.347 * [enter]simplify:  Simplifying (- 1 t)
1546852494.347 * * [misc]simplify:  iters left: 2 (3 enodes)
1546852494.348 * * [misc]simplify:  iters left: 1 (7 enodes)
1546852494.350 * [exit]simplify:  Simplified to (- 1 t)
1546852494.350 * [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))))))
1546852494.350 * * * * [misc]progress:  [ 125 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3))))))>
1546852494.350 * [enter]simplify:  Simplifying (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))
1546852494.350 * * [misc]simplify:  iters left: 6 (14 enodes)
1546852494.355 * * [misc]simplify:  iters left: 5 (25 enodes)
1546852494.364 * * [misc]simplify:  iters left: 4 (55 enodes)
1546852494.381 * * [misc]simplify:  iters left: 3 (91 enodes)
1546852494.405 * * [misc]simplify:  iters left: 2 (128 enodes)
1546852494.445 * * [misc]simplify:  iters left: 1 (151 enodes)
1546852494.465 * [exit]simplify:  Simplified to (+ (* (* t t) (+ 4 (* t -8))) (* 12 (pow t 4)))
1546852494.465 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (+ (* (* t t) (+ 4 (* t -8))) (* 12 (pow t 4))))))
1546852494.465 * * * * [misc]progress:  [ 126 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))))))>
1546852494.466 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1546852494.466 * * [misc]simplify:  iters left: 6 (13 enodes)
1546852494.469 * * [misc]simplify:  iters left: 5 (27 enodes)
1546852494.474 * * [misc]simplify:  iters left: 4 (49 enodes)
1546852494.482 * * [misc]simplify:  iters left: 3 (75 enodes)
1546852494.492 * * [misc]simplify:  iters left: 2 (99 enodes)
1546852494.504 * * [misc]simplify:  iters left: 1 (135 enodes)
1546852494.519 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t)))
1546852494.519 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))
1546852494.519 * * * * [misc]progress:  [ 127 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))))))>
1546852494.519 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1546852494.519 * * [misc]simplify:  iters left: 6 (13 enodes)
1546852494.522 * * [misc]simplify:  iters left: 5 (27 enodes)
1546852494.527 * * [misc]simplify:  iters left: 4 (49 enodes)
1546852494.535 * * [misc]simplify:  iters left: 3 (75 enodes)
1546852494.544 * * [misc]simplify:  iters left: 2 (99 enodes)
1546852494.555 * * [misc]simplify:  iters left: 1 (135 enodes)
1546852494.572 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t)))
1546852494.572 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))
1546852494.572 * * * * [misc]progress:  [ 128 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852494.572 * [enter]simplify:  Simplifying (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))
1546852494.572 * * [misc]simplify:  iters left: 6 (14 enodes)
1546852494.574 * * [misc]simplify:  iters left: 5 (25 enodes)
1546852494.579 * * [misc]simplify:  iters left: 4 (55 enodes)
1546852494.588 * * [misc]simplify:  iters left: 3 (91 enodes)
1546852494.618 * * [misc]simplify:  iters left: 2 (128 enodes)
1546852494.640 * * [misc]simplify:  iters left: 1 (151 enodes)
1546852494.683 * [exit]simplify:  Simplified to (+ (* (* t t) (+ 4 (* t -8))) (* 12 (pow t 4)))
1546852494.683 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (+ 1 (+ (* (* t t) (+ 4 (* t -8))) (* 12 (pow t 4)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852494.684 * * * * [misc]progress:  [ 129 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852494.684 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1546852494.684 * * [misc]simplify:  iters left: 6 (13 enodes)
1546852494.690 * * [misc]simplify:  iters left: 5 (27 enodes)
1546852494.699 * * [misc]simplify:  iters left: 4 (49 enodes)
1546852494.712 * * [misc]simplify:  iters left: 3 (75 enodes)
1546852494.729 * * [misc]simplify:  iters left: 2 (99 enodes)
1546852494.748 * * [misc]simplify:  iters left: 1 (135 enodes)
1546852494.771 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t)))
1546852494.771 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (+ 1 (- (+ (/ -8 t) 4) (/ -12 (* t t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852494.771 * * * * [misc]progress:  [ 130 / 136 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1546852494.772 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1546852494.772 * * [misc]simplify:  iters left: 6 (13 enodes)
1546852494.777 * * [misc]simplify:  iters left: 5 (27 enodes)
1546852494.785 * * [misc]simplify:  iters left: 4 (49 enodes)
1546852494.799 * * [misc]simplify:  iters left: 3 (75 enodes)
1546852494.817 * * [misc]simplify:  iters left: 2 (99 enodes)
1546852494.838 * * [misc]simplify:  iters left: 1 (135 enodes)
1546852494.866 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t)))
1546852494.866 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (+ 1 (- (+ (/ -8 t) 4) (/ -12 (* t t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1546852494.866 * * * * [misc]progress:  [ 131 / 136 ] 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)))))))>
1546852494.867 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1546852494.867 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852494.870 * * [misc]simplify:  iters left: 5 (23 enodes)
1546852494.879 * * [misc]simplify:  iters left: 4 (56 enodes)
1546852494.899 * * [misc]simplify:  iters left: 3 (107 enodes)
1546852494.938 * * [misc]simplify:  iters left: 2 (205 enodes)
1546852495.023 * * [misc]simplify:  iters left: 1 (364 enodes)
1546852495.270 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1546852495.270 * [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))))))
1546852495.270 * * * * [misc]progress:  [ 132 / 136 ] 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)))))))>
1546852495.270 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546852495.270 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852495.275 * * [misc]simplify:  iters left: 5 (23 enodes)
1546852495.285 * * [misc]simplify:  iters left: 4 (46 enodes)
1546852495.307 * * [misc]simplify:  iters left: 3 (83 enodes)
1546852495.346 * * [misc]simplify:  iters left: 2 (117 enodes)
1546852495.379 * * [misc]simplify:  iters left: 1 (165 enodes)
1546852495.403 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546852495.403 * [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)))))))
1546852495.403 * * * * [misc]progress:  [ 133 / 136 ] 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)))))))>
1546852495.403 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546852495.403 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852495.408 * * [misc]simplify:  iters left: 5 (23 enodes)
1546852495.416 * * [misc]simplify:  iters left: 4 (46 enodes)
1546852495.428 * * [misc]simplify:  iters left: 3 (83 enodes)
1546852495.447 * * [misc]simplify:  iters left: 2 (117 enodes)
1546852495.478 * * [misc]simplify:  iters left: 1 (165 enodes)
1546852495.500 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546852495.500 * [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)))))))
1546852495.500 * * * * [misc]progress:  [ 134 / 136 ] 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))))))>
1546852495.501 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1546852495.501 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852495.502 * * [misc]simplify:  iters left: 5 (23 enodes)
1546852495.507 * * [misc]simplify:  iters left: 4 (56 enodes)
1546852495.517 * * [misc]simplify:  iters left: 3 (107 enodes)
1546852495.558 * * [misc]simplify:  iters left: 2 (205 enodes)
1546852495.686 * * [misc]simplify:  iters left: 1 (364 enodes)
1546852495.971 * [exit]simplify:  Simplified to (* (- (* t t) (- t 1)) (* t 2))
1546852495.971 * [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))))))
1546852495.971 * * * * [misc]progress:  [ 135 / 136 ] 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))))))>
1546852495.972 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546852495.972 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852495.976 * * [misc]simplify:  iters left: 5 (23 enodes)
1546852495.986 * * [misc]simplify:  iters left: 4 (46 enodes)
1546852496.008 * * [misc]simplify:  iters left: 3 (83 enodes)
1546852496.046 * * [misc]simplify:  iters left: 2 (117 enodes)
1546852496.089 * * [misc]simplify:  iters left: 1 (165 enodes)
1546852496.133 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546852496.133 * [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))))))
1546852496.133 * * * * [misc]progress:  [ 136 / 136 ] 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))))))>
1546852496.134 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1546852496.134 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852496.138 * * [misc]simplify:  iters left: 5 (23 enodes)
1546852496.148 * * [misc]simplify:  iters left: 4 (46 enodes)
1546852496.171 * * [misc]simplify:  iters left: 3 (83 enodes)
1546852496.212 * * [misc]simplify:  iters left: 2 (117 enodes)
1546852496.258 * * [misc]simplify:  iters left: 1 (165 enodes)
1546852496.305 * [exit]simplify:  Simplified to (+ (- 2 (/ 2 t)) (/ 2 (* t t)))
1546852496.305 * [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))))))
1546852496.305 * * * [misc]progress:  adding candidates to table
1546852497.441 * [misc]progress:  [Phase 3 of 3] Extracting.
1546852497.445 * [enter]simplify:  Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
1546852497.445 * * [misc]simplify:  iters left: 6 (10 enodes)
1546852497.446 * * [misc]simplify:  iters left: 5 (16 enodes)
1546852497.447 * [exit]simplify:  Simplified to (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))))
1546852497.447 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546852498.589 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546852499.001 * * * * [exit]points:  Sampled 8000 points with exact outputs
1546852499.143 * [misc]regime-testing:  Baseline error score: 0.049250733494224576
1546852499.144 * [misc]regime-testing:  Oracle error score: 0.049250733494224576
1546852499.144 * [misc]regime-testing:  End program error score: 0.049250733494224576