1550842260.030 * [misc]progress:  [Phase 1 of 3] Setting up.
1550842260.030 * * * [misc]progress:  [1/2] Preparing points
1550842260.073 * * * [misc]progress:  [2/2] Setting up program.
1550842260.076 * [misc]progress:  [Phase 2 of 3] Improving.
1550842260.076 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
1550842260.076 * [enter]simplify:  Simplifying (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))
1550842260.076 * * [misc]simplify:  iters left: 6 (12 enodes)
1550842260.080 * * [misc]simplify:  iters left: 5 (45 enodes)
1550842260.087 * * [misc]simplify:  iters left: 4 (68 enodes)
1550842260.100 * * [misc]simplify:  iters left: 3 (134 enodes)
1550842260.128 * * [misc]simplify:  iters left: 2 (310 enodes)
1550842260.241 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842260.242 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842260.242 * * [misc]simplify:  Extracting #2: cost 61 inf + 0
1550842260.242 * * [misc]simplify:  Extracting #3: cost 174 inf + 3
1550842260.243 * * [misc]simplify:  Extracting #4: cost 193 inf + 93
1550842260.246 * * [misc]simplify:  Extracting #5: cost 138 inf + 10356
1550842260.261 * * [misc]simplify:  Extracting #6: cost 19 inf + 32866
1550842260.275 * * [misc]simplify:  Extracting #7: cost 0 inf + 33156
1550842260.287 * * [misc]simplify:  Extracting #8: cost 0 inf + 32741
1550842260.296 * [exit]simplify:  Simplified to (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
1550842260.296 * [misc]simplify:  Simplified (2) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842260.302 * * [misc]progress:  iteration 1 / 4
1550842260.303 * * * [misc]progress:  picking best candidate
1550842260.306 * * * * [misc]pick:  Picked  #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.306 * * * [misc]progress:  localizing error
1550842260.341 * * * [misc]progress:  generating rewritten candidates
1550842260.342 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
1550842260.342 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1)
1550842260.343 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1550842260.343 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1550842260.344 * * * [misc]progress:  generating series expansions
1550842260.344 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
1550842260.344 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1550842260.345 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1550842260.345 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1550842260.345 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.345 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.345 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1550842260.345 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.345 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.345 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1550842260.345 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842260.345 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.345 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.345 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.345 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.345 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.345 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.345 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.345 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1550842260.345 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.345 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.345 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1550842260.345 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.345 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.345 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1550842260.345 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842260.345 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.345 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.345 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.345 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.345 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.345 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.345 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.346 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842260.346 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.346 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1550842260.346 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.346 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.346 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1550842260.346 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842260.346 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.346 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.346 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.347 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842260.347 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1550842260.347 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1550842260.347 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.347 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1550842260.347 * [misc]backup-simplify:  Simplify -2 into -2
1550842260.347 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842260.347 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1550842260.348 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1550842260.348 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.348 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.348 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.348 * [misc]backup-simplify:  Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842260.348 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1550842260.348 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1550842260.348 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1550842260.348 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.348 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.348 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1550842260.348 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.348 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.348 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1550842260.348 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842260.348 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.348 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.348 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.348 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.348 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.348 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.348 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.349 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.349 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.349 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1550842260.349 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.349 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.349 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1550842260.349 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.349 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.349 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1550842260.349 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842260.349 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.349 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.349 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.349 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.349 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.349 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.349 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.349 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.349 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.349 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1550842260.349 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.349 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842260.350 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.350 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1550842260.350 * [misc]backup-simplify:  Simplify -2 into -2
1550842260.350 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842260.350 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.350 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1550842260.350 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842260.350 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.350 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.350 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.351 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.351 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1550842260.351 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1550842260.351 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1550842260.351 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.351 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.351 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1550842260.351 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.351 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.351 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1550842260.351 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842260.351 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.351 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.351 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.351 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.351 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.351 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.351 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.351 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842260.351 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842260.351 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1550842260.351 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1550842260.351 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.351 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.351 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1550842260.351 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.351 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.351 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1550842260.351 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842260.352 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.352 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.352 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.352 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.352 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.352 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.355 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.355 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842260.355 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842260.355 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1550842260.355 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1550842260.355 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.355 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1550842260.356 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.356 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.356 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.356 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842260.356 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842260.356 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.356 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1550842260.356 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1550842260.356 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.357 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.357 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.357 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.357 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1)
1550842260.357 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1550842260.357 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1550842260.357 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1550842260.357 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.357 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.357 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1550842260.357 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.357 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.357 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1550842260.357 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842260.357 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.357 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.357 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.357 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.357 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.357 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.357 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.357 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1550842260.357 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.357 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.357 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1550842260.357 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.357 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.357 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1550842260.357 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842260.357 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.358 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.358 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.358 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.358 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.358 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.358 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.358 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842260.358 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.358 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1550842260.358 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.358 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.358 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1550842260.358 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842260.359 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.359 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.359 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.359 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842260.359 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1550842260.359 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1550842260.359 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.359 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1550842260.359 * [misc]backup-simplify:  Simplify -2 into -2
1550842260.359 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842260.360 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1550842260.360 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1550842260.360 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.360 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.360 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.360 * [misc]backup-simplify:  Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842260.360 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1550842260.360 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1550842260.360 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1550842260.360 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.360 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.360 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1550842260.360 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.360 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.361 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1550842260.361 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842260.361 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.361 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.361 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.361 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.361 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.361 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.361 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.361 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.361 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.361 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1550842260.361 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.361 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.361 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1550842260.361 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.361 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.361 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1550842260.361 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842260.361 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.361 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.361 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.361 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.361 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.361 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.361 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.361 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.361 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.362 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1550842260.362 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.362 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842260.362 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.362 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1550842260.362 * [misc]backup-simplify:  Simplify -2 into -2
1550842260.362 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842260.362 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.362 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1550842260.362 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842260.363 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.363 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.363 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.363 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.363 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1550842260.363 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1550842260.363 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1550842260.363 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.363 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.363 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1550842260.363 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.363 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.363 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1550842260.363 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842260.363 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.363 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.363 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.363 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.363 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.363 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.363 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.363 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842260.363 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842260.364 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1550842260.364 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1550842260.364 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.364 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.364 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1550842260.364 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.364 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.364 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1550842260.364 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842260.364 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.364 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.364 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.364 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.364 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.364 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.364 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.364 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842260.364 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842260.364 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1550842260.364 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1550842260.364 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.364 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1550842260.365 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.365 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.365 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.365 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842260.365 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842260.365 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.365 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1550842260.366 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1550842260.366 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.366 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.366 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.366 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.366 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1550842260.366 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1550842260.366 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1550842260.366 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1550842260.366 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.366 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.366 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1550842260.366 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.366 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.366 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1550842260.366 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842260.366 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.366 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.366 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.366 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.366 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.366 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.367 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.367 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1550842260.367 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.367 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.367 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1550842260.367 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.367 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.367 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1550842260.367 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842260.367 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.367 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.367 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.367 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.367 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.367 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.367 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.367 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842260.367 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.367 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1550842260.367 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.367 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.368 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1550842260.368 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842260.368 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.368 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.368 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.368 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842260.368 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1550842260.368 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1550842260.369 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.369 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1550842260.369 * [misc]backup-simplify:  Simplify -2 into -2
1550842260.369 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842260.369 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1550842260.370 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1550842260.370 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.370 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.370 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.370 * [misc]backup-simplify:  Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842260.371 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1550842260.371 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1550842260.371 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1550842260.371 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.371 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.371 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1550842260.371 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.371 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.371 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1550842260.371 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842260.371 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.371 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.371 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.371 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.371 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.371 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.371 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.371 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.371 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.371 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1550842260.371 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.372 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.372 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1550842260.372 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.372 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.372 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1550842260.372 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842260.372 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.372 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.372 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.372 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.372 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.372 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.372 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.372 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.372 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.373 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1550842260.373 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.373 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842260.373 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.373 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1550842260.373 * [misc]backup-simplify:  Simplify -2 into -2
1550842260.373 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842260.373 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.374 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1550842260.374 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842260.374 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.374 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.374 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.375 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.375 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1550842260.375 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1550842260.375 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1550842260.375 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.375 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.375 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1550842260.375 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.375 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.375 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1550842260.375 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842260.375 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.375 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.375 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.375 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.375 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.375 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.375 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.376 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842260.376 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842260.376 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1550842260.376 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1550842260.376 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.376 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.376 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1550842260.376 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.376 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.376 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1550842260.376 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842260.376 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.376 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.376 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.376 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.376 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.376 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.377 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.377 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842260.377 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842260.377 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1550842260.377 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1550842260.377 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.377 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1550842260.378 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.378 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.378 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.378 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842260.378 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842260.378 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.379 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1550842260.379 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1550842260.379 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.379 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.379 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.379 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.379 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1550842260.380 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1550842260.380 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1550842260.380 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1550842260.380 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.380 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.380 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1550842260.380 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.380 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.380 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1550842260.380 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842260.380 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.380 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.380 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.380 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.380 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.380 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.380 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.380 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1550842260.380 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.380 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.380 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1550842260.380 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.381 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.381 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ t 1)) in t
1550842260.381 * [misc]taylor:  Taking taylor expansion of (+ t 1) in t
1550842260.381 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.381 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.381 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.381 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.381 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.381 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.381 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.381 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842260.381 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.381 * [misc]backup-simplify:  Simplify (+ 2 -2) into 0
1550842260.382 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.382 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.382 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1550842260.382 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842260.382 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.382 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.382 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.383 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842260.383 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1550842260.383 * [misc]backup-simplify:  Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1550842260.383 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.383 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1550842260.384 * [misc]backup-simplify:  Simplify -2 into -2
1550842260.384 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550842260.384 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1550842260.384 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1550842260.385 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.385 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.385 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.385 * [misc]backup-simplify:  Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842260.385 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1550842260.385 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1550842260.386 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1550842260.386 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.386 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.386 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1550842260.386 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.386 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.386 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1550842260.386 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842260.386 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.386 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.386 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.386 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.386 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.386 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.386 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.386 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.386 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.386 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1550842260.386 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.386 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.386 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1550842260.387 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.387 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.387 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1550842260.387 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 t) 1) in t
1550842260.387 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.387 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.387 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.387 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.387 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.387 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.387 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.387 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.387 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.387 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1550842260.387 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.388 * [misc]backup-simplify:  Simplify (* 2 1) into 2
1550842260.388 * [misc]backup-simplify:  Simplify (- 2) into -2
1550842260.388 * [misc]backup-simplify:  Simplify (+ 0 -2) into -2
1550842260.388 * [misc]backup-simplify:  Simplify -2 into -2
1550842260.388 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842260.388 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550842260.389 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1550842260.389 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 1)) into -2
1550842260.389 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.389 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.389 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.390 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.390 * [misc]backup-simplify:  Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1550842260.390 * [misc]approximate:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1550842260.390 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1550842260.390 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.390 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.390 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1550842260.390 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.390 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.390 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1550842260.390 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842260.390 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.390 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.390 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.390 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.390 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.390 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.390 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.391 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842260.391 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842260.391 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1550842260.391 * [misc]taylor:  Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1550842260.391 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.391 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.391 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1550842260.391 * [misc]taylor:  Taking taylor expansion of 2 in t
1550842260.391 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.391 * [misc]taylor:  Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1550842260.391 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 t)) in t
1550842260.391 * [misc]taylor:  Taking taylor expansion of 1 in t
1550842260.391 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.391 * [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
1550842260.391 * [misc]taylor:  Taking taylor expansion of t in t
1550842260.391 * [misc]backup-simplify:  Simplify 0 into 0
1550842260.391 * [misc]backup-simplify:  Simplify 1 into 1
1550842260.392 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550842260.392 * [misc]backup-simplify:  Simplify (- 1) into -1
1550842260.392 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550842260.392 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1550842260.392 * [misc]backup-simplify:  Simplify (+ 2 0) into 2
1550842260.392 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.393 * [misc]backup-simplify:  Simplify (* 2 -1) into -2
1550842260.393 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.393 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.393 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.393 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550842260.393 * [misc]backup-simplify:  Simplify (- 0) into 0
1550842260.393 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550842260.394 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1550842260.394 * [misc]backup-simplify:  Simplify (+ (* 2 -1) (* 0 -1)) into -2
1550842260.394 * [misc]backup-simplify:  Simplify (- -2) into 2
1550842260.394 * [misc]backup-simplify:  Simplify (+ 0 2) into 2
1550842260.394 * [misc]backup-simplify:  Simplify 2 into 2
1550842260.395 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.395 * * * [misc]progress:  simplifying candidates
1550842260.395 * * * * [misc]progress:  [ 1 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (log1p (expm1 (- 2 (/ 2 (+ 1 t))))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 2 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (expm1 (log1p (- 2 (/ 2 (+ 1 t))))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 3 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1) 2)))>
1550842260.395 * * * * [misc]progress:  [ 4 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 5 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 6 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 7 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 8 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 9 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 10 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 11 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))) 2)))>
1550842260.395 * * * * [misc]progress:  [ 12 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 13 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 14 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 15 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (log1p (expm1 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 16 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (expm1 (log1p (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 17 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 18 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 19 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 20 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 21 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 22 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 23 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 24 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 25 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 26 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.396 * * * * [misc]progress:  [ 27 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 28 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 29 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (log1p (expm1 (- 2 (/ 2 (+ 1 t))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 30 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (expm1 (log1p (- 2 (/ 2 (+ 1 t))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 31 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 32 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 33 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 34 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 35 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 36 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 37 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 38 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 39 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 40 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 41 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.397 * * * * [misc]progress:  [ 42 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 43 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (log1p (expm1 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 44 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (expm1 (log1p (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 45 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 46 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 47 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 48 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 49 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 50 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 51 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 52 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 53 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 54 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 55 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 56 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842260.398 * * * * [misc]progress:  [ 57 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 2)))>
1550842260.399 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842260.399 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842260.405 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842260.423 * * [misc]simplify:  iters left: 4 (91 enodes)
1550842260.461 * * [misc]simplify:  iters left: 3 (192 enodes)
1550842260.565 * * [misc]simplify:  iters left: 2 (377 enodes)
1550842260.696 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842260.696 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550842260.697 * * [misc]simplify:  Extracting #2: cost 65 inf + 198
1550842260.701 * * [misc]simplify:  Extracting #3: cost 18 inf + 5937
1550842260.706 * * [misc]simplify:  Extracting #4: cost 1 inf + 6589
1550842260.709 * * [misc]simplify:  Extracting #5: cost 0 inf + 6209
1550842260.712 * [exit]simplify:  Simplified to (* (fma t (fma 2 t -2) 2) t)
1550842260.712 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (* (fma t (fma 2 t -2) 2) t) 2)))
1550842260.712 * * * * [misc]progress:  [ 58 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 2)))>
1550842260.712 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.712 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842260.716 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842260.724 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842260.739 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842260.769 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842260.795 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842260.856 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842260.856 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842260.856 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842260.857 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842260.860 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842260.863 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842260.867 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842260.871 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842260.871 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) 2)))
1550842260.871 * * * * [misc]progress:  [ 59 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 2)))>
1550842260.872 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842260.872 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842260.878 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842260.893 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842260.918 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842260.957 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842261.007 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842261.044 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842261.044 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842261.045 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842261.046 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842261.048 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842261.052 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842261.056 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842261.063 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842261.063 * [misc]simplify:  Simplified (2 2 2) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) 2)))
1550842261.063 * * * * [misc]progress:  [ 60 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842261.063 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842261.064 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842261.069 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842261.086 * * [misc]simplify:  iters left: 4 (91 enodes)
1550842261.110 * * [misc]simplify:  iters left: 3 (192 enodes)
1550842261.202 * * [misc]simplify:  iters left: 2 (377 enodes)
1550842261.320 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842261.320 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550842261.320 * * [misc]simplify:  Extracting #2: cost 65 inf + 198
1550842261.324 * * [misc]simplify:  Extracting #3: cost 18 inf + 5937
1550842261.330 * * [misc]simplify:  Extracting #4: cost 1 inf + 6589
1550842261.336 * * [misc]simplify:  Extracting #5: cost 0 inf + 6209
1550842261.341 * [exit]simplify:  Simplified to (* (fma t (fma 2 t -2) 2) t)
1550842261.341 * [misc]simplify:  Simplified (2 2 1) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (* (fma t (fma 2 t -2) 2) t) (- 2 (/ 2 (+ 1 t))) 2)))
1550842261.341 * * * * [misc]progress:  [ 61 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842261.341 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842261.341 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842261.345 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842261.354 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842261.367 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842261.398 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842261.431 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842261.477 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842261.477 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842261.477 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842261.478 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842261.479 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842261.482 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842261.484 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842261.486 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842261.486 * [misc]simplify:  Simplified (2 2 1) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842261.486 * * * * [misc]progress:  [ 62 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842261.486 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842261.486 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842261.491 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842261.499 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842261.514 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842261.552 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842261.603 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842261.636 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842261.636 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842261.637 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842261.637 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842261.638 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842261.640 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842261.644 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842261.647 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842261.647 * [misc]simplify:  Simplified (2 2 1) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842261.648 * * * * [misc]progress:  [ 63 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842261.648 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842261.648 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842261.653 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842261.669 * * [misc]simplify:  iters left: 4 (91 enodes)
1550842261.703 * * [misc]simplify:  iters left: 3 (192 enodes)
1550842261.789 * * [misc]simplify:  iters left: 2 (377 enodes)
1550842261.962 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842261.962 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550842261.963 * * [misc]simplify:  Extracting #2: cost 65 inf + 198
1550842261.967 * * [misc]simplify:  Extracting #3: cost 18 inf + 5937
1550842261.976 * * [misc]simplify:  Extracting #4: cost 1 inf + 6589
1550842261.982 * * [misc]simplify:  Extracting #5: cost 0 inf + 6209
1550842261.988 * [exit]simplify:  Simplified to (* (fma t (fma 2 t -2) 2) t)
1550842261.989 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (* (fma t (fma 2 t -2) 2) t) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842261.989 * * * * [misc]progress:  [ 64 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842261.989 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842261.989 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842261.996 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842262.012 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842262.035 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842262.073 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842262.106 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842262.156 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842262.156 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842262.156 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842262.157 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842262.160 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842262.164 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842262.168 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842262.171 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842262.171 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842262.172 * * * * [misc]progress:  [ 65 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842262.172 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842262.172 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842262.178 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842262.195 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842262.224 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842262.259 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842262.286 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842262.337 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842262.337 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842262.337 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842262.338 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842262.339 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842262.341 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842262.343 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842262.344 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842262.344 * [misc]simplify:  Simplified (2 1 2) to (λ (t) (/ (fma (- 2 (/ 2 (+ 1 t))) (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842262.345 * * * * [misc]progress:  [ 66 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842262.345 * [enter]simplify:  Simplifying (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1550842262.345 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842262.348 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842262.367 * * [misc]simplify:  iters left: 4 (91 enodes)
1550842262.406 * * [misc]simplify:  iters left: 3 (192 enodes)
1550842262.462 * * [misc]simplify:  iters left: 2 (377 enodes)
1550842262.628 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842262.629 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550842262.630 * * [misc]simplify:  Extracting #2: cost 65 inf + 198
1550842262.633 * * [misc]simplify:  Extracting #3: cost 18 inf + 5937
1550842262.639 * * [misc]simplify:  Extracting #4: cost 1 inf + 6589
1550842262.646 * * [misc]simplify:  Extracting #5: cost 0 inf + 6209
1550842262.652 * [exit]simplify:  Simplified to (* (fma t (fma 2 t -2) 2) t)
1550842262.652 * [misc]simplify:  Simplified (2 1 1) to (λ (t) (/ (fma (* (fma t (fma 2 t -2) 2) t) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842262.652 * * * * [misc]progress:  [ 67 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842262.652 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842262.652 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842262.659 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842262.675 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842262.702 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842262.741 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842262.791 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842262.836 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842262.836 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842262.836 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842262.837 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842262.838 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842262.840 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842262.842 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842262.844 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842262.844 * [misc]simplify:  Simplified (2 1 1) to (λ (t) (/ (fma (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842262.844 * * * * [misc]progress:  [ 68 / 68 ] simplifiying candidate #<alt (λ (t) (/ (fma (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))>
1550842262.844 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1550842262.844 * * [misc]simplify:  iters left: 6 (10 enodes)
1550842262.848 * * [misc]simplify:  iters left: 5 (44 enodes)
1550842262.858 * * [misc]simplify:  iters left: 4 (76 enodes)
1550842262.882 * * [misc]simplify:  iters left: 3 (116 enodes)
1550842262.922 * * [misc]simplify:  iters left: 2 (166 enodes)
1550842262.972 * * [misc]simplify:  iters left: 1 (208 enodes)
1550842263.039 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842263.039 * * [misc]simplify:  Extracting #1: cost 26 inf + 0
1550842263.039 * * [misc]simplify:  Extracting #2: cost 55 inf + 2
1550842263.042 * * [misc]simplify:  Extracting #3: cost 38 inf + 1485
1550842263.045 * * [misc]simplify:  Extracting #4: cost 17 inf + 3702
1550842263.049 * * [misc]simplify:  Extracting #5: cost 1 inf + 5911
1550842263.053 * * [misc]simplify:  Extracting #6: cost 0 inf + 6072
1550842263.056 * [exit]simplify:  Simplified to (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t)))
1550842263.057 * [misc]simplify:  Simplified (2 1 1) to (λ (t) (/ (fma (fma (/ 2 t) (/ 1 t) (- 2 (/ 2 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1550842263.057 * * * [misc]progress:  adding candidates to table
1550842263.821 * [misc]progress:  [Phase 3 of 3] Extracting.
1550842263.826 * [enter]simplify:  Simplifying (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
1550842263.826 * * [misc]simplify:  iters left: 6 (9 enodes)
1550842263.827 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842263.828 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842263.828 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842263.828 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842263.828 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550842263.828 * * [misc]simplify:  Extracting #4: cost 6 inf + 2
1550842263.828 * * [misc]simplify:  Extracting #5: cost 7 inf + 2
1550842263.828 * * [misc]simplify:  Extracting #6: cost 0 inf + 880
1550842263.829 * [exit]simplify:  Simplified to (/ (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
1550842265.637 * [misc]regime-testing:  Baseline error score: 0.009751218902362795
1550842265.638 * [misc]regime-testing:  Oracle error score: 0.009751218902362795
1550842265.638 * [misc]regime-testing:  End program error score: 0.009751218902362795