6.810 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.060 * * * [progress]: [2/2] Setting up program.
0.064 * [progress]: [Phase 2 of 3] Improving.
0.064 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.065 * [simplify]: Simplifying:
  (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.065 * * [simplify]: iteration 0: 11 enodes
0.069 * * [simplify]: iteration 1: 29 enodes
0.083 * * [simplify]: iteration 2: 77 enodes
0.136 * * [simplify]: iteration 3: 186 enodes
0.231 * * [simplify]: iteration 4: 566 enodes
0.998 * * [simplify]: iteration 5: 2278 enodes
2.263 * * [simplify]: iteration complete: 5001 enodes
2.263 * * [simplify]: Extracting #0: cost 1 inf + 0
2.263 * * [simplify]: Extracting #1: cost 153 inf + 0
2.267 * * [simplify]: Extracting #2: cost 1028 inf + 1325
2.275 * * [simplify]: Extracting #3: cost 1424 inf + 23527
2.324 * * [simplify]: Extracting #4: cost 320 inf + 152637
2.395 * * [simplify]: Extracting #5: cost 23 inf + 207207
2.493 * * [simplify]: Extracting #6: cost 0 inf + 212811
2.583 * * [simplify]: Extracting #7: cost 0 inf + 212810
2.660 * [simplify]: Simplified to:
  (* (* t 2e-16) (* t 2e-16))
2.668 * * [progress]: iteration 1 / 4
2.668 * * * [progress]: picking best candidate
2.671 * * * * [pick]: Picked  #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.671 * * * [progress]: localizing error
2.683 * * * [progress]: generating rewritten candidates
2.683 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.723 * * * [progress]: generating series expansions
2.723 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.724 * [backup-simplify]: Simplify (* (* t 2e-16) (* t 2e-16)) into (* 3.9999999999999997e-32 (pow t 2))
2.724 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.724 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.724 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.724 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.724 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.724 * [taylor]: Taking taylor expansion of t in t
2.724 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify 1 into 1
2.724 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.724 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.724 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.724 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.724 * [taylor]: Taking taylor expansion of t in t
2.724 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify 1 into 1
2.724 * [backup-simplify]: Simplify (* 1 1) into 1
2.725 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.725 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.726 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
2.726 * [backup-simplify]: Simplify 0 into 0
2.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.727 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
2.727 * [backup-simplify]: Simplify 0 into 0
2.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.728 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.728 * [backup-simplify]: Simplify 0 into 0
2.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.730 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.730 * [backup-simplify]: Simplify 0 into 0
2.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.732 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.732 * [backup-simplify]: Simplify 0 into 0
2.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.733 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.733 * [backup-simplify]: Simplify 0 into 0
2.734 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.734 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (* (/ 1 t) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.734 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.734 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.734 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.734 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.734 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.734 * [taylor]: Taking taylor expansion of t in t
2.734 * [backup-simplify]: Simplify 0 into 0
2.734 * [backup-simplify]: Simplify 1 into 1
2.734 * [backup-simplify]: Simplify (* 1 1) into 1
2.734 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.734 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.734 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.734 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.735 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.735 * [taylor]: Taking taylor expansion of t in t
2.735 * [backup-simplify]: Simplify 0 into 0
2.735 * [backup-simplify]: Simplify 1 into 1
2.735 * [backup-simplify]: Simplify (* 1 1) into 1
2.735 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.735 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.736 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.736 * [backup-simplify]: Simplify 0 into 0
2.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.737 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.737 * [backup-simplify]: Simplify 0 into 0
2.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.739 * [backup-simplify]: Simplify 0 into 0
2.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.740 * [backup-simplify]: Simplify 0 into 0
2.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.741 * [backup-simplify]: Simplify 0 into 0
2.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.743 * [backup-simplify]: Simplify 0 into 0
2.743 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.744 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (* (/ 1 (- t)) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.744 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.744 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.744 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.744 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.744 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.744 * [taylor]: Taking taylor expansion of t in t
2.744 * [backup-simplify]: Simplify 0 into 0
2.744 * [backup-simplify]: Simplify 1 into 1
2.744 * [backup-simplify]: Simplify (* 1 1) into 1
2.745 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.745 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.745 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.745 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.745 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.745 * [taylor]: Taking taylor expansion of t in t
2.745 * [backup-simplify]: Simplify 0 into 0
2.745 * [backup-simplify]: Simplify 1 into 1
2.745 * [backup-simplify]: Simplify (* 1 1) into 1
2.746 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.746 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.747 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.749 * [backup-simplify]: Simplify 0 into 0
2.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.752 * [backup-simplify]: Simplify 0 into 0
2.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.754 * [backup-simplify]: Simplify 0 into 0
2.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.756 * [backup-simplify]: Simplify 0 into 0
2.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.759 * [backup-simplify]: Simplify 0 into 0
2.760 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.760 * * * [progress]: simplifying candidates
2.760 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.760 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.760 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.760 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.760 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.760 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.760 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.760 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.760 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) 2))>
2.760 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.760 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.760 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.761 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (+ (log t) (log 2e-16)))))>
2.761 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (log (* t 2e-16)))))>
2.761 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (+ (log t) (log 2e-16)))))>
2.761 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (log (* t 2e-16)))))>
2.761 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* t 2e-16) (* t 2e-16)))))>
2.761 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* t 2e-16) (* t 2e-16)))))>
2.761 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))))>
2.761 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))>
2.761 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))))>
2.761 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))>
2.761 * * * * [progress]: [ 23 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16)))) (cbrt (* (* t 2e-16) (* t 2e-16)))))>
2.761 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))))>
2.761 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* t 2e-16) (* t 2e-16))) (sqrt (* (* t 2e-16) (* t 2e-16)))))>
2.761 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* t 2e-16) (* t 2e-16))))>
2.761 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (t) (* (* t t) (* 2e-16 2e-16)))>
2.761 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.762 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.762 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.762 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.762 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))>
2.762 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (t) (* t (* 2e-16 (* t 2e-16))))>
2.762 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* t 2e-16) (* t 2e-16)))))>
2.762 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.762 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.762 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.762 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.763 * [simplify]: Simplifying:
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log t) (log 2e-16)) (+ (log t) (log 2e-16)))
  (+ (+ (log t) (log 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (+ (log t) (log 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (exp (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))
  (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16))))
  (cbrt (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (sqrt (* (* t 2e-16) (* t 2e-16)))
  (sqrt (* (* t 2e-16) (* t 2e-16)))
  (* t t)
  (* 2e-16 2e-16)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* t 2e-16) t)
  (* 2e-16 (* t 2e-16))
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
2.763 * * [simplify]: iteration 0: 39 enodes
2.779 * * [simplify]: iteration 1: 98 enodes
2.808 * * [simplify]: iteration 2: 341 enodes
3.142 * * [simplify]: iteration 3: 1471 enodes
5.023 * * [simplify]: iteration complete: 5001 enodes
5.023 * * [simplify]: Extracting #0: cost 14 inf + 0
5.024 * * [simplify]: Extracting #1: cost 400 inf + 1
5.030 * * [simplify]: Extracting #2: cost 1129 inf + 12283
5.072 * * [simplify]: Extracting #3: cost 494 inf + 124588
5.144 * * [simplify]: Extracting #4: cost 61 inf + 206943
5.228 * * [simplify]: Extracting #5: cost 1 inf + 221087
5.306 * * [simplify]: Extracting #6: cost 0 inf + 221450
5.375 * [simplify]: Simplified to:
  2
  2
  2
  2
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  2
  2
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (exp (* (* t 2e-16) (* t 2e-16)))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16))))
  (cbrt (* (* t 2e-16) (* t 2e-16)))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (fabs (* t 2e-16))
  (fabs (* t 2e-16))
  (* t t)
  (* 2e-16 2e-16)
  2
  2
  2
  2
  (* 2e-16 (* t t))
  (* (* 2e-16 t) 2e-16)
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
5.376 * * * [progress]: adding candidates to table
5.457 * * [progress]: iteration 2 / 4
5.458 * * * [progress]: picking best candidate
5.469 * * * * [pick]: Picked  #<alt (λ (t) (* t (* 2e-16 (* t 2e-16))))>
5.469 * * * [progress]: localizing error
5.484 * * * [progress]: generating rewritten candidates
5.484 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
5.535 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
5.565 * * * [progress]: generating series expansions
5.565 * * * * [progress]: [ 1 / 2 ] generating series at (2)
5.565 * [backup-simplify]: Simplify (* t (* 2e-16 (* t 2e-16))) into (* 3.9999999999999997e-32 (pow t 2))
5.565 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.565 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.565 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.565 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.565 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.565 * [taylor]: Taking taylor expansion of t in t
5.565 * [backup-simplify]: Simplify 0 into 0
5.565 * [backup-simplify]: Simplify 1 into 1
5.565 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.565 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.565 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.565 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.565 * [taylor]: Taking taylor expansion of t in t
5.565 * [backup-simplify]: Simplify 0 into 0
5.565 * [backup-simplify]: Simplify 1 into 1
5.566 * [backup-simplify]: Simplify (* 1 1) into 1
5.567 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.567 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.568 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
5.568 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.570 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
5.570 * [backup-simplify]: Simplify 0 into 0
5.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.572 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.572 * [backup-simplify]: Simplify 0 into 0
5.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.574 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.574 * [backup-simplify]: Simplify 0 into 0
5.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.577 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.577 * [backup-simplify]: Simplify 0 into 0
5.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.580 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.580 * [backup-simplify]: Simplify 0 into 0
5.580 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.581 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (* (/ 1 t) 2e-16))) into (/ 3.9999999999999997e-32 (pow t 2))
5.581 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.581 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.581 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.581 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.581 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.581 * [taylor]: Taking taylor expansion of t in t
5.581 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify 1 into 1
5.581 * [backup-simplify]: Simplify (* 1 1) into 1
5.582 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.582 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.582 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.582 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.582 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.582 * [taylor]: Taking taylor expansion of t in t
5.582 * [backup-simplify]: Simplify 0 into 0
5.582 * [backup-simplify]: Simplify 1 into 1
5.583 * [backup-simplify]: Simplify (* 1 1) into 1
5.583 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.583 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.585 * [backup-simplify]: Simplify 0 into 0
5.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.587 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.589 * [backup-simplify]: Simplify 0 into 0
5.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.591 * [backup-simplify]: Simplify 0 into 0
5.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.592 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.594 * [backup-simplify]: Simplify 0 into 0
5.594 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.594 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (* (/ 1 (- t)) 2e-16))) into (/ 3.9999999999999997e-32 (pow t 2))
5.594 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.594 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.594 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.594 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.594 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.594 * [taylor]: Taking taylor expansion of t in t
5.594 * [backup-simplify]: Simplify 0 into 0
5.594 * [backup-simplify]: Simplify 1 into 1
5.595 * [backup-simplify]: Simplify (* 1 1) into 1
5.595 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.595 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.595 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.595 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.595 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.595 * [taylor]: Taking taylor expansion of t in t
5.595 * [backup-simplify]: Simplify 0 into 0
5.595 * [backup-simplify]: Simplify 1 into 1
5.595 * [backup-simplify]: Simplify (* 1 1) into 1
5.596 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.596 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.596 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.597 * [backup-simplify]: Simplify 0 into 0
5.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.598 * [backup-simplify]: Simplify 0 into 0
5.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.599 * [backup-simplify]: Simplify 0 into 0
5.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.600 * [backup-simplify]: Simplify 0 into 0
5.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.602 * [backup-simplify]: Simplify 0 into 0
5.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.603 * [backup-simplify]: Simplify 0 into 0
5.603 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.603 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
5.604 * [backup-simplify]: Simplify (* 2e-16 (* t 2e-16)) into (* 3.9999999999999997e-32 t)
5.604 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0
5.604 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
5.604 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.604 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.604 * [taylor]: Taking taylor expansion of t in t
5.604 * [backup-simplify]: Simplify 0 into 0
5.604 * [backup-simplify]: Simplify 1 into 1
5.604 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
5.604 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.604 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.604 * [taylor]: Taking taylor expansion of t in t
5.604 * [backup-simplify]: Simplify 0 into 0
5.604 * [backup-simplify]: Simplify 1 into 1
5.604 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0
5.604 * [backup-simplify]: Simplify 0 into 0
5.605 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32
5.605 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.606 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0
5.606 * [backup-simplify]: Simplify 0 into 0
5.606 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.606 * [backup-simplify]: Simplify 0 into 0
5.607 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.607 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.608 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.609 * [backup-simplify]: Simplify 0 into 0
5.610 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.610 * [backup-simplify]: Simplify 0 into 0
5.610 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t)
5.610 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) 2e-16)) into (/ 3.9999999999999997e-32 t)
5.610 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0
5.610 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
5.610 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.610 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.610 * [taylor]: Taking taylor expansion of t in t
5.610 * [backup-simplify]: Simplify 0 into 0
5.610 * [backup-simplify]: Simplify 1 into 1
5.611 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.611 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
5.611 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.611 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.611 * [taylor]: Taking taylor expansion of t in t
5.611 * [backup-simplify]: Simplify 0 into 0
5.611 * [backup-simplify]: Simplify 1 into 1
5.611 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.611 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.612 * [backup-simplify]: Simplify 0 into 0
5.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.612 * [backup-simplify]: Simplify 0 into 0
5.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.613 * [backup-simplify]: Simplify 0 into 0
5.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.614 * [backup-simplify]: Simplify 0 into 0
5.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.614 * [backup-simplify]: Simplify 0 into 0
5.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.615 * [backup-simplify]: Simplify 0 into 0
5.615 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t)
5.615 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) 2e-16)) into (/ -3.9999999999999997e-32 t)
5.615 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0
5.615 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
5.615 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
5.615 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.615 * [taylor]: Taking taylor expansion of t in t
5.615 * [backup-simplify]: Simplify 0 into 0
5.615 * [backup-simplify]: Simplify 1 into 1
5.615 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
5.615 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
5.616 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
5.616 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.616 * [taylor]: Taking taylor expansion of t in t
5.616 * [backup-simplify]: Simplify 0 into 0
5.616 * [backup-simplify]: Simplify 1 into 1
5.616 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
5.616 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0
5.616 * [backup-simplify]: Simplify 0 into 0
5.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.617 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.618 * [backup-simplify]: Simplify 0 into 0
5.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.619 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.620 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t)
5.620 * * * [progress]: simplifying candidates
5.620 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.620 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.620 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.620 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.620 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log 2e-16) (+ (log t) (log 2e-16))))))>
5.620 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log 2e-16) (log (* t 2e-16))))))>
5.620 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (log (* 2e-16 (* t 2e-16))))))>
5.620 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* t (* 2e-16 (* t 2e-16))))))>
5.620 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* t (* 2e-16 (* t 2e-16))))))>
5.620 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16))))))>
5.620 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))))>
5.620 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16))))))>
5.620 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* t (* 2e-16 (* t 2e-16)))) (cbrt (* t (* 2e-16 (* t 2e-16))))) (cbrt (* t (* 2e-16 (* t 2e-16))))))>
5.620 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t (* 2e-16 (* t 2e-16))) (* t (* 2e-16 (* t 2e-16)))) (* t (* 2e-16 (* t 2e-16))))))>
5.620 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t (* 2e-16 (* t 2e-16)))) (sqrt (* t (* 2e-16 (* t 2e-16))))))>
5.620 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 2e-16 (* t 2e-16)))))>
5.620 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
5.621 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 (* t 2e-16)))))>
5.621 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* 2e-16 (* t 2e-16)))))>
5.621 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 2e-16 (* t 2e-16)))))>
5.621 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* t (* 2e-16 (* t 2e-16))))))>
5.621 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* t 2e-16)) t))>
5.621 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.621 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.621 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.621 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log 2e-16) (+ (log t) (log 2e-16))))))>
5.621 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log 2e-16) (log (* t 2e-16))))))>
5.621 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (log (* 2e-16 (* t 2e-16))))))>
5.621 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (* t (log (exp (* 2e-16 (* t 2e-16))))))>
5.621 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16))))))>
5.621 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))))>
5.621 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* (cbrt (* 2e-16 (* t 2e-16))) (cbrt (* 2e-16 (* t 2e-16)))) (cbrt (* 2e-16 (* t 2e-16))))))>
5.621 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16))))))>
5.621 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))>
5.621 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 1 (* 2e-16 (* t 2e-16)))))>
5.621 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* 2e-16 t) 2e-16)))>
5.621 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t 2e-16)))))>
5.621 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))>
5.621 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 1 (* 2e-16 (* t 2e-16)))))>
5.621 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (* t (posit16->real (real->posit16 (* 2e-16 (* t 2e-16))))))>
5.621 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* t 2e-16) 2e-16)))>
5.621 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.621 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.621 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.621 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.621 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.622 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.622 * [simplify]: Simplifying:
  (* t (* 2e-16 (* t 2e-16)))
  (* t (* 2e-16 (* t 2e-16)))
  (* t (* 2e-16 (* t 2e-16)))
  (+ (log t) (+ (log 2e-16) (+ (log t) (log 2e-16))))
  (+ (log t) (+ (log 2e-16) (log (* t 2e-16))))
  (+ (log t) (log (* 2e-16 (* t 2e-16))))
  (log (* t (* 2e-16 (* t 2e-16))))
  (exp (* t (* 2e-16 (* t 2e-16))))
  (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16))))
  (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))
  (* (* (* t t) t) (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16))))
  (* (cbrt (* t (* 2e-16 (* t 2e-16)))) (cbrt (* t (* 2e-16 (* t 2e-16)))))
  (cbrt (* t (* 2e-16 (* t 2e-16))))
  (* (* (* t (* 2e-16 (* t 2e-16))) (* t (* 2e-16 (* t 2e-16)))) (* t (* 2e-16 (* t 2e-16))))
  (sqrt (* t (* 2e-16 (* t 2e-16))))
  (sqrt (* t (* 2e-16 (* t 2e-16))))
  (* t 2e-16)
  (* (cbrt t) (* 2e-16 (* t 2e-16)))
  (* (sqrt t) (* 2e-16 (* t 2e-16)))
  (* t (* 2e-16 (* t 2e-16)))
  (real->posit16 (* t (* 2e-16 (* t 2e-16))))
  (* 2e-16 (* t 2e-16))
  (* 2e-16 (* t 2e-16))
  (+ (log 2e-16) (+ (log t) (log 2e-16)))
  (+ (log 2e-16) (log (* t 2e-16)))
  (log (* 2e-16 (* t 2e-16)))
  (exp (* 2e-16 (* t 2e-16)))
  (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))
  (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (cbrt (* 2e-16 (* t 2e-16))) (cbrt (* 2e-16 (* t 2e-16))))
  (cbrt (* 2e-16 (* t 2e-16)))
  (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16)))
  (sqrt (* 2e-16 (* t 2e-16)))
  (sqrt (* 2e-16 (* t 2e-16)))
  (* 2e-16 t)
  (* (cbrt 2e-16) (* t 2e-16))
  (* (sqrt 2e-16) (* t 2e-16))
  (* 2e-16 (* t 2e-16))
  (real->posit16 (* 2e-16 (* t 2e-16)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
5.622 * * [simplify]: iteration 0: 56 enodes
5.637 * * [simplify]: iteration 1: 141 enodes
5.690 * * [simplify]: iteration 2: 492 enodes
6.446 * * [simplify]: iteration 3: 2208 enodes
7.559 * * [simplify]: iteration complete: 5000 enodes
7.559 * * [simplify]: Extracting #0: cost 23 inf + 0
7.560 * * [simplify]: Extracting #1: cost 358 inf + 0
7.568 * * [simplify]: Extracting #2: cost 984 inf + 12764
7.597 * * [simplify]: Extracting #3: cost 378 inf + 119242
7.668 * * [simplify]: Extracting #4: cost 22 inf + 180263
7.735 * * [simplify]: Extracting #5: cost 0 inf + 184655
7.783 * * [simplify]: Extracting #6: cost 0 inf + 184575
7.831 * [simplify]: Simplified to:
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (exp (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))))
  (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))
  (cbrt (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))))
  (fabs (* t 2e-16))
  (fabs (* t 2e-16))
  (* t 2e-16)
  (* (* 2e-16 (cbrt t)) (* t 2e-16))
  (* (sqrt t) (* (* t 2e-16) 2e-16))
  (* (* 2e-16 t) (* 2e-16 t))
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* (* t 2e-16) 2e-16)
  (* (* t 2e-16) 2e-16)
  (log (* (* t 2e-16) 2e-16))
  (log (* (* t 2e-16) 2e-16))
  (log (* (* t 2e-16) 2e-16))
  (exp (* (* t 2e-16) 2e-16))
  (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16))
  (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16))
  (* (cbrt (* (* t 2e-16) 2e-16)) (cbrt (* (* t 2e-16) 2e-16)))
  (cbrt (* (* t 2e-16) 2e-16))
  (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16))
  (sqrt (* (* t 2e-16) 2e-16))
  (sqrt (* (* t 2e-16) 2e-16))
  (* t 2e-16)
  (* (* t 2e-16) (cbrt 2e-16))
  (* (* (sqrt 2e-16) t) 2e-16)
  (* (* t 2e-16) 2e-16)
  (real->posit16 (* (* t 2e-16) 2e-16))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* t 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
