32.348 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.056 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.061 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.061 * [simplify]: Simplifying:
  (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.061 * * [simplify]: iteration 0: 11 enodes
0.066 * * [simplify]: iteration 1: 29 enodes
0.079 * * [simplify]: iteration 2: 77 enodes
0.103 * * [simplify]: iteration 3: 186 enodes
0.204 * * [simplify]: iteration 4: 566 enodes
0.976 * * [simplify]: iteration 5: 2278 enodes
2.009 * * [simplify]: iteration complete: 5001 enodes
2.009 * * [simplify]: Extracting #0: cost 1 inf + 0
2.009 * * [simplify]: Extracting #1: cost 153 inf + 0
2.012 * * [simplify]: Extracting #2: cost 1028 inf + 1325
2.020 * * [simplify]: Extracting #3: cost 1424 inf + 23527
2.054 * * [simplify]: Extracting #4: cost 320 inf + 152637
2.109 * * [simplify]: Extracting #5: cost 23 inf + 207207
2.207 * * [simplify]: Extracting #6: cost 0 inf + 212811
2.281 * * [simplify]: Extracting #7: cost 0 inf + 212810
2.372 * [simplify]: Simplified to:
  (* (* t 2e-16) (* t 2e-16))
2.376 * * [progress]: iteration 1 / 4
2.376 * * * [progress]: picking best candidate
2.378 * * * * [pick]: Picked  #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.378 * * * [progress]: localizing error
2.383 * * * [progress]: generating rewritten candidates
2.383 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.415 * * * [progress]: generating series expansions
2.415 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.415 * [backup-simplify]: Simplify (* (* t 2e-16) (* t 2e-16)) into (* 3.9999999999999997e-32 (pow t 2))
2.415 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.415 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.415 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.415 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.415 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.415 * [taylor]: Taking taylor expansion of t in t
2.415 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify 1 into 1
2.415 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.416 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.416 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.416 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.416 * [taylor]: Taking taylor expansion of t in t
2.416 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify 1 into 1
2.416 * [backup-simplify]: Simplify (* 1 1) into 1
2.417 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.417 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.418 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
2.418 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.420 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
2.420 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.423 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.425 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.428 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.428 * [backup-simplify]: Simplify 0 into 0
2.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.432 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.432 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (* (/ 1 t) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.432 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.432 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.432 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.432 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.432 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.432 * [taylor]: Taking taylor expansion of t in t
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify 1 into 1
2.433 * [backup-simplify]: Simplify (* 1 1) into 1
2.433 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.433 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.433 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.433 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.433 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.433 * [taylor]: Taking taylor expansion of t in t
2.433 * [backup-simplify]: Simplify 0 into 0
2.433 * [backup-simplify]: Simplify 1 into 1
2.434 * [backup-simplify]: Simplify (* 1 1) into 1
2.434 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.434 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.435 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.436 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.436 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.438 * [backup-simplify]: Simplify 0 into 0
2.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.441 * [backup-simplify]: Simplify 0 into 0
2.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.443 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.443 * [backup-simplify]: Simplify 0 into 0
2.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.445 * [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.445 * [backup-simplify]: Simplify 0 into 0
2.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.448 * [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.448 * [backup-simplify]: Simplify 0 into 0
2.448 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.449 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (* (/ 1 (- t)) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.449 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.449 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.449 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.449 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.449 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.449 * [taylor]: Taking taylor expansion of t in t
2.449 * [backup-simplify]: Simplify 0 into 0
2.449 * [backup-simplify]: Simplify 1 into 1
2.449 * [backup-simplify]: Simplify (* 1 1) into 1
2.450 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.450 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.450 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.450 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.450 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.450 * [taylor]: Taking taylor expansion of t in t
2.450 * [backup-simplify]: Simplify 0 into 0
2.450 * [backup-simplify]: Simplify 1 into 1
2.450 * [backup-simplify]: Simplify (* 1 1) into 1
2.451 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.451 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.452 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.452 * [backup-simplify]: Simplify 0 into 0
2.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.455 * [backup-simplify]: Simplify 0 into 0
2.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.457 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.460 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.460 * [backup-simplify]: Simplify 0 into 0
2.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.463 * [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.463 * [backup-simplify]: Simplify 0 into 0
2.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.466 * [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.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.466 * * * [progress]: simplifying candidates
2.467 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.467 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.467 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.467 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.467 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.467 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.467 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.467 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.467 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) 2))>
2.467 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.467 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.467 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.467 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (+ (log t) (log 2e-16)))))>
2.467 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (log (* t 2e-16)))))>
2.467 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (+ (log t) (log 2e-16)))))>
2.467 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (log (* t 2e-16)))))>
2.467 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* t 2e-16) (* t 2e-16)))))>
2.468 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* t 2e-16) (* t 2e-16)))))>
2.468 * * * * [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.468 * * * * [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.468 * * * * [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.468 * * * * [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.468 * * * * [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.468 * * * * [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.468 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* t 2e-16) (* t 2e-16))) (sqrt (* (* t 2e-16) (* t 2e-16)))))>
2.468 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* t 2e-16) (* t 2e-16))))>
2.468 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (t) (* (* t t) (* 2e-16 2e-16)))>
2.468 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.468 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.468 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.468 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.468 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))>
2.468 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (t) (* t (* 2e-16 (* t 2e-16))))>
2.468 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* t 2e-16) (* t 2e-16)))))>
2.469 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.469 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.469 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.469 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.469 * [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.470 * * [simplify]: iteration 0: 39 enodes
2.486 * * [simplify]: iteration 1: 98 enodes
2.527 * * [simplify]: iteration 2: 341 enodes
2.951 * * [simplify]: iteration 3: 1471 enodes
4.942 * * [simplify]: iteration complete: 5001 enodes
4.942 * * [simplify]: Extracting #0: cost 14 inf + 0
4.943 * * [simplify]: Extracting #1: cost 400 inf + 1
4.950 * * [simplify]: Extracting #2: cost 1129 inf + 12283
4.980 * * [simplify]: Extracting #3: cost 494 inf + 124588
5.034 * * [simplify]: Extracting #4: cost 61 inf + 206943
5.127 * * [simplify]: Extracting #5: cost 1 inf + 221087
5.242 * * [simplify]: Extracting #6: cost 0 inf + 221450
5.317 * [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.319 * * * [progress]: adding candidates to table
5.383 * * [progress]: iteration 2 / 4
5.383 * * * [progress]: picking best candidate
5.392 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>
5.392 * * * [progress]: localizing error
5.397 * * * [progress]: generating rewritten candidates
5.397 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.417 * * * [progress]: generating series expansions
5.417 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.417 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* t t)) into (* 3.9999999999999997e-32 (pow t 2))
5.417 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.417 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.417 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.417 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.418 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.418 * [taylor]: Taking taylor expansion of t in t
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify 1 into 1
5.418 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.418 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.418 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.418 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.418 * [taylor]: Taking taylor expansion of t in t
5.418 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify 1 into 1
5.419 * [backup-simplify]: Simplify (* 1 1) into 1
5.419 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.419 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.420 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.421 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.422 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.424 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.424 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.425 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.427 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.427 * [backup-simplify]: Simplify 0 into 0
5.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.429 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.429 * [backup-simplify]: Simplify 0 into 0
5.429 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.429 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 t) (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
5.429 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.429 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.430 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.430 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.430 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.430 * [taylor]: Taking taylor expansion of t in t
5.430 * [backup-simplify]: Simplify 0 into 0
5.430 * [backup-simplify]: Simplify 1 into 1
5.430 * [backup-simplify]: Simplify (* 1 1) into 1
5.430 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.430 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.430 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.430 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.430 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.430 * [taylor]: Taking taylor expansion of t in t
5.430 * [backup-simplify]: Simplify 0 into 0
5.430 * [backup-simplify]: Simplify 1 into 1
5.431 * [backup-simplify]: Simplify (* 1 1) into 1
5.431 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.431 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.431 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.432 * [backup-simplify]: Simplify 0 into 0
5.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.434 * [backup-simplify]: Simplify 0 into 0
5.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.435 * [backup-simplify]: Simplify 0 into 0
5.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.437 * [backup-simplify]: Simplify 0 into 0
5.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.438 * [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.438 * [backup-simplify]: Simplify 0 into 0
5.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.440 * [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.440 * [backup-simplify]: Simplify 0 into 0
5.440 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.440 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 (- t)) (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
5.440 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.440 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.440 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.440 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.440 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.440 * [taylor]: Taking taylor expansion of t in t
5.440 * [backup-simplify]: Simplify 0 into 0
5.440 * [backup-simplify]: Simplify 1 into 1
5.440 * [backup-simplify]: Simplify (* 1 1) into 1
5.441 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.441 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.441 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.441 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.441 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.441 * [taylor]: Taking taylor expansion of t in t
5.441 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify 1 into 1
5.441 * [backup-simplify]: Simplify (* 1 1) into 1
5.442 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.442 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.442 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.443 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.443 * [backup-simplify]: Simplify 0 into 0
5.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.444 * [backup-simplify]: Simplify 0 into 0
5.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.445 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.445 * [backup-simplify]: Simplify 0 into 0
5.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.447 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.447 * [backup-simplify]: Simplify 0 into 0
5.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.448 * [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.448 * [backup-simplify]: Simplify 0 into 0
5.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.450 * [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.450 * [backup-simplify]: Simplify 0 into 0
5.450 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.450 * * * [progress]: simplifying candidates
5.450 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
5.450 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
5.450 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
5.450 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 3.9999999999999997e-32) (+ (log t) (log t)))))>
5.450 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 3.9999999999999997e-32) (log (* t t)))))>
5.450 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (t) (exp (log (* 3.9999999999999997e-32 (* t t)))))>
5.450 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (t) (log (exp (* 3.9999999999999997e-32 (* t t)))))>
5.450 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) t) (* (* t t) t)))))>
5.450 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) (* t t)) (* t t)))))>
5.451 * * * * [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)))))>
5.451 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t)))))>
5.451 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* 3.9999999999999997e-32 (* t t))) (sqrt (* 3.9999999999999997e-32 (* t t)))))>
5.451 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (t) (* 1 (* 3.9999999999999997e-32 (* t t))))>
5.451 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t)))>
5.451 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
5.451 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)) (* (cbrt 3.9999999999999997e-32) (* t t))))>
5.451 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>
5.451 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (t) (* 1 (* 3.9999999999999997e-32 (* t t))))>
5.451 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* 3.9999999999999997e-32 (* t t)))))>
5.451 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))>
5.451 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.451 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.451 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.451 * [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))
5.452 * * [simplify]: iteration 0: 35 enodes
5.468 * * [simplify]: iteration 1: 88 enodes
5.518 * * [simplify]: iteration 2: 261 enodes
5.805 * * [simplify]: iteration 3: 1055 enodes
8.189 * * [simplify]: iteration complete: 5003 enodes
8.189 * * [simplify]: Extracting #0: cost 12 inf + 0
8.190 * * [simplify]: Extracting #1: cost 228 inf + 0
8.195 * * [simplify]: Extracting #2: cost 1058 inf + 6752
8.220 * * [simplify]: Extracting #3: cost 436 inf + 76601
8.287 * * [simplify]: Extracting #4: cost 24 inf + 136641
8.328 * * [simplify]: Extracting #5: cost 4 inf + 140336
8.381 * * [simplify]: Extracting #6: cost 0 inf + 142148
8.431 * [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)
8.432 * * * [progress]: adding candidates to table
8.498 * * [progress]: iteration 3 / 4
8.498 * * * [progress]: picking best candidate
8.509 * * * * [pick]: Picked  #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
8.510 * * * [progress]: localizing error
8.521 * * * [progress]: generating rewritten candidates
8.521 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.554 * * * [progress]: generating series expansions
8.554 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.554 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) t) into (* 3.9999999999999997e-32 (pow t 2))
8.554 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.554 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.554 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.554 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.554 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.554 * [taylor]: Taking taylor expansion of t in t
8.554 * [backup-simplify]: Simplify 0 into 0
8.554 * [backup-simplify]: Simplify 1 into 1
8.554 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.554 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.555 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.555 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.555 * [taylor]: Taking taylor expansion of t in t
8.555 * [backup-simplify]: Simplify 0 into 0
8.555 * [backup-simplify]: Simplify 1 into 1
8.556 * [backup-simplify]: Simplify (* 1 1) into 1
8.556 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.556 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.557 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.558 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
8.558 * [backup-simplify]: Simplify 0 into 0
8.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.560 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
8.560 * [backup-simplify]: Simplify 0 into 0
8.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.563 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.563 * [backup-simplify]: Simplify 0 into 0
8.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.565 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.565 * [backup-simplify]: Simplify 0 into 0
8.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.568 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.572 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.572 * [backup-simplify]: Simplify 0 into 0
8.573 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.573 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2))
8.573 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.573 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.573 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.573 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.573 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.573 * [taylor]: Taking taylor expansion of t in t
8.573 * [backup-simplify]: Simplify 0 into 0
8.573 * [backup-simplify]: Simplify 1 into 1
8.573 * [backup-simplify]: Simplify (* 1 1) into 1
8.574 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.574 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.574 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.574 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.574 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.574 * [taylor]: Taking taylor expansion of t in t
8.574 * [backup-simplify]: Simplify 0 into 0
8.574 * [backup-simplify]: Simplify 1 into 1
8.575 * [backup-simplify]: Simplify (* 1 1) into 1
8.575 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.575 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.576 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.577 * [backup-simplify]: Simplify 0 into 0
8.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.579 * [backup-simplify]: Simplify 0 into 0
8.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.581 * [backup-simplify]: Simplify 0 into 0
8.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.584 * [backup-simplify]: Simplify 0 into 0
8.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.586 * [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.586 * [backup-simplify]: Simplify 0 into 0
8.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.589 * [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.589 * [backup-simplify]: Simplify 0 into 0
8.590 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.590 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2))
8.590 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.590 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.590 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.590 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.590 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.590 * [taylor]: Taking taylor expansion of t in t
8.590 * [backup-simplify]: Simplify 0 into 0
8.590 * [backup-simplify]: Simplify 1 into 1
8.590 * [backup-simplify]: Simplify (* 1 1) into 1
8.591 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.591 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.591 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.591 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.591 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.591 * [taylor]: Taking taylor expansion of t in t
8.591 * [backup-simplify]: Simplify 0 into 0
8.591 * [backup-simplify]: Simplify 1 into 1
8.592 * [backup-simplify]: Simplify (* 1 1) into 1
8.592 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.592 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.594 * [backup-simplify]: Simplify 0 into 0
8.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.596 * [backup-simplify]: Simplify 0 into 0
8.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.598 * [backup-simplify]: Simplify 0 into 0
8.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.600 * [backup-simplify]: Simplify 0 into 0
8.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.603 * [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.603 * [backup-simplify]: Simplify 0 into 0
8.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.605 * [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.606 * [backup-simplify]: Simplify 0 into 0
8.606 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.606 * * * [progress]: simplifying candidates
8.606 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
8.606 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
8.606 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
8.606 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 3.9999999999999997e-32) (log t)) (log t))))>
8.606 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 3.9999999999999997e-32 t)) (log t))))>
8.606 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* 3.9999999999999997e-32 t) t))))>
8.606 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* 3.9999999999999997e-32 t) t))))>
8.606 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* t t) t))))>
8.606 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* t t) t))))>
8.606 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t))) (cbrt (* (* 3.9999999999999997e-32 t) t))))>
8.606 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t))))>
8.606 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))))>
8.607 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* 3.9999999999999997e-32 t) t)))>
8.607 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t)))>
8.607 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))>
8.607 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) 1) t))>
8.607 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>
8.607 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* 3.9999999999999997e-32 t) t))))>
8.607 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
8.607 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.607 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.607 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.608 * [simplify]: Simplifying:
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (+ (+ (log 3.9999999999999997e-32) (log t)) (log t))
  (+ (log (* 3.9999999999999997e-32 t)) (log 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 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 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))
  (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t)))
  (* (* 3.9999999999999997e-32 t) (sqrt t))
  (* (* 3.9999999999999997e-32 t) 1)
  (* 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))
