17.781 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.053 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.053 * [simplify]: Simplifying:
  (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.053 * * [simplify]: iteration 0: 11 enodes
0.057 * * [simplify]: iteration 1: 29 enodes
0.069 * * [simplify]: iteration 2: 77 enodes
0.106 * * [simplify]: iteration 3: 186 enodes
0.192 * * [simplify]: iteration 4: 566 enodes
0.909 * * [simplify]: iteration 5: 2278 enodes
1.782 * * [simplify]: iteration complete: 5001 enodes
1.782 * * [simplify]: Extracting #0: cost 1 inf + 0
1.783 * * [simplify]: Extracting #1: cost 153 inf + 0
1.787 * * [simplify]: Extracting #2: cost 1028 inf + 1325
1.802 * * [simplify]: Extracting #3: cost 1424 inf + 23527
1.837 * * [simplify]: Extracting #4: cost 320 inf + 152637
1.883 * * [simplify]: Extracting #5: cost 23 inf + 207207
1.982 * * [simplify]: Extracting #6: cost 0 inf + 212811
2.067 * * [simplify]: Extracting #7: cost 0 inf + 212810
2.120 * [simplify]: Simplified to:
  (* (* t 2e-16) (* t 2e-16))
2.128 * * [progress]: iteration 1 / 4
2.128 * * * [progress]: picking best candidate
2.131 * * * * [pick]: Picked  #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.131 * * * [progress]: localizing error
2.142 * * * [progress]: generating rewritten candidates
2.142 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.196 * * * [progress]: generating series expansions
2.196 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.196 * [backup-simplify]: Simplify (* (* t 2e-16) (* t 2e-16)) into (* 3.9999999999999997e-32 (pow t 2))
2.196 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.196 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.196 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.197 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.197 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.197 * [taylor]: Taking taylor expansion of t in t
2.197 * [backup-simplify]: Simplify 0 into 0
2.197 * [backup-simplify]: Simplify 1 into 1
2.197 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.197 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.197 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.197 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.197 * [taylor]: Taking taylor expansion of t in t
2.197 * [backup-simplify]: Simplify 0 into 0
2.197 * [backup-simplify]: Simplify 1 into 1
2.198 * [backup-simplify]: Simplify (* 1 1) into 1
2.198 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.198 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.200 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
2.200 * [backup-simplify]: Simplify 0 into 0
2.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.202 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
2.202 * [backup-simplify]: Simplify 0 into 0
2.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.204 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.204 * [backup-simplify]: Simplify 0 into 0
2.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.207 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.207 * [backup-simplify]: Simplify 0 into 0
2.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.210 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.210 * [backup-simplify]: Simplify 0 into 0
2.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.213 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.213 * [backup-simplify]: Simplify 0 into 0
2.213 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.214 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (* (/ 1 t) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.214 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.214 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.214 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.214 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.214 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.214 * [taylor]: Taking taylor expansion of t in t
2.214 * [backup-simplify]: Simplify 0 into 0
2.214 * [backup-simplify]: Simplify 1 into 1
2.214 * [backup-simplify]: Simplify (* 1 1) into 1
2.215 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.215 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.215 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.215 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.215 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.215 * [taylor]: Taking taylor expansion of t in t
2.215 * [backup-simplify]: Simplify 0 into 0
2.215 * [backup-simplify]: Simplify 1 into 1
2.215 * [backup-simplify]: Simplify (* 1 1) into 1
2.216 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.216 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.216 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.217 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.219 * [backup-simplify]: Simplify 0 into 0
2.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.222 * [backup-simplify]: Simplify 0 into 0
2.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.225 * [backup-simplify]: Simplify 0 into 0
2.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.227 * [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.227 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.229 * [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.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.229 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (* (/ 1 (- t)) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.229 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.229 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.229 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.229 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.229 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.229 * [taylor]: Taking taylor expansion of t in t
2.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify 1 into 1
2.230 * [backup-simplify]: Simplify (* 1 1) into 1
2.230 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.230 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.230 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.230 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.230 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.230 * [taylor]: Taking taylor expansion of t in t
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 1 into 1
2.230 * [backup-simplify]: Simplify (* 1 1) into 1
2.231 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.231 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.231 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.233 * [backup-simplify]: Simplify 0 into 0
2.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.234 * [backup-simplify]: Simplify 0 into 0
2.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.235 * [backup-simplify]: Simplify 0 into 0
2.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.237 * [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.237 * [backup-simplify]: Simplify 0 into 0
2.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.238 * [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.238 * [backup-simplify]: Simplify 0 into 0
2.239 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.239 * * * [progress]: simplifying candidates
2.239 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.239 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.239 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.239 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.239 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.239 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.239 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.239 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.239 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) 2))>
2.239 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.239 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.239 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.239 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (+ (log t) (log 2e-16)))))>
2.239 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (log (* t 2e-16)))))>
2.239 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (+ (log t) (log 2e-16)))))>
2.239 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (log (* t 2e-16)))))>
2.239 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* t 2e-16) (* t 2e-16)))))>
2.239 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* t 2e-16) (* t 2e-16)))))>
2.239 * * * * [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.239 * * * * [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.239 * * * * [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.239 * * * * [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.239 * * * * [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.239 * * * * [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.240 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* t 2e-16) (* t 2e-16))) (sqrt (* (* t 2e-16) (* t 2e-16)))))>
2.240 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* t 2e-16) (* t 2e-16))))>
2.240 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (t) (* (* t t) (* 2e-16 2e-16)))>
2.240 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.240 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.240 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.240 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.240 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))>
2.240 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (t) (* t (* 2e-16 (* t 2e-16))))>
2.240 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* t 2e-16) (* t 2e-16)))))>
2.240 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.240 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.240 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.240 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.240 * [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.241 * * [simplify]: iteration 0: 39 enodes
2.255 * * [simplify]: iteration 1: 98 enodes
2.284 * * [simplify]: iteration 2: 341 enodes
2.591 * * [simplify]: iteration 3: 1471 enodes
4.644 * * [simplify]: iteration complete: 5001 enodes
4.644 * * [simplify]: Extracting #0: cost 14 inf + 0
4.645 * * [simplify]: Extracting #1: cost 400 inf + 1
4.655 * * [simplify]: Extracting #2: cost 1129 inf + 12283
4.707 * * [simplify]: Extracting #3: cost 494 inf + 124588
4.809 * * [simplify]: Extracting #4: cost 61 inf + 206943
4.883 * * [simplify]: Extracting #5: cost 1 inf + 221087
4.976 * * [simplify]: Extracting #6: cost 0 inf + 221450
5.066 * [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.067 * * * [progress]: adding candidates to table
5.117 * * [progress]: iteration 2 / 4
5.117 * * * [progress]: picking best candidate
5.134 * * * * [pick]: Picked  #<alt (λ (t) (* t (* 2e-16 (* t 2e-16))))>
5.134 * * * [progress]: localizing error
5.151 * * * [progress]: generating rewritten candidates
5.151 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.179 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.243 * * * [progress]: generating series expansions
5.243 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.243 * [backup-simplify]: Simplify (* 2e-16 (* t 2e-16)) into (* 3.9999999999999997e-32 t)
5.243 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0
5.243 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
5.243 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.243 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.243 * [taylor]: Taking taylor expansion of t in t
5.243 * [backup-simplify]: Simplify 0 into 0
5.243 * [backup-simplify]: Simplify 1 into 1
5.243 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
5.244 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.244 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.244 * [taylor]: Taking taylor expansion of t in t
5.244 * [backup-simplify]: Simplify 0 into 0
5.244 * [backup-simplify]: Simplify 1 into 1
5.245 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0
5.245 * [backup-simplify]: Simplify 0 into 0
5.246 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32
5.246 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.247 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0
5.248 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.249 * [backup-simplify]: Simplify 0 into 0
5.250 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.250 * [backup-simplify]: Simplify 0 into 0
5.252 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.252 * [backup-simplify]: Simplify 0 into 0
5.253 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.253 * [backup-simplify]: Simplify 0 into 0
5.255 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.255 * [backup-simplify]: Simplify 0 into 0
5.255 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t)
5.255 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) 2e-16)) into (/ 3.9999999999999997e-32 t)
5.255 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0
5.255 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
5.255 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.255 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.255 * [taylor]: Taking taylor expansion of t in t
5.255 * [backup-simplify]: Simplify 0 into 0
5.255 * [backup-simplify]: Simplify 1 into 1
5.255 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.255 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
5.255 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.255 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.255 * [taylor]: Taking taylor expansion of t in t
5.255 * [backup-simplify]: Simplify 0 into 0
5.255 * [backup-simplify]: Simplify 1 into 1
5.256 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.256 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.257 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.257 * [backup-simplify]: Simplify 0 into 0
5.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.258 * [backup-simplify]: Simplify 0 into 0
5.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.259 * [backup-simplify]: Simplify 0 into 0
5.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.259 * [backup-simplify]: Simplify 0 into 0
5.260 * [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.260 * [backup-simplify]: Simplify 0 into 0
5.261 * [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.261 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t)
5.261 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) 2e-16)) into (/ -3.9999999999999997e-32 t)
5.261 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0
5.261 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
5.261 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
5.261 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.261 * [taylor]: Taking taylor expansion of t in t
5.261 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify 1 into 1
5.261 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
5.261 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
5.261 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
5.261 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.261 * [taylor]: Taking taylor expansion of t in t
5.261 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify 1 into 1
5.262 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
5.262 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0
5.262 * [backup-simplify]: Simplify 0 into 0
5.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.263 * [backup-simplify]: Simplify 0 into 0
5.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.263 * [backup-simplify]: Simplify 0 into 0
5.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.264 * [backup-simplify]: Simplify 0 into 0
5.265 * [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.265 * [backup-simplify]: Simplify 0 into 0
5.265 * [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.265 * [backup-simplify]: Simplify 0 into 0
5.266 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t)
5.266 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.266 * [backup-simplify]: Simplify (* t (* 2e-16 (* t 2e-16))) into (* 3.9999999999999997e-32 (pow t 2))
5.266 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.266 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.266 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.266 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.266 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.266 * [taylor]: Taking taylor expansion of t in t
5.266 * [backup-simplify]: Simplify 0 into 0
5.266 * [backup-simplify]: Simplify 1 into 1
5.266 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.266 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.266 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.266 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.266 * [taylor]: Taking taylor expansion of t in t
5.266 * [backup-simplify]: Simplify 0 into 0
5.266 * [backup-simplify]: Simplify 1 into 1
5.266 * [backup-simplify]: Simplify (* 1 1) into 1
5.266 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.267 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.267 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
5.267 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.269 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
5.269 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.270 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.270 * [backup-simplify]: Simplify 0 into 0
5.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.271 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.271 * [backup-simplify]: Simplify 0 into 0
5.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.273 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.273 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.275 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.275 * [backup-simplify]: Simplify 0 into 0
5.275 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.275 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (* (/ 1 t) 2e-16))) into (/ 3.9999999999999997e-32 (pow t 2))
5.275 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.275 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.275 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.275 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.275 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.275 * [taylor]: Taking taylor expansion of t in t
5.275 * [backup-simplify]: Simplify 0 into 0
5.275 * [backup-simplify]: Simplify 1 into 1
5.275 * [backup-simplify]: Simplify (* 1 1) into 1
5.276 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.276 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.276 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.276 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.276 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.276 * [taylor]: Taking taylor expansion of t in t
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 1 into 1
5.276 * [backup-simplify]: Simplify (* 1 1) into 1
5.276 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.276 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.277 * [backup-simplify]: Simplify 0 into 0
5.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.279 * [backup-simplify]: Simplify 0 into 0
5.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.280 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.283 * [backup-simplify]: Simplify 0 into 0
5.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.285 * [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.285 * [backup-simplify]: Simplify 0 into 0
5.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.288 * [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.288 * [backup-simplify]: Simplify 0 into 0
5.288 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.288 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (* (/ 1 (- t)) 2e-16))) into (/ 3.9999999999999997e-32 (pow t 2))
5.288 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.288 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.288 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.288 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.289 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.289 * [taylor]: Taking taylor expansion of t in t
5.289 * [backup-simplify]: Simplify 0 into 0
5.289 * [backup-simplify]: Simplify 1 into 1
5.289 * [backup-simplify]: Simplify (* 1 1) into 1
5.289 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.290 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.290 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.290 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.290 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.290 * [taylor]: Taking taylor expansion of t in t
5.290 * [backup-simplify]: Simplify 0 into 0
5.290 * [backup-simplify]: Simplify 1 into 1
5.290 * [backup-simplify]: Simplify (* 1 1) into 1
5.291 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.291 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.291 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.292 * [backup-simplify]: Simplify 0 into 0
5.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.294 * [backup-simplify]: Simplify 0 into 0
5.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.296 * [backup-simplify]: Simplify 0 into 0
5.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.299 * [backup-simplify]: Simplify 0 into 0
5.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.301 * [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.301 * [backup-simplify]: Simplify 0 into 0
5.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.304 * [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.304 * [backup-simplify]: Simplify 0 into 0
5.304 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.304 * * * [progress]: simplifying candidates
5.304 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.304 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.305 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.305 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log 2e-16) (+ (log t) (log 2e-16))))))>
5.305 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log 2e-16) (log (* t 2e-16))))))>
5.305 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (log (* 2e-16 (* t 2e-16))))))>
5.305 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (* t (log (exp (* 2e-16 (* t 2e-16))))))>
5.305 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16))))))>
5.305 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))))>
5.305 * * * * [progress]: [ 10 / 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.305 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16))))))>
5.305 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))>
5.305 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 1 (* 2e-16 (* t 2e-16)))))>
5.305 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* 2e-16 t) 2e-16)))>
5.305 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t 2e-16)))))>
5.305 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))>
5.305 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 1 (* 2e-16 (* t 2e-16)))))>
5.305 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* t (posit16->real (real->posit16 (* 2e-16 (* t 2e-16))))))>
5.305 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* t 2e-16) 2e-16)))>
5.306 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.306 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.306 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.306 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.306 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log 2e-16) (+ (log t) (log 2e-16))))))>
5.306 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log 2e-16) (log (* t 2e-16))))))>
5.306 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (log (* 2e-16 (* t 2e-16))))))>
5.306 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* t (* 2e-16 (* t 2e-16))))))>
5.306 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* t (* 2e-16 (* t 2e-16))))))>
5.306 * * * * [progress]: [ 29 / 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.306 * * * * [progress]: [ 30 / 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.306 * * * * [progress]: [ 31 / 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.306 * * * * [progress]: [ 32 / 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.306 * * * * [progress]: [ 33 / 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.306 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t (* 2e-16 (* t 2e-16)))) (sqrt (* t (* 2e-16 (* t 2e-16))))))>
5.306 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 2e-16 (* t 2e-16)))))>
5.307 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
5.307 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 (* t 2e-16)))))>
5.307 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* 2e-16 (* t 2e-16)))))>
5.307 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 2e-16 (* t 2e-16)))))>
5.307 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* t (* 2e-16 (* t 2e-16))))))>
5.307 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* t 2e-16)) t))>
5.307 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.307 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.307 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.307 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.307 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.307 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.308 * [simplify]: Simplifying:
  (* 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)))
  (* 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))))
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
5.309 * * [simplify]: iteration 0: 56 enodes
5.340 * * [simplify]: iteration 1: 140 enodes
5.390 * * [simplify]: iteration 2: 488 enodes
6.025 * * [simplify]: iteration 3: 1943 enodes
7.665 * * [simplify]: iteration complete: 5002 enodes
7.665 * * [simplify]: Extracting #0: cost 23 inf + 0
7.666 * * [simplify]: Extracting #1: cost 391 inf + 0
7.674 * * [simplify]: Extracting #2: cost 1018 inf + 19956
7.719 * * [simplify]: Extracting #3: cost 334 inf + 158497
7.822 * * [simplify]: Extracting #4: cost 14 inf + 213662
7.889 * * [simplify]: Extracting #5: cost 2 inf + 216257
7.977 * * [simplify]: Extracting #6: cost 0 inf + 217183
8.044 * [simplify]: Simplified to:
  (* 2e-16 (* 2e-16 t))
  (* 2e-16 (* 2e-16 t))
  (log (* 2e-16 (* 2e-16 t)))
  (log (* 2e-16 (* 2e-16 t)))
  (log (* 2e-16 (* 2e-16 t)))
  (exp (* 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 t))))
  (* (cbrt (* 2e-16 (* 2e-16 t))) (cbrt (* 2e-16 (* 2e-16 t))))
  (cbrt (* 2e-16 (* 2e-16 t)))
  (* (* 2e-16 (* 2e-16 t)) (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))))
  (sqrt (* 2e-16 (* 2e-16 t)))
  (sqrt (* 2e-16 (* 2e-16 t)))
  (* 2e-16 t)
  (* (* 2e-16 t) (cbrt 2e-16))
  (* (* 2e-16 t) (sqrt 2e-16))
  (* 2e-16 (* 2e-16 t))
  (real->posit16 (* 2e-16 (* 2e-16 t)))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (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 (* 2e-16 t))
  (fabs (* 2e-16 t))
  (* 2e-16 t)
  (* (* 2e-16 (* 2e-16 t)) (cbrt t))
  (* (* 2e-16 (* 2e-16 t)) (sqrt t))
  (* (* 2e-16 t) (* 2e-16 t))
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
8.045 * * * [progress]: adding candidates to table
8.174 * * [progress]: iteration 3 / 4
8.174 * * * [progress]: picking best candidate
8.192 * * * * [pick]: Picked  #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
8.192 * * * [progress]: localizing error
8.198 * * * [progress]: generating rewritten candidates
8.198 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.215 * * * [progress]: generating series expansions
8.215 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.215 * [backup-simplify]: Simplify (* t (* 3.9999999999999997e-32 t)) into (* 3.9999999999999997e-32 (pow t 2))
8.216 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.216 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.216 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.216 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.216 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.216 * [taylor]: Taking taylor expansion of t in t
8.216 * [backup-simplify]: Simplify 0 into 0
8.216 * [backup-simplify]: Simplify 1 into 1
8.216 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.216 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.216 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.216 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.216 * [taylor]: Taking taylor expansion of t in t
8.216 * [backup-simplify]: Simplify 0 into 0
8.216 * [backup-simplify]: Simplify 1 into 1
8.217 * [backup-simplify]: Simplify (* 1 1) into 1
8.217 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.217 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.219 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
8.219 * [backup-simplify]: Simplify 0 into 0
8.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.221 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
8.221 * [backup-simplify]: Simplify 0 into 0
8.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.223 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.223 * [backup-simplify]: Simplify 0 into 0
8.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.226 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.226 * [backup-simplify]: Simplify 0 into 0
8.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.228 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.228 * [backup-simplify]: Simplify 0 into 0
8.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.230 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.230 * [backup-simplify]: Simplify 0 into 0
8.230 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.230 * [backup-simplify]: Simplify (* (/ 1 t) (* 3.9999999999999997e-32 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
8.230 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.230 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.230 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.231 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.231 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.231 * [taylor]: Taking taylor expansion of t in t
8.231 * [backup-simplify]: Simplify 0 into 0
8.231 * [backup-simplify]: Simplify 1 into 1
8.231 * [backup-simplify]: Simplify (* 1 1) into 1
8.231 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.231 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.231 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.231 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.231 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.231 * [taylor]: Taking taylor expansion of t in t
8.231 * [backup-simplify]: Simplify 0 into 0
8.231 * [backup-simplify]: Simplify 1 into 1
8.231 * [backup-simplify]: Simplify (* 1 1) into 1
8.232 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.232 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.232 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.233 * [backup-simplify]: Simplify 0 into 0
8.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.234 * [backup-simplify]: Simplify 0 into 0
8.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.235 * [backup-simplify]: Simplify 0 into 0
8.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.237 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.237 * [backup-simplify]: Simplify 0 into 0
8.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.238 * [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.238 * [backup-simplify]: Simplify 0 into 0
8.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.240 * [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.240 * [backup-simplify]: Simplify 0 into 0
8.240 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.240 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 3.9999999999999997e-32 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
8.240 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.240 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.240 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.240 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.240 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.240 * [taylor]: Taking taylor expansion of t in t
8.240 * [backup-simplify]: Simplify 0 into 0
8.240 * [backup-simplify]: Simplify 1 into 1
8.240 * [backup-simplify]: Simplify (* 1 1) into 1
8.241 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.241 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.241 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.241 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.241 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.241 * [taylor]: Taking taylor expansion of t in t
8.241 * [backup-simplify]: Simplify 0 into 0
8.241 * [backup-simplify]: Simplify 1 into 1
8.241 * [backup-simplify]: Simplify (* 1 1) into 1
8.241 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.241 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.242 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.242 * [backup-simplify]: Simplify 0 into 0
8.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.243 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.245 * [backup-simplify]: Simplify 0 into 0
8.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.246 * [backup-simplify]: Simplify 0 into 0
8.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.247 * [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.247 * [backup-simplify]: Simplify 0 into 0
8.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.249 * [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.249 * [backup-simplify]: Simplify 0 into 0
8.249 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.249 * * * [progress]: simplifying candidates
8.249 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 3.9999999999999997e-32 t)) 1))>
8.249 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 3.9999999999999997e-32 t)) 1))>
8.249 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 3.9999999999999997e-32 t)) 1))>
8.249 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log 3.9999999999999997e-32) (log t)))))>
8.249 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (log (* 3.9999999999999997e-32 t)))))>
8.249 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (t) (exp (log (* t (* 3.9999999999999997e-32 t)))))>
8.250 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (t) (log (exp (* t (* 3.9999999999999997e-32 t)))))>
8.250 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)))))>
8.250 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)))))>
8.250 * * * * [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)))))>
8.250 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t)))))>
8.250 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t (* 3.9999999999999997e-32 t))) (sqrt (* t (* 3.9999999999999997e-32 t)))))>
8.250 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 3.9999999999999997e-32 t))))>
8.250 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (t) (* (* t 3.9999999999999997e-32) t))>
8.250 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 3.9999999999999997e-32 t))))>
8.250 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* 3.9999999999999997e-32 t))))>
8.250 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 3.9999999999999997e-32 t))))>
8.250 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* t (* 3.9999999999999997e-32 t)))))>
8.250 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
8.250 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.250 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.250 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.250 * [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))
8.251 * * [simplify]: iteration 0: 35 enodes
8.268 * * [simplify]: iteration 1: 84 enodes
8.291 * * [simplify]: iteration 2: 252 enodes
8.470 * * [simplify]: iteration 3: 827 enodes
12.418 * * [simplify]: iteration 4: 4167 enodes
13.963 * * [simplify]: iteration complete: 5001 enodes
13.963 * * [simplify]: Extracting #0: cost 11 inf + 0
13.963 * * [simplify]: Extracting #1: cost 163 inf + 0
13.967 * * [simplify]: Extracting #2: cost 684 inf + 3453
13.983 * * [simplify]: Extracting #3: cost 345 inf + 40034
14.022 * * [simplify]: Extracting #4: cost 45 inf + 84738
14.065 * * [simplify]: Extracting #5: cost 0 inf + 97356
14.093 * [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))
14.094 * * * [progress]: adding candidates to table
14.139 * * [progress]: iteration 4 / 4
14.139 * * * [progress]: picking best candidate
14.164 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>
14.165 * * * [progress]: localizing error
14.174 * * * [progress]: generating rewritten candidates
14.174 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
14.191 * * * [progress]: generating series expansions
14.191 * * * * [progress]: [ 1 / 1 ] generating series at (2)
14.191 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* t t)) into (* 3.9999999999999997e-32 (pow t 2))
14.191 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
14.191 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
14.191 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.191 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.191 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.191 * [taylor]: Taking taylor expansion of t in t
14.191 * [backup-simplify]: Simplify 0 into 0
14.191 * [backup-simplify]: Simplify 1 into 1
14.191 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
14.191 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.191 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.191 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.191 * [taylor]: Taking taylor expansion of t in t
14.191 * [backup-simplify]: Simplify 0 into 0
14.191 * [backup-simplify]: Simplify 1 into 1
14.192 * [backup-simplify]: Simplify (* 1 1) into 1
14.192 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.192 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.193 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.193 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
14.193 * [backup-simplify]: Simplify 0 into 0
14.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.194 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
14.194 * [backup-simplify]: Simplify 0 into 0
14.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.196 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.196 * [backup-simplify]: Simplify 0 into 0
14.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.197 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.197 * [backup-simplify]: Simplify 0 into 0
14.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.199 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.199 * [backup-simplify]: Simplify 0 into 0
14.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.202 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.202 * [backup-simplify]: Simplify 0 into 0
14.202 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
14.202 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 t) (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
14.202 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
14.202 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
14.202 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.202 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.202 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.202 * [taylor]: Taking taylor expansion of t in t
14.202 * [backup-simplify]: Simplify 0 into 0
14.202 * [backup-simplify]: Simplify 1 into 1
14.203 * [backup-simplify]: Simplify (* 1 1) into 1
14.203 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.203 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
14.203 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.203 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.203 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.203 * [taylor]: Taking taylor expansion of t in t
14.203 * [backup-simplify]: Simplify 0 into 0
14.203 * [backup-simplify]: Simplify 1 into 1
14.204 * [backup-simplify]: Simplify (* 1 1) into 1
14.204 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.204 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
14.206 * [backup-simplify]: Simplify 0 into 0
14.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.208 * [backup-simplify]: Simplify 0 into 0
14.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.210 * [backup-simplify]: Simplify 0 into 0
14.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.212 * [backup-simplify]: Simplify 0 into 0
14.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.215 * [backup-simplify]: Simplify 0 into 0
14.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.218 * [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
14.218 * [backup-simplify]: Simplify 0 into 0
14.218 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
14.218 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 (- t)) (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
14.218 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
14.218 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
14.218 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.218 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.218 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.218 * [taylor]: Taking taylor expansion of t in t
14.218 * [backup-simplify]: Simplify 0 into 0
14.218 * [backup-simplify]: Simplify 1 into 1
14.219 * [backup-simplify]: Simplify (* 1 1) into 1
14.219 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.219 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
14.219 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.219 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.219 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.219 * [taylor]: Taking taylor expansion of t in t
14.219 * [backup-simplify]: Simplify 0 into 0
14.219 * [backup-simplify]: Simplify 1 into 1
14.220 * [backup-simplify]: Simplify (* 1 1) into 1
14.220 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.220 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.221 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
14.222 * [backup-simplify]: Simplify 0 into 0
14.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.224 * [backup-simplify]: Simplify 0 into 0
14.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.226 * [backup-simplify]: Simplify 0 into 0
14.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.229 * [backup-simplify]: Simplify 0 into 0
14.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.231 * [backup-simplify]: Simplify 0 into 0
14.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.234 * [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
14.234 * [backup-simplify]: Simplify 0 into 0
14.234 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
14.234 * * * [progress]: simplifying candidates
14.234 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
14.234 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
14.234 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
14.234 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 3.9999999999999997e-32) (+ (log t) (log t)))))>
14.235 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 3.9999999999999997e-32) (log (* t t)))))>
14.235 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (t) (exp (log (* 3.9999999999999997e-32 (* t t)))))>
14.235 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (t) (log (exp (* 3.9999999999999997e-32 (* t t)))))>
14.235 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) t) (* (* t t) t)))))>
14.235 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) (* t t)) (* t t)))))>
14.235 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) (cbrt (* 3.9999999999999997e-32 (* t t)))))>
14.235 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t)))))>
14.235 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* 3.9999999999999997e-32 (* t t))) (sqrt (* 3.9999999999999997e-32 (* t t)))))>
14.235 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (t) (* 1 (* 3.9999999999999997e-32 (* t t))))>
14.235 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t)))>
14.235 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
14.235 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)) (* (cbrt 3.9999999999999997e-32) (* t t))))>
14.235 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>
14.235 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (t) (* 1 (* 3.9999999999999997e-32 (* t t))))>
14.235 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* 3.9999999999999997e-32 (* t t)))))>
14.236 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))>
14.236 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
14.236 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
14.236 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
14.236 * [simplify]: Simplifying:
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (+ (log 3.9999999999999997e-32) (+ (log t) (log t)))
  (+ (log 3.9999999999999997e-32) (log (* t t)))
  (log (* 3.9999999999999997e-32 (* t t)))
  (exp (* 3.9999999999999997e-32 (* t t)))
  (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) t) (* (* t t) t)))
  (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) (* t t)) (* t t)))
  (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t))))
  (cbrt (* 3.9999999999999997e-32 (* t t)))
  (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t)))
  (sqrt (* 3.9999999999999997e-32 (* t t)))
  (sqrt (* 3.9999999999999997e-32 (* t t)))
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) t)
  (* 3.9999999999999997e-32 t)
  (* (cbrt 3.9999999999999997e-32) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (real->posit16 (* 3.9999999999999997e-32 (* t t)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
14.237 * * [simplify]: iteration 0: 35 enodes
14.255 * * [simplify]: iteration 1: 88 enodes
14.305 * * [simplify]: iteration 2: 261 enodes
14.655 * * [simplify]: iteration 3: 1055 enodes
17.174 * * [simplify]: iteration complete: 5003 enodes
17.174 * * [simplify]: Extracting #0: cost 12 inf + 0
17.175 * * [simplify]: Extracting #1: cost 228 inf + 0
17.186 * * [simplify]: Extracting #2: cost 1058 inf + 6752
17.224 * * [simplify]: Extracting #3: cost 436 inf + 76601
17.299 * * [simplify]: Extracting #4: cost 24 inf + 136641
17.372 * * [simplify]: Extracting #5: cost 4 inf + 140336
17.417 * * [simplify]: Extracting #6: cost 0 inf + 142148
17.474 * [simplify]: Simplified to:
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (log (* (* 3.9999999999999997e-32 t) t))
  (log (* (* 3.9999999999999997e-32 t) t))
  (log (* (* 3.9999999999999997e-32 t) t))
  (exp (* (* 3.9999999999999997e-32 t) t))
  (* (* (* (* 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 (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t)))
  (cbrt (* (* 3.9999999999999997e-32 t) t))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* 3.9999999999999997e-32 t)
  (* (* (cbrt 3.9999999999999997e-32) t) t)
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (* (* 3.9999999999999997e-32 t) t)
  (real->posit16 (* (* 3.9999999999999997e-32 t) t))
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
17.475 * * * [progress]: adding candidates to table
17.529 * [progress]: [Phase 3 of 3] Extracting.
17.529 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 (* t 2e-16)))))> #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))> #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))> #<alt (λ (t) (* t (cbrt (* (* 2e-16 (* 2e-16 t)) (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t)))))))> #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))> #<alt (λ (t) (cbrt (* (* (* 2e-16 t) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>)
17.530 * * * [regime-changes]: Trying 2 branch expressions: ((* t 2e-16) t)
17.530 * * * * [regimes]: Trying to branch on (* t 2e-16) from (#<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 (* t 2e-16)))))> #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))> #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))> #<alt (λ (t) (* t (cbrt (* (* 2e-16 (* 2e-16 t)) (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t)))))))> #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))> #<alt (λ (t) (cbrt (* (* (* 2e-16 t) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>)
17.574 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 (* t 2e-16)))))> #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))> #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))> #<alt (λ (t) (* t (cbrt (* (* 2e-16 (* 2e-16 t)) (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t)))))))> #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))> #<alt (λ (t) (cbrt (* (* (* 2e-16 t) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>)
17.603 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
17.603 * [simplify]: Simplifying:
  (* t (* 3.9999999999999997e-32 t))
17.604 * * [simplify]: iteration 0: 4 enodes
17.604 * * [simplify]: iteration 1: 6 enodes
17.604 * * [simplify]: iteration complete: 6 enodes
17.604 * * [simplify]: Extracting #0: cost 1 inf + 0
17.604 * * [simplify]: Extracting #1: cost 3 inf + 0
17.604 * * [simplify]: Extracting #2: cost 3 inf + 1
17.604 * * [simplify]: Extracting #3: cost 0 inf + 126
17.605 * [simplify]: Simplified to:
  (* t (* t 3.9999999999999997e-32))
20.017 * [regime-testing]: Baseline error score: 0.3156644580572572
20.019 * [regime-testing]: Oracle error score: 0.02712839104888111
20.027 * [regime-testing]: End program error score: 0.3156644580572572
20.111 * [regime-testing]: Target error score: 50.572619395989825