7.832 * * * [progress]: adding candidates to table
7.911 * * [progress]: iteration 3 / 4
7.911 * * * [progress]: picking best candidate
7.922 * * * * [pick]: Picked  #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))>
7.922 * * * [progress]: localizing error
7.930 * * * [progress]: generating rewritten candidates
7.930 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
8.001 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
8.027 * * * [progress]: generating series expansions
8.027 * * * * [progress]: [ 1 / 2 ] generating series at (2)
8.027 * [backup-simplify]: Simplify (* (* (* t 2e-16) t) 2e-16) into (* 3.9999999999999997e-32 (pow t 2))
8.027 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.027 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.027 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.027 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.027 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.027 * [taylor]: Taking taylor expansion of t in t
8.027 * [backup-simplify]: Simplify 0 into 0
8.027 * [backup-simplify]: Simplify 1 into 1
8.027 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.028 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.028 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.028 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.028 * [taylor]: Taking taylor expansion of t in t
8.028 * [backup-simplify]: Simplify 0 into 0
8.028 * [backup-simplify]: Simplify 1 into 1
8.028 * [backup-simplify]: Simplify (* 1 1) into 1
8.028 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.028 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.029 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.029 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
8.029 * [backup-simplify]: Simplify 0 into 0
8.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.031 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
8.031 * [backup-simplify]: Simplify 0 into 0
8.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.032 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.032 * [backup-simplify]: Simplify 0 into 0
8.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.034 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.034 * [backup-simplify]: Simplify 0 into 0
8.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.035 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.035 * [backup-simplify]: Simplify 0 into 0
8.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.037 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.037 * [backup-simplify]: Simplify 0 into 0
8.037 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.037 * [backup-simplify]: Simplify (* (* (* (/ 1 t) 2e-16) (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 (pow t 2))
8.037 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.037 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.037 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.037 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.037 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.037 * [taylor]: Taking taylor expansion of t in t
8.037 * [backup-simplify]: Simplify 0 into 0
8.037 * [backup-simplify]: Simplify 1 into 1
8.038 * [backup-simplify]: Simplify (* 1 1) into 1
8.038 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.038 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.038 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.038 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.038 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.038 * [taylor]: Taking taylor expansion of t in t
8.038 * [backup-simplify]: Simplify 0 into 0
8.039 * [backup-simplify]: Simplify 1 into 1
8.039 * [backup-simplify]: Simplify (* 1 1) into 1
8.039 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.039 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.040 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.041 * [backup-simplify]: Simplify 0 into 0
8.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.043 * [backup-simplify]: Simplify 0 into 0
8.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.045 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.045 * [backup-simplify]: Simplify 0 into 0
8.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.047 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.047 * [backup-simplify]: Simplify 0 into 0
8.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.050 * [backup-simplify]: Simplify 0 into 0
8.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.052 * [backup-simplify]: Simplify 0 into 0
8.053 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.053 * [backup-simplify]: Simplify (* (* (* (/ 1 (- t)) 2e-16) (/ 1 (- t))) 2e-16) into (/ 3.9999999999999997e-32 (pow t 2))
8.053 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.053 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.053 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.053 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.053 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.053 * [taylor]: Taking taylor expansion of t in t
8.053 * [backup-simplify]: Simplify 0 into 0
8.053 * [backup-simplify]: Simplify 1 into 1
8.054 * [backup-simplify]: Simplify (* 1 1) into 1
8.054 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.054 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.054 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.054 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.054 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.054 * [taylor]: Taking taylor expansion of t in t
8.054 * [backup-simplify]: Simplify 0 into 0
8.054 * [backup-simplify]: Simplify 1 into 1
8.055 * [backup-simplify]: Simplify (* 1 1) into 1
8.055 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.055 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.056 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.057 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.057 * [backup-simplify]: Simplify 0 into 0
8.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.059 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.059 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.061 * [backup-simplify]: Simplify 0 into 0
8.062 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.063 * [backup-simplify]: Simplify 0 into 0
8.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.066 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.071 * [backup-simplify]: Simplify 0 into 0
8.071 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.071 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
8.071 * [backup-simplify]: Simplify (* (* t 2e-16) t) into (* 2e-16 (pow t 2))
8.071 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0
8.071 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
8.071 * [taylor]: Taking taylor expansion of 2e-16 in t
8.071 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.071 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.071 * [taylor]: Taking taylor expansion of t in t
8.071 * [backup-simplify]: Simplify 0 into 0
8.071 * [backup-simplify]: Simplify 1 into 1
8.071 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
8.071 * [taylor]: Taking taylor expansion of 2e-16 in t
8.071 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.072 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.072 * [taylor]: Taking taylor expansion of t in t
8.072 * [backup-simplify]: Simplify 0 into 0
8.072 * [backup-simplify]: Simplify 1 into 1
8.072 * [backup-simplify]: Simplify (* 1 1) into 1
8.073 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
8.073 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.073 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.074 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
8.074 * [backup-simplify]: Simplify 0 into 0
8.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.076 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
8.076 * [backup-simplify]: Simplify 0 into 0
8.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.078 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.078 * [backup-simplify]: Simplify 0 into 0
8.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.081 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.081 * [backup-simplify]: Simplify 0 into 0
8.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.084 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.084 * [backup-simplify]: Simplify 0 into 0
8.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.087 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.087 * [backup-simplify]: Simplify 0 into 0
8.087 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2))
8.087 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (/ 1 t)) into (/ 2e-16 (pow t 2))
8.087 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
8.087 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
8.087 * [taylor]: Taking taylor expansion of 2e-16 in t
8.087 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.087 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.087 * [taylor]: Taking taylor expansion of t in t
8.087 * [backup-simplify]: Simplify 0 into 0
8.087 * [backup-simplify]: Simplify 1 into 1
8.088 * [backup-simplify]: Simplify (* 1 1) into 1
8.088 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
8.088 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
8.088 * [taylor]: Taking taylor expansion of 2e-16 in t
8.088 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.088 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.088 * [taylor]: Taking taylor expansion of t in t
8.088 * [backup-simplify]: Simplify 0 into 0
8.088 * [backup-simplify]: Simplify 1 into 1
8.089 * [backup-simplify]: Simplify (* 1 1) into 1
8.089 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
8.089 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.090 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
8.091 * [backup-simplify]: Simplify 0 into 0
8.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.093 * [backup-simplify]: Simplify 0 into 0
8.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.095 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.095 * [backup-simplify]: Simplify 0 into 0
8.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.097 * [backup-simplify]: Simplify 0 into 0
8.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.100 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.100 * [backup-simplify]: Simplify 0 into 0
8.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.102 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.102 * [backup-simplify]: Simplify 0 into 0
8.103 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2))
8.103 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (/ 1 (- t))) into (/ 2e-16 (pow t 2))
8.103 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
8.103 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
8.103 * [taylor]: Taking taylor expansion of 2e-16 in t
8.103 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.103 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.103 * [taylor]: Taking taylor expansion of t in t
8.103 * [backup-simplify]: Simplify 0 into 0
8.103 * [backup-simplify]: Simplify 1 into 1
8.103 * [backup-simplify]: Simplify (* 1 1) into 1
8.104 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
8.104 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
8.104 * [taylor]: Taking taylor expansion of 2e-16 in t
8.104 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.104 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.104 * [taylor]: Taking taylor expansion of t in t
8.104 * [backup-simplify]: Simplify 0 into 0
8.104 * [backup-simplify]: Simplify 1 into 1
8.104 * [backup-simplify]: Simplify (* 1 1) into 1
8.105 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
8.105 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.105 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
8.106 * [backup-simplify]: Simplify 0 into 0
8.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.108 * [backup-simplify]: Simplify 0 into 0
8.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.110 * [backup-simplify]: Simplify 0 into 0
8.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.112 * [backup-simplify]: Simplify 0 into 0
8.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.114 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2))
8.117 * * * [progress]: simplifying candidates
8.117 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
8.117 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
8.117 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
8.117 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
8.118 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (+ (log t) (log 2e-16)) (log t)) (log 2e-16))))>
8.118 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log (* t 2e-16)) (log t)) (log 2e-16))))>
8.118 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* (* t 2e-16) t)) (log 2e-16))))>
8.118 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* (* t 2e-16) t) 2e-16))))>
8.118 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* (* t 2e-16) t) 2e-16))))>
8.118 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))))>
8.118 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))))>
8.118 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t)) (* (* 2e-16 2e-16) 2e-16))))>
8.118 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* (* t 2e-16) t) 2e-16)) (cbrt (* (* (* t 2e-16) t) 2e-16))) (cbrt (* (* (* t 2e-16) t) 2e-16))))>
8.118 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) t) 2e-16) (* (* (* t 2e-16) t) 2e-16)) (* (* (* t 2e-16) t) 2e-16))))>
8.118 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* (* t 2e-16) t) 2e-16)) (sqrt (* (* (* t 2e-16) t) 2e-16))))>
8.118 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) t) 2e-16)))>
8.118 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)))>
8.118 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) (sqrt 2e-16)) (sqrt 2e-16)))>
8.118 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) 1) 2e-16))>
8.118 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
8.118 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* (* t 2e-16) t) 2e-16))))>
8.119 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t 2e-16) t)))>
8.119 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
8.119 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
8.119 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
8.119 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (+ (log t) (log 2e-16)) (log t))) 2e-16))>
8.119 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (log (* t 2e-16)) (log t))) 2e-16))>
8.119 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (log (* (* t 2e-16) t))) 2e-16))>
8.119 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (* (log (exp (* (* t 2e-16) t))) 2e-16))>
8.119 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))) 2e-16))>
8.119 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t))) 2e-16))>
8.119 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* (* t 2e-16) t)) (cbrt (* (* t 2e-16) t))) (cbrt (* (* t 2e-16) t))) 2e-16))>
8.119 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t))) 2e-16))>
8.119 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) t)) (sqrt (* (* t 2e-16) t))) 2e-16))>
8.119 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) t)) 2e-16))>
8.119 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* (cbrt t) (cbrt t))) (cbrt t)) 2e-16))>
8.119 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt t)) (sqrt t)) 2e-16))>
8.120 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 1) t) 2e-16))>
8.120 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t (* 2e-16 t)) 2e-16))>
8.120 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (* (posit16->real (real->posit16 (* (* t 2e-16) t))) 2e-16))>
8.120 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t (* t 2e-16)) 2e-16))>
8.120 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.120 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.120 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.120 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
8.120 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
8.120 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
8.121 * [simplify]: Simplifying:
  (* (* (* t 2e-16) t) 2e-16)
  (* (* (* t 2e-16) t) 2e-16)
  (* (* (* t 2e-16) t) 2e-16)
  (+ (+ (+ (log t) (log 2e-16)) (log t)) (log 2e-16))
  (+ (+ (log (* t 2e-16)) (log t)) (log 2e-16))
  (+ (log (* (* t 2e-16) t)) (log 2e-16))
  (log (* (* (* t 2e-16) t) 2e-16))
  (exp (* (* (* t 2e-16) t) 2e-16))
  (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))
  (* (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))
  (* (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t)) (* (* 2e-16 2e-16) 2e-16))
  (* (cbrt (* (* (* t 2e-16) t) 2e-16)) (cbrt (* (* (* t 2e-16) t) 2e-16)))
  (cbrt (* (* (* t 2e-16) t) 2e-16))
  (* (* (* (* (* t 2e-16) t) 2e-16) (* (* (* t 2e-16) t) 2e-16)) (* (* (* t 2e-16) t) 2e-16))
  (sqrt (* (* (* t 2e-16) t) 2e-16))
  (sqrt (* (* (* t 2e-16) t) 2e-16))
  (* (* (* t 2e-16) t) (* (cbrt 2e-16) (cbrt 2e-16)))
  (* (* (* t 2e-16) t) (sqrt 2e-16))
  (* (* (* t 2e-16) t) 1)
  (* t 2e-16)
  (real->posit16 (* (* (* t 2e-16) t) 2e-16))
  (* (* t 2e-16) t)
  (* (* t 2e-16) t)
  (+ (+ (log t) (log 2e-16)) (log t))
  (+ (log (* t 2e-16)) (log t))
  (log (* (* t 2e-16) t))
  (exp (* (* t 2e-16) t))
  (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t))
  (* (cbrt (* (* t 2e-16) t)) (cbrt (* (* t 2e-16) t)))
  (cbrt (* (* t 2e-16) t))
  (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t))
  (sqrt (* (* t 2e-16) t))
  (sqrt (* (* t 2e-16) t))
  (* (* t 2e-16) (* (cbrt t) (cbrt t)))
  (* (* t 2e-16) (sqrt t))
  (* (* t 2e-16) 1)
  (* 2e-16 t)
  (real->posit16 (* (* t 2e-16) t))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
