1550842264.168 * [misc]progress:  [Phase 1 of 3] Setting up.
1550842264.168 * * * [misc]progress:  [1/2] Preparing points
1550842264.213 * * * [misc]progress:  [2/2] Setting up program.
1550842264.217 * [misc]progress:  [Phase 2 of 3] Improving.
1550842264.217 * * * * [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))))))>
1550842264.217 * [enter]simplify:  Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
1550842264.217 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842264.223 * * [misc]simplify:  iters left: 5 (42 enodes)
1550842264.231 * * [misc]simplify:  iters left: 4 (74 enodes)
1550842264.245 * * [misc]simplify:  iters left: 3 (146 enodes)
1550842264.289 * * [misc]simplify:  iters left: 2 (295 enodes)
1550842264.428 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.428 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842264.428 * * [misc]simplify:  Extracting #2: cost 11 inf + 0
1550842264.428 * * [misc]simplify:  Extracting #3: cost 58 inf + 2
1550842264.429 * * [misc]simplify:  Extracting #4: cost 86 inf + 3481
1550842264.433 * * [misc]simplify:  Extracting #5: cost 13 inf + 13026
1550842264.437 * * [misc]simplify:  Extracting #6: cost 0 inf + 14744
1550842264.442 * [exit]simplify:  Simplified to (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2))
1550842264.442 * [misc]simplify:  Simplified (2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842264.447 * * [misc]progress:  iteration 1 / 4
1550842264.447 * * * [misc]progress:  picking best candidate
1550842264.449 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842264.450 * * * [misc]progress:  localizing error
1550842264.481 * * * [misc]progress:  generating rewritten candidates
1550842264.481 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
1550842264.489 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1)
1550842264.496 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1550842264.503 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1550842264.512 * * * [misc]progress:  generating series expansions
1550842264.512 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
1550842264.512 * [misc]backup-simplify:  Simplify (/ (* t 2) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1550842264.512 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1550842264.512 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1550842264.513 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.513 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.513 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1550842264.513 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.513 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.513 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.513 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842264.513 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.513 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.513 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.513 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.513 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.513 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.513 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.513 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1550842264.513 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.514 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.514 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1550842264.514 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.514 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.514 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.514 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842264.514 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.514 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.514 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.514 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.514 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.514 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.514 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.514 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842264.514 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.515 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.515 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1550842264.515 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842264.515 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.515 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.516 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1550842264.516 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1550842264.516 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.516 * [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)))
1550842264.516 * [misc]backup-simplify:  Simplify (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1550842264.516 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1550842264.517 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1550842264.517 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.517 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.517 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1550842264.517 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.517 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.517 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.517 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842264.517 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.517 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.517 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.517 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.517 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.517 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.517 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.517 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.517 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1550842264.518 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.518 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.518 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1550842264.518 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1550842264.518 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1550842264.518 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.518 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.518 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1550842264.518 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.518 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.518 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.518 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842264.518 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.518 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.518 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.519 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.519 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.519 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.519 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.519 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.519 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1550842264.519 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.520 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.520 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1550842264.520 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1550842264.521 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.521 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.521 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.521 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1550842264.522 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1550842264.522 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.522 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.522 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.523 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1550842264.523 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1550842264.523 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.523 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842264.524 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1550842264.524 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1550842264.524 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1550842264.524 * [misc]taylor:  Taking taylor expansion of -2 in t
1550842264.524 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.524 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1550842264.524 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.524 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.524 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.524 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842264.524 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.524 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.524 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.524 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.524 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.524 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.524 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.524 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842264.524 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842264.525 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1550842264.525 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.525 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.525 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.525 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1550842264.525 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1550842264.526 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1550842264.526 * [misc]taylor:  Taking taylor expansion of -2 in t
1550842264.526 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.526 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1550842264.526 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.526 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.526 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.526 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842264.526 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.526 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.526 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.526 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.526 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.526 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.526 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.526 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842264.526 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842264.526 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1550842264.527 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.527 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.527 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.527 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1550842264.527 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1550842264.528 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.528 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.528 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.528 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.528 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1550842264.529 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1550842264.529 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.529 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.529 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.529 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.530 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1550842264.530 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1550842264.530 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.530 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842264.530 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1)
1550842264.531 * [misc]backup-simplify:  Simplify (/ (* t 2) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1550842264.531 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1550842264.531 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1550842264.531 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.531 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.531 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1550842264.531 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.531 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.531 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.531 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842264.531 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.531 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.531 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.531 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.531 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.531 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.531 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.531 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1550842264.531 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.531 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.531 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1550842264.531 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.531 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.531 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.532 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842264.532 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.532 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.532 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.532 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.532 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.532 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.532 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.532 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842264.532 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.532 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.533 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1550842264.533 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842264.533 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.533 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.533 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1550842264.534 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1550842264.534 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.534 * [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)))
1550842264.534 * [misc]backup-simplify:  Simplify (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1550842264.534 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1550842264.534 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1550842264.534 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.534 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.534 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1550842264.534 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.534 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.534 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.534 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842264.534 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.534 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.534 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.534 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.535 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.535 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.535 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.535 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.535 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1550842264.535 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.535 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.536 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1550842264.536 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1550842264.536 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1550842264.536 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.536 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.536 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1550842264.536 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.536 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.536 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.536 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842264.536 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.536 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.536 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.536 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.536 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.536 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.536 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.536 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.537 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1550842264.537 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.537 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.537 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1550842264.537 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1550842264.538 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.538 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.538 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.538 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1550842264.539 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1550842264.539 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.539 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.539 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.540 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1550842264.540 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1550842264.540 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.540 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842264.541 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1550842264.541 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1550842264.541 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1550842264.541 * [misc]taylor:  Taking taylor expansion of -2 in t
1550842264.541 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.541 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1550842264.541 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.541 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.541 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.541 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842264.541 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.541 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.541 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.541 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.541 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.541 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.541 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.541 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842264.541 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842264.542 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1550842264.542 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.542 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.542 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.542 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1550842264.543 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1550842264.543 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1550842264.543 * [misc]taylor:  Taking taylor expansion of -2 in t
1550842264.543 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.543 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1550842264.543 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.543 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.543 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.543 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842264.543 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.543 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.543 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.543 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.543 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.543 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.543 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.543 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842264.543 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842264.544 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1550842264.544 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.544 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.544 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.544 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1550842264.545 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1550842264.545 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.545 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.545 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.545 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.546 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1550842264.546 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1550842264.546 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.546 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.546 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.547 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.547 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1550842264.547 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1550842264.547 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.548 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842264.548 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1550842264.548 * [misc]backup-simplify:  Simplify (/ (* t 2) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1550842264.548 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1550842264.548 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1550842264.548 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.548 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.548 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1550842264.548 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.548 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.548 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.548 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842264.548 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.548 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.548 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.548 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.548 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.548 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.549 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.549 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1550842264.549 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.549 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.549 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1550842264.549 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.549 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.549 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.549 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842264.549 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.549 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.549 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.549 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.549 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.549 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.549 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.550 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842264.550 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.550 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.550 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1550842264.550 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842264.550 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.551 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.551 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1550842264.551 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1550842264.551 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.552 * [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)))
1550842264.552 * [misc]backup-simplify:  Simplify (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1550842264.552 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1550842264.552 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1550842264.552 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.552 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.552 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1550842264.552 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.552 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.552 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.552 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842264.552 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.552 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.552 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.552 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.553 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.553 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.553 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.553 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.553 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1550842264.553 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.553 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.554 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1550842264.554 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1550842264.554 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1550842264.554 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.554 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.554 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1550842264.554 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.554 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.554 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.554 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842264.554 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.554 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.554 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.554 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.554 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.554 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.554 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.555 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.555 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1550842264.555 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.555 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.555 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1550842264.555 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1550842264.556 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.556 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.556 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.556 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1550842264.557 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1550842264.557 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.557 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.558 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.558 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1550842264.558 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1550842264.558 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.559 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842264.559 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1550842264.559 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1550842264.559 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1550842264.559 * [misc]taylor:  Taking taylor expansion of -2 in t
1550842264.559 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.559 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1550842264.559 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.559 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.559 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.559 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842264.559 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.559 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.559 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.559 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.559 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.559 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.560 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.560 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842264.560 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842264.560 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1550842264.560 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.561 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.561 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.561 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1550842264.561 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1550842264.561 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1550842264.561 * [misc]taylor:  Taking taylor expansion of -2 in t
1550842264.561 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.561 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1550842264.561 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.561 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.561 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.561 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842264.561 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.561 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.561 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.561 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.561 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.561 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.562 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.562 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842264.562 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842264.562 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1550842264.562 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.563 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.563 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.563 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1550842264.563 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1550842264.563 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.564 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.564 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.564 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.564 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1550842264.564 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1550842264.564 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.565 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.565 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.565 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.566 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1550842264.566 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1550842264.566 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.566 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842264.566 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1550842264.567 * [misc]backup-simplify:  Simplify (/ (* t 2) (+ 1 t)) into (* 2 (/ t (+ t 1)))
1550842264.567 * [misc]approximate:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in (t) around 0
1550842264.567 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1550842264.567 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.567 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.567 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1550842264.567 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.567 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.567 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.567 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842264.567 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.567 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.567 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.567 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.567 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.567 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.567 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.567 * [misc]taylor:  Taking taylor expansion of (* 2 (/ t (+ t 1))) in t
1550842264.567 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.567 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.567 * [misc]taylor:  Taking taylor expansion of (/ t (+ t 1)) in t
1550842264.567 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.567 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.568 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.568 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842264.568 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.568 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.568 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.568 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.568 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.568 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.568 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.568 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842264.568 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.568 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.569 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1550842264.569 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842264.569 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.569 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.569 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1550842264.570 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1550842264.570 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.570 * [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)))
1550842264.570 * [misc]backup-simplify:  Simplify (/ (* (/ 1 t) 2) (+ 1 (/ 1 t))) into (/ 2 (* t (+ (/ 1 t) 1)))
1550842264.570 * [misc]approximate:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in (t) around 0
1550842264.570 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1550842264.570 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.570 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.570 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1550842264.571 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.571 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.571 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.571 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842264.571 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.571 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.571 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.571 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.571 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.571 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.571 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.571 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.571 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1550842264.571 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.572 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.572 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1550842264.572 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1550842264.572 * [misc]taylor:  Taking taylor expansion of (/ 2 (* t (+ (/ 1 t) 1))) in t
1550842264.572 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842264.572 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.572 * [misc]taylor:  Taking taylor expansion of (* t (+ (/ 1 t) 1)) in t
1550842264.572 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.572 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.572 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.572 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842264.572 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.572 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.572 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.572 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.572 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.573 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.573 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.573 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.573 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1550842264.573 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.573 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842264.573 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1550842264.574 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1550842264.574 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.574 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.574 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.574 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1550842264.575 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 1 1)))) into -2
1550842264.575 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.575 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.575 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.575 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1550842264.576 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* -2 (/ 1 1)))) into 2
1550842264.576 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.576 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842264.576 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- t)) 2) (+ 1 (/ 1 (- t)))) into (/ -2 (* t (- 1 (/ 1 t))))
1550842264.576 * [misc]approximate:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in (t) around 0
1550842264.576 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1550842264.576 * [misc]taylor:  Taking taylor expansion of -2 in t
1550842264.576 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.576 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1550842264.576 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.576 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.576 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.576 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842264.576 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.576 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.576 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.577 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.577 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.577 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.577 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.577 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842264.577 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842264.577 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1550842264.577 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.578 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.578 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.578 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1550842264.578 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1550842264.578 * [misc]taylor:  Taking taylor expansion of (/ -2 (* t (- 1 (/ 1 t)))) in t
1550842264.578 * [misc]taylor:  Taking taylor expansion of -2 in t
1550842264.578 * [misc]backup-simplify:  Simplify -2 into -2
1550842264.578 * [misc]taylor:  Taking taylor expansion of (* t (- 1 (/ 1 t))) in t
1550842264.578 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.578 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.578 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.578 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842264.578 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842264.578 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.578 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842264.578 * [misc]taylor:  Taking taylor expansion of t in t
1550842264.578 * [misc]backup-simplify:  Simplify 0 into 0
1550842264.578 * [misc]backup-simplify:  Simplify 1 into 1
1550842264.579 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842264.579 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842264.579 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842264.579 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1550842264.579 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842264.579 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.579 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842264.580 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1550842264.580 * [misc]backup-simplify:  Simplify (/ -2 -1) into 2
1550842264.580 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.580 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.580 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.581 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.581 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1550842264.581 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 1 -1)))) into 2
1550842264.581 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.582 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550842264.582 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842264.582 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842264.582 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1550842264.583 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 2 (/ 0 -1)) (* 2 (/ 1 -1)))) into 2
1550842264.583 * [misc]backup-simplify:  Simplify 2 into 2
1550842264.583 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842264.583 * * * [misc]progress:  simplifying candidates
1550842264.583 * * * * [misc]progress:  [ 1 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (log1p (expm1 (/ (* t 2) (+ 1 t)))) 2)))>
1550842264.583 * * * * [misc]progress:  [ 2 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (expm1 (log1p (/ (* t 2) (+ 1 t)))) 2)))>
1550842264.583 * * * * [misc]progress:  [ 3 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (pow (/ (* t 2) (+ 1 t)) 1) 2)))>
1550842264.583 * * * * [misc]progress:  [ 4 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (exp (- (log (* t 2)) (log (+ 1 t)))) 2)))>
1550842264.584 * [enter]simplify:  Simplifying (- (log (* t 2)) (log (+ 1 t)))
1550842264.584 * * [misc]simplify:  iters left: 5 (8 enodes)
1550842264.588 * * [misc]simplify:  iters left: 4 (34 enodes)
1550842264.596 * * [misc]simplify:  iters left: 3 (48 enodes)
1550842264.603 * * [misc]simplify:  iters left: 2 (58 enodes)
1550842264.614 * * [misc]simplify:  iters left: 1 (66 enodes)
1550842264.623 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.623 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550842264.623 * * [misc]simplify:  Extracting #2: cost 24 inf + 0
1550842264.623 * * [misc]simplify:  Extracting #3: cost 24 inf + 73
1550842264.623 * * [misc]simplify:  Extracting #4: cost 2 inf + 2725
1550842264.624 * * [misc]simplify:  Extracting #5: cost 0 inf + 3167
1550842264.624 * [exit]simplify:  Simplified to (- (log (* t 2)) (log1p t))
1550842264.624 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (exp (- (log (* t 2)) (log1p t))) 2)))
1550842264.624 * * * * [misc]progress:  [ 5 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (exp (log (/ (* t 2) (+ 1 t)))) 2)))>
1550842264.624 * * * * [misc]progress:  [ 6 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (log (exp (/ (* t 2) (+ 1 t)))) 2)))>
1550842264.624 * * * * [misc]progress:  [ 7 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (cbrt (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) 2)))>
1550842264.625 * [enter]simplify:  Simplifying (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1550842264.625 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842264.628 * * [misc]simplify:  iters left: 5 (61 enodes)
1550842264.643 * * [misc]simplify:  iters left: 4 (194 enodes)
1550842264.786 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.786 * * [misc]simplify:  Extracting #1: cost 87 inf + 0
1550842264.788 * * [misc]simplify:  Extracting #2: cost 207 inf + 4
1550842264.793 * * [misc]simplify:  Extracting #3: cost 140 inf + 10455
1550842264.813 * * [misc]simplify:  Extracting #4: cost 6 inf + 33207
1550842264.833 * * [misc]simplify:  Extracting #5: cost 0 inf + 33660
1550842264.844 * [exit]simplify:  Simplified to (* (* (/ 2 (+ 1 t)) t) (* (* (/ 2 (+ 1 t)) t) (* (/ 2 (+ 1 t)) t)))
1550842264.844 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (cbrt (* (* (/ 2 (+ 1 t)) t) (* (* (/ 2 (+ 1 t)) t) (* (/ 2 (+ 1 t)) t)))) 2)))
1550842264.845 * * * * [misc]progress:  [ 8 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (* (cbrt (/ (* t 2) (+ 1 t))) (cbrt (/ (* t 2) (+ 1 t)))) (cbrt (/ (* t 2) (+ 1 t)))) 2)))>
1550842264.845 * * * * [misc]progress:  [ 9 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))) 2)))>
1550842264.845 * * * * [misc]progress:  [ 10 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (sqrt (/ (* t 2) (+ 1 t))) (sqrt (/ (* t 2) (+ 1 t)))) 2)))>
1550842264.845 * * * * [misc]progress:  [ 11 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (- (* t 2)) (- (+ 1 t))) 2)))>
1550842264.845 * * * * [misc]progress:  [ 12 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) 2)))>
1550842264.845 * [enter]simplify:  Simplifying (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550842264.845 * * [misc]simplify:  iters left: 6 (6 enodes)
1550842264.847 * * [misc]simplify:  iters left: 5 (23 enodes)
1550842264.850 * * [misc]simplify:  iters left: 4 (27 enodes)
1550842264.854 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.854 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842264.854 * * [misc]simplify:  Extracting #2: cost 9 inf + 1
1550842264.854 * * [misc]simplify:  Extracting #3: cost 11 inf + 1
1550842264.854 * * [misc]simplify:  Extracting #4: cost 8 inf + 86
1550842264.855 * * [misc]simplify:  Extracting #5: cost 2 inf + 1018
1550842264.855 * * [misc]simplify:  Extracting #6: cost 0 inf + 1382
1550842264.855 * [exit]simplify:  Simplified to (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550842264.855 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) 2)))
1550842264.855 * [enter]simplify:  Simplifying (/ 2 (cbrt (+ 1 t)))
1550842264.855 * * [misc]simplify:  iters left: 5 (6 enodes)
1550842264.858 * * [misc]simplify:  iters left: 4 (21 enodes)
1550842264.865 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842264.872 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.872 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842264.872 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842264.872 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842264.872 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550842264.872 * * [misc]simplify:  Extracting #5: cost 1 inf + 494
1550842264.873 * * [misc]simplify:  Extracting #6: cost 0 inf + 657
1550842264.873 * [exit]simplify:  Simplified to (/ 2 (cbrt (+ 1 t)))
1550842264.873 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) 2)))
1550842264.873 * * * * [misc]progress:  [ 13 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) 2)))>
1550842264.873 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1550842264.874 * * [misc]simplify:  iters left: 5 (5 enodes)
1550842264.876 * * [misc]simplify:  iters left: 4 (18 enodes)
1550842264.883 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842264.889 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.889 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842264.889 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842264.889 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550842264.889 * * [misc]simplify:  Extracting #4: cost 0 inf + 494
1550842264.889 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1550842264.889 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) 2)))
1550842264.889 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1550842264.889 * * [misc]simplify:  iters left: 5 (6 enodes)
1550842264.891 * * [misc]simplify:  iters left: 4 (21 enodes)
1550842264.894 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842264.898 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.898 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842264.898 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842264.898 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842264.898 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550842264.898 * * [misc]simplify:  Extracting #5: cost 1 inf + 374
1550842264.898 * * [misc]simplify:  Extracting #6: cost 0 inf + 497
1550842264.899 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1550842264.899 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) 2)))
1550842264.899 * * * * [misc]progress:  [ 14 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ t 1) (/ 2 (+ 1 t))) 2)))>
1550842264.899 * [enter]simplify:  Simplifying (/ t 1)
1550842264.899 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842264.900 * * [misc]simplify:  iters left: 1 (9 enodes)
1550842264.901 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.901 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550842264.901 * [exit]simplify:  Simplified to t
1550842264.901 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* t (/ 2 (+ 1 t))) 2)))
1550842264.902 * [enter]simplify:  Simplifying (/ 2 (+ 1 t))
1550842264.902 * * [misc]simplify:  iters left: 4 (5 enodes)
1550842264.903 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842264.906 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842264.909 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.909 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842264.909 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550842264.909 * * [misc]simplify:  Extracting #3: cost 0 inf + 253
1550842264.909 * [exit]simplify:  Simplified to (/ 2 (+ 1 t))
1550842264.909 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* t (/ 2 (+ 1 t))) 2)))
1550842264.909 * * * * [misc]progress:  [ 15 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* 1 (/ (* t 2) (+ 1 t))) 2)))>
1550842264.910 * * * * [misc]progress:  [ 16 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (* t 2) (/ 1 (+ 1 t))) 2)))>
1550842264.910 * * * * [misc]progress:  [ 17 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ 1 (/ (+ 1 t) (* t 2))) 2)))>
1550842264.910 * * * * [misc]progress:  [ 18 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))) 2)))>
1550842264.910 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1550842264.910 * * [misc]simplify:  iters left: 3 (4 enodes)
1550842264.911 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842264.913 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842264.916 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.916 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842264.916 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842264.916 * * [misc]simplify:  Extracting #3: cost 2 inf + 86
1550842264.916 * * [misc]simplify:  Extracting #4: cost 1 inf + 208
1550842264.916 * * [misc]simplify:  Extracting #5: cost 0 inf + 330
1550842264.916 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1550842264.916 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) 2)))
1550842264.916 * * * * [misc]progress:  [ 19 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ 1 t))) 2)))>
1550842264.917 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1550842264.917 * * [misc]simplify:  iters left: 3 (4 enodes)
1550842264.919 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842264.924 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842264.929 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.929 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842264.929 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842264.929 * * [misc]simplify:  Extracting #3: cost 2 inf + 86
1550842264.929 * * [misc]simplify:  Extracting #4: cost 1 inf + 168
1550842264.929 * * [misc]simplify:  Extracting #5: cost 0 inf + 250
1550842264.929 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1550842264.929 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ t 1))) 2)))
1550842264.930 * * * * [misc]progress:  [ 20 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) 1) (+ 1 t)) 2)))>
1550842264.930 * [enter]simplify:  Simplifying (+ 1 t)
1550842264.930 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842264.932 * * [misc]simplify:  iters left: 1 (12 enodes)
1550842264.937 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842264.938 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842264.938 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550842264.938 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550842264.938 * [exit]simplify:  Simplified to (+ t 1)
1550842264.938 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) 1) (+ t 1)) 2)))
1550842264.938 * * * * [misc]progress:  [ 21 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ t (/ (+ 1 t) 2)) 2)))>
1550842264.938 * * * * [misc]progress:  [ 22 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))) 2)))>
1550842264.938 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1550842264.938 * * [misc]simplify:  iters left: 6 (7 enodes)
1550842264.943 * * [misc]simplify:  iters left: 5 (27 enodes)
1550842264.951 * * [misc]simplify:  iters left: 4 (48 enodes)
1550842264.966 * * [misc]simplify:  iters left: 3 (82 enodes)
1550842264.983 * * [misc]simplify:  iters left: 2 (109 enodes)
1550842264.997 * * [misc]simplify:  iters left: 1 (115 enodes)
1550842265.016 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.016 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550842265.017 * * [misc]simplify:  Extracting #2: cost 17 inf + 676
1550842265.018 * * [misc]simplify:  Extracting #3: cost 2 inf + 1623
1550842265.019 * * [misc]simplify:  Extracting #4: cost 0 inf + 1825
1550842265.020 * [exit]simplify:  Simplified to (fma t t (- 1 t))
1550842265.020 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (fma t t (- 1 t))) 2)))
1550842265.020 * * * * [misc]progress:  [ 23 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) 2)))>
1550842265.022 * [enter]simplify:  Simplifying (- 1 t)
1550842265.022 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842265.024 * * [misc]simplify:  iters left: 1 (13 enodes)
1550842265.028 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.028 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842265.028 * * [misc]simplify:  Extracting #2: cost 3 inf + 43
1550842265.028 * * [misc]simplify:  Extracting #3: cost 0 inf + 168
1550842265.029 * [exit]simplify:  Simplified to (- 1 t)
1550842265.029 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) 2)))
1550842265.029 * * * * [misc]progress:  [ 24 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (posit16->real (real->posit16 (/ (* t 2) (+ 1 t)))) 2)))>
1550842265.029 * * * * [misc]progress:  [ 25 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (log1p (expm1 (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.029 * * * * [misc]progress:  [ 26 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (expm1 (log1p (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.029 * * * * [misc]progress:  [ 27 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (pow (/ (* t 2) (+ 1 t)) 1) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.029 * * * * [misc]progress:  [ 28 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (exp (- (log (* t 2)) (log (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.029 * [enter]simplify:  Simplifying (- (log (* t 2)) (log (+ 1 t)))
1550842265.030 * * [misc]simplify:  iters left: 5 (8 enodes)
1550842265.034 * * [misc]simplify:  iters left: 4 (34 enodes)
1550842265.047 * * [misc]simplify:  iters left: 3 (48 enodes)
1550842265.061 * * [misc]simplify:  iters left: 2 (58 enodes)
1550842265.073 * * [misc]simplify:  iters left: 1 (66 enodes)
1550842265.083 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.083 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550842265.083 * * [misc]simplify:  Extracting #2: cost 24 inf + 0
1550842265.083 * * [misc]simplify:  Extracting #3: cost 24 inf + 73
1550842265.083 * * [misc]simplify:  Extracting #4: cost 2 inf + 2725
1550842265.084 * * [misc]simplify:  Extracting #5: cost 0 inf + 3167
1550842265.084 * [exit]simplify:  Simplified to (- (log (* t 2)) (log1p t))
1550842265.084 * [misc]simplify:  Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (exp (- (log (* t 2)) (log1p t))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.084 * * * * [misc]progress:  [ 29 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (exp (log (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.084 * * * * [misc]progress:  [ 30 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (log (exp (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.084 * * * * [misc]progress:  [ 31 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (cbrt (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.084 * [enter]simplify:  Simplifying (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1550842265.085 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842265.088 * * [misc]simplify:  iters left: 5 (61 enodes)
1550842265.107 * * [misc]simplify:  iters left: 4 (194 enodes)
1550842265.233 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.234 * * [misc]simplify:  Extracting #1: cost 87 inf + 0
1550842265.238 * * [misc]simplify:  Extracting #2: cost 207 inf + 4
1550842265.240 * * [misc]simplify:  Extracting #3: cost 140 inf + 10455
1550842265.250 * * [misc]simplify:  Extracting #4: cost 6 inf + 33207
1550842265.264 * * [misc]simplify:  Extracting #5: cost 0 inf + 33660
1550842265.287 * [exit]simplify:  Simplified to (* (* (/ 2 (+ 1 t)) t) (* (* (/ 2 (+ 1 t)) t) (* (/ 2 (+ 1 t)) t)))
1550842265.287 * [misc]simplify:  Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (cbrt (* (* (/ 2 (+ 1 t)) t) (* (* (/ 2 (+ 1 t)) t) (* (/ 2 (+ 1 t)) t)))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.287 * * * * [misc]progress:  [ 32 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (* (cbrt (/ (* t 2) (+ 1 t))) (cbrt (/ (* t 2) (+ 1 t)))) (cbrt (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.287 * * * * [misc]progress:  [ 33 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.287 * * * * [misc]progress:  [ 34 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (sqrt (/ (* t 2) (+ 1 t))) (sqrt (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.287 * * * * [misc]progress:  [ 35 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (- (* t 2)) (- (+ 1 t))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.288 * * * * [misc]progress:  [ 36 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.288 * [enter]simplify:  Simplifying (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550842265.288 * * [misc]simplify:  iters left: 6 (6 enodes)
1550842265.291 * * [misc]simplify:  iters left: 5 (23 enodes)
1550842265.299 * * [misc]simplify:  iters left: 4 (27 enodes)
1550842265.307 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.307 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842265.307 * * [misc]simplify:  Extracting #2: cost 9 inf + 1
1550842265.307 * * [misc]simplify:  Extracting #3: cost 11 inf + 1
1550842265.307 * * [misc]simplify:  Extracting #4: cost 8 inf + 86
1550842265.307 * * [misc]simplify:  Extracting #5: cost 2 inf + 1018
1550842265.308 * * [misc]simplify:  Extracting #6: cost 0 inf + 1382
1550842265.308 * [exit]simplify:  Simplified to (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550842265.308 * [misc]simplify:  Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.309 * [enter]simplify:  Simplifying (/ 2 (cbrt (+ 1 t)))
1550842265.309 * * [misc]simplify:  iters left: 5 (6 enodes)
1550842265.312 * * [misc]simplify:  iters left: 4 (21 enodes)
1550842265.319 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842265.326 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.326 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.326 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842265.326 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842265.327 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550842265.327 * * [misc]simplify:  Extracting #5: cost 1 inf + 494
1550842265.327 * * [misc]simplify:  Extracting #6: cost 0 inf + 657
1550842265.327 * [exit]simplify:  Simplified to (/ 2 (cbrt (+ 1 t)))
1550842265.327 * [misc]simplify:  Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.328 * * * * [misc]progress:  [ 37 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.328 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1550842265.328 * * [misc]simplify:  iters left: 5 (5 enodes)
1550842265.331 * * [misc]simplify:  iters left: 4 (18 enodes)
1550842265.337 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842265.343 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.343 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.343 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842265.343 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550842265.343 * * [misc]simplify:  Extracting #4: cost 0 inf + 494
1550842265.344 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1550842265.344 * [misc]simplify:  Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.344 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1550842265.344 * * [misc]simplify:  iters left: 5 (6 enodes)
1550842265.348 * * [misc]simplify:  iters left: 4 (21 enodes)
1550842265.354 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842265.361 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.361 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.361 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842265.361 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842265.362 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550842265.362 * * [misc]simplify:  Extracting #5: cost 1 inf + 374
1550842265.362 * * [misc]simplify:  Extracting #6: cost 0 inf + 497
1550842265.362 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1550842265.362 * [misc]simplify:  Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.362 * * * * [misc]progress:  [ 38 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ t 1) (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.363 * [enter]simplify:  Simplifying (/ t 1)
1550842265.363 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842265.365 * * [misc]simplify:  iters left: 1 (9 enodes)
1550842265.368 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.368 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550842265.368 * [exit]simplify:  Simplified to t
1550842265.368 * [misc]simplify:  Simplified (2 2 1 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* t (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.368 * [enter]simplify:  Simplifying (/ 2 (+ 1 t))
1550842265.368 * * [misc]simplify:  iters left: 4 (5 enodes)
1550842265.372 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842265.380 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842265.386 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.386 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.386 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550842265.387 * * [misc]simplify:  Extracting #3: cost 0 inf + 253
1550842265.387 * [exit]simplify:  Simplified to (/ 2 (+ 1 t))
1550842265.387 * [misc]simplify:  Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* t (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.387 * * * * [misc]progress:  [ 39 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* 1 (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.387 * * * * [misc]progress:  [ 40 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (* t 2) (/ 1 (+ 1 t))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.387 * * * * [misc]progress:  [ 41 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ 1 (/ (+ 1 t) (* t 2))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.387 * * * * [misc]progress:  [ 42 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.387 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1550842265.388 * * [misc]simplify:  iters left: 3 (4 enodes)
1550842265.390 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842265.395 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842265.400 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.400 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842265.400 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842265.400 * * [misc]simplify:  Extracting #3: cost 2 inf + 86
1550842265.400 * * [misc]simplify:  Extracting #4: cost 1 inf + 208
1550842265.401 * * [misc]simplify:  Extracting #5: cost 0 inf + 330
1550842265.401 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1550842265.401 * [misc]simplify:  Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.401 * * * * [misc]progress:  [ 43 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ 1 t))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.401 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1550842265.401 * * [misc]simplify:  iters left: 3 (4 enodes)
1550842265.404 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842265.408 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842265.413 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.413 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842265.413 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842265.413 * * [misc]simplify:  Extracting #3: cost 2 inf + 86
1550842265.413 * * [misc]simplify:  Extracting #4: cost 1 inf + 168
1550842265.413 * * [misc]simplify:  Extracting #5: cost 0 inf + 250
1550842265.413 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1550842265.413 * [misc]simplify:  Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ t 1))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.413 * * * * [misc]progress:  [ 44 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) 1) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.414 * [enter]simplify:  Simplifying (+ 1 t)
1550842265.414 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842265.415 * * [misc]simplify:  iters left: 1 (12 enodes)
1550842265.419 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.419 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.419 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550842265.419 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550842265.420 * [exit]simplify:  Simplified to (+ t 1)
1550842265.420 * [misc]simplify:  Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (/ (* t 2) 1) (+ t 1)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.420 * * * * [misc]progress:  [ 45 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ t (/ (+ 1 t) 2)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.420 * * * * [misc]progress:  [ 46 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.420 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1550842265.420 * * [misc]simplify:  iters left: 6 (7 enodes)
1550842265.426 * * [misc]simplify:  iters left: 5 (27 enodes)
1550842265.434 * * [misc]simplify:  iters left: 4 (48 enodes)
1550842265.450 * * [misc]simplify:  iters left: 3 (82 enodes)
1550842265.476 * * [misc]simplify:  iters left: 2 (109 enodes)
1550842265.506 * * [misc]simplify:  iters left: 1 (115 enodes)
1550842265.536 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.536 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550842265.536 * * [misc]simplify:  Extracting #2: cost 17 inf + 676
1550842265.537 * * [misc]simplify:  Extracting #3: cost 2 inf + 1623
1550842265.538 * * [misc]simplify:  Extracting #4: cost 0 inf + 1825
1550842265.540 * [exit]simplify:  Simplified to (fma t t (- 1 t))
1550842265.540 * [misc]simplify:  Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (fma t t (- 1 t))) (/ (* t 2) (+ 1 t)) 2)))
1550842265.540 * * * * [misc]progress:  [ 47 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.540 * [enter]simplify:  Simplifying (- 1 t)
1550842265.540 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842265.542 * * [misc]simplify:  iters left: 1 (13 enodes)
1550842265.547 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.547 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842265.547 * * [misc]simplify:  Extracting #2: cost 3 inf + 43
1550842265.547 * * [misc]simplify:  Extracting #3: cost 0 inf + 168
1550842265.547 * [exit]simplify:  Simplified to (- 1 t)
1550842265.547 * [misc]simplify:  Simplified (2 2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.548 * * * * [misc]progress:  [ 48 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (posit16->real (real->posit16 (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.548 * * * * [misc]progress:  [ 49 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (log1p (expm1 (/ (* t 2) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.548 * * * * [misc]progress:  [ 50 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (expm1 (log1p (/ (* t 2) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.548 * * * * [misc]progress:  [ 51 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (pow (/ (* t 2) (+ 1 t)) 1) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.548 * * * * [misc]progress:  [ 52 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (exp (- (log (* t 2)) (log (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.548 * [enter]simplify:  Simplifying (- (log (* t 2)) (log (+ 1 t)))
1550842265.548 * * [misc]simplify:  iters left: 5 (8 enodes)
1550842265.553 * * [misc]simplify:  iters left: 4 (34 enodes)
1550842265.564 * * [misc]simplify:  iters left: 3 (48 enodes)
1550842265.577 * * [misc]simplify:  iters left: 2 (58 enodes)
1550842265.586 * * [misc]simplify:  iters left: 1 (66 enodes)
1550842265.595 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.595 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550842265.595 * * [misc]simplify:  Extracting #2: cost 24 inf + 0
1550842265.595 * * [misc]simplify:  Extracting #3: cost 24 inf + 73
1550842265.595 * * [misc]simplify:  Extracting #4: cost 2 inf + 2725
1550842265.595 * * [misc]simplify:  Extracting #5: cost 0 inf + 3167
1550842265.596 * [exit]simplify:  Simplified to (- (log (* t 2)) (log1p t))
1550842265.596 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (exp (- (log (* t 2)) (log1p t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.596 * * * * [misc]progress:  [ 53 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (exp (log (/ (* t 2) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.596 * * * * [misc]progress:  [ 54 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (log (exp (/ (* t 2) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.596 * * * * [misc]progress:  [ 55 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (cbrt (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.596 * [enter]simplify:  Simplifying (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1550842265.596 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842265.600 * * [misc]simplify:  iters left: 5 (61 enodes)
1550842265.615 * * [misc]simplify:  iters left: 4 (194 enodes)
1550842265.758 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.758 * * [misc]simplify:  Extracting #1: cost 87 inf + 0
1550842265.759 * * [misc]simplify:  Extracting #2: cost 207 inf + 4
1550842265.762 * * [misc]simplify:  Extracting #3: cost 140 inf + 10455
1550842265.771 * * [misc]simplify:  Extracting #4: cost 6 inf + 33207
1550842265.782 * * [misc]simplify:  Extracting #5: cost 0 inf + 33660
1550842265.794 * [exit]simplify:  Simplified to (* (* (/ 2 (+ 1 t)) t) (* (* (/ 2 (+ 1 t)) t) (* (/ 2 (+ 1 t)) t)))
1550842265.794 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (cbrt (* (* (/ 2 (+ 1 t)) t) (* (* (/ 2 (+ 1 t)) t) (* (/ 2 (+ 1 t)) t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.794 * * * * [misc]progress:  [ 56 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (* (cbrt (/ (* t 2) (+ 1 t))) (cbrt (/ (* t 2) (+ 1 t)))) (cbrt (/ (* t 2) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.794 * * * * [misc]progress:  [ 57 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.794 * * * * [misc]progress:  [ 58 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (sqrt (/ (* t 2) (+ 1 t))) (sqrt (/ (* t 2) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.794 * * * * [misc]progress:  [ 59 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (- (* t 2)) (- (+ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.794 * * * * [misc]progress:  [ 60 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.794 * [enter]simplify:  Simplifying (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550842265.794 * * [misc]simplify:  iters left: 6 (6 enodes)
1550842265.796 * * [misc]simplify:  iters left: 5 (23 enodes)
1550842265.800 * * [misc]simplify:  iters left: 4 (27 enodes)
1550842265.804 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.804 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842265.804 * * [misc]simplify:  Extracting #2: cost 9 inf + 1
1550842265.804 * * [misc]simplify:  Extracting #3: cost 11 inf + 1
1550842265.804 * * [misc]simplify:  Extracting #4: cost 8 inf + 86
1550842265.804 * * [misc]simplify:  Extracting #5: cost 2 inf + 1018
1550842265.804 * * [misc]simplify:  Extracting #6: cost 0 inf + 1382
1550842265.805 * [exit]simplify:  Simplified to (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550842265.805 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.805 * [enter]simplify:  Simplifying (/ 2 (cbrt (+ 1 t)))
1550842265.805 * * [misc]simplify:  iters left: 5 (6 enodes)
1550842265.809 * * [misc]simplify:  iters left: 4 (21 enodes)
1550842265.815 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842265.822 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.822 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.822 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842265.822 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842265.823 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550842265.823 * * [misc]simplify:  Extracting #5: cost 1 inf + 494
1550842265.823 * * [misc]simplify:  Extracting #6: cost 0 inf + 657
1550842265.823 * [exit]simplify:  Simplified to (/ 2 (cbrt (+ 1 t)))
1550842265.823 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.823 * * * * [misc]progress:  [ 61 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.824 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1550842265.824 * * [misc]simplify:  iters left: 5 (5 enodes)
1550842265.830 * * [misc]simplify:  iters left: 4 (18 enodes)
1550842265.836 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842265.841 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.842 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.842 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842265.842 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550842265.842 * * [misc]simplify:  Extracting #4: cost 0 inf + 494
1550842265.842 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1550842265.842 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.842 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1550842265.843 * * [misc]simplify:  iters left: 5 (6 enodes)
1550842265.846 * * [misc]simplify:  iters left: 4 (21 enodes)
1550842265.853 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842265.859 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.859 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.860 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842265.860 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842265.860 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550842265.860 * * [misc]simplify:  Extracting #5: cost 1 inf + 374
1550842265.860 * * [misc]simplify:  Extracting #6: cost 0 inf + 497
1550842265.860 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1550842265.860 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.861 * * * * [misc]progress:  [ 62 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ t 1) (/ 2 (+ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.861 * [enter]simplify:  Simplifying (/ t 1)
1550842265.861 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842265.863 * * [misc]simplify:  iters left: 1 (9 enodes)
1550842265.866 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.866 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550842265.866 * [exit]simplify:  Simplified to t
1550842265.866 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* t (/ 2 (+ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.866 * [enter]simplify:  Simplifying (/ 2 (+ 1 t))
1550842265.866 * * [misc]simplify:  iters left: 4 (5 enodes)
1550842265.869 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842265.875 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842265.882 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.882 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.882 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550842265.882 * * [misc]simplify:  Extracting #3: cost 0 inf + 253
1550842265.882 * [exit]simplify:  Simplified to (/ 2 (+ 1 t))
1550842265.882 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* t (/ 2 (+ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.882 * * * * [misc]progress:  [ 63 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* 1 (/ (* t 2) (+ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.882 * * * * [misc]progress:  [ 64 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (* t 2) (/ 1 (+ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.882 * * * * [misc]progress:  [ 65 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ 1 (/ (+ 1 t) (* t 2))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.882 * * * * [misc]progress:  [ 66 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.883 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1550842265.883 * * [misc]simplify:  iters left: 3 (4 enodes)
1550842265.885 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842265.889 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842265.894 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.894 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842265.894 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842265.894 * * [misc]simplify:  Extracting #3: cost 2 inf + 86
1550842265.895 * * [misc]simplify:  Extracting #4: cost 1 inf + 208
1550842265.895 * * [misc]simplify:  Extracting #5: cost 0 inf + 330
1550842265.895 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1550842265.895 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.895 * * * * [misc]progress:  [ 67 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.896 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1550842265.896 * * [misc]simplify:  iters left: 3 (4 enodes)
1550842265.898 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842265.902 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842265.907 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.907 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842265.907 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842265.908 * * [misc]simplify:  Extracting #3: cost 2 inf + 86
1550842265.908 * * [misc]simplify:  Extracting #4: cost 1 inf + 168
1550842265.908 * * [misc]simplify:  Extracting #5: cost 0 inf + 250
1550842265.908 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1550842265.908 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ t 1))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.908 * * * * [misc]progress:  [ 68 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) 1) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.909 * [enter]simplify:  Simplifying (+ 1 t)
1550842265.909 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842265.910 * * [misc]simplify:  iters left: 1 (12 enodes)
1550842265.914 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842265.914 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842265.914 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550842265.914 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550842265.914 * [exit]simplify:  Simplified to (+ t 1)
1550842265.914 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (/ (* t 2) 1) (+ t 1)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842265.915 * * * * [misc]progress:  [ 69 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ t (/ (+ 1 t) 2)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.915 * * * * [misc]progress:  [ 70 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842265.915 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1550842265.915 * * [misc]simplify:  iters left: 6 (7 enodes)
1550842265.919 * * [misc]simplify:  iters left: 5 (27 enodes)
1550842265.928 * * [misc]simplify:  iters left: 4 (48 enodes)
1550842265.943 * * [misc]simplify:  iters left: 3 (82 enodes)
1550842265.965 * * [misc]simplify:  iters left: 2 (109 enodes)
1550842265.982 * * [misc]simplify:  iters left: 1 (115 enodes)
1550842265.999 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.000 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550842266.000 * * [misc]simplify:  Extracting #2: cost 17 inf + 676
1550842266.001 * * [misc]simplify:  Extracting #3: cost 2 inf + 1623
1550842266.002 * * [misc]simplify:  Extracting #4: cost 0 inf + 1825
1550842266.004 * [exit]simplify:  Simplified to (fma t t (- 1 t))
1550842266.004 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (fma t t (- 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.004 * * * * [misc]progress:  [ 71 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.004 * [enter]simplify:  Simplifying (- 1 t)
1550842266.004 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842266.007 * * [misc]simplify:  iters left: 1 (13 enodes)
1550842266.011 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.011 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842266.011 * * [misc]simplify:  Extracting #2: cost 3 inf + 43
1550842266.011 * * [misc]simplify:  Extracting #3: cost 0 inf + 168
1550842266.011 * [exit]simplify:  Simplified to (- 1 t)
1550842266.012 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.012 * * * * [misc]progress:  [ 72 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (posit16->real (real->posit16 (/ (* t 2) (+ 1 t)))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.012 * * * * [misc]progress:  [ 73 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (log1p (expm1 (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.012 * * * * [misc]progress:  [ 74 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (expm1 (log1p (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.012 * * * * [misc]progress:  [ 75 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (pow (/ (* t 2) (+ 1 t)) 1) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.012 * * * * [misc]progress:  [ 76 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (exp (- (log (* t 2)) (log (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.012 * [enter]simplify:  Simplifying (- (log (* t 2)) (log (+ 1 t)))
1550842266.012 * * [misc]simplify:  iters left: 5 (8 enodes)
1550842266.017 * * [misc]simplify:  iters left: 4 (34 enodes)
1550842266.028 * * [misc]simplify:  iters left: 3 (48 enodes)
1550842266.042 * * [misc]simplify:  iters left: 2 (58 enodes)
1550842266.058 * * [misc]simplify:  iters left: 1 (66 enodes)
1550842266.075 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.075 * * [misc]simplify:  Extracting #1: cost 11 inf + 0
1550842266.075 * * [misc]simplify:  Extracting #2: cost 24 inf + 0
1550842266.075 * * [misc]simplify:  Extracting #3: cost 24 inf + 73
1550842266.076 * * [misc]simplify:  Extracting #4: cost 2 inf + 2725
1550842266.076 * * [misc]simplify:  Extracting #5: cost 0 inf + 3167
1550842266.077 * [exit]simplify:  Simplified to (- (log (* t 2)) (log1p t))
1550842266.077 * [misc]simplify:  Simplified (2 1 1 1) to (λ (t) (/ (fma (exp (- (log (* t 2)) (log1p t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.077 * * * * [misc]progress:  [ 77 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (exp (log (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.077 * * * * [misc]progress:  [ 78 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (log (exp (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.077 * * * * [misc]progress:  [ 79 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (cbrt (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.078 * [enter]simplify:  Simplifying (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))
1550842266.078 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842266.084 * * [misc]simplify:  iters left: 5 (61 enodes)
1550842266.113 * * [misc]simplify:  iters left: 4 (194 enodes)
1550842266.223 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.224 * * [misc]simplify:  Extracting #1: cost 87 inf + 0
1550842266.225 * * [misc]simplify:  Extracting #2: cost 207 inf + 4
1550842266.227 * * [misc]simplify:  Extracting #3: cost 140 inf + 10455
1550842266.237 * * [misc]simplify:  Extracting #4: cost 6 inf + 33207
1550842266.260 * * [misc]simplify:  Extracting #5: cost 0 inf + 33660
1550842266.282 * [exit]simplify:  Simplified to (* (* (/ 2 (+ 1 t)) t) (* (* (/ 2 (+ 1 t)) t) (* (/ 2 (+ 1 t)) t)))
1550842266.282 * [misc]simplify:  Simplified (2 1 1 1) to (λ (t) (/ (fma (cbrt (* (* (/ 2 (+ 1 t)) t) (* (* (/ 2 (+ 1 t)) t) (* (/ 2 (+ 1 t)) t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.282 * * * * [misc]progress:  [ 80 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (* (cbrt (/ (* t 2) (+ 1 t))) (cbrt (/ (* t 2) (+ 1 t)))) (cbrt (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.282 * * * * [misc]progress:  [ 81 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.282 * * * * [misc]progress:  [ 82 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (sqrt (/ (* t 2) (+ 1 t))) (sqrt (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.282 * * * * [misc]progress:  [ 83 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (- (* t 2)) (- (+ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.282 * * * * [misc]progress:  [ 84 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.282 * [enter]simplify:  Simplifying (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550842266.283 * * [misc]simplify:  iters left: 6 (6 enodes)
1550842266.287 * * [misc]simplify:  iters left: 5 (23 enodes)
1550842266.291 * * [misc]simplify:  iters left: 4 (27 enodes)
1550842266.295 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.295 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842266.295 * * [misc]simplify:  Extracting #2: cost 9 inf + 1
1550842266.295 * * [misc]simplify:  Extracting #3: cost 11 inf + 1
1550842266.295 * * [misc]simplify:  Extracting #4: cost 8 inf + 86
1550842266.296 * * [misc]simplify:  Extracting #5: cost 2 inf + 1018
1550842266.296 * * [misc]simplify:  Extracting #6: cost 0 inf + 1382
1550842266.296 * [exit]simplify:  Simplified to (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550842266.296 * [misc]simplify:  Simplified (2 1 1 1) to (λ (t) (/ (fma (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.296 * [enter]simplify:  Simplifying (/ 2 (cbrt (+ 1 t)))
1550842266.297 * * [misc]simplify:  iters left: 5 (6 enodes)
1550842266.299 * * [misc]simplify:  iters left: 4 (21 enodes)
1550842266.302 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842266.306 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.306 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842266.306 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842266.306 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842266.306 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550842266.306 * * [misc]simplify:  Extracting #5: cost 1 inf + 494
1550842266.306 * * [misc]simplify:  Extracting #6: cost 0 inf + 657
1550842266.306 * [exit]simplify:  Simplified to (/ 2 (cbrt (+ 1 t)))
1550842266.306 * [misc]simplify:  Simplified (2 1 1 2) to (λ (t) (/ (fma (* (/ t (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (/ 2 (cbrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.306 * * * * [misc]progress:  [ 85 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.306 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1550842266.306 * * [misc]simplify:  iters left: 5 (5 enodes)
1550842266.308 * * [misc]simplify:  iters left: 4 (18 enodes)
1550842266.311 * * [misc]simplify:  iters left: 3 (20 enodes)
1550842266.314 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.314 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842266.314 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842266.314 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550842266.314 * * [misc]simplify:  Extracting #4: cost 0 inf + 494
1550842266.314 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1550842266.314 * [misc]simplify:  Simplified (2 1 1 1) to (λ (t) (/ (fma (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.314 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1550842266.314 * * [misc]simplify:  iters left: 5 (6 enodes)
1550842266.316 * * [misc]simplify:  iters left: 4 (21 enodes)
1550842266.323 * * [misc]simplify:  iters left: 3 (23 enodes)
1550842266.330 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.330 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842266.330 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550842266.330 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550842266.330 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550842266.330 * * [misc]simplify:  Extracting #5: cost 1 inf + 374
1550842266.331 * * [misc]simplify:  Extracting #6: cost 0 inf + 497
1550842266.331 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1550842266.331 * [misc]simplify:  Simplified (2 1 1 2) to (λ (t) (/ (fma (* (/ t (sqrt (+ 1 t))) (/ 2 (sqrt (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.331 * * * * [misc]progress:  [ 86 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (/ t 1) (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.331 * [enter]simplify:  Simplifying (/ t 1)
1550842266.331 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842266.333 * * [misc]simplify:  iters left: 1 (9 enodes)
1550842266.335 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.335 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550842266.335 * [exit]simplify:  Simplified to t
1550842266.335 * [misc]simplify:  Simplified (2 1 1 1) to (λ (t) (/ (fma (* t (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.335 * [enter]simplify:  Simplifying (/ 2 (+ 1 t))
1550842266.335 * * [misc]simplify:  iters left: 4 (5 enodes)
1550842266.336 * * [misc]simplify:  iters left: 3 (18 enodes)
1550842266.339 * * [misc]simplify:  iters left: 2 (20 enodes)
1550842266.342 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.342 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842266.342 * * [misc]simplify:  Extracting #2: cost 6 inf + 1
1550842266.342 * * [misc]simplify:  Extracting #3: cost 0 inf + 253
1550842266.343 * [exit]simplify:  Simplified to (/ 2 (+ 1 t))
1550842266.343 * [misc]simplify:  Simplified (2 1 1 2) to (λ (t) (/ (fma (* t (/ 2 (+ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.343 * * * * [misc]progress:  [ 87 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* 1 (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.343 * * * * [misc]progress:  [ 88 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (* t 2) (/ 1 (+ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.343 * * * * [misc]progress:  [ 89 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ 1 (/ (+ 1 t) (* t 2))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.343 * * * * [misc]progress:  [ 90 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.343 * [enter]simplify:  Simplifying (cbrt (+ 1 t))
1550842266.343 * * [misc]simplify:  iters left: 3 (4 enodes)
1550842266.344 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842266.347 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842266.349 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.349 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842266.349 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842266.349 * * [misc]simplify:  Extracting #3: cost 2 inf + 86
1550842266.349 * * [misc]simplify:  Extracting #4: cost 1 inf + 208
1550842266.349 * * [misc]simplify:  Extracting #5: cost 0 inf + 330
1550842266.349 * [exit]simplify:  Simplified to (cbrt (+ t 1))
1550842266.349 * [misc]simplify:  Simplified (2 1 1 2) to (λ (t) (/ (fma (/ (/ (* t 2) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (cbrt (+ t 1))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.350 * * * * [misc]progress:  [ 91 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.350 * [enter]simplify:  Simplifying (sqrt (+ 1 t))
1550842266.350 * * [misc]simplify:  iters left: 3 (4 enodes)
1550842266.351 * * [misc]simplify:  iters left: 2 (15 enodes)
1550842266.353 * * [misc]simplify:  iters left: 1 (17 enodes)
1550842266.356 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.356 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842266.356 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842266.356 * * [misc]simplify:  Extracting #3: cost 2 inf + 86
1550842266.356 * * [misc]simplify:  Extracting #4: cost 1 inf + 168
1550842266.356 * * [misc]simplify:  Extracting #5: cost 0 inf + 250
1550842266.356 * [exit]simplify:  Simplified to (sqrt (+ t 1))
1550842266.356 * [misc]simplify:  Simplified (2 1 1 2) to (λ (t) (/ (fma (/ (/ (* t 2) (sqrt (+ 1 t))) (sqrt (+ t 1))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.356 * * * * [misc]progress:  [ 92 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (/ (* t 2) 1) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.356 * [enter]simplify:  Simplifying (+ 1 t)
1550842266.356 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842266.357 * * [misc]simplify:  iters left: 1 (12 enodes)
1550842266.359 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.359 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550842266.359 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550842266.360 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550842266.360 * [exit]simplify:  Simplified to (+ t 1)
1550842266.360 * [misc]simplify:  Simplified (2 1 1 2) to (λ (t) (/ (fma (/ (/ (* t 2) 1) (+ t 1)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.360 * * * * [misc]progress:  [ 93 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ t (/ (+ 1 t) 2)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.360 * * * * [misc]progress:  [ 94 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (+ (* 1 1) (- (* t t) (* 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.360 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1550842266.360 * * [misc]simplify:  iters left: 6 (7 enodes)
1550842266.362 * * [misc]simplify:  iters left: 5 (27 enodes)
1550842266.366 * * [misc]simplify:  iters left: 4 (48 enodes)
1550842266.379 * * [misc]simplify:  iters left: 3 (82 enodes)
1550842266.407 * * [misc]simplify:  iters left: 2 (109 enodes)
1550842266.424 * * [misc]simplify:  iters left: 1 (115 enodes)
1550842266.438 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.438 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550842266.438 * * [misc]simplify:  Extracting #2: cost 17 inf + 676
1550842266.439 * * [misc]simplify:  Extracting #3: cost 2 inf + 1623
1550842266.439 * * [misc]simplify:  Extracting #4: cost 0 inf + 1825
1550842266.440 * [exit]simplify:  Simplified to (fma t t (- 1 t))
1550842266.440 * [misc]simplify:  Simplified (2 1 1 2) to (λ (t) (/ (fma (* (/ (* t 2) (+ (pow 1 3) (pow t 3))) (fma t t (- 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.440 * * * * [misc]progress:  [ 95 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.440 * [enter]simplify:  Simplifying (- 1 t)
1550842266.440 * * [misc]simplify:  iters left: 2 (3 enodes)
1550842266.441 * * [misc]simplify:  iters left: 1 (13 enodes)
1550842266.444 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.444 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550842266.444 * * [misc]simplify:  Extracting #2: cost 3 inf + 43
1550842266.444 * * [misc]simplify:  Extracting #3: cost 0 inf + 168
1550842266.444 * [exit]simplify:  Simplified to (- 1 t)
1550842266.444 * [misc]simplify:  Simplified (2 1 1 2) to (λ (t) (/ (fma (* (/ (* t 2) (- (* 1 1) (* t t))) (- 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842266.444 * * * * [misc]progress:  [ 96 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (posit16->real (real->posit16 (/ (* t 2) (+ 1 t)))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842266.444 * * * * [misc]progress:  [ 97 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 2)))>
1550842266.444 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842266.444 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842266.450 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842266.467 * * [misc]simplify:  iters left: 4 (91 enodes)
1550842266.506 * * [misc]simplify:  iters left: 3 (192 enodes)
1550842266.566 * * [misc]simplify:  iters left: 2 (377 enodes)
1550842266.713 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.713 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550842266.713 * * [misc]simplify:  Extracting #2: cost 65 inf + 198
1550842266.715 * * [misc]simplify:  Extracting #3: cost 18 inf + 5937
1550842266.720 * * [misc]simplify:  Extracting #4: cost 1 inf + 6589
1550842266.723 * * [misc]simplify:  Extracting #5: cost 0 inf + 6209
1550842266.726 * [exit]simplify:  Simplified to (* (fma t (fma 2 t -2) 2) t)
1550842266.726 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (* (fma t (fma 2 t -2) 2) t) 2)))
1550842266.726 * * * * [misc]progress:  [ 98 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 2)))>
1550842266.726 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842266.726 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842266.730 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842266.739 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842266.751 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842266.773 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842266.826 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842266.889 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842266.890 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842266.890 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842266.891 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842266.893 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842266.897 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842266.901 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842266.905 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842266.905 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) 2)))
1550842266.905 * * * * [misc]progress:  [ 99 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 2)))>
1550842266.905 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842266.905 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842266.912 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842266.927 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842266.952 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842266.975 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842267.001 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842267.036 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842267.036 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842267.036 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842267.036 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842267.038 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842267.040 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842267.042 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842267.044 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842267.044 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) 2)))
1550842267.044 * * * * [misc]progress:  [ 100 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (/ (* t 2) (+ 1 t)) 2)))>
1550842267.045 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842267.045 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842267.048 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842267.056 * * [misc]simplify:  iters left: 4 (91 enodes)
1550842267.076 * * [misc]simplify:  iters left: 3 (192 enodes)
1550842267.148 * * [misc]simplify:  iters left: 2 (377 enodes)
1550842267.315 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842267.316 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550842267.316 * * [misc]simplify:  Extracting #2: cost 65 inf + 198
1550842267.318 * * [misc]simplify:  Extracting #3: cost 18 inf + 5937
1550842267.321 * * [misc]simplify:  Extracting #4: cost 1 inf + 6589
1550842267.324 * * [misc]simplify:  Extracting #5: cost 0 inf + 6209
1550842267.327 * [exit]simplify:  Simplified to (* (fma t (fma 2 t -2) 2) t)
1550842267.327 * [misc]simplify:  Simplified (2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (* (fma t (fma 2 t -2) 2) t) (/ (* t 2) (+ 1 t)) 2)))
1550842267.327 * * * * [misc]progress:  [ 101 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* t 2) (+ 1 t)) 2)))>
1550842267.327 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842267.327 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842267.330 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842267.339 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842267.360 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842267.398 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842267.424 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842267.479 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842267.480 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842267.480 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842267.481 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842267.483 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842267.487 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842267.491 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842267.496 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842267.496 * [misc]simplify:  Simplified (2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) (/ (* t 2) (+ 1 t)) 2)))
1550842267.496 * * * * [misc]progress:  [ 102 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* t 2) (+ 1 t)) 2)))>
1550842267.496 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842267.496 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842267.503 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842267.512 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842267.524 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842267.552 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842267.603 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842267.661 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842267.661 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842267.661 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842267.661 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842267.663 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842267.664 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842267.666 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842267.669 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842267.669 * [misc]simplify:  Simplified (2 2 1) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) (/ (* t 2) (+ 1 t)) 2)))
1550842267.669 * * * * [misc]progress:  [ 103 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842267.669 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842267.669 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842267.672 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842267.681 * * [misc]simplify:  iters left: 4 (91 enodes)
1550842267.710 * * [misc]simplify:  iters left: 3 (192 enodes)
1550842267.803 * * [misc]simplify:  iters left: 2 (377 enodes)
1550842267.957 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842267.957 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550842267.958 * * [misc]simplify:  Extracting #2: cost 65 inf + 198
1550842267.962 * * [misc]simplify:  Extracting #3: cost 18 inf + 5937
1550842267.966 * * [misc]simplify:  Extracting #4: cost 1 inf + 6589
1550842267.969 * * [misc]simplify:  Extracting #5: cost 0 inf + 6209
1550842267.972 * [exit]simplify:  Simplified to (* (fma t (fma 2 t -2) 2) t)
1550842267.972 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (* (fma t (fma 2 t -2) 2) t) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842267.972 * * * * [misc]progress:  [ 104 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842267.972 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842267.972 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842267.976 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842267.984 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842268.003 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842268.029 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842268.057 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842268.096 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842268.097 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842268.097 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842268.097 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842268.098 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842268.100 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842268.102 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842268.104 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842268.104 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842268.105 * * * * [misc]progress:  [ 105 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842268.105 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842268.105 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842268.108 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842268.116 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842268.131 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842268.170 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842268.222 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842268.257 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842268.257 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842268.257 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842268.257 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842268.259 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842268.261 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842268.265 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842268.269 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842268.269 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (fma (/ (* t 2) (+ 1 t)) (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842268.269 * * * * [misc]progress:  [ 106 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842268.269 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842268.269 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842268.275 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842268.293 * * [misc]simplify:  iters left: 4 (91 enodes)
1550842268.317 * * [misc]simplify:  iters left: 3 (192 enodes)
1550842268.404 * * [misc]simplify:  iters left: 2 (377 enodes)
1550842268.540 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842268.540 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550842268.541 * * [misc]simplify:  Extracting #2: cost 65 inf + 198
1550842268.543 * * [misc]simplify:  Extracting #3: cost 18 inf + 5937
1550842268.546 * * [misc]simplify:  Extracting #4: cost 1 inf + 6589
1550842268.549 * * [misc]simplify:  Extracting #5: cost 0 inf + 6209
1550842268.552 * [exit]simplify:  Simplified to (* (fma t (fma 2 t -2) 2) t)
1550842268.552 * [misc]simplify:  Simplified (2 1 1) to (λ (t) (/ (fma (* (fma t (fma 2 t -2) 2) t) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842268.552 * * * * [misc]progress:  [ 107 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842268.552 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842268.552 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842268.556 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842268.571 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842268.584 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842268.606 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842268.639 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842268.694 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842268.695 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842268.695 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842268.696 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842268.699 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842268.703 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842268.707 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842268.710 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842268.710 * [misc]simplify:  Simplified (2 1 1) to (λ (t) (/ (fma (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842268.710 * * * * [misc]progress:  [ 108 / 108 ] simplifiying candidate #<alt (λ (t) (/ (fma (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))>
1550842268.710 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842268.710 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842268.714 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842268.724 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842268.736 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842268.773 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842268.806 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842268.852 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842268.852 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842268.852 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842268.853 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842268.856 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842268.860 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842268.864 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842268.868 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842268.868 * [misc]simplify:  Simplified (2 1 1) to (λ (t) (/ (fma (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2)))
1550842268.869 * * * [misc]progress:  adding candidates to table
1550842269.839 * [misc]progress:  [Phase 3 of 3] Extracting.
1550842269.843 * [enter]simplify:  Simplifying (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2))
1550842269.844 * * [misc]simplify:  iters left: 6 (9 enodes)
1550842269.844 * * [misc]simplify:  iters left: 5 (13 enodes)
1550842269.845 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842269.845 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842269.845 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842269.845 * * [misc]simplify:  Extracting #3: cost 6 inf + 2
1550842269.845 * * [misc]simplify:  Extracting #4: cost 7 inf + 2
1550842269.845 * * [misc]simplify:  Extracting #5: cost 6 inf + 3
1550842269.845 * * [misc]simplify:  Extracting #6: cost 0 inf + 839
1550842269.846 * [exit]simplify:  Simplified to (/ (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 1) (fma (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)) 2))
1550842271.075 * [misc]regime-testing:  Baseline error score: 0.0797612904509106
1550842271.076 * [misc]regime-testing:  Oracle error score: 0.0797612904509106
1550842271.076 * [misc]regime-testing:  End program error score: 0.0797612904509106