8.608 * * [simplify]: iteration 0: 37 enodes
8.626 * * [simplify]: iteration 1: 100 enodes
8.685 * * [simplify]: iteration 2: 322 enodes
9.015 * * [simplify]: iteration 3: 1271 enodes
10.294 * * [simplify]: iteration complete: 5000 enodes
10.294 * * [simplify]: Extracting #0: cost 12 inf + 0
10.295 * * [simplify]: Extracting #1: cost 353 inf + 0
10.301 * * [simplify]: Extracting #2: cost 1345 inf + 4188
10.326 * * [simplify]: Extracting #3: cost 805 inf + 94561
10.366 * * [simplify]: Extracting #4: cost 49 inf + 190414
10.421 * * [simplify]: Extracting #5: cost 3 inf + 196728
10.466 * * [simplify]: Extracting #6: cost 0 inf + 197628
10.516 * [simplify]: Simplified to:
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
  (log (* t (* 3.9999999999999997e-32 t)))
  (log (* t (* 3.9999999999999997e-32 t)))
  (log (* t (* 3.9999999999999997e-32 t)))
  (exp (* 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 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)))
  (* (cbrt t) (* (* (cbrt t) 3.9999999999999997e-32) t))
  (* (* t (sqrt t)) 3.9999999999999997e-32)
  (* 3.9999999999999997e-32 t)
  (* t t)
  (real->posit16 (* t (* 3.9999999999999997e-32 t)))
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
10.517 * * * [progress]: adding candidates to table
10.576 * * [progress]: iteration 4 / 4
10.576 * * * [progress]: picking best candidate
10.587 * * * * [pick]: Picked  #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))>
10.587 * * * [progress]: localizing error
10.595 * * * [progress]: generating rewritten candidates
10.595 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
10.640 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
10.658 * * * [progress]: generating series expansions
10.658 * * * * [progress]: [ 1 / 2 ] generating series at (2)
10.659 * [backup-simplify]: Simplify (* (* (* t 2e-16) t) 2e-16) into (* 3.9999999999999997e-32 (pow t 2))
10.659 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.659 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.659 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.659 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.659 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.659 * [taylor]: Taking taylor expansion of t in t
10.659 * [backup-simplify]: Simplify 0 into 0
10.659 * [backup-simplify]: Simplify 1 into 1
10.659 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.659 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.659 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.659 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.659 * [taylor]: Taking taylor expansion of t in t
10.659 * [backup-simplify]: Simplify 0 into 0
10.659 * [backup-simplify]: Simplify 1 into 1
10.660 * [backup-simplify]: Simplify (* 1 1) into 1
10.660 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.660 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.661 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.662 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
10.662 * [backup-simplify]: Simplify 0 into 0
10.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.663 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
10.664 * [backup-simplify]: Simplify 0 into 0
10.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.666 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.666 * [backup-simplify]: Simplify 0 into 0
10.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.668 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.668 * [backup-simplify]: Simplify 0 into 0
10.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.671 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.671 * [backup-simplify]: Simplify 0 into 0
10.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.674 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.674 * [backup-simplify]: Simplify 0 into 0
10.674 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.674 * [backup-simplify]: Simplify (* (* (* (/ 1 t) 2e-16) (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 (pow t 2))
10.674 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.674 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.674 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.674 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.674 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.674 * [taylor]: Taking taylor expansion of t in t
10.674 * [backup-simplify]: Simplify 0 into 0
10.674 * [backup-simplify]: Simplify 1 into 1
10.674 * [backup-simplify]: Simplify (* 1 1) into 1
10.675 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.675 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.675 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.675 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.675 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.675 * [taylor]: Taking taylor expansion of t in t
10.675 * [backup-simplify]: Simplify 0 into 0
10.675 * [backup-simplify]: Simplify 1 into 1
10.675 * [backup-simplify]: Simplify (* 1 1) into 1
10.675 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.676 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.677 * [backup-simplify]: Simplify 0 into 0
10.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.678 * [backup-simplify]: Simplify 0 into 0
10.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.679 * [backup-simplify]: Simplify 0 into 0
10.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.681 * [backup-simplify]: Simplify 0 into 0
10.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.682 * [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.682 * [backup-simplify]: Simplify 0 into 0
10.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.684 * [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.684 * [backup-simplify]: Simplify 0 into 0
10.684 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.684 * [backup-simplify]: Simplify (* (* (* (/ 1 (- t)) 2e-16) (/ 1 (- t))) 2e-16) into (/ 3.9999999999999997e-32 (pow t 2))
10.684 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.684 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.684 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.684 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.684 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.684 * [taylor]: Taking taylor expansion of t in t
10.684 * [backup-simplify]: Simplify 0 into 0
10.684 * [backup-simplify]: Simplify 1 into 1
10.684 * [backup-simplify]: Simplify (* 1 1) into 1
10.685 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.685 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.685 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.685 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.685 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.685 * [taylor]: Taking taylor expansion of t in t
10.685 * [backup-simplify]: Simplify 0 into 0
10.685 * [backup-simplify]: Simplify 1 into 1
10.685 * [backup-simplify]: Simplify (* 1 1) into 1
10.685 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.685 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.686 * [backup-simplify]: Simplify 0 into 0
10.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.688 * [backup-simplify]: Simplify 0 into 0
10.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.689 * [backup-simplify]: Simplify 0 into 0
10.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.690 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.690 * [backup-simplify]: Simplify 0 into 0
10.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.692 * [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.692 * [backup-simplify]: Simplify 0 into 0
10.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.693 * [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.693 * [backup-simplify]: Simplify 0 into 0
10.694 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.694 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
10.694 * [backup-simplify]: Simplify (* (* t 2e-16) t) into (* 2e-16 (pow t 2))
10.694 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0
10.694 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
10.694 * [taylor]: Taking taylor expansion of 2e-16 in t
10.694 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.694 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.694 * [taylor]: Taking taylor expansion of t in t
10.694 * [backup-simplify]: Simplify 0 into 0
10.694 * [backup-simplify]: Simplify 1 into 1
10.694 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
10.694 * [taylor]: Taking taylor expansion of 2e-16 in t
10.694 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.694 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.694 * [taylor]: Taking taylor expansion of t in t
10.694 * [backup-simplify]: Simplify 0 into 0
10.694 * [backup-simplify]: Simplify 1 into 1
10.694 * [backup-simplify]: Simplify (* 1 1) into 1
10.695 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
10.695 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.695 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.695 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
10.696 * [backup-simplify]: Simplify 0 into 0
10.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.697 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
10.697 * [backup-simplify]: Simplify 0 into 0
10.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.698 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.698 * [backup-simplify]: Simplify 0 into 0
10.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.700 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.700 * [backup-simplify]: Simplify 0 into 0
10.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.701 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.701 * [backup-simplify]: Simplify 0 into 0
10.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.703 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.703 * [backup-simplify]: Simplify 0 into 0
10.703 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2))
10.703 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (/ 1 t)) into (/ 2e-16 (pow t 2))
10.704 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
10.704 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
10.704 * [taylor]: Taking taylor expansion of 2e-16 in t
10.704 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.704 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.704 * [taylor]: Taking taylor expansion of t in t
10.704 * [backup-simplify]: Simplify 0 into 0
10.704 * [backup-simplify]: Simplify 1 into 1
10.704 * [backup-simplify]: Simplify (* 1 1) into 1
10.704 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
10.704 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
10.704 * [taylor]: Taking taylor expansion of 2e-16 in t
10.704 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.704 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.704 * [taylor]: Taking taylor expansion of t in t
10.704 * [backup-simplify]: Simplify 0 into 0
10.704 * [backup-simplify]: Simplify 1 into 1
10.705 * [backup-simplify]: Simplify (* 1 1) into 1
10.705 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
10.705 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
10.706 * [backup-simplify]: Simplify 0 into 0
10.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.707 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.707 * [backup-simplify]: Simplify 0 into 0
10.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.709 * [backup-simplify]: Simplify 0 into 0
10.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.710 * [backup-simplify]: Simplify 0 into 0
10.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.712 * [backup-simplify]: Simplify 0 into 0
10.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.713 * [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
10.713 * [backup-simplify]: Simplify 0 into 0
10.713 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2))
10.713 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (/ 1 (- t))) into (/ 2e-16 (pow t 2))
10.713 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
10.713 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
10.713 * [taylor]: Taking taylor expansion of 2e-16 in t
10.713 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.713 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.713 * [taylor]: Taking taylor expansion of t in t
10.714 * [backup-simplify]: Simplify 0 into 0
10.714 * [backup-simplify]: Simplify 1 into 1
10.714 * [backup-simplify]: Simplify (* 1 1) into 1
10.714 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
10.714 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
10.714 * [taylor]: Taking taylor expansion of 2e-16 in t
10.714 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.714 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.714 * [taylor]: Taking taylor expansion of t in t
10.714 * [backup-simplify]: Simplify 0 into 0
10.714 * [backup-simplify]: Simplify 1 into 1
10.714 * [backup-simplify]: Simplify (* 1 1) into 1
10.715 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
10.715 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.715 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
10.716 * [backup-simplify]: Simplify 0 into 0
10.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.717 * [backup-simplify]: Simplify 0 into 0
10.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.718 * [backup-simplify]: Simplify 0 into 0
10.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.720 * [backup-simplify]: Simplify 0 into 0
10.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.721 * [backup-simplify]: Simplify 0 into 0
10.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.723 * [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
10.723 * [backup-simplify]: Simplify 0 into 0
10.723 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2))
10.723 * * * [progress]: simplifying candidates
10.723 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
10.723 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
10.723 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
10.723 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
10.723 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (+ (log t) (log 2e-16)) (log t)) (log 2e-16))))>
10.723 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log (* t 2e-16)) (log t)) (log 2e-16))))>
10.723 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* (* t 2e-16) t)) (log 2e-16))))>
10.723 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* (* t 2e-16) t) 2e-16))))>
10.723 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* (* t 2e-16) t) 2e-16))))>
10.723 * * * * [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))))>
10.723 * * * * [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))))>
10.723 * * * * [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))))>
10.723 * * * * [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))))>
10.724 * * * * [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))))>
10.724 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* (* t 2e-16) t) 2e-16)) (sqrt (* (* (* t 2e-16) t) 2e-16))))>
10.724 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) t) 2e-16)))>
10.724 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)))>
10.724 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) (sqrt 2e-16)) (sqrt 2e-16)))>
10.724 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) 1) 2e-16))>
10.724 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
10.724 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* (* t 2e-16) t) 2e-16))))>
10.724 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t 2e-16) t)))>
10.724 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
10.724 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
10.724 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
10.724 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (+ (log t) (log 2e-16)) (log t))) 2e-16))>
10.724 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (log (* t 2e-16)) (log t))) 2e-16))>
10.724 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (log (* (* t 2e-16) t))) 2e-16))>
10.724 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (* (log (exp (* (* t 2e-16) t))) 2e-16))>
10.724 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))) 2e-16))>
10.724 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t))) 2e-16))>
10.724 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* (* t 2e-16) t)) (cbrt (* (* t 2e-16) t))) (cbrt (* (* t 2e-16) t))) 2e-16))>
10.724 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t))) 2e-16))>
10.724 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) t)) (sqrt (* (* t 2e-16) t))) 2e-16))>
10.724 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) t)) 2e-16))>
10.724 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* (cbrt t) (cbrt t))) (cbrt t)) 2e-16))>
10.724 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt t)) (sqrt t)) 2e-16))>
10.724 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 1) t) 2e-16))>
10.724 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t (* 2e-16 t)) 2e-16))>
10.724 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (* (posit16->real (real->posit16 (* (* t 2e-16) t))) 2e-16))>
10.724 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t (* t 2e-16)) 2e-16))>
10.724 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.725 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.725 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.725 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
10.725 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
10.725 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
10.725 * [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))
10.726 * * [simplify]: iteration 0: 61 enodes
10.745 * * [simplify]: iteration 1: 165 enodes
10.814 * * [simplify]: iteration 2: 564 enodes
11.470 * * [simplify]: iteration 3: 2576 enodes
12.804 * * [simplify]: iteration complete: 5001 enodes
12.804 * * [simplify]: Extracting #0: cost 22 inf + 0
12.805 * * [simplify]: Extracting #1: cost 561 inf + 0
12.810 * * [simplify]: Extracting #2: cost 1398 inf + 5766
12.832 * * [simplify]: Extracting #3: cost 969 inf + 97603
12.897 * * [simplify]: Extracting #4: cost 89 inf + 221567
12.972 * * [simplify]: Extracting #5: cost 6 inf + 237358
13.044 * * [simplify]: Extracting #6: cost 0 inf + 239226
13.123 * [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))
13.125 * * * [progress]: adding candidates to table
13.241 * [progress]: [Phase 3 of 3] Extracting.
13.241 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (* 2e-16 (* t t)) 2e-16))> #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t)))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))> #<alt (λ (t) (cbrt (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) t)) (sqrt (* (* t 2e-16) t))) 2e-16))> #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>)
13.242 * * * [regime-changes]: Trying 2 branch expressions: ((* t 2e-16) t)
13.242 * * * * [regimes]: Trying to branch on (* t 2e-16) from (#<alt (λ (t) (* (* 2e-16 (* t t)) 2e-16))> #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t)))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))> #<alt (λ (t) (cbrt (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) t)) (sqrt (* (* t 2e-16) t))) 2e-16))> #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>)
13.282 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (* 2e-16 (* t t)) 2e-16))> #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t)))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))> #<alt (λ (t) (cbrt (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) t)) (sqrt (* (* t 2e-16) t))) 2e-16))> #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>)
13.316 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
13.317 * [simplify]: Simplifying:
  (* 3.9999999999999997e-32 (* t t))
13.317 * * [simplify]: iteration 0: 4 enodes
13.317 * * [simplify]: iteration 1: 5 enodes
13.317 * * [simplify]: iteration complete: 5 enodes
13.317 * * [simplify]: Extracting #0: cost 1 inf + 0
13.317 * * [simplify]: Extracting #1: cost 3 inf + 0
13.317 * * [simplify]: Extracting #2: cost 3 inf + 1
13.317 * * [simplify]: Extracting #3: cost 0 inf + 125
13.317 * [simplify]: Simplified to:
  (* 3.9999999999999997e-32 (* t t))
15.741 * [regime-testing]: Baseline error score: 0.34360911676621847
15.747 * [regime-testing]: Oracle error score: 0.02212776597074634
15.754 * [regime-testing]: End program error score: 0.34360911676621847
15.803 * [regime-testing]: Target error score: 50.57235584624369