8.122 * * [simplify]: iteration 0: 61 enodes
8.147 * * [simplify]: iteration 1: 165 enodes
8.233 * * [simplify]: iteration 2: 564 enodes
8.885 * * [simplify]: iteration 3: 2576 enodes
10.038 * * [simplify]: iteration complete: 5001 enodes
10.038 * * [simplify]: Extracting #0: cost 22 inf + 0
10.039 * * [simplify]: Extracting #1: cost 561 inf + 0
10.048 * * [simplify]: Extracting #2: cost 1398 inf + 5766
10.065 * * [simplify]: Extracting #3: cost 969 inf + 97603
10.111 * * [simplify]: Extracting #4: cost 89 inf + 221567
10.180 * * [simplify]: Extracting #5: cost 6 inf + 237358
10.251 * * [simplify]: Extracting #6: cost 0 inf + 239226
10.332 * [simplify]: Simplified to:
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (exp (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16))))
  (cbrt (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (fabs (* 2e-16 t))
  (fabs (* 2e-16 t))
  (* (* 2e-16 t) (* (* t (cbrt 2e-16)) (cbrt 2e-16)))
  (* (* (sqrt 2e-16) t) (* 2e-16 t))
  (* 2e-16 (* t t))
  (* 2e-16 t)
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* 2e-16 (* t t))
  (* 2e-16 (* t t))
  (log (* 2e-16 (* t t)))
  (log (* 2e-16 (* t t)))
  (log (* 2e-16 (* t t)))
  (exp (* 2e-16 (* t t)))
  (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))
  (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))
  (* (cbrt (* 2e-16 (* t t))) (cbrt (* 2e-16 (* t t))))
  (cbrt (* 2e-16 (* t t)))
  (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))
  (sqrt (* 2e-16 (* t t)))
  (sqrt (* 2e-16 (* t t)))
  (* t (* (* 2e-16 (cbrt t)) (cbrt t)))
  (* (sqrt t) (* 2e-16 t))
  (* 2e-16 t)
  (* 2e-16 t)
  (real->posit16 (* 2e-16 (* t t)))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* 2e-16 (* t t))
  (* 2e-16 (* t t))
  (* 2e-16 (* t t))
