1550608057.082 * [misc]progress:  [Phase 1 of 3] Setting up.
1550608057.082 * * * [misc]progress:  [1/2] Preparing points
1550608057.124 * * * [misc]progress:  [2/2] Setting up program.
1550608057.127 * [misc]progress:  [Phase 2 of 3] Improving.
1550608057.127 * * * * [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))))))>
1550608057.128 * [enter]simplify:  Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
1550608057.128 * * [misc]simplify:  iters left: 6 (10 enodes)
1550608057.133 * * [misc]simplify:  iters left: 5 (42 enodes)
1550608057.145 * * [misc]simplify:  iters left: 4 (72 enodes)
1550608057.165 * * [misc]simplify:  iters left: 3 (144 enodes)
1550608057.196 * * [misc]simplify:  iters left: 2 (289 enodes)
1550608057.300 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608057.300 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608057.300 * * [misc]simplify:  Extracting #2: cost 10 inf + 0
1550608057.300 * * [misc]simplify:  Extracting #3: cost 56 inf + 2
1550608057.301 * * [misc]simplify:  Extracting #4: cost 84 inf + 3797
1550608057.306 * * [misc]simplify:  Extracting #5: cost 11 inf + 13195
1550608057.318 * * [misc]simplify:  Extracting #6: cost 0 inf + 14784
1550608057.327 * [exit]simplify:  Simplified to (/ (+ 1 (* (* (/ t (+ 1 t)) 2) (* (/ t (+ 1 t)) 2))) (+ 2 (* (* (/ t (+ 1 t)) 2) (* (/ t (+ 1 t)) 2))))
1550608057.327 * [misc]simplify:  Simplified (2) to (λ (t) (/ (+ 1 (* (* (/ t (+ 1 t)) 2) (* (/ t (+ 1 t)) 2))) (+ 2 (* (* (/ t (+ 1 t)) 2) (* (/ t (+ 1 t)) 2)))))
1550608057.330 * * [misc]progress:  iteration 1 / 4
1550608057.330 * * * [misc]progress:  picking best candidate
1550608057.332 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608057.332 * * * [misc]progress:  localizing error
1550608057.349 * * * [misc]progress:  generating rewritten candidates
1550608057.349 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
1550608057.357 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1550608057.365 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550608057.368 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1550608057.371 * * * [misc]progress:  generating series expansions
1550608057.371 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
1550608057.372 * [misc]backup-simplify:  Simplify (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) into (* 4 (/ (pow t 2) (pow (+ t 1) 2)))
1550608057.372 * [misc]approximate:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in (t) around 0
1550608057.372 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1550608057.372 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.372 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.372 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1550608057.372 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.372 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.372 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.372 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.372 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1550608057.372 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550608057.372 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.372 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.372 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.372 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.372 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.372 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.372 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.372 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.373 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.373 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1550608057.373 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.373 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.373 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1550608057.373 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.373 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.373 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.373 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.373 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1550608057.373 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550608057.373 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.373 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.373 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.373 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.373 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.373 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.373 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.373 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.373 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.373 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1550608057.373 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.374 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.374 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.374 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1550608057.374 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 2 1)))) into -2
1550608057.374 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1550608057.374 * [misc]backup-simplify:  Simplify -8 into -8
1550608057.374 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.374 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.374 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1550608057.375 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3
1550608057.375 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12
1550608057.375 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.375 * [misc]backup-simplify:  Simplify (+ (* 12 (pow t 4)) (+ (* -8 (pow t 3)) (* 4 (pow t 2)))) into (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))
1550608057.375 * [misc]backup-simplify:  Simplify (* (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t)))) into (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))
1550608057.375 * [misc]approximate:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in (t) around 0
1550608057.375 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1550608057.375 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.375 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.375 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1550608057.375 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.375 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.375 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.375 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.375 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1550608057.375 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550608057.375 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.375 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.375 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.375 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.376 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.376 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.376 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.376 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.376 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.376 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.376 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.376 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1550608057.376 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1550608057.376 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.376 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.376 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1550608057.376 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.376 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.376 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.376 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.376 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1550608057.376 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550608057.376 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.376 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.376 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.376 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.376 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.376 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.376 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.377 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.377 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.377 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.377 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.377 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1550608057.377 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.377 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608057.377 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.377 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1550608057.378 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.378 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 0 1)) into 2
1550608057.378 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 2 1)))) into -8
1550608057.378 * [misc]backup-simplify:  Simplify -8 into -8
1550608057.378 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608057.378 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.378 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1550608057.378 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.379 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 2) (* 0 1))) into 1
1550608057.379 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 1 1)) (* -8 (/ 2 1)))) into 12
1550608057.379 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.379 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1550608057.379 * [misc]backup-simplify:  Simplify (* (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t))))) into (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))
1550608057.379 * [misc]approximate:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in (t) around 0
1550608057.379 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1550608057.379 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.379 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.379 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1550608057.379 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.379 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.379 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.379 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.379 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1550608057.379 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550608057.379 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.379 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.379 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.379 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.379 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.379 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.379 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.380 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608057.380 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608057.380 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.380 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1550608057.380 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.380 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1550608057.380 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1550608057.380 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.380 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.380 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1550608057.380 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.380 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.380 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.380 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.380 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1550608057.380 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550608057.380 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.380 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.380 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.380 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.380 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.380 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.380 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.381 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608057.381 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608057.381 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.381 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1550608057.381 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.381 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1550608057.381 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.381 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608057.381 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608057.381 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.382 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
1550608057.382 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.382 * [misc]backup-simplify:  Simplify (+ (* 1 -2) (* 0 1)) into -2
1550608057.382 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ -2 1)))) into 8
1550608057.382 * [misc]backup-simplify:  Simplify 8 into 8
1550608057.382 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608057.382 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608057.382 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.382 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1
1550608057.383 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.383 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 -2) (* 0 1))) into 1
1550608057.383 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 1 1)) (* 8 (/ -2 1)))) into 12
1550608057.383 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.383 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1550608057.383 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1550608057.383 * [misc]backup-simplify:  Simplify (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) into (* 4 (/ (pow t 2) (pow (+ t 1) 2)))
1550608057.383 * [misc]approximate:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in (t) around 0
1550608057.383 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1550608057.383 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.383 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.383 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1550608057.383 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.383 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.383 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.383 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.383 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1550608057.384 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550608057.384 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.384 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.384 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.384 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.384 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.384 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.384 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.384 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.384 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.384 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1550608057.384 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.384 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.384 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1550608057.384 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.384 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.384 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.384 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.384 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1550608057.384 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550608057.384 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.384 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.384 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.384 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.384 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.384 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.384 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.385 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.385 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.385 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1550608057.385 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.385 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.385 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.385 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1550608057.385 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 2 1)))) into -2
1550608057.385 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1550608057.385 * [misc]backup-simplify:  Simplify -8 into -8
1550608057.386 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.386 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.386 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1550608057.386 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3
1550608057.386 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12
1550608057.386 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.386 * [misc]backup-simplify:  Simplify (+ (* 12 (pow t 4)) (+ (* -8 (pow t 3)) (* 4 (pow t 2)))) into (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))
1550608057.387 * [misc]backup-simplify:  Simplify (* (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t)))) into (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))
1550608057.387 * [misc]approximate:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in (t) around 0
1550608057.387 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1550608057.387 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.387 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.387 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1550608057.387 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.387 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.387 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.387 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.387 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1550608057.387 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550608057.387 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.387 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.387 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.387 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.387 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.387 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.387 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.387 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.387 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.387 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.387 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.387 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1550608057.388 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1550608057.388 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.388 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.388 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1550608057.388 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.388 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.388 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.388 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.388 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1550608057.388 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550608057.388 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.388 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.388 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.388 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.388 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.388 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.388 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.388 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.388 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.388 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.388 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.388 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1550608057.388 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.389 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608057.389 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.389 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1550608057.389 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.389 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 0 1)) into 2
1550608057.389 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 2 1)))) into -8
1550608057.389 * [misc]backup-simplify:  Simplify -8 into -8
1550608057.389 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608057.389 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.390 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1550608057.390 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.390 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 2) (* 0 1))) into 1
1550608057.390 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 1 1)) (* -8 (/ 2 1)))) into 12
1550608057.390 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.394 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1550608057.394 * [misc]backup-simplify:  Simplify (* (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t))))) into (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))
1550608057.394 * [misc]approximate:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in (t) around 0
1550608057.394 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1550608057.394 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.394 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.394 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1550608057.394 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.394 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.394 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.394 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.394 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1550608057.394 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550608057.394 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.394 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.394 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.394 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.394 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.394 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.394 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.395 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608057.395 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608057.395 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.395 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1550608057.395 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.395 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1550608057.395 * [misc]taylor:  Taking taylor expansion of (/ 4 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1550608057.395 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.395 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.395 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1550608057.395 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.395 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.395 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.395 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.395 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1550608057.395 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550608057.395 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.395 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.395 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.395 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.395 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.395 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.395 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.396 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608057.396 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608057.396 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.396 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1550608057.396 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.396 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1550608057.396 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.396 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608057.396 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608057.396 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.397 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
1550608057.397 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.397 * [misc]backup-simplify:  Simplify (+ (* 1 -2) (* 0 1)) into -2
1550608057.397 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ -2 1)))) into 8
1550608057.397 * [misc]backup-simplify:  Simplify 8 into 8
1550608057.397 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608057.397 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608057.397 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.398 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1
1550608057.398 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.398 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 -2) (* 0 1))) into 1
1550608057.398 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 1 1)) (* 8 (/ -2 1)))) into 12
1550608057.398 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.398 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 4)) into (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1550608057.398 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550608057.399 * [misc]backup-simplify:  Simplify (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) into (+ (* 4 (/ (pow t 2) (pow (+ t 1) 2))) 2)
1550608057.399 * [misc]approximate:  Taking taylor expansion of (+ (* 4 (/ (pow t 2) (pow (+ t 1) 2))) 2) in (t) around 0
1550608057.399 * [misc]taylor:  Taking taylor expansion of (+ (* 4 (/ (pow t 2) (pow (+ t 1) 2))) 2) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.399 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.399 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.399 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.399 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.399 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.399 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.399 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.399 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.399 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.399 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.399 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.399 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.399 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.399 * [misc]taylor:  Taking taylor expansion of 2 in t
1550608057.399 * [misc]backup-simplify:  Simplify 2 into 2
1550608057.399 * [misc]taylor:  Taking taylor expansion of (+ (* 4 (/ (pow t 2) (pow (+ t 1) 2))) 2) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.399 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.399 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.399 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.399 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.400 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.400 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1550608057.400 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550608057.400 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.400 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.400 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.400 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.400 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.400 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.400 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.400 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.400 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.400 * [misc]taylor:  Taking taylor expansion of 2 in t
1550608057.400 * [misc]backup-simplify:  Simplify 2 into 2
1550608057.400 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550608057.400 * [misc]backup-simplify:  Simplify 2 into 2
1550608057.400 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.400 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.400 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1550608057.401 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1550608057.401 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.401 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.401 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.401 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1550608057.401 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 2 1)))) into -2
1550608057.401 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1550608057.401 * [misc]backup-simplify:  Simplify (+ -8 0) into -8
1550608057.401 * [misc]backup-simplify:  Simplify -8 into -8
1550608057.401 * [misc]backup-simplify:  Simplify (+ (* -8 (pow t 3)) (+ (* 4 (pow t 2)) 2)) into (- (+ (* 4 (pow t 2)) 2) (* 8 (pow t 3)))
1550608057.402 * [misc]backup-simplify:  Simplify (+ 2 (* (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))))) into (+ (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) 2)
1550608057.402 * [misc]approximate:  Taking taylor expansion of (+ (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) 2) in (t) around 0
1550608057.402 * [misc]taylor:  Taking taylor expansion of (+ (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) 2) in t
1550608057.402 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) in t
1550608057.402 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.402 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.402 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1550608057.402 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1550608057.402 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.402 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.402 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.402 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.402 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1550608057.402 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550608057.402 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.402 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.402 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.402 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.402 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.402 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.402 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.402 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.402 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.402 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.403 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.403 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.403 * [misc]taylor:  Taking taylor expansion of 2 in t
1550608057.403 * [misc]backup-simplify:  Simplify 2 into 2
1550608057.403 * [misc]taylor:  Taking taylor expansion of (+ (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) 2) in t
1550608057.403 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) in t
1550608057.403 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.403 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.403 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1550608057.403 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1550608057.403 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.403 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.403 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.403 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.403 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1550608057.403 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550608057.403 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.403 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.403 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.403 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.403 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.403 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.403 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.403 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.403 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.403 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.404 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.404 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.404 * [misc]taylor:  Taking taylor expansion of 2 in t
1550608057.404 * [misc]backup-simplify:  Simplify 2 into 2
1550608057.404 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1550608057.404 * [misc]backup-simplify:  Simplify (+ 4 2) into 6
1550608057.404 * [misc]backup-simplify:  Simplify 6 into 6
1550608057.404 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608057.404 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.404 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1550608057.404 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.405 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 0 1)) into 2
1550608057.405 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 2 1)))) into -2
1550608057.405 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1550608057.405 * [misc]backup-simplify:  Simplify (+ -8 0) into -8
1550608057.405 * [misc]backup-simplify:  Simplify -8 into -8
1550608057.405 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608057.405 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.405 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1550608057.406 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.406 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 2) (* 0 1))) into 1
1550608057.406 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3
1550608057.406 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12
1550608057.406 * [misc]backup-simplify:  Simplify (+ 12 0) into 12
1550608057.406 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.406 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 6)) into (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t)))
1550608057.406 * [misc]backup-simplify:  Simplify (+ 2 (* (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))))) into (+ 2 (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))))
1550608057.407 * [misc]approximate:  Taking taylor expansion of (+ 2 (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))))) in (t) around 0
1550608057.407 * [misc]taylor:  Taking taylor expansion of (+ 2 (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))))) in t
1550608057.407 * [misc]taylor:  Taking taylor expansion of 2 in t
1550608057.407 * [misc]backup-simplify:  Simplify 2 into 2
1550608057.407 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))) in t
1550608057.407 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.407 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.407 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1550608057.407 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1550608057.407 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.407 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.407 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.407 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.407 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1550608057.407 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550608057.407 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.407 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.407 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.407 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.407 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.407 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.407 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.407 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608057.407 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608057.407 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.407 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1550608057.407 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.408 * [misc]taylor:  Taking taylor expansion of (+ 2 (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))))) in t
1550608057.408 * [misc]taylor:  Taking taylor expansion of 2 in t
1550608057.408 * [misc]backup-simplify:  Simplify 2 into 2
1550608057.408 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))) in t
1550608057.408 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.408 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.408 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1550608057.408 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1550608057.408 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.408 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.408 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.408 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.408 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1550608057.408 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550608057.408 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.408 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.408 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.408 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.408 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.408 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.408 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608057.408 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608057.408 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.409 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1550608057.409 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.409 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.409 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1550608057.409 * [misc]backup-simplify:  Simplify (+ 2 4) into 6
1550608057.409 * [misc]backup-simplify:  Simplify 6 into 6
1550608057.409 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608057.409 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608057.409 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.410 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
1550608057.410 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.410 * [misc]backup-simplify:  Simplify (+ (* 1 -2) (* 0 1)) into -2
1550608057.410 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -2 1)))) into 2
1550608057.410 * [misc]backup-simplify:  Simplify (+ (* 4 2) (* 0 1)) into 8
1550608057.410 * [misc]backup-simplify:  Simplify (+ 0 8) into 8
1550608057.410 * [misc]backup-simplify:  Simplify 8 into 8
1550608057.410 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608057.411 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608057.411 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.411 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1
1550608057.411 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.411 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 -2) (* 0 1))) into 1
1550608057.411 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)) (* 2 (/ -2 1)))) into 3
1550608057.411 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 2) (* 0 1))) into 12
1550608057.411 * [misc]backup-simplify:  Simplify (+ 0 12) into 12
1550608057.411 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.412 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 6)) into (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t)))
1550608057.412 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1550608057.412 * [misc]backup-simplify:  Simplify (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) into (+ (* 4 (/ (pow t 2) (pow (+ t 1) 2))) 1)
1550608057.412 * [misc]approximate:  Taking taylor expansion of (+ (* 4 (/ (pow t 2) (pow (+ t 1) 2))) 1) in (t) around 0
1550608057.412 * [misc]taylor:  Taking taylor expansion of (+ (* 4 (/ (pow t 2) (pow (+ t 1) 2))) 1) in t
1550608057.412 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1550608057.412 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.412 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.412 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1550608057.412 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.412 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.412 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.412 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.412 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1550608057.412 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550608057.412 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.412 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.412 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.412 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.412 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.412 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.412 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.412 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.413 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.413 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.413 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.413 * [misc]taylor:  Taking taylor expansion of (+ (* 4 (/ (pow t 2) (pow (+ t 1) 2))) 1) in t
1550608057.413 * [misc]taylor:  Taking taylor expansion of (* 4 (/ (pow t 2) (pow (+ t 1) 2))) in t
1550608057.413 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.413 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.413 * [misc]taylor:  Taking taylor expansion of (/ (pow t 2) (pow (+ t 1) 2)) in t
1550608057.413 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.413 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.413 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.413 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.413 * [misc]taylor:  Taking taylor expansion of (pow (+ t 1) 2) in t
1550608057.413 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550608057.413 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.413 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.413 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.413 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.413 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.413 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.413 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.413 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.413 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.413 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.413 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.413 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.413 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.414 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.414 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.414 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1550608057.414 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1550608057.414 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.414 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.414 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.414 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1550608057.414 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 2 1)))) into -2
1550608057.414 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1550608057.415 * [misc]backup-simplify:  Simplify (+ -8 0) into -8
1550608057.415 * [misc]backup-simplify:  Simplify -8 into -8
1550608057.415 * [misc]backup-simplify:  Simplify (+ (* -8 (pow t 3)) (+ (* 4 (pow t 2)) 1)) into (- (+ (* 4 (pow t 2)) 1) (* 8 (pow t 3)))
1550608057.415 * [misc]backup-simplify:  Simplify (+ 1 (* (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))) (/ (* 2 (/ 1 t)) (+ 1 (/ 1 t))))) into (+ (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) 1)
1550608057.415 * [misc]approximate:  Taking taylor expansion of (+ (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) 1) in (t) around 0
1550608057.415 * [misc]taylor:  Taking taylor expansion of (+ (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) 1) in t
1550608057.415 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) in t
1550608057.415 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.415 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.415 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1550608057.415 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1550608057.415 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.415 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.415 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.415 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.415 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1550608057.415 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550608057.415 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.415 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.415 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.415 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.415 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.415 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.415 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.415 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.416 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.416 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.416 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.416 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.416 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.416 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.416 * [misc]taylor:  Taking taylor expansion of (+ (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) 1) in t
1550608057.416 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2)))) in t
1550608057.416 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.416 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.416 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1) 2))) in t
1550608057.416 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1) 2)) in t
1550608057.416 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.416 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.416 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.416 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.416 * [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t
1550608057.416 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550608057.416 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.416 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.416 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.416 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.416 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.416 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.416 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.416 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.417 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.417 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.417 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.417 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.417 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.417 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.417 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1550608057.417 * [misc]backup-simplify:  Simplify (+ 4 1) into 5
1550608057.417 * [misc]backup-simplify:  Simplify 5 into 5
1550608057.418 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608057.418 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608057.418 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
1550608057.418 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.418 * [misc]backup-simplify:  Simplify (+ (* 1 2) (* 0 1)) into 2
1550608057.419 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 2 1)))) into -2
1550608057.419 * [misc]backup-simplify:  Simplify (+ (* 4 -2) (* 0 1)) into -8
1550608057.419 * [misc]backup-simplify:  Simplify (+ -8 0) into -8
1550608057.419 * [misc]backup-simplify:  Simplify -8 into -8
1550608057.419 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608057.420 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.420 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
1550608057.420 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.420 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 2) (* 0 1))) into 1
1550608057.421 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)) (* -2 (/ 2 1)))) into 3
1550608057.421 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 -2) (* 0 1))) into 12
1550608057.421 * [misc]backup-simplify:  Simplify (+ 12 0) into 12
1550608057.421 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.421 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 t) 2)) (+ (* -8 (/ 1 t)) 5)) into (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t)))
1550608057.422 * [misc]backup-simplify:  Simplify (+ 1 (* (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))) (/ (* 2 (/ 1 (- t))) (+ 1 (/ 1 (- t)))))) into (+ 1 (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))))
1550608057.422 * [misc]approximate:  Taking taylor expansion of (+ 1 (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))))) in (t) around 0
1550608057.422 * [misc]taylor:  Taking taylor expansion of (+ 1 (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))))) in t
1550608057.422 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.422 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.422 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))) in t
1550608057.422 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.422 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.422 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1550608057.422 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1550608057.422 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.422 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.422 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.422 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.422 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1550608057.422 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550608057.422 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.422 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.422 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.422 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.422 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.422 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.422 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.423 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608057.423 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608057.423 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.423 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1550608057.423 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.423 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.423 * [misc]taylor:  Taking taylor expansion of (+ 1 (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))))) in t
1550608057.423 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.423 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.423 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2)))) in t
1550608057.423 * [misc]taylor:  Taking taylor expansion of 4 in t
1550608057.423 * [misc]backup-simplify:  Simplify 4 into 4
1550608057.423 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1 (/ 1 t)) 2))) in t
1550608057.424 * [misc]taylor:  Taking taylor expansion of (* (pow t 2) (pow (- 1 (/ 1 t)) 2)) in t
1550608057.424 * [misc]taylor:  Taking taylor expansion of (pow t 2) in t
1550608057.424 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.424 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.424 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.424 * [misc]taylor:  Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t
1550608057.424 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550608057.424 * [misc]taylor:  Taking taylor expansion of 1 in t
1550608057.424 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.424 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550608057.424 * [misc]taylor:  Taking taylor expansion of t in t
1550608057.424 * [misc]backup-simplify:  Simplify 0 into 0
1550608057.424 * [misc]backup-simplify:  Simplify 1 into 1
1550608057.424 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.424 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608057.424 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608057.424 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.425 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1550608057.425 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608057.425 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608057.425 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1550608057.425 * [misc]backup-simplify:  Simplify (+ 1 4) into 5
1550608057.425 * [misc]backup-simplify:  Simplify 5 into 5
1550608057.425 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608057.426 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608057.426 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608057.426 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
1550608057.426 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608057.426 * [misc]backup-simplify:  Simplify (+ (* 1 -2) (* 0 1)) into -2
1550608057.427 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -2 1)))) into 2
1550608057.427 * [misc]backup-simplify:  Simplify (+ (* 4 2) (* 0 1)) into 8
1550608057.427 * [misc]backup-simplify:  Simplify (+ 0 8) into 8
1550608057.427 * [misc]backup-simplify:  Simplify 8 into 8
1550608057.427 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608057.427 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608057.428 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608057.428 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1
1550608057.428 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608057.428 * [misc]backup-simplify:  Simplify (+ (* 1 1) (+ (* 0 -2) (* 0 1))) into 1
1550608057.429 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)) (* 2 (/ -2 1)))) into 3
1550608057.429 * [misc]backup-simplify:  Simplify (+ (* 4 3) (+ (* 0 2) (* 0 1))) into 12
1550608057.429 * [misc]backup-simplify:  Simplify (+ 0 12) into 12
1550608057.429 * [misc]backup-simplify:  Simplify 12 into 12
1550608057.429 * [misc]backup-simplify:  Simplify (+ (* 12 (pow (/ 1 (- t)) 2)) (+ (* 8 (/ 1 (- t))) 5)) into (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t)))
1550608057.429 * * * [misc]progress:  simplifying candidates
1550608057.430 * * * * [misc]progress:  [ 1 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ 1 t)) (+ 1 1)))))>
1550608057.430 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1550608057.430 * * [misc]simplify:  iters left: 4 (6 enodes)
1550608057.434 * * [misc]simplify:  iters left: 3 (24 enodes)
1550608057.441 * * [misc]simplify:  iters left: 2 (32 enodes)
1550608057.451 * * [misc]simplify:  iters left: 1 (37 enodes)
1550608057.462 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608057.462 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608057.462 * * [misc]simplify:  Extracting #2: cost 14 inf + 2
1550608057.463 * * [misc]simplify:  Extracting #3: cost 11 inf + 87
1550608057.463 * * [misc]simplify:  Extracting #4: cost 3 inf + 706
1550608057.463 * * [misc]simplify:  Extracting #5: cost 0 inf + 995
1550608057.464 * [exit]simplify:  Simplified to (/ 2 (/ (+ t 1) t))
1550608057.464 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ 2 (/ (+ t 1) t)) (+ 1 1)))))
1550608057.464 * [enter]simplify:  Simplifying (+ 1 1)
1550608057.464 * * [misc]simplify:  iters left: 2 (2 enodes)
1550608057.467 * * [misc]simplify:  iters left: 1 (9 enodes)
1550608057.470 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608057.470 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550608057.470 * [exit]simplify:  Simplified to 2
1550608057.470 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ 1 t)) 2))))
1550608057.470 * * * * [misc]progress:  [ 2 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1))))>
1550608057.470 * [enter]simplify:  Simplifying (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
1550608057.470 * * [misc]simplify:  iters left: 6 (7 enodes)
1550608057.475 * * [misc]simplify:  iters left: 5 (31 enodes)
1550608057.486 * * [misc]simplify:  iters left: 4 (61 enodes)
1550608057.506 * * [misc]simplify:  iters left: 3 (132 enodes)
1550608057.537 * * [misc]simplify:  iters left: 2 (277 enodes)
1550608057.638 * * [misc]simplify:  iters left: 1 (494 enodes)
1550608057.976 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608057.976 * * [misc]simplify:  Extracting #1: cost 51 inf + 0
1550608057.977 * * [misc]simplify:  Extracting #2: cost 113 inf + 4
1550608057.979 * * [misc]simplify:  Extracting #3: cost 96 inf + 2020
1550608057.987 * * [misc]simplify:  Extracting #4: cost 22 inf + 11284
1550608058.000 * * [misc]simplify:  Extracting #5: cost 0 inf + 14334
1550608058.012 * * [misc]simplify:  Extracting #6: cost 0 inf + 14294
1550608058.024 * [exit]simplify:  Simplified to (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))
1550608058.024 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))) 1))))
1550608058.024 * * * * [misc]progress:  [ 3 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ 1 t)) 2))))>
1550608058.024 * * * * [misc]progress:  [ 4 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ (* 2 t) (+ 1 t)) (+ 1 1)))))>
1550608058.024 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1550608058.024 * * [misc]simplify:  iters left: 4 (6 enodes)
1550608058.028 * * [misc]simplify:  iters left: 3 (24 enodes)
1550608058.036 * * [misc]simplify:  iters left: 2 (32 enodes)
1550608058.045 * * [misc]simplify:  iters left: 1 (37 enodes)
1550608058.056 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608058.056 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608058.056 * * [misc]simplify:  Extracting #2: cost 14 inf + 2
1550608058.056 * * [misc]simplify:  Extracting #3: cost 11 inf + 87
1550608058.056 * * [misc]simplify:  Extracting #4: cost 3 inf + 706
1550608058.057 * * [misc]simplify:  Extracting #5: cost 0 inf + 995
1550608058.057 * [exit]simplify:  Simplified to (/ 2 (/ (+ t 1) t))
1550608058.057 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (/ 2 (/ (+ t 1) t)) (+ 1 1)))))
1550608058.057 * * * * [misc]progress:  [ 5 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1))))>
1550608058.057 * * * * [misc]progress:  [ 6 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (- (log (* 2 t)) (log (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))))))>
1550608058.057 * [enter]simplify:  Simplifying (+ (- (log (* 2 t)) (log (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))
1550608058.057 * * [misc]simplify:  iters left: 6 (9 enodes)
1550608058.060 * * [misc]simplify:  iters left: 5 (40 enodes)
1550608058.068 * * [misc]simplify:  iters left: 4 (75 enodes)
1550608058.084 * * [misc]simplify:  iters left: 3 (182 enodes)
1550608058.149 * * [misc]simplify:  iters left: 2 (439 enodes)
1550608058.443 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608058.443 * * [misc]simplify:  Extracting #1: cost 52 inf + 0
1550608058.444 * * [misc]simplify:  Extracting #2: cost 127 inf + 0
1550608058.445 * * [misc]simplify:  Extracting #3: cost 123 inf + 491
1550608058.448 * * [misc]simplify:  Extracting #4: cost 95 inf + 5121
1550608058.461 * * [misc]simplify:  Extracting #5: cost 24 inf + 24591
1550608058.477 * * [misc]simplify:  Extracting #6: cost 0 inf + 32569
1550608058.492 * * [misc]simplify:  Extracting #7: cost 0 inf + 32489
1550608058.508 * [exit]simplify:  Simplified to (+ (- (log (* 2 t)) (log (+ t 1))) (- (log (* 2 t)) (log (+ t 1))))
1550608058.508 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (- (log (* 2 t)) (log (+ t 1))) (- (log (* 2 t)) (log (+ t 1))))))))
1550608058.508 * * * * [misc]progress:  [ 7 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (- (log (* 2 t)) (log (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))))))>
1550608058.508 * [enter]simplify:  Simplifying (+ (- (log (* 2 t)) (log (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))
1550608058.509 * * [misc]simplify:  iters left: 6 (11 enodes)
1550608058.515 * * [misc]simplify:  iters left: 5 (45 enodes)
1550608058.530 * * [misc]simplify:  iters left: 4 (86 enodes)
1550608058.550 * * [misc]simplify:  iters left: 3 (197 enodes)
1550608058.622 * * [misc]simplify:  iters left: 2 (494 enodes)
1550608058.859 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608058.860 * * [misc]simplify:  Extracting #1: cost 50 inf + 0
1550608058.860 * * [misc]simplify:  Extracting #2: cost 170 inf + 0
1550608058.861 * * [misc]simplify:  Extracting #3: cost 175 inf + 308
1550608058.862 * * [misc]simplify:  Extracting #4: cost 142 inf + 5940
1550608058.870 * * [misc]simplify:  Extracting #5: cost 52 inf + 29879
1550608058.894 * * [misc]simplify:  Extracting #6: cost 0 inf + 43006
1550608058.913 * * [misc]simplify:  Extracting #7: cost 0 inf + 42076
1550608058.923 * [exit]simplify:  Simplified to (+ (log (* (/ 2 (+ t 1)) t)) (log (* (/ 2 (+ t 1)) t)))
1550608058.923 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (* (/ 2 (+ t 1)) t)) (log (* (/ 2 (+ t 1)) t)))))))
1550608058.924 * * * * [misc]progress:  [ 8 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (/ (* 2 t) (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))))))>
1550608058.924 * [enter]simplify:  Simplifying (+ (log (/ (* 2 t) (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))
1550608058.924 * * [misc]simplify:  iters left: 6 (11 enodes)
1550608058.927 * * [misc]simplify:  iters left: 5 (45 enodes)
1550608058.935 * * [misc]simplify:  iters left: 4 (79 enodes)
1550608058.956 * * [misc]simplify:  iters left: 3 (179 enodes)
1550608059.045 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608059.045 * * [misc]simplify:  Extracting #1: cost 50 inf + 0
1550608059.046 * * [misc]simplify:  Extracting #2: cost 135 inf + 0
1550608059.047 * * [misc]simplify:  Extracting #3: cost 140 inf + 308
1550608059.048 * * [misc]simplify:  Extracting #4: cost 117 inf + 3321
1550608059.054 * * [misc]simplify:  Extracting #5: cost 39 inf + 24973
1550608059.067 * * [misc]simplify:  Extracting #6: cost 1 inf + 34818
1550608059.080 * * [misc]simplify:  Extracting #7: cost 0 inf + 34800
1550608059.093 * [exit]simplify:  Simplified to (+ (log (* t (/ 2 (+ t 1)))) (log (* t (/ 2 (+ t 1)))))
1550608059.093 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (* t (/ 2 (+ t 1)))) (log (* t (/ 2 (+ t 1)))))))))
1550608059.093 * * * * [misc]progress:  [ 9 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (/ (* 2 t) (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))))))>
1550608059.094 * [enter]simplify:  Simplifying (+ (log (/ (* 2 t) (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))
1550608059.094 * * [misc]simplify:  iters left: 6 (8 enodes)
1550608059.098 * * [misc]simplify:  iters left: 5 (33 enodes)
1550608059.105 * * [misc]simplify:  iters left: 4 (57 enodes)
1550608059.116 * * [misc]simplify:  iters left: 3 (114 enodes)
1550608059.151 * * [misc]simplify:  iters left: 2 (303 enodes)
1550608059.278 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608059.278 * * [misc]simplify:  Extracting #1: cost 68 inf + 0
1550608059.281 * * [misc]simplify:  Extracting #2: cost 233 inf + 0
1550608059.282 * * [misc]simplify:  Extracting #3: cost 234 inf + 1036
1550608059.285 * * [misc]simplify:  Extracting #4: cost 160 inf + 17561
1550608059.297 * * [misc]simplify:  Extracting #5: cost 20 inf + 59208
1550608059.321 * * [misc]simplify:  Extracting #6: cost 0 inf + 64086
1550608059.344 * * [misc]simplify:  Extracting #7: cost 0 inf + 63806
1550608059.365 * * [misc]simplify:  Extracting #8: cost 0 inf + 63736
1550608059.385 * [exit]simplify:  Simplified to (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))
1550608059.385 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))))))
1550608059.385 * * * * [misc]progress:  [ 10 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (exp (log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608059.385 * * * * [misc]progress:  [ 11 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (log (exp (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608059.385 * * * * [misc]progress:  [ 12 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))))))>
1550608059.385 * [enter]simplify:  Simplifying (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1550608059.385 * * [misc]simplify:  iters left: 6 (11 enodes)
1550608059.389 * * [misc]simplify:  iters left: 5 (68 enodes)
1550608059.409 * * [misc]simplify:  iters left: 4 (255 enodes)
1550608059.726 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608059.727 * * [misc]simplify:  Extracting #1: cost 125 inf + 0
1550608059.731 * * [misc]simplify:  Extracting #2: cost 475 inf + 2196
1550608059.758 * * [misc]simplify:  Extracting #3: cost 217 inf + 68935
1550608059.829 * * [misc]simplify:  Extracting #4: cost 4 inf + 118982
1550608059.866 * * [misc]simplify:  Extracting #5: cost 0 inf + 116395
1550608059.914 * * [misc]simplify:  Extracting #6: cost 0 inf + 115715
1550608059.972 * [exit]simplify:  Simplified to (* (* (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))))
1550608059.972 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (* (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))))))))
1550608059.972 * * * * [misc]progress:  [ 13 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))))>
1550608059.972 * [enter]simplify:  Simplifying (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1550608059.973 * * [misc]simplify:  iters left: 6 (14 enodes)
1550608059.977 * * [misc]simplify:  iters left: 5 (86 enodes)
1550608060.001 * * [misc]simplify:  iters left: 4 (307 enodes)
1550608060.406 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608060.406 * * [misc]simplify:  Extracting #1: cost 108 inf + 0
1550608060.410 * * [misc]simplify:  Extracting #2: cost 497 inf + 743
1550608060.429 * * [misc]simplify:  Extracting #3: cost 322 inf + 43149
1550608060.500 * * [misc]simplify:  Extracting #4: cost 3 inf + 119318
1550608060.545 * * [misc]simplify:  Extracting #5: cost 0 inf + 118814
1550608060.590 * * [misc]simplify:  Extracting #6: cost 0 inf + 118734
1550608060.638 * [exit]simplify:  Simplified to (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))
1550608060.638 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))))))
1550608060.639 * * * * [misc]progress:  [ 14 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))))))>
1550608060.639 * [enter]simplify:  Simplifying (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1550608060.639 * * [misc]simplify:  iters left: 6 (14 enodes)
1550608060.644 * * [misc]simplify:  iters left: 5 (86 enodes)
1550608060.674 * * [misc]simplify:  iters left: 4 (297 enodes)
1550608061.011 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.011 * * [misc]simplify:  Extracting #1: cost 120 inf + 0
1550608061.016 * * [misc]simplify:  Extracting #2: cost 485 inf + 1674
1550608061.036 * * [misc]simplify:  Extracting #3: cost 258 inf + 53529
1550608061.072 * * [misc]simplify:  Extracting #4: cost 9 inf + 112678
1550608061.143 * * [misc]simplify:  Extracting #5: cost 0 inf + 114705
1550608061.190 * * [misc]simplify:  Extracting #6: cost 0 inf + 114585
1550608061.257 * [exit]simplify:  Simplified to (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))
1550608061.257 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))))))
1550608061.257 * * * * [misc]progress:  [ 15 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))))))>
1550608061.258 * [enter]simplify:  Simplifying (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1550608061.258 * * [misc]simplify:  iters left: 6 (9 enodes)
1550608061.264 * * [misc]simplify:  iters left: 5 (44 enodes)
1550608061.284 * * [misc]simplify:  iters left: 4 (134 enodes)
1550608061.363 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.364 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550608061.364 * * [misc]simplify:  Extracting #2: cost 116 inf + 2
1550608061.365 * * [misc]simplify:  Extracting #3: cost 132 inf + 2804
1550608061.375 * * [misc]simplify:  Extracting #4: cost 37 inf + 22948
1550608061.424 * * [misc]simplify:  Extracting #5: cost 0 inf + 31876
1550608061.444 * * [misc]simplify:  Extracting #6: cost 0 inf + 31796
1550608061.459 * [exit]simplify:  Simplified to (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))
1550608061.459 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))))))
1550608061.460 * * * * [misc]progress:  [ 16 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608061.460 * * * * [misc]progress:  [ 17 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608061.460 * * * * [misc]progress:  [ 18 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (sqrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (sqrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608061.460 * * * * [misc]progress:  [ 19 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (* 2 t) (* 2 t)) (* (+ 1 t) (+ 1 t))))))>
1550608061.460 * [enter]simplify:  Simplifying (* (* 2 t) (* 2 t))
1550608061.460 * * [misc]simplify:  iters left: 4 (4 enodes)
1550608061.463 * * [misc]simplify:  iters left: 3 (17 enodes)
1550608061.470 * * [misc]simplify:  iters left: 2 (30 enodes)
1550608061.478 * * [misc]simplify:  iters left: 1 (38 enodes)
1550608061.488 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.489 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550608061.489 * * [misc]simplify:  Extracting #2: cost 10 inf + 3
1550608061.489 * * [misc]simplify:  Extracting #3: cost 1 inf + 499
1550608061.489 * * [misc]simplify:  Extracting #4: cost 0 inf + 581
1550608061.490 * [exit]simplify:  Simplified to (* 4 (* t t))
1550608061.490 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* 4 (* t t)) (* (+ 1 t) (+ 1 t))))))
1550608061.490 * [enter]simplify:  Simplifying (* (+ 1 t) (+ 1 t))
1550608061.490 * * [misc]simplify:  iters left: 4 (4 enodes)
1550608061.493 * * [misc]simplify:  iters left: 3 (21 enodes)
1550608061.501 * * [misc]simplify:  iters left: 2 (41 enodes)
1550608061.513 * * [misc]simplify:  iters left: 1 (55 enodes)
1550608061.533 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.533 * * [misc]simplify:  Extracting #1: cost 14 inf + 0
1550608061.534 * * [misc]simplify:  Extracting #2: cost 23 inf + 2
1550608061.534 * * [misc]simplify:  Extracting #3: cost 5 inf + 1596
1550608061.535 * * [misc]simplify:  Extracting #4: cost 0 inf + 2081
1550608061.536 * [exit]simplify:  Simplified to (* (+ t 1) (+ t 1))
1550608061.536 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (* 2 t) (* 2 t)) (* (+ t 1) (+ t 1))))))
1550608061.537 * * * * [misc]progress:  [ 20 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1550608061.537 * * * * [misc]progress:  [ 21 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))) (cbrt (/ (* 2 t) (+ 1 t)))))))>
1550608061.537 * [enter]simplify:  Simplifying (cbrt (/ (* 2 t) (+ 1 t)))
1550608061.537 * * [misc]simplify:  iters left: 5 (7 enodes)
1550608061.541 * * [misc]simplify:  iters left: 4 (27 enodes)
1550608061.549 * * [misc]simplify:  iters left: 3 (35 enodes)
1550608061.559 * * [misc]simplify:  iters left: 2 (40 enodes)
1550608061.571 * * [misc]simplify:  iters left: 1 (42 enodes)
1550608061.586 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.586 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608061.586 * * [misc]simplify:  Extracting #2: cost 12 inf + 0
1550608061.586 * * [misc]simplify:  Extracting #3: cost 17 inf + 2
1550608061.586 * * [misc]simplify:  Extracting #4: cost 14 inf + 87
1550608061.587 * * [misc]simplify:  Extracting #5: cost 5 inf + 830
1550608061.587 * * [misc]simplify:  Extracting #6: cost 1 inf + 1280
1550608061.588 * * [misc]simplify:  Extracting #7: cost 0 inf + 1483
1550608061.589 * [exit]simplify:  Simplified to (cbrt (/ t (/ (+ t 1) 2)))
1550608061.589 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))) (cbrt (/ t (/ (+ t 1) 2)))))))
1550608061.589 * * * * [misc]progress:  [ 22 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (sqrt (/ (* 2 t) (+ 1 t)))) (sqrt (/ (* 2 t) (+ 1 t)))))))>
1550608061.589 * [enter]simplify:  Simplifying (sqrt (/ (* 2 t) (+ 1 t)))
1550608061.589 * * [misc]simplify:  iters left: 5 (7 enodes)
1550608061.593 * * [misc]simplify:  iters left: 4 (27 enodes)
1550608061.597 * * [misc]simplify:  iters left: 3 (35 enodes)
1550608061.603 * * [misc]simplify:  iters left: 2 (40 enodes)
1550608061.609 * * [misc]simplify:  iters left: 1 (42 enodes)
1550608061.615 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.615 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608061.615 * * [misc]simplify:  Extracting #2: cost 12 inf + 0
1550608061.615 * * [misc]simplify:  Extracting #3: cost 17 inf + 2
1550608061.615 * * [misc]simplify:  Extracting #4: cost 14 inf + 87
1550608061.615 * * [misc]simplify:  Extracting #5: cost 5 inf + 830
1550608061.616 * * [misc]simplify:  Extracting #6: cost 1 inf + 1240
1550608061.616 * * [misc]simplify:  Extracting #7: cost 0 inf + 1403
1550608061.616 * [exit]simplify:  Simplified to (sqrt (/ t (/ (+ t 1) 2)))
1550608061.616 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (sqrt (/ (* 2 t) (+ 1 t)))) (sqrt (/ t (/ (+ t 1) 2)))))))
1550608061.616 * * * * [misc]progress:  [ 23 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))) (/ t (cbrt (+ 1 t)))))))>
1550608061.617 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1550608061.617 * * [misc]simplify:  iters left: 5 (5 enodes)
1550608061.618 * * [misc]simplify:  iters left: 4 (18 enodes)
1550608061.621 * * [misc]simplify:  iters left: 3 (20 enodes)
1550608061.624 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.624 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608061.624 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608061.624 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550608061.624 * * [misc]simplify:  Extracting #4: cost 0 inf + 654
1550608061.624 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1550608061.624 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))) (/ t (cbrt (+ 1 t)))))))
1550608061.624 * * * * [misc]progress:  [ 24 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 (sqrt (+ 1 t)))) (/ t (sqrt (+ 1 t)))))))>
1550608061.624 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1550608061.625 * * [misc]simplify:  iters left: 5 (5 enodes)
1550608061.627 * * [misc]simplify:  iters left: 4 (18 enodes)
1550608061.633 * * [misc]simplify:  iters left: 3 (20 enodes)
1550608061.638 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.639 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608061.639 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608061.639 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550608061.639 * * [misc]simplify:  Extracting #4: cost 0 inf + 494
1550608061.639 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1550608061.639 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 (sqrt (+ 1 t)))) (/ t (sqrt (+ 1 t)))))))
1550608061.639 * * * * [misc]progress:  [ 25 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 1)) (/ t (+ 1 t))))))>
1550608061.640 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1550608061.640 * * [misc]simplify:  iters left: 4 (4 enodes)
1550608061.643 * * [misc]simplify:  iters left: 3 (15 enodes)
1550608061.647 * * [misc]simplify:  iters left: 2 (17 enodes)
1550608061.652 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.652 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608061.653 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608061.653 * * [misc]simplify:  Extracting #3: cost 3 inf + 44
1550608061.653 * * [misc]simplify:  Extracting #4: cost 1 inf + 168
1550608061.653 * * [misc]simplify:  Extracting #5: cost 0 inf + 250
1550608061.653 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1550608061.653 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 1)) (/ t (+ 1 t))))))
1550608061.653 * * * * [misc]progress:  [ 26 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t))))))>
1550608061.654 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1550608061.654 * * [misc]simplify:  iters left: 4 (6 enodes)
1550608061.657 * * [misc]simplify:  iters left: 3 (24 enodes)
1550608061.665 * * [misc]simplify:  iters left: 2 (32 enodes)
1550608061.674 * * [misc]simplify:  iters left: 1 (37 enodes)
1550608061.685 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.685 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608061.685 * * [misc]simplify:  Extracting #2: cost 14 inf + 2
1550608061.685 * * [misc]simplify:  Extracting #3: cost 11 inf + 87
1550608061.686 * * [misc]simplify:  Extracting #4: cost 3 inf + 706
1550608061.686 * * [misc]simplify:  Extracting #5: cost 0 inf + 995
1550608061.686 * [exit]simplify:  Simplified to (/ 2 (/ (+ t 1) t))
1550608061.686 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) 1) (/ 2 (/ (+ t 1) t))))))
1550608061.687 * * * * [misc]progress:  [ 27 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (/ 1 (+ 1 t))))))>
1550608061.687 * [enter]simplify:  Simplifying (/ 1 (+ 1 t))
1550608061.687 * * [misc]simplify:  iters left: 4 (4 enodes)
1550608061.689 * * [misc]simplify:  iters left: 3 (15 enodes)
1550608061.694 * * [misc]simplify:  iters left: 2 (17 enodes)
1550608061.699 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.699 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608061.699 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608061.699 * * [misc]simplify:  Extracting #3: cost 3 inf + 44
1550608061.699 * * [misc]simplify:  Extracting #4: cost 1 inf + 168
1550608061.699 * * [misc]simplify:  Extracting #5: cost 0 inf + 250
1550608061.699 * [exit]simplify:  Simplified to (/ 1 (+ t 1))
1550608061.700 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (/ 1 (+ t 1))))))
1550608061.700 * * * * [misc]progress:  [ 28 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ (pow 1 3) (pow t 3)))) (+ (* 1 1) (- (* t t) (* 1 t)))))))>
1550608061.700 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1550608061.700 * * [misc]simplify:  iters left: 6 (7 enodes)
1550608061.704 * * [misc]simplify:  iters left: 5 (24 enodes)
1550608061.712 * * [misc]simplify:  iters left: 4 (43 enodes)
1550608061.728 * * [misc]simplify:  iters left: 3 (68 enodes)
1550608061.745 * * [misc]simplify:  iters left: 2 (77 enodes)
1550608061.764 * * [misc]simplify:  iters left: 1 (93 enodes)
1550608061.787 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.787 * * [misc]simplify:  Extracting #1: cost 14 inf + 0
1550608061.788 * * [misc]simplify:  Extracting #2: cost 13 inf + 413
1550608061.788 * * [misc]simplify:  Extracting #3: cost 2 inf + 1188
1550608061.789 * * [misc]simplify:  Extracting #4: cost 0 inf + 1351
1550608061.790 * [exit]simplify:  Simplified to (+ (- (* t t) t) 1)
1550608061.790 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ (pow 1 3) (pow t 3)))) (+ (- (* t t) t) 1)))))
1550608061.790 * * * * [misc]progress:  [ 29 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (- (* 1 1) (* t t)))) (- 1 t)))))>
1550608061.791 * [enter]simplify:  Simplifying (- 1 t)
1550608061.791 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608061.793 * * [misc]simplify:  iters left: 1 (13 enodes)
1550608061.797 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.797 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550608061.797 * * [misc]simplify:  Extracting #2: cost 3 inf + 43
1550608061.797 * * [misc]simplify:  Extracting #3: cost 0 inf + 168
1550608061.797 * [exit]simplify:  Simplified to (- 1 t)
1550608061.797 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (- (* 1 1) (* t t)))) (- 1 t)))))
1550608061.797 * * * * [misc]progress:  [ 30 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (* (cbrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))>
1550608061.798 * [enter]simplify:  Simplifying (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))
1550608061.798 * * [misc]simplify:  iters left: 6 (8 enodes)
1550608061.803 * * [misc]simplify:  iters left: 5 (30 enodes)
1550608061.812 * * [misc]simplify:  iters left: 4 (38 enodes)
1550608061.824 * * [misc]simplify:  iters left: 3 (43 enodes)
1550608061.836 * * [misc]simplify:  iters left: 2 (45 enodes)
1550608061.849 * * [misc]simplify:  iters left: 1 (48 enodes)
1550608061.863 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.863 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608061.863 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550608061.863 * * [misc]simplify:  Extracting #3: cost 14 inf + 0
1550608061.863 * * [misc]simplify:  Extracting #4: cost 19 inf + 2
1550608061.863 * * [misc]simplify:  Extracting #5: cost 16 inf + 87
1550608061.864 * * [misc]simplify:  Extracting #6: cost 8 inf + 706
1550608061.864 * * [misc]simplify:  Extracting #7: cost 0 inf + 1969
1550608061.865 * [exit]simplify:  Simplified to (* (cbrt (/ (* 2 t) (+ t 1))) (cbrt (/ (* 2 t) (+ t 1))))
1550608061.865 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* (cbrt (/ (* 2 t) (+ t 1))) (cbrt (/ (* 2 t) (+ t 1)))) (* (cbrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))
1550608061.867 * * * * [misc]progress:  [ 31 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (sqrt (/ (* 2 t) (+ 1 t))) (* (sqrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))>
1550608061.867 * [enter]simplify:  Simplifying (sqrt (/ (* 2 t) (+ 1 t)))
1550608061.867 * * [misc]simplify:  iters left: 5 (7 enodes)
1550608061.871 * * [misc]simplify:  iters left: 4 (27 enodes)
1550608061.878 * * [misc]simplify:  iters left: 3 (35 enodes)
1550608061.884 * * [misc]simplify:  iters left: 2 (40 enodes)
1550608061.890 * * [misc]simplify:  iters left: 1 (42 enodes)
1550608061.897 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.897 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608061.897 * * [misc]simplify:  Extracting #2: cost 12 inf + 0
1550608061.897 * * [misc]simplify:  Extracting #3: cost 17 inf + 2
1550608061.897 * * [misc]simplify:  Extracting #4: cost 14 inf + 87
1550608061.897 * * [misc]simplify:  Extracting #5: cost 5 inf + 830
1550608061.897 * * [misc]simplify:  Extracting #6: cost 1 inf + 1240
1550608061.898 * * [misc]simplify:  Extracting #7: cost 0 inf + 1403
1550608061.898 * [exit]simplify:  Simplified to (sqrt (/ t (/ (+ t 1) 2)))
1550608061.898 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (sqrt (/ t (/ (+ t 1) 2))) (* (sqrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))
1550608061.898 * * * * [misc]progress:  [ 32 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (* (/ t (cbrt (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))>
1550608061.898 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550608061.899 * * [misc]simplify:  iters left: 6 (7 enodes)
1550608061.901 * * [misc]simplify:  iters left: 5 (26 enodes)
1550608061.905 * * [misc]simplify:  iters left: 4 (30 enodes)
1550608061.910 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.910 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550608061.910 * * [misc]simplify:  Extracting #2: cost 9 inf + 1
1550608061.910 * * [misc]simplify:  Extracting #3: cost 12 inf + 1
1550608061.910 * * [misc]simplify:  Extracting #4: cost 8 inf + 87
1550608061.910 * * [misc]simplify:  Extracting #5: cost 4 inf + 697
1550608061.910 * * [misc]simplify:  Extracting #6: cost 1 inf + 1184
1550608061.910 * * [misc]simplify:  Extracting #7: cost 0 inf + 1387
1550608061.911 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1550608061.911 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (* (/ t (cbrt (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))
1550608061.911 * * * * [misc]progress:  [ 33 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 (sqrt (+ 1 t))) (* (/ t (sqrt (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))>
1550608061.911 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1550608061.911 * * [misc]simplify:  iters left: 5 (6 enodes)
1550608061.913 * * [misc]simplify:  iters left: 4 (21 enodes)
1550608061.917 * * [misc]simplify:  iters left: 3 (23 enodes)
1550608061.920 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.920 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608061.920 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608061.921 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550608061.921 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550608061.921 * * [misc]simplify:  Extracting #5: cost 1 inf + 374
1550608061.921 * * [misc]simplify:  Extracting #6: cost 0 inf + 497
1550608061.921 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1550608061.921 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 (sqrt (+ 1 t))) (* (/ t (sqrt (+ 1 t))) (/ (* 2 t) (+ 1 t)))))))
1550608061.921 * * * * [misc]progress:  [ 34 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 1) (* (/ t (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1550608061.921 * [enter]simplify:  Simplifying (/ 2 1)
1550608061.921 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608061.923 * * [misc]simplify:  iters left: 1 (9 enodes)
1550608061.925 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.925 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550608061.925 * [exit]simplify:  Simplified to 2
1550608061.925 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* 2 (* (/ t (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))
1550608061.925 * * * * [misc]progress:  [ 35 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1550608061.925 * * * * [misc]progress:  [ 36 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 t) (* (/ 1 (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1550608061.925 * [enter]simplify:  Simplifying (* 2 t)
1550608061.925 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608061.926 * * [misc]simplify:  iters left: 1 (10 enodes)
1550608061.928 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.928 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608061.928 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550608061.928 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550608061.928 * [exit]simplify:  Simplified to (* 2 t)
1550608061.928 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* 2 t) (* (/ 1 (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))
1550608061.928 * * * * [misc]progress:  [ 37 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ (* 2 t) (+ 1 t)))))))>
1550608061.928 * [enter]simplify:  Simplifying (/ (* 2 t) (+ (pow 1 3) (pow t 3)))
1550608061.928 * * [misc]simplify:  iters left: 5 (9 enodes)
1550608061.931 * * [misc]simplify:  iters left: 4 (36 enodes)
1550608061.937 * * [misc]simplify:  iters left: 3 (46 enodes)
1550608061.944 * * [misc]simplify:  iters left: 2 (51 enodes)
1550608061.958 * * [misc]simplify:  iters left: 1 (53 enodes)
1550608061.975 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608061.975 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608061.975 * * [misc]simplify:  Extracting #2: cost 16 inf + 2
1550608061.975 * * [misc]simplify:  Extracting #3: cost 16 inf + 87
1550608061.975 * * [misc]simplify:  Extracting #4: cost 11 inf + 1059
1550608061.976 * * [misc]simplify:  Extracting #5: cost 2 inf + 3005
1550608061.977 * * [misc]simplify:  Extracting #6: cost 0 inf + 2544
1550608061.978 * * [misc]simplify:  Extracting #7: cost 0 inf + 2282
1550608061.978 * [exit]simplify:  Simplified to (/ (* 2 t) (+ 1 (* (* t t) t)))
1550608061.979 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 (* (* t t) t))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ (* 2 t) (+ 1 t)))))))
1550608061.979 * * * * [misc]progress:  [ 38 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (- (* 1 1) (* t t))) (* (- 1 t) (/ (* 2 t) (+ 1 t)))))))>
1550608061.979 * [enter]simplify:  Simplifying (/ (* 2 t) (- (* 1 1) (* t t)))
1550608061.979 * * [misc]simplify:  iters left: 6 (8 enodes)
1550608061.984 * * [misc]simplify:  iters left: 5 (29 enodes)
1550608061.991 * * [misc]simplify:  iters left: 4 (47 enodes)
1550608061.999 * * [misc]simplify:  iters left: 3 (66 enodes)
1550608062.008 * * [misc]simplify:  iters left: 2 (79 enodes)
1550608062.020 * * [misc]simplify:  iters left: 1 (89 enodes)
1550608062.031 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608062.031 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608062.031 * * [misc]simplify:  Extracting #2: cost 22 inf + 2
1550608062.031 * * [misc]simplify:  Extracting #3: cost 24 inf + 334
1550608062.032 * * [misc]simplify:  Extracting #4: cost 4 inf + 2217
1550608062.032 * * [misc]simplify:  Extracting #5: cost 0 inf + 2506
1550608062.033 * [exit]simplify:  Simplified to (/ 2 (- (/ 1 t) t))
1550608062.033 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ 2 (- (/ 1 t) t)) (* (- 1 t) (/ (* 2 t) (+ 1 t)))))))
1550608062.033 * * * * [misc]progress:  [ 39 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (+ 1 t)))))>
1550608062.033 * [enter]simplify:  Simplifying (+ 1 t)
1550608062.033 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608062.034 * * [misc]simplify:  iters left: 1 (12 enodes)
1550608062.036 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608062.036 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608062.036 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550608062.036 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550608062.036 * [exit]simplify:  Simplified to (+ t 1)
1550608062.036 * [misc]simplify:  Simplified (2 2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (+ t 1)))))
1550608062.037 * * * * [misc]progress:  [ 40 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (* (* 2 t) (/ (* 2 t) (+ 1 t))) (+ 1 t)))))>
1550608062.037 * [enter]simplify:  Simplifying (* (* 2 t) (/ (* 2 t) (+ 1 t)))
1550608062.037 * * [misc]simplify:  iters left: 6 (7 enodes)
1550608062.039 * * [misc]simplify:  iters left: 5 (32 enodes)
1550608062.045 * * [misc]simplify:  iters left: 4 (64 enodes)
1550608062.056 * * [misc]simplify:  iters left: 3 (104 enodes)
1550608062.085 * * [misc]simplify:  iters left: 2 (143 enodes)
1550608062.129 * * [misc]simplify:  iters left: 1 (173 enodes)
1550608062.187 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608062.187 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550608062.187 * * [misc]simplify:  Extracting #2: cost 43 inf + 44
1550608062.189 * * [misc]simplify:  Extracting #3: cost 12 inf + 2956
1550608062.191 * * [misc]simplify:  Extracting #4: cost 0 inf + 4230
1550608062.194 * [exit]simplify:  Simplified to (/ 4 (/ (+ t 1) (* t t)))
1550608062.194 * [misc]simplify:  Simplified (2 2 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (/ (/ 4 (/ (+ t 1) (* t t))) (+ 1 t)))))
1550608062.194 * * * * [misc]progress:  [ 41 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (posit16->real (real->posit16 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608062.194 * * * * [misc]progress:  [ 42 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608062.194 * * * * [misc]progress:  [ 43 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ 1 t)) (+ 1 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608062.195 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1550608062.195 * * [misc]simplify:  iters left: 4 (6 enodes)
1550608062.198 * * [misc]simplify:  iters left: 3 (24 enodes)
1550608062.206 * * [misc]simplify:  iters left: 2 (32 enodes)
1550608062.216 * * [misc]simplify:  iters left: 1 (37 enodes)
1550608062.227 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608062.227 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608062.227 * * [misc]simplify:  Extracting #2: cost 14 inf + 2
1550608062.227 * * [misc]simplify:  Extracting #3: cost 11 inf + 87
1550608062.227 * * [misc]simplify:  Extracting #4: cost 3 inf + 706
1550608062.228 * * [misc]simplify:  Extracting #5: cost 0 inf + 995
1550608062.228 * [exit]simplify:  Simplified to (/ 2 (/ (+ t 1) t))
1550608062.228 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (pow (/ 2 (/ (+ t 1) t)) (+ 1 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608062.229 * [enter]simplify:  Simplifying (+ 1 1)
1550608062.229 * * [misc]simplify:  iters left: 2 (2 enodes)
1550608062.231 * * [misc]simplify:  iters left: 1 (9 enodes)
1550608062.234 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608062.234 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550608062.234 * [exit]simplify:  Simplified to 2
1550608062.234 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ 1 t)) 2)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608062.234 * * * * [misc]progress:  [ 44 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608062.234 * [enter]simplify:  Simplifying (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))
1550608062.235 * * [misc]simplify:  iters left: 6 (7 enodes)
1550608062.239 * * [misc]simplify:  iters left: 5 (31 enodes)
1550608062.245 * * [misc]simplify:  iters left: 4 (61 enodes)
1550608062.257 * * [misc]simplify:  iters left: 3 (132 enodes)
1550608062.296 * * [misc]simplify:  iters left: 2 (277 enodes)
1550608062.414 * * [misc]simplify:  iters left: 1 (494 enodes)
1550608062.801 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608062.802 * * [misc]simplify:  Extracting #1: cost 51 inf + 0
1550608062.803 * * [misc]simplify:  Extracting #2: cost 113 inf + 4
1550608062.804 * * [misc]simplify:  Extracting #3: cost 96 inf + 2020
1550608062.813 * * [misc]simplify:  Extracting #4: cost 22 inf + 11284
1550608062.824 * * [misc]simplify:  Extracting #5: cost 0 inf + 14334
1550608062.831 * * [misc]simplify:  Extracting #6: cost 0 inf + 14294
1550608062.837 * [exit]simplify:  Simplified to (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))
1550608062.837 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (pow (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))) 1)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608062.837 * * * * [misc]progress:  [ 45 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ 1 t)) 2)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608062.837 * * * * [misc]progress:  [ 46 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (/ (* 2 t) (+ 1 t)) (+ 1 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608062.837 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1550608062.837 * * [misc]simplify:  iters left: 4 (6 enodes)
1550608062.839 * * [misc]simplify:  iters left: 3 (24 enodes)
1550608062.843 * * [misc]simplify:  iters left: 2 (32 enodes)
1550608062.848 * * [misc]simplify:  iters left: 1 (37 enodes)
1550608062.853 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608062.853 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608062.853 * * [misc]simplify:  Extracting #2: cost 14 inf + 2
1550608062.853 * * [misc]simplify:  Extracting #3: cost 11 inf + 87
1550608062.854 * * [misc]simplify:  Extracting #4: cost 3 inf + 706
1550608062.854 * * [misc]simplify:  Extracting #5: cost 0 inf + 995
1550608062.854 * [exit]simplify:  Simplified to (/ 2 (/ (+ t 1) t))
1550608062.854 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (pow (/ 2 (/ (+ t 1) t)) (+ 1 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608062.854 * * * * [misc]progress:  [ 47 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1)) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608062.854 * * * * [misc]progress:  [ 48 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (+ (- (log (* 2 t)) (log (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608062.854 * [enter]simplify:  Simplifying (+ (- (log (* 2 t)) (log (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))
1550608062.854 * * [misc]simplify:  iters left: 6 (9 enodes)
1550608062.857 * * [misc]simplify:  iters left: 5 (40 enodes)
1550608062.864 * * [misc]simplify:  iters left: 4 (75 enodes)
1550608062.879 * * [misc]simplify:  iters left: 3 (182 enodes)
1550608062.963 * * [misc]simplify:  iters left: 2 (439 enodes)
1550608063.225 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608063.225 * * [misc]simplify:  Extracting #1: cost 52 inf + 0
1550608063.226 * * [misc]simplify:  Extracting #2: cost 127 inf + 0
1550608063.226 * * [misc]simplify:  Extracting #3: cost 123 inf + 491
1550608063.227 * * [misc]simplify:  Extracting #4: cost 95 inf + 5121
1550608063.232 * * [misc]simplify:  Extracting #5: cost 24 inf + 24591
1550608063.248 * * [misc]simplify:  Extracting #6: cost 0 inf + 32569
1550608063.266 * * [misc]simplify:  Extracting #7: cost 0 inf + 32489
1550608063.278 * [exit]simplify:  Simplified to (+ (- (log (* 2 t)) (log (+ t 1))) (- (log (* 2 t)) (log (+ t 1))))
1550608063.279 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (exp (+ (- (log (* 2 t)) (log (+ t 1))) (- (log (* 2 t)) (log (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608063.279 * * * * [misc]progress:  [ 49 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (+ (- (log (* 2 t)) (log (+ 1 t))) (log (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608063.279 * [enter]simplify:  Simplifying (+ (- (log (* 2 t)) (log (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))
1550608063.279 * * [misc]simplify:  iters left: 6 (11 enodes)
1550608063.283 * * [misc]simplify:  iters left: 5 (45 enodes)
1550608063.291 * * [misc]simplify:  iters left: 4 (86 enodes)
1550608063.308 * * [misc]simplify:  iters left: 3 (197 enodes)
1550608063.382 * * [misc]simplify:  iters left: 2 (494 enodes)
1550608063.622 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608063.622 * * [misc]simplify:  Extracting #1: cost 50 inf + 0
1550608063.623 * * [misc]simplify:  Extracting #2: cost 170 inf + 0
1550608063.624 * * [misc]simplify:  Extracting #3: cost 175 inf + 308
1550608063.625 * * [misc]simplify:  Extracting #4: cost 142 inf + 5940
1550608063.630 * * [misc]simplify:  Extracting #5: cost 52 inf + 29879
1550608063.647 * * [misc]simplify:  Extracting #6: cost 0 inf + 43006
1550608063.661 * * [misc]simplify:  Extracting #7: cost 0 inf + 42076
1550608063.671 * [exit]simplify:  Simplified to (+ (log (* (/ 2 (+ t 1)) t)) (log (* (/ 2 (+ t 1)) t)))
1550608063.671 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (exp (+ (log (* (/ 2 (+ t 1)) t)) (log (* (/ 2 (+ t 1)) t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608063.672 * * * * [misc]progress:  [ 50 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (+ (log (/ (* 2 t) (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608063.672 * [enter]simplify:  Simplifying (+ (log (/ (* 2 t) (+ 1 t))) (- (log (* 2 t)) (log (+ 1 t))))
1550608063.672 * * [misc]simplify:  iters left: 6 (11 enodes)
1550608063.677 * * [misc]simplify:  iters left: 5 (45 enodes)
1550608063.691 * * [misc]simplify:  iters left: 4 (79 enodes)
1550608063.720 * * [misc]simplify:  iters left: 3 (179 enodes)
1550608063.808 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608063.808 * * [misc]simplify:  Extracting #1: cost 50 inf + 0
1550608063.808 * * [misc]simplify:  Extracting #2: cost 135 inf + 0
1550608063.809 * * [misc]simplify:  Extracting #3: cost 140 inf + 308
1550608063.810 * * [misc]simplify:  Extracting #4: cost 117 inf + 3321
1550608063.813 * * [misc]simplify:  Extracting #5: cost 39 inf + 24973
1550608063.819 * * [misc]simplify:  Extracting #6: cost 1 inf + 34818
1550608063.825 * * [misc]simplify:  Extracting #7: cost 0 inf + 34800
1550608063.836 * [exit]simplify:  Simplified to (+ (log (* t (/ 2 (+ t 1)))) (log (* t (/ 2 (+ t 1)))))
1550608063.836 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (exp (+ (log (* t (/ 2 (+ t 1)))) (log (* t (/ 2 (+ t 1))))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608063.836 * * * * [misc]progress:  [ 51 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (+ (log (/ (* 2 t) (+ 1 t))) (log (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608063.837 * [enter]simplify:  Simplifying (+ (log (/ (* 2 t) (+ 1 t))) (log (/ (* 2 t) (+ 1 t))))
1550608063.837 * * [misc]simplify:  iters left: 6 (8 enodes)
1550608063.841 * * [misc]simplify:  iters left: 5 (33 enodes)
1550608063.852 * * [misc]simplify:  iters left: 4 (57 enodes)
1550608063.862 * * [misc]simplify:  iters left: 3 (114 enodes)
1550608063.898 * * [misc]simplify:  iters left: 2 (303 enodes)
1550608064.040 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608064.041 * * [misc]simplify:  Extracting #1: cost 68 inf + 0
1550608064.042 * * [misc]simplify:  Extracting #2: cost 233 inf + 0
1550608064.044 * * [misc]simplify:  Extracting #3: cost 234 inf + 1036
1550608064.049 * * [misc]simplify:  Extracting #4: cost 160 inf + 17561
1550608064.069 * * [misc]simplify:  Extracting #5: cost 20 inf + 59208
1550608064.081 * * [misc]simplify:  Extracting #6: cost 0 inf + 64086
1550608064.093 * * [misc]simplify:  Extracting #7: cost 0 inf + 63806
1550608064.105 * * [misc]simplify:  Extracting #8: cost 0 inf + 63736
1550608064.124 * [exit]simplify:  Simplified to (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1))))
1550608064.125 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (exp (+ (log (/ (* 2 t) (+ t 1))) (log (/ (* 2 t) (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608064.125 * * * * [misc]progress:  [ 52 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (exp (log (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608064.125 * * * * [misc]progress:  [ 53 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (log (exp (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608064.125 * * * * [misc]progress:  [ 54 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608064.125 * [enter]simplify:  Simplifying (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1550608064.126 * * [misc]simplify:  iters left: 6 (11 enodes)
1550608064.133 * * [misc]simplify:  iters left: 5 (68 enodes)
1550608064.167 * * [misc]simplify:  iters left: 4 (255 enodes)
1550608064.465 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608064.465 * * [misc]simplify:  Extracting #1: cost 125 inf + 0
1550608064.467 * * [misc]simplify:  Extracting #2: cost 475 inf + 2196
1550608064.489 * * [misc]simplify:  Extracting #3: cost 217 inf + 68935
1550608064.561 * * [misc]simplify:  Extracting #4: cost 4 inf + 118982
1550608064.629 * * [misc]simplify:  Extracting #5: cost 0 inf + 116395
1550608064.681 * * [misc]simplify:  Extracting #6: cost 0 inf + 115715
1550608064.737 * [exit]simplify:  Simplified to (* (* (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))))
1550608064.737 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (cbrt (* (* (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608064.737 * * * * [misc]progress:  [ 55 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608064.738 * [enter]simplify:  Simplifying (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1550608064.738 * * [misc]simplify:  iters left: 6 (14 enodes)
1550608064.747 * * [misc]simplify:  iters left: 5 (86 enodes)
1550608064.773 * * [misc]simplify:  iters left: 4 (307 enodes)
1550608065.061 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608065.061 * * [misc]simplify:  Extracting #1: cost 108 inf + 0
1550608065.065 * * [misc]simplify:  Extracting #2: cost 497 inf + 743
1550608065.076 * * [misc]simplify:  Extracting #3: cost 322 inf + 43149
1550608065.108 * * [misc]simplify:  Extracting #4: cost 3 inf + 119318
1550608065.150 * * [misc]simplify:  Extracting #5: cost 0 inf + 118814
1550608065.194 * * [misc]simplify:  Extracting #6: cost 0 inf + 118734
1550608065.254 * [exit]simplify:  Simplified to (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))
1550608065.254 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (cbrt (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608065.255 * * * * [misc]progress:  [ 56 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608065.255 * [enter]simplify:  Simplifying (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1550608065.255 * * [misc]simplify:  iters left: 6 (14 enodes)
1550608065.260 * * [misc]simplify:  iters left: 5 (86 enodes)
1550608065.288 * * [misc]simplify:  iters left: 4 (297 enodes)
1550608065.632 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608065.633 * * [misc]simplify:  Extracting #1: cost 120 inf + 0
1550608065.637 * * [misc]simplify:  Extracting #2: cost 485 inf + 1674
1550608065.667 * * [misc]simplify:  Extracting #3: cost 258 inf + 53529
1550608065.703 * * [misc]simplify:  Extracting #4: cost 9 inf + 112678
1550608065.768 * * [misc]simplify:  Extracting #5: cost 0 inf + 114705
1550608065.814 * * [misc]simplify:  Extracting #6: cost 0 inf + 114585
1550608065.873 * [exit]simplify:  Simplified to (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))
1550608065.873 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (cbrt (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608065.873 * * * * [misc]progress:  [ 57 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608065.874 * [enter]simplify:  Simplifying (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1550608065.874 * * [misc]simplify:  iters left: 6 (9 enodes)
1550608065.880 * * [misc]simplify:  iters left: 5 (44 enodes)
1550608065.892 * * [misc]simplify:  iters left: 4 (134 enodes)
1550608065.950 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608065.950 * * [misc]simplify:  Extracting #1: cost 24 inf + 0
1550608065.950 * * [misc]simplify:  Extracting #2: cost 116 inf + 2
1550608065.951 * * [misc]simplify:  Extracting #3: cost 132 inf + 2804
1550608065.956 * * [misc]simplify:  Extracting #4: cost 37 inf + 22948
1550608065.964 * * [misc]simplify:  Extracting #5: cost 0 inf + 31876
1550608065.973 * * [misc]simplify:  Extracting #6: cost 0 inf + 31796
1550608065.989 * [exit]simplify:  Simplified to (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))))
1550608065.990 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (cbrt (* (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1)))) (* (/ (* 2 t) (+ t 1)) (* (/ (* 2 t) (+ t 1)) (/ (* 2 t) (+ t 1))))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608065.990 * * * * [misc]progress:  [ 58 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (cbrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608065.990 * * * * [misc]progress:  [ 59 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (cbrt (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608065.990 * * * * [misc]progress:  [ 60 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (sqrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (sqrt (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608065.990 * * * * [misc]progress:  [ 61 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (/ (* (* 2 t) (* 2 t)) (* (+ 1 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608065.990 * [enter]simplify:  Simplifying (* (* 2 t) (* 2 t))
1550608065.991 * * [misc]simplify:  iters left: 4 (4 enodes)
1550608065.996 * * [misc]simplify:  iters left: 3 (17 enodes)
1550608066.002 * * [misc]simplify:  iters left: 2 (30 enodes)
1550608066.011 * * [misc]simplify:  iters left: 1 (38 enodes)
1550608066.017 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.017 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550608066.017 * * [misc]simplify:  Extracting #2: cost 10 inf + 3
1550608066.017 * * [misc]simplify:  Extracting #3: cost 1 inf + 499
1550608066.017 * * [misc]simplify:  Extracting #4: cost 0 inf + 581
1550608066.017 * [exit]simplify:  Simplified to (* 4 (* t t))
1550608066.018 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (/ (* 4 (* t t)) (* (+ 1 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.018 * [enter]simplify:  Simplifying (* (+ 1 t) (+ 1 t))
1550608066.018 * * [misc]simplify:  iters left: 4 (4 enodes)
1550608066.019 * * [misc]simplify:  iters left: 3 (21 enodes)
1550608066.023 * * [misc]simplify:  iters left: 2 (41 enodes)
1550608066.030 * * [misc]simplify:  iters left: 1 (55 enodes)
1550608066.039 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.040 * * [misc]simplify:  Extracting #1: cost 14 inf + 0
1550608066.040 * * [misc]simplify:  Extracting #2: cost 23 inf + 2
1550608066.040 * * [misc]simplify:  Extracting #3: cost 5 inf + 1596
1550608066.041 * * [misc]simplify:  Extracting #4: cost 0 inf + 2081
1550608066.042 * [exit]simplify:  Simplified to (* (+ t 1) (+ t 1))
1550608066.042 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (/ (* (* 2 t) (* 2 t)) (* (+ t 1) (+ t 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.042 * * * * [misc]progress:  [ 62 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.042 * * * * [misc]progress:  [ 63 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))) (cbrt (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.043 * [enter]simplify:  Simplifying (cbrt (/ (* 2 t) (+ 1 t)))
1550608066.043 * * [misc]simplify:  iters left: 5 (7 enodes)
1550608066.047 * * [misc]simplify:  iters left: 4 (27 enodes)
1550608066.055 * * [misc]simplify:  iters left: 3 (35 enodes)
1550608066.065 * * [misc]simplify:  iters left: 2 (40 enodes)
1550608066.076 * * [misc]simplify:  iters left: 1 (42 enodes)
1550608066.089 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.089 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608066.089 * * [misc]simplify:  Extracting #2: cost 12 inf + 0
1550608066.089 * * [misc]simplify:  Extracting #3: cost 17 inf + 2
1550608066.089 * * [misc]simplify:  Extracting #4: cost 14 inf + 87
1550608066.090 * * [misc]simplify:  Extracting #5: cost 5 inf + 830
1550608066.090 * * [misc]simplify:  Extracting #6: cost 1 inf + 1280
1550608066.091 * * [misc]simplify:  Extracting #7: cost 0 inf + 1483
1550608066.092 * [exit]simplify:  Simplified to (cbrt (/ t (/ (+ t 1) 2)))
1550608066.092 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))) (cbrt (/ t (/ (+ t 1) 2))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.092 * * * * [misc]progress:  [ 64 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (sqrt (/ (* 2 t) (+ 1 t)))) (sqrt (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.092 * [enter]simplify:  Simplifying (sqrt (/ (* 2 t) (+ 1 t)))
1550608066.092 * * [misc]simplify:  iters left: 5 (7 enodes)
1550608066.096 * * [misc]simplify:  iters left: 4 (27 enodes)
1550608066.105 * * [misc]simplify:  iters left: 3 (35 enodes)
1550608066.116 * * [misc]simplify:  iters left: 2 (40 enodes)
1550608066.125 * * [misc]simplify:  iters left: 1 (42 enodes)
1550608066.131 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.131 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608066.131 * * [misc]simplify:  Extracting #2: cost 12 inf + 0
1550608066.131 * * [misc]simplify:  Extracting #3: cost 17 inf + 2
1550608066.131 * * [misc]simplify:  Extracting #4: cost 14 inf + 87
1550608066.132 * * [misc]simplify:  Extracting #5: cost 5 inf + 830
1550608066.132 * * [misc]simplify:  Extracting #6: cost 1 inf + 1240
1550608066.132 * * [misc]simplify:  Extracting #7: cost 0 inf + 1403
1550608066.133 * [exit]simplify:  Simplified to (sqrt (/ t (/ (+ t 1) 2)))
1550608066.133 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (sqrt (/ (* 2 t) (+ 1 t)))) (sqrt (/ t (/ (+ t 1) 2))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.133 * * * * [misc]progress:  [ 65 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))) (/ t (cbrt (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.133 * [enter]simplify:  Simplifying (/ t (cbrt (+ 1 t)))
1550608066.133 * * [misc]simplify:  iters left: 5 (5 enodes)
1550608066.134 * * [misc]simplify:  iters left: 4 (18 enodes)
1550608066.137 * * [misc]simplify:  iters left: 3 (20 enodes)
1550608066.140 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.140 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608066.140 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608066.140 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550608066.141 * * [misc]simplify:  Extracting #4: cost 0 inf + 654
1550608066.141 * [exit]simplify:  Simplified to (/ t (cbrt (+ 1 t)))
1550608066.141 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))) (/ t (cbrt (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.141 * * * * [misc]progress:  [ 66 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 (sqrt (+ 1 t)))) (/ t (sqrt (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.141 * [enter]simplify:  Simplifying (/ t (sqrt (+ 1 t)))
1550608066.141 * * [misc]simplify:  iters left: 5 (5 enodes)
1550608066.142 * * [misc]simplify:  iters left: 4 (18 enodes)
1550608066.145 * * [misc]simplify:  iters left: 3 (20 enodes)
1550608066.148 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.148 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608066.148 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608066.149 * * [misc]simplify:  Extracting #3: cost 7 inf + 1
1550608066.149 * * [misc]simplify:  Extracting #4: cost 0 inf + 494
1550608066.149 * [exit]simplify:  Simplified to (/ t (sqrt (+ 1 t)))
1550608066.149 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 (sqrt (+ 1 t)))) (/ t (sqrt (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.149 * * * * [misc]progress:  [ 67 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 1)) (/ t (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.149 * [enter]simplify:  Simplifying (/ t (+ 1 t))
1550608066.149 * * [misc]simplify:  iters left: 4 (4 enodes)
1550608066.150 * * [misc]simplify:  iters left: 3 (15 enodes)
1550608066.153 * * [misc]simplify:  iters left: 2 (17 enodes)
1550608066.158 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.158 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608066.158 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608066.158 * * [misc]simplify:  Extracting #3: cost 3 inf + 44
1550608066.159 * * [misc]simplify:  Extracting #4: cost 1 inf + 168
1550608066.159 * * [misc]simplify:  Extracting #5: cost 0 inf + 250
1550608066.159 * [exit]simplify:  Simplified to (/ t (+ 1 t))
1550608066.159 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ 2 1)) (/ t (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.159 * * * * [misc]progress:  [ 68 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) 1) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.159 * [enter]simplify:  Simplifying (/ (* 2 t) (+ 1 t))
1550608066.160 * * [misc]simplify:  iters left: 4 (6 enodes)
1550608066.163 * * [misc]simplify:  iters left: 3 (24 enodes)
1550608066.171 * * [misc]simplify:  iters left: 2 (32 enodes)
1550608066.180 * * [misc]simplify:  iters left: 1 (37 enodes)
1550608066.186 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.186 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608066.186 * * [misc]simplify:  Extracting #2: cost 14 inf + 2
1550608066.186 * * [misc]simplify:  Extracting #3: cost 11 inf + 87
1550608066.186 * * [misc]simplify:  Extracting #4: cost 3 inf + 706
1550608066.186 * * [misc]simplify:  Extracting #5: cost 0 inf + 995
1550608066.187 * [exit]simplify:  Simplified to (/ 2 (/ (+ t 1) t))
1550608066.187 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) 1) (/ 2 (/ (+ t 1) t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.187 * * * * [misc]progress:  [ 69 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (/ 1 (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.187 * [enter]simplify:  Simplifying (/ 1 (+ 1 t))
1550608066.187 * * [misc]simplify:  iters left: 4 (4 enodes)
1550608066.188 * * [misc]simplify:  iters left: 3 (15 enodes)
1550608066.191 * * [misc]simplify:  iters left: 2 (17 enodes)
1550608066.193 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.193 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608066.193 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608066.193 * * [misc]simplify:  Extracting #3: cost 3 inf + 44
1550608066.193 * * [misc]simplify:  Extracting #4: cost 1 inf + 168
1550608066.194 * * [misc]simplify:  Extracting #5: cost 0 inf + 250
1550608066.194 * [exit]simplify:  Simplified to (/ 1 (+ t 1))
1550608066.194 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (/ 1 (+ t 1)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.194 * * * * [misc]progress:  [ 70 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ (pow 1 3) (pow t 3)))) (+ (* 1 1) (- (* t t) (* 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.194 * [enter]simplify:  Simplifying (+ (* 1 1) (- (* t t) (* 1 t)))
1550608066.194 * * [misc]simplify:  iters left: 6 (7 enodes)
1550608066.196 * * [misc]simplify:  iters left: 5 (24 enodes)
1550608066.200 * * [misc]simplify:  iters left: 4 (43 enodes)
1550608066.207 * * [misc]simplify:  iters left: 3 (68 enodes)
1550608066.224 * * [misc]simplify:  iters left: 2 (77 enodes)
1550608066.243 * * [misc]simplify:  iters left: 1 (93 enodes)
1550608066.265 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.265 * * [misc]simplify:  Extracting #1: cost 14 inf + 0
1550608066.265 * * [misc]simplify:  Extracting #2: cost 13 inf + 413
1550608066.266 * * [misc]simplify:  Extracting #3: cost 2 inf + 1188
1550608066.267 * * [misc]simplify:  Extracting #4: cost 0 inf + 1351
1550608066.268 * [exit]simplify:  Simplified to (+ (- (* t t) t) 1)
1550608066.268 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ (pow 1 3) (pow t 3)))) (+ (- (* t t) t) 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.269 * * * * [misc]progress:  [ 71 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (- (* 1 1) (* t t)))) (- 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.269 * [enter]simplify:  Simplifying (- 1 t)
1550608066.269 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608066.271 * * [misc]simplify:  iters left: 1 (13 enodes)
1550608066.275 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.275 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550608066.276 * * [misc]simplify:  Extracting #2: cost 3 inf + 43
1550608066.276 * * [misc]simplify:  Extracting #3: cost 0 inf + 168
1550608066.276 * [exit]simplify:  Simplified to (- 1 t)
1550608066.276 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (- (* 1 1) (* t t)))) (- 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.276 * * * * [misc]progress:  [ 72 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t)))) (* (cbrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.276 * [enter]simplify:  Simplifying (* (cbrt (/ (* 2 t) (+ 1 t))) (cbrt (/ (* 2 t) (+ 1 t))))
1550608066.276 * * [misc]simplify:  iters left: 6 (8 enodes)
1550608066.281 * * [misc]simplify:  iters left: 5 (30 enodes)
1550608066.291 * * [misc]simplify:  iters left: 4 (38 enodes)
1550608066.303 * * [misc]simplify:  iters left: 3 (43 enodes)
1550608066.315 * * [misc]simplify:  iters left: 2 (45 enodes)
1550608066.327 * * [misc]simplify:  iters left: 1 (48 enodes)
1550608066.340 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.340 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608066.340 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550608066.341 * * [misc]simplify:  Extracting #3: cost 14 inf + 0
1550608066.341 * * [misc]simplify:  Extracting #4: cost 19 inf + 2
1550608066.341 * * [misc]simplify:  Extracting #5: cost 16 inf + 87
1550608066.341 * * [misc]simplify:  Extracting #6: cost 8 inf + 706
1550608066.342 * * [misc]simplify:  Extracting #7: cost 0 inf + 1969
1550608066.343 * [exit]simplify:  Simplified to (* (cbrt (/ (* 2 t) (+ t 1))) (cbrt (/ (* 2 t) (+ t 1))))
1550608066.343 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* (cbrt (/ (* 2 t) (+ t 1))) (cbrt (/ (* 2 t) (+ t 1)))) (* (cbrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.343 * * * * [misc]progress:  [ 73 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (sqrt (/ (* 2 t) (+ 1 t))) (* (sqrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.343 * [enter]simplify:  Simplifying (sqrt (/ (* 2 t) (+ 1 t)))
1550608066.343 * * [misc]simplify:  iters left: 5 (7 enodes)
1550608066.347 * * [misc]simplify:  iters left: 4 (27 enodes)
1550608066.355 * * [misc]simplify:  iters left: 3 (35 enodes)
1550608066.365 * * [misc]simplify:  iters left: 2 (40 enodes)
1550608066.378 * * [misc]simplify:  iters left: 1 (42 enodes)
1550608066.391 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.437 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608066.437 * * [misc]simplify:  Extracting #2: cost 12 inf + 0
1550608066.437 * * [misc]simplify:  Extracting #3: cost 17 inf + 2
1550608066.437 * * [misc]simplify:  Extracting #4: cost 14 inf + 87
1550608066.437 * * [misc]simplify:  Extracting #5: cost 5 inf + 830
1550608066.438 * * [misc]simplify:  Extracting #6: cost 1 inf + 1240
1550608066.439 * * [misc]simplify:  Extracting #7: cost 0 inf + 1403
1550608066.439 * [exit]simplify:  Simplified to (sqrt (/ t (/ (+ t 1) 2)))
1550608066.439 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (sqrt (/ t (/ (+ t 1) 2))) (* (sqrt (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.440 * * * * [misc]progress:  [ 74 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (* (/ t (cbrt (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.440 * [enter]simplify:  Simplifying (/ 2 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))
1550608066.440 * * [misc]simplify:  iters left: 6 (7 enodes)
1550608066.444 * * [misc]simplify:  iters left: 5 (26 enodes)
1550608066.453 * * [misc]simplify:  iters left: 4 (30 enodes)
1550608066.462 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.462 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550608066.462 * * [misc]simplify:  Extracting #2: cost 9 inf + 1
1550608066.462 * * [misc]simplify:  Extracting #3: cost 12 inf + 1
1550608066.462 * * [misc]simplify:  Extracting #4: cost 8 inf + 87
1550608066.462 * * [misc]simplify:  Extracting #5: cost 4 inf + 697
1550608066.463 * * [misc]simplify:  Extracting #6: cost 1 inf + 1184
1550608066.463 * * [misc]simplify:  Extracting #7: cost 0 inf + 1387
1550608066.464 * [exit]simplify:  Simplified to (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t)))
1550608066.464 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (/ (/ 2 (cbrt (+ 1 t))) (cbrt (+ 1 t))) (* (/ t (cbrt (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.464 * * * * [misc]progress:  [ 75 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ 2 (sqrt (+ 1 t))) (* (/ t (sqrt (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.464 * [enter]simplify:  Simplifying (/ 2 (sqrt (+ 1 t)))
1550608066.464 * * [misc]simplify:  iters left: 5 (6 enodes)
1550608066.468 * * [misc]simplify:  iters left: 4 (21 enodes)
1550608066.474 * * [misc]simplify:  iters left: 3 (23 enodes)
1550608066.481 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.481 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608066.481 * * [misc]simplify:  Extracting #2: cost 5 inf + 1
1550608066.481 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550608066.481 * * [misc]simplify:  Extracting #4: cost 6 inf + 3
1550608066.481 * * [misc]simplify:  Extracting #5: cost 1 inf + 374
1550608066.482 * * [misc]simplify:  Extracting #6: cost 0 inf + 497
1550608066.482 * [exit]simplify:  Simplified to (/ 2 (sqrt (+ 1 t)))
1550608066.482 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (/ 2 (sqrt (+ 1 t))) (* (/ t (sqrt (+ 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.482 * * * * [misc]progress:  [ 76 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ 2 1) (* (/ t (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.482 * [enter]simplify:  Simplifying (/ 2 1)
1550608066.482 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608066.484 * * [misc]simplify:  iters left: 1 (9 enodes)
1550608066.487 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.488 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550608066.488 * [exit]simplify:  Simplified to 2
1550608066.488 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* 2 (* (/ t (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.488 * * * * [misc]progress:  [ 77 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.488 * * * * [misc]progress:  [ 78 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 2 t) (* (/ 1 (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.488 * [enter]simplify:  Simplifying (* 2 t)
1550608066.488 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608066.490 * * [misc]simplify:  iters left: 1 (10 enodes)
1550608066.493 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.493 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608066.493 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550608066.493 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550608066.493 * [exit]simplify:  Simplified to (* 2 t)
1550608066.493 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (* 2 t) (* (/ 1 (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.493 * * * * [misc]progress:  [ 79 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ (pow 1 3) (pow t 3))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.494 * [enter]simplify:  Simplifying (/ (* 2 t) (+ (pow 1 3) (pow t 3)))
1550608066.494 * * [misc]simplify:  iters left: 5 (9 enodes)
1550608066.500 * * [misc]simplify:  iters left: 4 (36 enodes)
1550608066.511 * * [misc]simplify:  iters left: 3 (46 enodes)
1550608066.524 * * [misc]simplify:  iters left: 2 (51 enodes)
1550608066.538 * * [misc]simplify:  iters left: 1 (53 enodes)
1550608066.552 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.552 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608066.553 * * [misc]simplify:  Extracting #2: cost 16 inf + 2
1550608066.553 * * [misc]simplify:  Extracting #3: cost 16 inf + 87
1550608066.553 * * [misc]simplify:  Extracting #4: cost 11 inf + 1059
1550608066.554 * * [misc]simplify:  Extracting #5: cost 2 inf + 3005
1550608066.555 * * [misc]simplify:  Extracting #6: cost 0 inf + 2544
1550608066.555 * * [misc]simplify:  Extracting #7: cost 0 inf + 2282
1550608066.556 * [exit]simplify:  Simplified to (/ (* 2 t) (+ 1 (* (* t t) t)))
1550608066.556 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 (* (* t t) t))) (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.557 * * * * [misc]progress:  [ 80 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (- (* 1 1) (* t t))) (* (- 1 t) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.557 * [enter]simplify:  Simplifying (/ (* 2 t) (- (* 1 1) (* t t)))
1550608066.557 * * [misc]simplify:  iters left: 6 (8 enodes)
1550608066.562 * * [misc]simplify:  iters left: 5 (29 enodes)
1550608066.572 * * [misc]simplify:  iters left: 4 (47 enodes)
1550608066.588 * * [misc]simplify:  iters left: 3 (66 enodes)
1550608066.607 * * [misc]simplify:  iters left: 2 (79 enodes)
1550608066.630 * * [misc]simplify:  iters left: 1 (89 enodes)
1550608066.651 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.651 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608066.652 * * [misc]simplify:  Extracting #2: cost 22 inf + 2
1550608066.652 * * [misc]simplify:  Extracting #3: cost 24 inf + 334
1550608066.653 * * [misc]simplify:  Extracting #4: cost 4 inf + 2217
1550608066.654 * * [misc]simplify:  Extracting #5: cost 0 inf + 2506
1550608066.655 * [exit]simplify:  Simplified to (/ 2 (- (/ 1 t) t))
1550608066.655 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (* (/ 2 (- (/ 1 t) t)) (* (- 1 t) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.656 * * * * [misc]progress:  [ 81 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (/ (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (+ 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.656 * [enter]simplify:  Simplifying (+ 1 t)
1550608066.656 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608066.658 * * [misc]simplify:  iters left: 1 (12 enodes)
1550608066.662 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.662 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608066.662 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550608066.662 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550608066.662 * [exit]simplify:  Simplified to (+ t 1)
1550608066.662 * [misc]simplify:  Simplified (2 1 2 2) to (λ (t) (/ (+ 1 (/ (* (/ (* 2 t) (+ 1 t)) (* 2 t)) (+ t 1))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.663 * * * * [misc]progress:  [ 82 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (/ (* (* 2 t) (/ (* 2 t) (+ 1 t))) (+ 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.663 * [enter]simplify:  Simplifying (* (* 2 t) (/ (* 2 t) (+ 1 t)))
1550608066.663 * * [misc]simplify:  iters left: 6 (7 enodes)
1550608066.667 * * [misc]simplify:  iters left: 5 (32 enodes)
1550608066.678 * * [misc]simplify:  iters left: 4 (64 enodes)
1550608066.702 * * [misc]simplify:  iters left: 3 (104 enodes)
1550608066.737 * * [misc]simplify:  iters left: 2 (143 enodes)
1550608066.782 * * [misc]simplify:  iters left: 1 (173 enodes)
1550608066.824 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.824 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550608066.824 * * [misc]simplify:  Extracting #2: cost 43 inf + 44
1550608066.825 * * [misc]simplify:  Extracting #3: cost 12 inf + 2956
1550608066.826 * * [misc]simplify:  Extracting #4: cost 0 inf + 4230
1550608066.827 * [exit]simplify:  Simplified to (/ 4 (/ (+ t 1) (* t t)))
1550608066.828 * [misc]simplify:  Simplified (2 1 2 1) to (λ (t) (/ (+ 1 (/ (/ 4 (/ (+ t 1) (* t t))) (+ 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608066.828 * * * * [misc]progress:  [ 83 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (posit16->real (real->posit16 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.828 * * * * [misc]progress:  [ 84 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.828 * * * * [misc]progress:  [ 85 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (pow (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1)))>
1550608066.828 * * * * [misc]progress:  [ 86 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (exp (log (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608066.828 * * * * [misc]progress:  [ 87 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (log (exp (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608066.828 * * * * [misc]progress:  [ 88 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (* (* (cbrt (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (cbrt (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (cbrt (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608066.828 * * * * [misc]progress:  [ 89 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (cbrt (* (* (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608066.828 * * * * [misc]progress:  [ 90 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (* (sqrt (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (sqrt (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608066.828 * * * * [misc]progress:  [ 91 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (+ (pow 2 3) (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 3)) (+ (* 2 2) (- (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (* 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))))>
1550608066.828 * * * * [misc]progress:  [ 92 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (* 1 (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1550608066.828 * * * * [misc]progress:  [ 93 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (/ (- (* 2 2) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (- 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))))>
1550608066.828 * * * * [misc]progress:  [ 94 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (posit16->real (real->posit16 (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))))>
1550608066.828 * * * * [misc]progress:  [ 95 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 2)))>
1550608066.828 * * * * [misc]progress:  [ 96 / 118 ] simplifiying candidate #<alt (λ (t) (/ (pow (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) 1) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.828 * * * * [misc]progress:  [ 97 / 118 ] simplifiying candidate #<alt (λ (t) (/ (exp (log (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.828 * * * * [misc]progress:  [ 98 / 118 ] simplifiying candidate #<alt (λ (t) (/ (log (exp (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.828 * * * * [misc]progress:  [ 99 / 118 ] simplifiying candidate #<alt (λ (t) (/ (* (* (cbrt (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (cbrt (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (cbrt (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.828 * * * * [misc]progress:  [ 100 / 118 ] simplifiying candidate #<alt (λ (t) (/ (cbrt (* (* (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.828 * * * * [misc]progress:  [ 101 / 118 ] simplifiying candidate #<alt (λ (t) (/ (* (sqrt (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (sqrt (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.828 * * * * [misc]progress:  [ 102 / 118 ] simplifiying candidate #<alt (λ (t) (/ (/ (+ (pow 1 3) (pow (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 3)) (+ (* 1 1) (- (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (* 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.829 * * * * [misc]progress:  [ 103 / 118 ] simplifiying candidate #<alt (λ (t) (/ (* 1 (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.829 * * * * [misc]progress:  [ 104 / 118 ] simplifiying candidate #<alt (λ (t) (/ (/ (- (* 1 1) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (- 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.829 * * * * [misc]progress:  [ 105 / 118 ] simplifiying candidate #<alt (λ (t) (/ (posit16->real (real->posit16 (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.829 * * * * [misc]progress:  [ 106 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) 1) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608066.829 * * * * [misc]progress:  [ 107 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3))))))>
1550608066.829 * [enter]simplify:  Simplifying (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))
1550608066.829 * * [misc]simplify:  iters left: 6 (14 enodes)
1550608066.835 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608066.848 * * [misc]simplify:  iters left: 4 (87 enodes)
1550608066.881 * * [misc]simplify:  iters left: 3 (148 enodes)
1550608066.905 * * [misc]simplify:  iters left: 2 (203 enodes)
1550608066.964 * * [misc]simplify:  iters left: 1 (236 enodes)
1550608066.998 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608066.999 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608066.999 * * [misc]simplify:  Extracting #2: cost 52 inf + 0
1550608066.999 * * [misc]simplify:  Extracting #3: cost 66 inf + 48
1550608067.000 * * [misc]simplify:  Extracting #4: cost 35 inf + 3347
1550608067.002 * * [misc]simplify:  Extracting #5: cost 2 inf + 8996
1550608067.004 * * [misc]simplify:  Extracting #6: cost 0 inf + 9162
1550608067.006 * [exit]simplify:  Simplified to (+ (* 12 (pow t 4)) (* (* t t) (+ 4 (* -8 t))))
1550608067.007 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (+ (* 12 (pow t 4)) (* (* t t) (+ 4 (* -8 t)))))))
1550608067.007 * * * * [misc]progress:  [ 108 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))))))>
1550608067.007 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1550608067.007 * * [misc]simplify:  iters left: 6 (13 enodes)
1550608067.013 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608067.032 * * [misc]simplify:  iters left: 4 (81 enodes)
1550608067.046 * * [misc]simplify:  iters left: 3 (99 enodes)
1550608067.059 * * [misc]simplify:  iters left: 2 (112 enodes)
1550608067.074 * * [misc]simplify:  iters left: 1 (132 enodes)
1550608067.093 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608067.093 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608067.093 * * [misc]simplify:  Extracting #2: cost 42 inf + 1
1550608067.094 * * [misc]simplify:  Extracting #3: cost 39 inf + 423
1550608067.094 * * [misc]simplify:  Extracting #4: cost 20 inf + 1581
1550608067.095 * * [misc]simplify:  Extracting #5: cost 3 inf + 3629
1550608067.096 * * [misc]simplify:  Extracting #6: cost 0 inf + 3956
1550608067.097 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t)))
1550608067.097 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))
1550608067.097 * * * * [misc]progress:  [ 109 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t))))))>
1550608067.097 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1550608067.097 * * [misc]simplify:  iters left: 6 (13 enodes)
1550608067.102 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608067.113 * * [misc]simplify:  iters left: 4 (81 enodes)
1550608067.139 * * [misc]simplify:  iters left: 3 (99 enodes)
1550608067.166 * * [misc]simplify:  iters left: 2 (112 enodes)
1550608067.194 * * [misc]simplify:  iters left: 1 (132 enodes)
1550608067.228 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608067.228 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608067.228 * * [misc]simplify:  Extracting #2: cost 42 inf + 1
1550608067.228 * * [misc]simplify:  Extracting #3: cost 39 inf + 423
1550608067.229 * * [misc]simplify:  Extracting #4: cost 20 inf + 1581
1550608067.230 * * [misc]simplify:  Extracting #5: cost 3 inf + 3629
1550608067.231 * * [misc]simplify:  Extracting #6: cost 0 inf + 3956
1550608067.232 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t)))
1550608067.232 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (- (+ (/ -8 t) 4) (/ -12 (* t t))))))
1550608067.232 * * * * [misc]progress:  [ 110 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608067.232 * [enter]simplify:  Simplifying (- (+ (* 4 (pow t 2)) (* 12 (pow t 4))) (* 8 (pow t 3)))
1550608067.232 * * [misc]simplify:  iters left: 6 (14 enodes)
1550608067.237 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608067.246 * * [misc]simplify:  iters left: 4 (87 enodes)
1550608067.264 * * [misc]simplify:  iters left: 3 (148 enodes)
1550608067.309 * * [misc]simplify:  iters left: 2 (203 enodes)
1550608067.367 * * [misc]simplify:  iters left: 1 (236 enodes)
1550608067.419 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608067.419 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608067.419 * * [misc]simplify:  Extracting #2: cost 52 inf + 0
1550608067.419 * * [misc]simplify:  Extracting #3: cost 66 inf + 48
1550608067.420 * * [misc]simplify:  Extracting #4: cost 35 inf + 3347
1550608067.421 * * [misc]simplify:  Extracting #5: cost 2 inf + 8996
1550608067.423 * * [misc]simplify:  Extracting #6: cost 0 inf + 9162
1550608067.425 * [exit]simplify:  Simplified to (+ (* 12 (pow t 4)) (* (* t t) (+ 4 (* -8 t))))
1550608067.425 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (+ 1 (+ (* 12 (pow t 4)) (* (* t t) (+ 4 (* -8 t))))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608067.425 * * * * [misc]progress:  [ 111 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608067.426 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1550608067.426 * * [misc]simplify:  iters left: 6 (13 enodes)
1550608067.431 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608067.441 * * [misc]simplify:  iters left: 4 (81 enodes)
1550608067.453 * * [misc]simplify:  iters left: 3 (99 enodes)
1550608067.470 * * [misc]simplify:  iters left: 2 (112 enodes)
1550608067.502 * * [misc]simplify:  iters left: 1 (132 enodes)
1550608067.540 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608067.540 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608067.540 * * [misc]simplify:  Extracting #2: cost 42 inf + 1
1550608067.540 * * [misc]simplify:  Extracting #3: cost 39 inf + 423
1550608067.541 * * [misc]simplify:  Extracting #4: cost 20 inf + 1581
1550608067.543 * * [misc]simplify:  Extracting #5: cost 3 inf + 3629
1550608067.545 * * [misc]simplify:  Extracting #6: cost 0 inf + 3956
1550608067.547 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t)))
1550608067.547 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (+ 1 (- (+ (/ -8 t) 4) (/ -12 (* t t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608067.547 * * * * [misc]progress:  [ 112 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608067.548 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 4) (* 8 (/ 1 t)))
1550608067.548 * * [misc]simplify:  iters left: 6 (13 enodes)
1550608067.557 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608067.575 * * [misc]simplify:  iters left: 4 (81 enodes)
1550608067.598 * * [misc]simplify:  iters left: 3 (99 enodes)
1550608067.612 * * [misc]simplify:  iters left: 2 (112 enodes)
1550608067.629 * * [misc]simplify:  iters left: 1 (132 enodes)
1550608067.666 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608067.666 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608067.666 * * [misc]simplify:  Extracting #2: cost 42 inf + 1
1550608067.667 * * [misc]simplify:  Extracting #3: cost 39 inf + 423
1550608067.668 * * [misc]simplify:  Extracting #4: cost 20 inf + 1581
1550608067.669 * * [misc]simplify:  Extracting #5: cost 3 inf + 3629
1550608067.671 * * [misc]simplify:  Extracting #6: cost 0 inf + 3956
1550608067.673 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 4) (/ -12 (* t t)))
1550608067.673 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (+ 1 (- (+ (/ -8 t) 4) (/ -12 (* t t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608067.673 * * * * [misc]progress:  [ 113 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (- (+ (* 4 (pow t 2)) 2) (* 8 (pow t 3)))))>
1550608067.673 * [enter]simplify:  Simplifying (- (+ (* 4 (pow t 2)) 2) (* 8 (pow t 3)))
1550608067.674 * * [misc]simplify:  iters left: 6 (11 enodes)
1550608067.680 * * [misc]simplify:  iters left: 5 (43 enodes)
1550608067.697 * * [misc]simplify:  iters left: 4 (77 enodes)
1550608067.723 * * [misc]simplify:  iters left: 3 (137 enodes)
1550608067.765 * * [misc]simplify:  iters left: 2 (186 enodes)
1550608067.818 * * [misc]simplify:  iters left: 1 (218 enodes)
1550608067.877 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608067.877 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608067.877 * * [misc]simplify:  Extracting #2: cost 47 inf + 1
1550608067.878 * * [misc]simplify:  Extracting #3: cost 61 inf + 6
1550608067.879 * * [misc]simplify:  Extracting #4: cost 29 inf + 2631
1550608067.881 * * [misc]simplify:  Extracting #5: cost 2 inf + 5978
1550608067.884 * * [misc]simplify:  Extracting #6: cost 0 inf + 6104
1550608067.886 * [exit]simplify:  Simplified to (+ 2 (* (* t t) (+ 4 (* t -8))))
1550608067.886 * [misc]simplify:  Simplified (2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (* t t) (+ 4 (* t -8))))))
1550608067.886 * * * * [misc]progress:  [ 114 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t)))))>
1550608067.886 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t)))
1550608067.886 * * [misc]simplify:  iters left: 6 (13 enodes)
1550608067.891 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608067.901 * * [misc]simplify:  iters left: 4 (81 enodes)
1550608067.915 * * [misc]simplify:  iters left: 3 (99 enodes)
1550608067.942 * * [misc]simplify:  iters left: 2 (112 enodes)
1550608067.970 * * [misc]simplify:  iters left: 1 (132 enodes)
1550608067.990 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608067.990 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608067.991 * * [misc]simplify:  Extracting #2: cost 42 inf + 1
1550608067.991 * * [misc]simplify:  Extracting #3: cost 39 inf + 423
1550608067.991 * * [misc]simplify:  Extracting #4: cost 20 inf + 1581
1550608067.992 * * [misc]simplify:  Extracting #5: cost 3 inf + 3629
1550608067.993 * * [misc]simplify:  Extracting #6: cost 0 inf + 3956
1550608067.994 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 6) (/ -12 (* t t)))
1550608067.994 * [misc]simplify:  Simplified (2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (- (+ (/ -8 t) 6) (/ -12 (* t t)))))
1550608067.994 * * * * [misc]progress:  [ 115 / 118 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t)))))>
1550608067.995 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 6) (* 8 (/ 1 t)))
1550608067.995 * * [misc]simplify:  iters left: 6 (13 enodes)
1550608068.003 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608068.022 * * [misc]simplify:  iters left: 4 (81 enodes)
1550608068.046 * * [misc]simplify:  iters left: 3 (99 enodes)
1550608068.073 * * [misc]simplify:  iters left: 2 (112 enodes)
1550608068.102 * * [misc]simplify:  iters left: 1 (132 enodes)
1550608068.130 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608068.130 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608068.130 * * [misc]simplify:  Extracting #2: cost 42 inf + 1
1550608068.131 * * [misc]simplify:  Extracting #3: cost 39 inf + 423
1550608068.131 * * [misc]simplify:  Extracting #4: cost 20 inf + 1581
1550608068.132 * * [misc]simplify:  Extracting #5: cost 3 inf + 3629
1550608068.133 * * [misc]simplify:  Extracting #6: cost 0 inf + 3956
1550608068.134 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 6) (/ -12 (* t t)))
1550608068.134 * [misc]simplify:  Simplified (2 2) to (λ (t) (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (- (+ (/ -8 t) 6) (/ -12 (* t t)))))
1550608068.134 * * * * [misc]progress:  [ 116 / 118 ] simplifiying candidate #<alt (λ (t) (/ (- (+ (* 4 (pow t 2)) 1) (* 8 (pow t 3))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608068.134 * [enter]simplify:  Simplifying (- (+ (* 4 (pow t 2)) 1) (* 8 (pow t 3)))
1550608068.135 * * [misc]simplify:  iters left: 6 (12 enodes)
1550608068.139 * * [misc]simplify:  iters left: 5 (48 enodes)
1550608068.149 * * [misc]simplify:  iters left: 4 (83 enodes)
1550608068.165 * * [misc]simplify:  iters left: 3 (142 enodes)
1550608068.206 * * [misc]simplify:  iters left: 2 (189 enodes)
1550608068.255 * * [misc]simplify:  iters left: 1 (221 enodes)
1550608068.283 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608068.283 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608068.283 * * [misc]simplify:  Extracting #2: cost 45 inf + 1
1550608068.283 * * [misc]simplify:  Extracting #3: cost 59 inf + 6
1550608068.284 * * [misc]simplify:  Extracting #4: cost 33 inf + 1573
1550608068.285 * * [misc]simplify:  Extracting #5: cost 6 inf + 4797
1550608068.287 * * [misc]simplify:  Extracting #6: cost 0 inf + 5776
1550608068.288 * * [misc]simplify:  Extracting #7: cost 0 inf + 5736
1550608068.290 * [exit]simplify:  Simplified to (+ 1 (* (* t t) (- 4 (* t 8))))
1550608068.290 * [misc]simplify:  Simplified (2 1) to (λ (t) (/ (+ 1 (* (* t t) (- 4 (* t 8)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608068.290 * * * * [misc]progress:  [ 117 / 118 ] simplifiying candidate #<alt (λ (t) (/ (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608068.290 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t)))
1550608068.290 * * [misc]simplify:  iters left: 6 (13 enodes)
1550608068.295 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608068.308 * * [misc]simplify:  iters left: 4 (81 enodes)
1550608068.335 * * [misc]simplify:  iters left: 3 (99 enodes)
1550608068.361 * * [misc]simplify:  iters left: 2 (112 enodes)
1550608068.389 * * [misc]simplify:  iters left: 1 (132 enodes)
1550608068.410 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608068.410 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608068.410 * * [misc]simplify:  Extracting #2: cost 42 inf + 1
1550608068.411 * * [misc]simplify:  Extracting #3: cost 39 inf + 423
1550608068.411 * * [misc]simplify:  Extracting #4: cost 20 inf + 1581
1550608068.413 * * [misc]simplify:  Extracting #5: cost 3 inf + 3629
1550608068.415 * * [misc]simplify:  Extracting #6: cost 0 inf + 3956
1550608068.417 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 5) (/ -12 (* t t)))
1550608068.417 * [misc]simplify:  Simplified (2 1) to (λ (t) (/ (- (+ (/ -8 t) 5) (/ -12 (* t t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608068.417 * * * * [misc]progress:  [ 118 / 118 ] simplifiying candidate #<alt (λ (t) (/ (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))>
1550608068.417 * [enter]simplify:  Simplifying (- (+ (* 12 (/ 1 (pow t 2))) 5) (* 8 (/ 1 t)))
1550608068.417 * * [misc]simplify:  iters left: 6 (13 enodes)
1550608068.426 * * [misc]simplify:  iters left: 5 (53 enodes)
1550608068.443 * * [misc]simplify:  iters left: 4 (81 enodes)
1550608068.470 * * [misc]simplify:  iters left: 3 (99 enodes)
1550608068.496 * * [misc]simplify:  iters left: 2 (112 enodes)
1550608068.523 * * [misc]simplify:  iters left: 1 (132 enodes)
1550608068.551 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608068.551 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550608068.551 * * [misc]simplify:  Extracting #2: cost 42 inf + 1
1550608068.552 * * [misc]simplify:  Extracting #3: cost 39 inf + 423
1550608068.552 * * [misc]simplify:  Extracting #4: cost 20 inf + 1581
1550608068.553 * * [misc]simplify:  Extracting #5: cost 3 inf + 3629
1550608068.554 * * [misc]simplify:  Extracting #6: cost 0 inf + 3956
1550608068.555 * [exit]simplify:  Simplified to (- (+ (/ -8 t) 5) (/ -12 (* t t)))
1550608068.556 * [misc]simplify:  Simplified (2 1) to (λ (t) (/ (- (+ (/ -8 t) 5) (/ -12 (* t t))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))))))
1550608068.556 * * * [misc]progress:  adding candidates to table
1550608069.435 * [misc]progress:  [Phase 3 of 3] Extracting.
1550608069.438 * [enter]simplify:  Simplifying (/ (+ 1 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))) (+ 2 (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t)))))
1550608069.438 * * [misc]simplify:  iters left: 6 (10 enodes)
1550608069.440 * * [misc]simplify:  iters left: 5 (16 enodes)
1550608069.441 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608069.441 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608069.441 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550608069.441 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550608069.441 * * [misc]simplify:  Extracting #4: cost 7 inf + 2
1550608069.441 * * [misc]simplify:  Extracting #5: cost 8 inf + 2
1550608069.441 * * [misc]simplify:  Extracting #6: cost 0 inf + 1062
1550608069.442 * [exit]simplify:  Simplified to (/ (+ 1 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))) (+ 2 (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))))
1550608071.125 * [misc]regime-testing:  Baseline error score: 0.02337821567464916
1550608071.127 * [misc]regime-testing:  Oracle error score: 0.02337821567464916
1550608071.127 * [misc]regime-testing:  End program error score: 0.02337821567464916