10.335 * * * [progress]: adding candidates to table
10.466 * * [progress]: iteration 4 / 4
10.466 * * * [progress]: picking best candidate
10.487 * * * * [pick]: Picked  #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
10.487 * * * [progress]: localizing error
10.497 * * * [progress]: generating rewritten candidates
10.497 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
10.518 * * * [progress]: generating series expansions
10.518 * * * * [progress]: [ 1 / 1 ] generating series at (2)
10.518 * [backup-simplify]: Simplify (* t (* 3.9999999999999997e-32 t)) into (* 3.9999999999999997e-32 (pow t 2))
10.518 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.518 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.518 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.518 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.518 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.518 * [taylor]: Taking taylor expansion of t in t
10.518 * [backup-simplify]: Simplify 0 into 0
10.518 * [backup-simplify]: Simplify 1 into 1
10.518 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.518 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.518 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.518 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.518 * [taylor]: Taking taylor expansion of t in t
10.518 * [backup-simplify]: Simplify 0 into 0
10.518 * [backup-simplify]: Simplify 1 into 1
10.519 * [backup-simplify]: Simplify (* 1 1) into 1
10.519 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.519 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.520 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
10.520 * [backup-simplify]: Simplify 0 into 0
10.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.521 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
10.521 * [backup-simplify]: Simplify 0 into 0
10.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.523 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.523 * [backup-simplify]: Simplify 0 into 0
10.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.524 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.524 * [backup-simplify]: Simplify 0 into 0
10.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.526 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.526 * [backup-simplify]: Simplify 0 into 0
10.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.528 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.528 * [backup-simplify]: Simplify 0 into 0
10.529 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.529 * [backup-simplify]: Simplify (* (/ 1 t) (* 3.9999999999999997e-32 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
10.529 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.529 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.529 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.529 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.529 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.529 * [taylor]: Taking taylor expansion of t in t
10.529 * [backup-simplify]: Simplify 0 into 0
10.529 * [backup-simplify]: Simplify 1 into 1
10.529 * [backup-simplify]: Simplify (* 1 1) into 1
10.530 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.530 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.530 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.530 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.530 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.530 * [taylor]: Taking taylor expansion of t in t
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify 1 into 1
10.530 * [backup-simplify]: Simplify (* 1 1) into 1
10.531 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.531 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.531 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.536 * [backup-simplify]: Simplify 0 into 0
10.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.538 * [backup-simplify]: Simplify 0 into 0
10.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.540 * [backup-simplify]: Simplify 0 into 0
10.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.542 * [backup-simplify]: Simplify 0 into 0
10.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.544 * [backup-simplify]: Simplify 0 into 0
10.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.546 * [backup-simplify]: Simplify 0 into 0
10.547 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.547 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 3.9999999999999997e-32 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
10.547 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.547 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.547 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.547 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.547 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.547 * [taylor]: Taking taylor expansion of t in t
10.547 * [backup-simplify]: Simplify 0 into 0
10.547 * [backup-simplify]: Simplify 1 into 1
10.547 * [backup-simplify]: Simplify (* 1 1) into 1
10.548 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.548 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.548 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.548 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.548 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.548 * [taylor]: Taking taylor expansion of t in t
10.548 * [backup-simplify]: Simplify 0 into 0
10.548 * [backup-simplify]: Simplify 1 into 1
10.548 * [backup-simplify]: Simplify (* 1 1) into 1
10.549 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.549 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.549 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.550 * [backup-simplify]: Simplify 0 into 0
10.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.552 * [backup-simplify]: Simplify 0 into 0
10.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.554 * [backup-simplify]: Simplify 0 into 0
10.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.556 * [backup-simplify]: Simplify 0 into 0
10.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.558 * [backup-simplify]: Simplify 0 into 0
10.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.560 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.561 * [backup-simplify]: Simplify 0 into 0
10.561 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.561 * * * [progress]: simplifying candidates
10.561 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 3.9999999999999997e-32 t)) 1))>
10.561 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 3.9999999999999997e-32 t)) 1))>
10.561 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 3.9999999999999997e-32 t)) 1))>
10.561 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log 3.9999999999999997e-32) (log t)))))>
10.561 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (log (* 3.9999999999999997e-32 t)))))>
10.561 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (t) (exp (log (* t (* 3.9999999999999997e-32 t)))))>
10.561 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (t) (log (exp (* t (* 3.9999999999999997e-32 t)))))>
10.561 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)))))>
10.561 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)))))>
10.562 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* t (* 3.9999999999999997e-32 t))) (cbrt (* t (* 3.9999999999999997e-32 t)))) (cbrt (* t (* 3.9999999999999997e-32 t)))))>
10.562 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t)))))>
10.562 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t (* 3.9999999999999997e-32 t))) (sqrt (* t (* 3.9999999999999997e-32 t)))))>
10.562 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 3.9999999999999997e-32 t))))>
10.562 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (t) (* (* t 3.9999999999999997e-32) t))>
10.562 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 3.9999999999999997e-32 t))))>
10.562 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* 3.9999999999999997e-32 t))))>
10.562 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 3.9999999999999997e-32 t))))>
10.562 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* t (* 3.9999999999999997e-32 t)))))>
10.562 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
10.562 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.562 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.562 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.563 * [simplify]: Simplifying:
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
  (+ (log t) (+ (log 3.9999999999999997e-32) (log t)))
  (+ (log t) (log (* 3.9999999999999997e-32 t)))
  (log (* t (* 3.9999999999999997e-32 t)))
  (exp (* t (* 3.9999999999999997e-32 t)))
  (* (* (* t t) t) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)))
  (* (* (* t t) t) (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)))
  (* (cbrt (* t (* 3.9999999999999997e-32 t))) (cbrt (* t (* 3.9999999999999997e-32 t))))
  (cbrt (* t (* 3.9999999999999997e-32 t)))
  (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t)))
  (sqrt (* t (* 3.9999999999999997e-32 t)))
  (sqrt (* t (* 3.9999999999999997e-32 t)))
  (* t 3.9999999999999997e-32)
  (* (cbrt t) (* 3.9999999999999997e-32 t))
  (* (sqrt t) (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
  (real->posit16 (* t (* 3.9999999999999997e-32 t)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
10.563 * * [simplify]: iteration 0: 35 enodes
10.576 * * [simplify]: iteration 1: 84 enodes
10.611 * * [simplify]: iteration 2: 252 enodes
10.811 * * [simplify]: iteration 3: 827 enodes
13.861 * * [simplify]: iteration 4: 4167 enodes
15.301 * * [simplify]: iteration complete: 5001 enodes
15.301 * * [simplify]: Extracting #0: cost 11 inf + 0
15.301 * * [simplify]: Extracting #1: cost 163 inf + 0
15.304 * * [simplify]: Extracting #2: cost 684 inf + 3453
15.316 * * [simplify]: Extracting #3: cost 345 inf + 40034
15.340 * * [simplify]: Extracting #4: cost 45 inf + 84738
15.389 * * [simplify]: Extracting #5: cost 0 inf + 97356
15.435 * [simplify]: Simplified to:
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (log (* t (* t 3.9999999999999997e-32)))
  (log (* t (* t 3.9999999999999997e-32)))
  (log (* t (* t 3.9999999999999997e-32)))
  (exp (* t (* t 3.9999999999999997e-32)))
  (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)))
  (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)))
  (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32))))
  (cbrt (* t (* t 3.9999999999999997e-32)))
  (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)))
  (sqrt (* t (* t 3.9999999999999997e-32)))
  (sqrt (* t (* t 3.9999999999999997e-32)))
  (* t 3.9999999999999997e-32)
  (* (* t 3.9999999999999997e-32) (cbrt t))
  (* (sqrt t) (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (real->posit16 (* t (* t 3.9999999999999997e-32)))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
15.436 * * * [progress]: adding candidates to table
15.492 * [progress]: [Phase 3 of 3] Extracting.
15.492 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))> #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))> #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) t)) (sqrt (* (* t 2e-16) t))) 2e-16))> #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t))) 2e-16))> #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt t)) (sqrt t)) 2e-16))> #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))> #<alt (λ (t) (* (* (* (* t 2e-16) t) (sqrt 2e-16)) (sqrt 2e-16)))>)
15.493 * * * [regime-changes]: Trying 1 branch expressions: (t)
15.493 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))> #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))> #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) t)) (sqrt (* (* t 2e-16) t))) 2e-16))> #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t))) 2e-16))> #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt t)) (sqrt t)) 2e-16))> #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))> #<alt (λ (t) (* (* (* (* t 2e-16) t) (sqrt 2e-16)) (sqrt 2e-16)))>)
15.532 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
15.532 * [simplify]: Simplifying:
  (* t (* 3.9999999999999997e-32 t))
15.532 * * [simplify]: iteration 0: 4 enodes
15.532 * * [simplify]: iteration 1: 6 enodes
15.532 * * [simplify]: iteration complete: 6 enodes
15.532 * * [simplify]: Extracting #0: cost 1 inf + 0
15.532 * * [simplify]: Extracting #1: cost 3 inf + 0
15.533 * * [simplify]: Extracting #2: cost 3 inf + 1
15.533 * * [simplify]: Extracting #3: cost 0 inf + 126
15.533 * [simplify]: Simplified to:
  (* t (* t 3.9999999999999997e-32))
17.903 * [regime-testing]: Baseline error score: 0.3284160520065008
17.906 * [regime-testing]: Oracle error score: 0.019002375296912115
17.910 * [regime-testing]: End program error score: 0.3284160520065008
17.987 * [regime-testing]: Target error score: 50.566854512943024