22.479 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.043 * [simplify]: Simplifying:
  (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.043 * * [simplify]: iteration 1: (11 enodes)
0.045 * * [simplify]: iteration 2: (30 enodes)
0.053 * * [simplify]: iteration 3: (83 enodes)
0.106 * * [simplify]: iteration 4: (225 enodes)
0.307 * * [simplify]: iteration 5: (676 enodes)
3.898 * * [simplify]: Extracting #0: cost 1 inf + 0
3.898 * * [simplify]: Extracting #1: cost 72 inf + 0
3.901 * * [simplify]: Extracting #2: cost 213 inf + 130
3.908 * * [simplify]: Extracting #3: cost 147 inf + 9559
3.931 * * [simplify]: Extracting #4: cost 8 inf + 32154
3.957 * * [simplify]: Extracting #5: cost 0 inf + 33496
3.978 * * [simplify]: Extracting #6: cost 0 inf + 33449
3.994 * [simplify]: Simplified to:
  (* (* 2e-16 t) (* 2e-16 t))
3.999 * * [progress]: iteration 1 / 4
4.000 * * * [progress]: picking best candidate
4.001 * * * * [pick]: Picked  #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
4.001 * * * [progress]: localizing error
4.006 * * * [progress]: generating rewritten candidates
4.006 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.029 * * * [progress]: generating series expansions
4.029 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.029 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2))
4.029 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.029 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
4.029 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.029 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.029 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.029 * [taylor]: Taking taylor expansion of t in t
4.029 * [backup-simplify]: Simplify 0 into 0
4.029 * [backup-simplify]: Simplify 1 into 1
4.029 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
4.029 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.029 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.029 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.029 * [taylor]: Taking taylor expansion of t in t
4.029 * [backup-simplify]: Simplify 0 into 0
4.029 * [backup-simplify]: Simplify 1 into 1
4.030 * [backup-simplify]: Simplify (* 1 1) into 1
4.032 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.032 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.033 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.033 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
4.033 * [backup-simplify]: Simplify 0 into 0
4.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.034 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
4.034 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.035 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.037 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.038 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.038 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.040 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.041 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
4.041 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.041 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.041 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.041 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.041 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.041 * [taylor]: Taking taylor expansion of t in t
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 1 into 1
4.041 * [backup-simplify]: Simplify (* 1 1) into 1
4.041 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.041 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.041 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.041 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.041 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.041 * [taylor]: Taking taylor expansion of t in t
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 1 into 1
4.042 * [backup-simplify]: Simplify (* 1 1) into 1
4.042 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.042 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.042 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
4.043 * [backup-simplify]: Simplify 0 into 0
4.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.045 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.045 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.046 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.048 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.050 * [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
4.050 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.050 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
4.050 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.050 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.050 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.050 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.050 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.050 * [taylor]: Taking taylor expansion of t in t
4.050 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify 1 into 1
4.050 * [backup-simplify]: Simplify (* 1 1) into 1
4.051 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.051 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.051 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.051 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.051 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.051 * [taylor]: Taking taylor expansion of t in t
4.051 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify 1 into 1
4.051 * [backup-simplify]: Simplify (* 1 1) into 1
4.051 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.051 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.052 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
4.052 * [backup-simplify]: Simplify 0 into 0
4.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.054 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.054 * [backup-simplify]: Simplify 0 into 0
4.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.055 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.056 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.058 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.058 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.059 * [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
4.059 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.060 * * * [progress]: simplifying candidates
4.060 * * * * [progress]: [ 1 / 40 ] simplifiying candidate #<alt (λ (t) (log1p (expm1 (* (* 2e-16 t) (* 2e-16 t)))))>
4.060 * * * * [progress]: [ 2 / 40 ] simplifiying candidate #<alt (λ (t) (expm1 (log1p (* (* 2e-16 t) (* 2e-16 t)))))>
4.060 * * * * [progress]: [ 3 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
4.060 * * * * [progress]: [ 4 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
4.060 * * * * [progress]: [ 5 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
4.060 * * * * [progress]: [ 6 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
4.060 * * * * [progress]: [ 7 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
4.060 * * * * [progress]: [ 8 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
4.060 * * * * [progress]: [ 9 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
4.060 * * * * [progress]: [ 10 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
4.060 * * * * [progress]: [ 11 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) 2))>
4.060 * * * * [progress]: [ 12 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
4.060 * * * * [progress]: [ 13 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
4.060 * * * * [progress]: [ 14 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
4.060 * * * * [progress]: [ 15 / 40 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t)))))>
4.060 * * * * [progress]: [ 16 / 40 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t)))))>
4.060 * * * * [progress]: [ 17 / 40 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t)))))>
4.060 * * * * [progress]: [ 18 / 40 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t)))))>
4.060 * * * * [progress]: [ 19 / 40 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* 2e-16 t) (* 2e-16 t)))))>
4.060 * * * * [progress]: [ 20 / 40 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* 2e-16 t) (* 2e-16 t)))))>
4.060 * * * * [progress]: [ 21 / 40 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))>
4.060 * * * * [progress]: [ 22 / 40 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>
4.060 * * * * [progress]: [ 23 / 40 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))>
4.061 * * * * [progress]: [ 24 / 40 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>
4.061 * * * * [progress]: [ 25 / 40 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))))>
4.061 * * * * [progress]: [ 26 / 40 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))))>
4.061 * * * * [progress]: [ 27 / 40 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* 2e-16 t) (* 2e-16 t))) (sqrt (* (* 2e-16 t) (* 2e-16 t)))))>
4.061 * * * * [progress]: [ 28 / 40 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* 2e-16 t) (* 2e-16 t))))>
4.061 * * * * [progress]: [ 29 / 40 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 2e-16) (* t t)))>
4.061 * * * * [progress]: [ 30 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
4.061 * * * * [progress]: [ 31 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
4.061 * * * * [progress]: [ 32 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
4.061 * * * * [progress]: [ 33 / 40 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
4.061 * * * * [progress]: [ 34 / 40 ] simplifiying candidate #<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))>
4.061 * * * * [progress]: [ 35 / 40 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* t (* 2e-16 t))))>
4.061 * * * * [progress]: [ 36 / 40 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))>
4.061 * * * * [progress]: [ 37 / 40 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
4.061 * * * * [progress]: [ 38 / 40 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
4.061 * * * * [progress]: [ 39 / 40 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
4.061 * * * * [progress]: [ 40 / 40 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
4.062 * [simplify]: Simplifying:
  (expm1 (* (* 2e-16 t) (* 2e-16 t)))
  (log1p (* (* 2e-16 t) (* 2e-16 t)))
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t)))
  (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t)))
  (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t)))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (log (* (* 2e-16 t) (* 2e-16 t)))
  (exp (* (* 2e-16 t) (* 2e-16 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 t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) 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)))
  (sqrt (* (* 2e-16 t) (* 2e-16 t)))
  (sqrt (* (* 2e-16 t) (* 2e-16 t)))
  (* 2e-16 2e-16)
  (* t t)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* 2e-16 t) 2e-16)
  (* t (* 2e-16 t))
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
4.062 * * [simplify]: iteration 1: (41 enodes)
4.071 * * [simplify]: iteration 2: (98 enodes)
4.101 * * [simplify]: iteration 3: (343 enodes)
4.354 * * [simplify]: iteration 4: (1390 enodes)
10.127 * * [simplify]: Extracting #0: cost 16 inf + 0
10.127 * * [simplify]: Extracting #1: cost 158 inf + 1
10.131 * * [simplify]: Extracting #2: cost 381 inf + 3437
10.149 * * [simplify]: Extracting #3: cost 143 inf + 38064
10.203 * * [simplify]: Extracting #4: cost 8 inf + 75834
10.232 * * [simplify]: Extracting #5: cost 1 inf + 77693
10.270 * * [simplify]: Extracting #6: cost 0 inf + 78056
10.297 * [simplify]: Simplified to:
  (expm1 (* (* 2e-16 t) (* 2e-16 t)))
  (log1p (* (* 2e-16 t) (* 2e-16 t)))
  2
  2
  2
  2
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  2
  2
  (+ (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)))
  (+ (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))))
  (* (* (* 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 2e-16)
  (* t t)
  2
  2
  2
  2
  (* 2e-16 (* 2e-16 t))
  (* (* 2e-16 t) t)
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
10.298 * * * [progress]: adding candidates to table
10.544 * * [progress]: iteration 2 / 4
10.544 * * * [progress]: picking best candidate
10.551 * * * * [pick]: Picked  #<alt (λ (t) (* t (* t 3.9999999999999997e-32)))>
10.551 * * * [progress]: localizing error
10.557 * * * [progress]: generating rewritten candidates
10.557 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
10.572 * * * [progress]: generating series expansions
10.572 * * * * [progress]: [ 1 / 1 ] generating series at (2)
10.572 * [backup-simplify]: Simplify (* t (* t 3.9999999999999997e-32)) into (* 3.9999999999999997e-32 (pow t 2))
10.573 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.573 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.573 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.573 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.573 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.573 * [taylor]: Taking taylor expansion of t in t
10.573 * [backup-simplify]: Simplify 0 into 0
10.573 * [backup-simplify]: Simplify 1 into 1
10.573 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.573 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.573 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.573 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.573 * [taylor]: Taking taylor expansion of t in t
10.573 * [backup-simplify]: Simplify 0 into 0
10.573 * [backup-simplify]: Simplify 1 into 1
10.573 * [backup-simplify]: Simplify (* 1 1) into 1
10.574 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.574 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.575 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
10.575 * [backup-simplify]: Simplify 0 into 0
10.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.576 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
10.576 * [backup-simplify]: Simplify 0 into 0
10.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.577 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.577 * [backup-simplify]: Simplify 0 into 0
10.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.578 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.579 * [backup-simplify]: Simplify 0 into 0
10.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.580 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.580 * [backup-simplify]: Simplify 0 into 0
10.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.582 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.582 * [backup-simplify]: Simplify 0 into 0
10.582 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.582 * [backup-simplify]: Simplify (* (/ 1 t) (* (/ 1 t) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2))
10.582 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.582 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.582 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.582 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.582 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.582 * [taylor]: Taking taylor expansion of t in t
10.582 * [backup-simplify]: Simplify 0 into 0
10.582 * [backup-simplify]: Simplify 1 into 1
10.583 * [backup-simplify]: Simplify (* 1 1) into 1
10.583 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.583 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.583 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.583 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.583 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.583 * [taylor]: Taking taylor expansion of t in t
10.583 * [backup-simplify]: Simplify 0 into 0
10.583 * [backup-simplify]: Simplify 1 into 1
10.583 * [backup-simplify]: Simplify (* 1 1) into 1
10.584 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.584 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.585 * [backup-simplify]: Simplify 0 into 0
10.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.586 * [backup-simplify]: Simplify 0 into 0
10.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.587 * [backup-simplify]: Simplify 0 into 0
10.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.588 * [backup-simplify]: Simplify 0 into 0
10.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.590 * [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.590 * [backup-simplify]: Simplify 0 into 0
10.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.591 * [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.591 * [backup-simplify]: Simplify 0 into 0
10.591 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.592 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* (/ 1 (- t)) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2))
10.592 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.592 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.592 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.592 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.592 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.592 * [taylor]: Taking taylor expansion of t in t
10.592 * [backup-simplify]: Simplify 0 into 0
10.592 * [backup-simplify]: Simplify 1 into 1
10.592 * [backup-simplify]: Simplify (* 1 1) into 1
10.592 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.592 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.592 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.592 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.592 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.592 * [taylor]: Taking taylor expansion of t in t
10.592 * [backup-simplify]: Simplify 0 into 0
10.592 * [backup-simplify]: Simplify 1 into 1
10.593 * [backup-simplify]: Simplify (* 1 1) into 1
10.593 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.593 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.594 * [backup-simplify]: Simplify 0 into 0
10.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.595 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.595 * [backup-simplify]: Simplify 0 into 0
10.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.596 * [backup-simplify]: Simplify 0 into 0
10.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.600 * [backup-simplify]: Simplify 0 into 0
10.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.601 * [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.601 * [backup-simplify]: Simplify 0 into 0
10.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.603 * [backup-simplify]: Simplify 0 into 0
10.603 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.603 * * * [progress]: simplifying candidates
10.603 * * * * [progress]: [ 1 / 24 ] simplifiying candidate #<alt (λ (t) (log1p (expm1 (* t (* t 3.9999999999999997e-32)))))>
10.603 * * * * [progress]: [ 2 / 24 ] simplifiying candidate #<alt (λ (t) (expm1 (log1p (* t (* t 3.9999999999999997e-32)))))>
10.603 * * * * [progress]: [ 3 / 24 ] simplifiying candidate #<alt (λ (t) (pow (* t (* t 3.9999999999999997e-32)) 1))>
10.603 * * * * [progress]: [ 4 / 24 ] simplifiying candidate #<alt (λ (t) (pow (* t (* t 3.9999999999999997e-32)) 1))>
10.603 * * * * [progress]: [ 5 / 24 ] simplifiying candidate #<alt (λ (t) (pow (* t (* t 3.9999999999999997e-32)) 1))>
10.604 * * * * [progress]: [ 6 / 24 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log t) (log 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 7 / 24 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (log (* t 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 8 / 24 ] simplifiying candidate #<alt (λ (t) (exp (log (* t (* t 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 9 / 24 ] simplifiying candidate #<alt (λ (t) (log (exp (* t (* t 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 10 / 24 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 11 / 24 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 12 / 24 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 13 / 24 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 14 / 24 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 15 / 24 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* t 3.9999999999999997e-32))))>
10.604 * * * * [progress]: [ 16 / 24 ] simplifiying candidate #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))>
10.604 * * * * [progress]: [ 17 / 24 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* t 3.9999999999999997e-32))))>
10.604 * * * * [progress]: [ 18 / 24 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* t 3.9999999999999997e-32))))>
10.604 * * * * [progress]: [ 19 / 24 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* t 3.9999999999999997e-32))))>
10.604 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* t (* t 3.9999999999999997e-32)))))>
10.604 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #<alt (λ (t) (* (* t 3.9999999999999997e-32) t))>
10.604 * * * * [progress]: [ 22 / 24 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.604 * * * * [progress]: [ 23 / 24 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.604 * * * * [progress]: [ 24 / 24 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.605 * [simplify]: Simplifying:
  (expm1 (* t (* t 3.9999999999999997e-32)))
  (log1p (* t (* t 3.9999999999999997e-32)))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (+ (log t) (+ (log t) (log 3.9999999999999997e-32)))
  (+ (log t) (log (* t 3.9999999999999997e-32)))
  (log (* t (* t 3.9999999999999997e-32)))
  (exp (* t (* t 3.9999999999999997e-32)))
  (* (* (* t t) t) (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)))
  (* (* (* t t) t) (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* 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 t)
  (* (cbrt t) (* t 3.9999999999999997e-32))
  (* (sqrt t) (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (real->posit16 (* t (* t 3.9999999999999997e-32)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
10.605 * * [simplify]: iteration 1: (36 enodes)
10.613 * * [simplify]: iteration 2: (89 enodes)
10.636 * * [simplify]: iteration 3: (278 enodes)
10.907 * * [simplify]: iteration 4: (1072 enodes)
14.256 * * [simplify]: Extracting #0: cost 13 inf + 0
14.256 * * [simplify]: Extracting #1: cost 118 inf + 0
14.258 * * [simplify]: Extracting #2: cost 197 inf + 3511
14.269 * * [simplify]: Extracting #3: cost 73 inf + 16677
14.294 * * [simplify]: Extracting #4: cost 20 inf + 28422
14.315 * * [simplify]: Extracting #5: cost 0 inf + 34714
14.326 * [simplify]: Simplified to:
  (expm1 (* (* t t) 3.9999999999999997e-32))
  (log1p (* (* t t) 3.9999999999999997e-32))
  (* (* 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 t)
  (* (cbrt t) (* t 3.9999999999999997e-32))
  (* (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.327 * * * [progress]: adding candidates to table
14.472 * * [progress]: iteration 3 / 4
14.472 * * * [progress]: picking best candidate
14.484 * * * * [pick]: Picked  #<alt (λ (t) (* 2e-16 (* t (* 2e-16 t))))>
14.484 * * * [progress]: localizing error
14.492 * * * [progress]: generating rewritten candidates
14.492 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
14.505 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
14.571 * * * [progress]: generating series expansions
14.571 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
14.571 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2))
14.571 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0
14.571 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
14.571 * [taylor]: Taking taylor expansion of 2e-16 in t
14.571 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.571 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.571 * [taylor]: Taking taylor expansion of t in t
14.572 * [backup-simplify]: Simplify 0 into 0
14.572 * [backup-simplify]: Simplify 1 into 1
14.572 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
14.572 * [taylor]: Taking taylor expansion of 2e-16 in t
14.572 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.572 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.572 * [taylor]: Taking taylor expansion of t in t
14.572 * [backup-simplify]: Simplify 0 into 0
14.572 * [backup-simplify]: Simplify 1 into 1
14.572 * [backup-simplify]: Simplify (* 1 1) into 1
14.573 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
14.573 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.574 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
14.574 * [backup-simplify]: Simplify 0 into 0
14.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.576 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
14.576 * [backup-simplify]: Simplify 0 into 0
14.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.579 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.579 * [backup-simplify]: Simplify 0 into 0
14.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.582 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.582 * [backup-simplify]: Simplify 0 into 0
14.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.585 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.585 * [backup-simplify]: Simplify 0 into 0
14.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.588 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.588 * [backup-simplify]: Simplify 0 into 0
14.588 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2))
14.589 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2))
14.589 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
14.589 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
14.589 * [taylor]: Taking taylor expansion of 2e-16 in t
14.589 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.589 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.589 * [taylor]: Taking taylor expansion of t in t
14.589 * [backup-simplify]: Simplify 0 into 0
14.589 * [backup-simplify]: Simplify 1 into 1
14.589 * [backup-simplify]: Simplify (* 1 1) into 1
14.590 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
14.590 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
14.590 * [taylor]: Taking taylor expansion of 2e-16 in t
14.590 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.590 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.590 * [taylor]: Taking taylor expansion of t in t
14.590 * [backup-simplify]: Simplify 0 into 0
14.590 * [backup-simplify]: Simplify 1 into 1
14.590 * [backup-simplify]: Simplify (* 1 1) into 1
14.591 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
14.591 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
14.592 * [backup-simplify]: Simplify 0 into 0
14.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.594 * [backup-simplify]: Simplify 0 into 0
14.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.597 * [backup-simplify]: Simplify 0 into 0
14.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.599 * [backup-simplify]: Simplify 0 into 0
14.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.602 * [backup-simplify]: Simplify 0 into 0
14.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.605 * [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
14.605 * [backup-simplify]: Simplify 0 into 0
14.605 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2))
14.605 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2))
14.605 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
14.605 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
14.605 * [taylor]: Taking taylor expansion of 2e-16 in t
14.605 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.605 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.605 * [taylor]: Taking taylor expansion of t in t
14.605 * [backup-simplify]: Simplify 0 into 0
14.605 * [backup-simplify]: Simplify 1 into 1
14.606 * [backup-simplify]: Simplify (* 1 1) into 1
14.606 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
14.606 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
14.606 * [taylor]: Taking taylor expansion of 2e-16 in t
14.606 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.606 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.606 * [taylor]: Taking taylor expansion of t in t
14.606 * [backup-simplify]: Simplify 0 into 0
14.606 * [backup-simplify]: Simplify 1 into 1
14.607 * [backup-simplify]: Simplify (* 1 1) into 1
14.607 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
14.607 * [backup-simplify]: Simplify 2e-16 into 2e-16
14.608 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
14.609 * [backup-simplify]: Simplify 0 into 0
14.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.611 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.611 * [backup-simplify]: Simplify 0 into 0
14.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.613 * [backup-simplify]: Simplify 0 into 0
14.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.614 * [backup-simplify]: Simplify 0 into 0
14.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.616 * [backup-simplify]: Simplify 0 into 0
14.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.617 * [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
14.617 * [backup-simplify]: Simplify 0 into 0
14.618 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2))
14.618 * * * * [progress]: [ 2 / 2 ] generating series at (2)
14.618 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2))
14.618 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
14.618 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
14.618 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.618 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.618 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.618 * [taylor]: Taking taylor expansion of t in t
14.618 * [backup-simplify]: Simplify 0 into 0
14.618 * [backup-simplify]: Simplify 1 into 1
14.618 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
14.618 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.618 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.618 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.618 * [taylor]: Taking taylor expansion of t in t
14.618 * [backup-simplify]: Simplify 0 into 0
14.618 * [backup-simplify]: Simplify 1 into 1
14.618 * [backup-simplify]: Simplify (* 1 1) into 1
14.619 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.619 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.619 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.619 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
14.619 * [backup-simplify]: Simplify 0 into 0
14.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.621 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
14.621 * [backup-simplify]: Simplify 0 into 0
14.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.622 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.622 * [backup-simplify]: Simplify 0 into 0
14.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.623 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.623 * [backup-simplify]: Simplify 0 into 0
14.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.625 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.625 * [backup-simplify]: Simplify 0 into 0
14.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.627 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.627 * [backup-simplify]: Simplify 0 into 0
14.627 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
14.627 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2))
14.627 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
14.627 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
14.627 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.627 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.627 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.627 * [taylor]: Taking taylor expansion of t in t
14.627 * [backup-simplify]: Simplify 0 into 0
14.627 * [backup-simplify]: Simplify 1 into 1
14.627 * [backup-simplify]: Simplify (* 1 1) into 1
14.628 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.628 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
14.628 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.628 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.628 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.628 * [taylor]: Taking taylor expansion of t in t
14.628 * [backup-simplify]: Simplify 0 into 0
14.628 * [backup-simplify]: Simplify 1 into 1
14.628 * [backup-simplify]: Simplify (* 1 1) into 1
14.628 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.628 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
14.629 * [backup-simplify]: Simplify 0 into 0
14.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.631 * [backup-simplify]: Simplify 0 into 0
14.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.632 * [backup-simplify]: Simplify 0 into 0
14.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.633 * [backup-simplify]: Simplify 0 into 0
14.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.634 * [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.634 * [backup-simplify]: Simplify 0 into 0
14.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.636 * [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.636 * [backup-simplify]: Simplify 0 into 0
14.636 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
14.636 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2))
14.636 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
14.636 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
14.636 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.636 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.636 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.636 * [taylor]: Taking taylor expansion of t in t
14.636 * [backup-simplify]: Simplify 0 into 0
14.636 * [backup-simplify]: Simplify 1 into 1
14.637 * [backup-simplify]: Simplify (* 1 1) into 1
14.637 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.637 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
14.637 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.637 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.637 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.637 * [taylor]: Taking taylor expansion of t in t
14.637 * [backup-simplify]: Simplify 0 into 0
14.637 * [backup-simplify]: Simplify 1 into 1
14.637 * [backup-simplify]: Simplify (* 1 1) into 1
14.638 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
14.638 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.638 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
14.639 * [backup-simplify]: Simplify 0 into 0
14.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.640 * [backup-simplify]: Simplify 0 into 0
14.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.641 * [backup-simplify]: Simplify 0 into 0
14.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.642 * [backup-simplify]: Simplify 0 into 0
14.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.644 * [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.644 * [backup-simplify]: Simplify 0 into 0
14.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.645 * [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.645 * [backup-simplify]: Simplify 0 into 0
14.645 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
14.645 * * * [progress]: simplifying candidates
14.646 * * * * [progress]: [ 1 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (log1p (expm1 (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 2 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (expm1 (log1p (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 3 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
14.646 * * * * [progress]: [ 4 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
14.646 * * * * [progress]: [ 5 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
14.646 * * * * [progress]: [ 6 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (+ (log t) (+ (log 2e-16) (log t))))))>
14.646 * * * * [progress]: [ 7 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (+ (log t) (log (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 8 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (log (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 9 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (log (exp (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 10 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))))>
14.646 * * * * [progress]: [ 11 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 12 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))) (cbrt (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 13 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 14 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 15 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 1 (* t (* 2e-16 t)))))>
14.646 * * * * [progress]: [ 16 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t 2e-16) t)))>
14.646 * * * * [progress]: [ 17 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t)))))>
14.646 * * * * [progress]: [ 18 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t)))))>
14.646 * * * * [progress]: [ 19 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 1 (* t (* 2e-16 t)))))>
14.646 * * * * [progress]: [ 20 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (posit16->real (real->posit16 (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 21 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* 2e-16 t) t)))>
14.646 * * * * [progress]: [ 22 / 51 ] simplifiying candidate #<alt (λ (t) (log1p (expm1 (* 2e-16 (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 23 / 51 ] simplifiying candidate #<alt (λ (t) (expm1 (log1p (* 2e-16 (* t (* 2e-16 t))))))>
14.646 * * * * [progress]: [ 24 / 51 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
14.646 * * * * [progress]: [ 25 / 51 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
14.646 * * * * [progress]: [ 26 / 51 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
14.646 * * * * [progress]: [ 27 / 51 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
14.647 * * * * [progress]: [ 28 / 51 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t))))))>
14.647 * * * * [progress]: [ 29 / 51 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (+ (log t) (log (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 30 / 51 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (log (* t (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 31 / 51 ] simplifiying candidate #<alt (λ (t) (exp (log (* 2e-16 (* t (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 32 / 51 ] simplifiying candidate #<alt (λ (t) (log (exp (* 2e-16 (* t (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 33 / 51 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))))>
14.647 * * * * [progress]: [ 34 / 51 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 35 / 51 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 36 / 51 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* 2e-16 (* t (* 2e-16 t)))) (cbrt (* 2e-16 (* t (* 2e-16 t))))) (cbrt (* 2e-16 (* t (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 37 / 51 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 (* t (* 2e-16 t))) (* 2e-16 (* t (* 2e-16 t)))) (* 2e-16 (* t (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 38 / 51 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* 2e-16 (* t (* 2e-16 t)))) (sqrt (* 2e-16 (* t (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 39 / 51 ] simplifiying candidate #<alt (λ (t) (* 1 (* 2e-16 (* t (* 2e-16 t)))))>
14.647 * * * * [progress]: [ 40 / 51 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
14.647 * * * * [progress]: [ 41 / 51 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t (* 2e-16 t)))))>
14.647 * * * * [progress]: [ 42 / 51 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))>
14.647 * * * * [progress]: [ 43 / 51 ] simplifiying candidate #<alt (λ (t) (* 1 (* 2e-16 (* t (* 2e-16 t)))))>
14.647 * * * * [progress]: [ 44 / 51 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))>
14.647 * * * * [progress]: [ 45 / 51 ] simplifiying candidate #<alt (λ (t) (* (* t (* 2e-16 t)) 2e-16))>
14.647 * * * * [progress]: [ 46 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
14.647 * * * * [progress]: [ 47 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
14.647 * * * * [progress]: [ 48 / 51 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
14.647 * * * * [progress]: [ 49 / 51 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
14.647 * * * * [progress]: [ 50 / 51 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
14.647 * * * * [progress]: [ 51 / 51 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
14.648 * [simplify]: Simplifying:
  (expm1 (* t (* 2e-16 t)))
  (log1p (* t (* 2e-16 t)))
  (* t (* 2e-16 t))
  (* t (* 2e-16 t))
  (+ (log t) (+ (log 2e-16) (log t)))
  (+ (log t) (log (* 2e-16 t)))
  (log (* t (* 2e-16 t)))
  (exp (* t (* 2e-16 t)))
  (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))
  (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 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) (* 2e-16 t))
  (* (sqrt t) (* 2e-16 t))
  (* t (* 2e-16 t))
  (real->posit16 (* t (* 2e-16 t)))
  (expm1 (* 2e-16 (* t (* 2e-16 t))))
  (log1p (* 2e-16 (* t (* 2e-16 t))))
  (* 2e-16 (* t (* 2e-16 t)))
  (* 2e-16 (* t (* 2e-16 t)))
  (* 2e-16 (* t (* 2e-16 t)))
  (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t))))
  (+ (log 2e-16) (+ (log t) (log (* 2e-16 t))))
  (+ (log 2e-16) (log (* t (* 2e-16 t))))
  (log (* 2e-16 (* t (* 2e-16 t))))
  (exp (* 2e-16 (* t (* 2e-16 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 t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))
  (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* 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))))
  (sqrt (* 2e-16 (* t (* 2e-16 t))))
  (sqrt (* 2e-16 (* t (* 2e-16 t))))
  (* 2e-16 t)
  (* (cbrt 2e-16) (* t (* 2e-16 t)))
  (* (sqrt 2e-16) (* t (* 2e-16 t)))
  (* 2e-16 (* t (* 2e-16 t)))
  (real->posit16 (* 2e-16 (* t (* 2e-16 t))))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
14.648 * * [simplify]: iteration 1: (60 enodes)
14.662 * * [simplify]: iteration 2: (147 enodes)
14.723 * * [simplify]: iteration 3: (498 enodes)
15.366 * * [simplify]: Extracting #0: cost 26 inf + 0
15.367 * * [simplify]: Extracting #1: cost 180 inf + 0
15.371 * * [simplify]: Extracting #2: cost 275 inf + 2401
15.382 * * [simplify]: Extracting #3: cost 147 inf + 23377
15.407 * * [simplify]: Extracting #4: cost 18 inf + 47754
15.439 * * [simplify]: Extracting #5: cost 0 inf + 49085
15.461 * [simplify]: Simplified to:
  (expm1 (* (* t t) 2e-16))
  (log1p (* (* t t) 2e-16))
  (* (* t t) 2e-16)
  (* (* t t) 2e-16)
  (log (* (* t t) 2e-16))
  (log (* (* t t) 2e-16))
  (log (* (* t t) 2e-16))
  (exp (* (* 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) 2e-16))
  (* (cbrt (* (* t t) 2e-16)) (cbrt (* (* t t) 2e-16)))
  (cbrt (* (* t t) 2e-16))
  (* (* (* (* t t) 2e-16) (* (* t t) 2e-16)) (* (* t t) 2e-16))
  (sqrt (* (* t t) 2e-16))
  (sqrt (* (* t t) 2e-16))
  (* t 2e-16)
  (* (cbrt t) (* t 2e-16))
  (* (sqrt t) (* t 2e-16))
  (* (* t t) 2e-16)
  (real->posit16 (* (* t t) 2e-16))
  (expm1 (* (* t 2e-16) (* t 2e-16)))
  (log1p (* (* t 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 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 (* t 2e-16))
  (fabs (* t 2e-16))
  (* t 2e-16)
  (* t (* (cbrt 2e-16) (* t 2e-16)))
  (* 2e-16 (* (sqrt 2e-16) (* t t)))
  (* (* t 2e-16) (* t 2e-16))
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* (* t t) 2e-16)
  (* (* t t) 2e-16)
  (* (* t t) 2e-16)
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
15.462 * * * [progress]: adding candidates to table
15.763 * * [progress]: iteration 4 / 4
15.763 * * * [progress]: picking best candidate
15.772 * * * * [pick]: Picked  #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))>
15.772 * * * [progress]: localizing error
15.805 * * * [progress]: generating rewritten candidates
15.805 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
15.822 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
15.959 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
16.006 * * * [progress]: generating series expansions
16.006 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
16.007 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2))
16.007 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0
16.007 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
16.007 * [taylor]: Taking taylor expansion of 2e-16 in t
16.007 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.007 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.007 * [taylor]: Taking taylor expansion of t in t
16.007 * [backup-simplify]: Simplify 0 into 0
16.007 * [backup-simplify]: Simplify 1 into 1
16.007 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
16.007 * [taylor]: Taking taylor expansion of 2e-16 in t
16.007 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.007 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.007 * [taylor]: Taking taylor expansion of t in t
16.007 * [backup-simplify]: Simplify 0 into 0
16.007 * [backup-simplify]: Simplify 1 into 1
16.008 * [backup-simplify]: Simplify (* 1 1) into 1
16.008 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
16.008 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.009 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.010 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
16.010 * [backup-simplify]: Simplify 0 into 0
16.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.012 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
16.013 * [backup-simplify]: Simplify 0 into 0
16.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.015 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.015 * [backup-simplify]: Simplify 0 into 0
16.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.018 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.018 * [backup-simplify]: Simplify 0 into 0
16.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.021 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.021 * [backup-simplify]: Simplify 0 into 0
16.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.024 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.024 * [backup-simplify]: Simplify 0 into 0
16.024 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2))
16.024 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2))
16.024 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
16.025 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
16.025 * [taylor]: Taking taylor expansion of 2e-16 in t
16.025 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.025 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.025 * [taylor]: Taking taylor expansion of t in t
16.025 * [backup-simplify]: Simplify 0 into 0
16.025 * [backup-simplify]: Simplify 1 into 1
16.025 * [backup-simplify]: Simplify (* 1 1) into 1
16.026 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
16.026 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
16.026 * [taylor]: Taking taylor expansion of 2e-16 in t
16.026 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.026 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.026 * [taylor]: Taking taylor expansion of t in t
16.026 * [backup-simplify]: Simplify 0 into 0
16.026 * [backup-simplify]: Simplify 1 into 1
16.026 * [backup-simplify]: Simplify (* 1 1) into 1
16.027 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
16.027 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
16.028 * [backup-simplify]: Simplify 0 into 0
16.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.030 * [backup-simplify]: Simplify 0 into 0
16.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.033 * [backup-simplify]: Simplify 0 into 0
16.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.034 * [backup-simplify]: Simplify 0 into 0
16.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.035 * [backup-simplify]: Simplify 0 into 0
16.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.037 * [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
16.037 * [backup-simplify]: Simplify 0 into 0
16.037 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2))
16.037 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2))
16.037 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
16.037 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
16.037 * [taylor]: Taking taylor expansion of 2e-16 in t
16.037 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.037 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.037 * [taylor]: Taking taylor expansion of t in t
16.037 * [backup-simplify]: Simplify 0 into 0
16.037 * [backup-simplify]: Simplify 1 into 1
16.038 * [backup-simplify]: Simplify (* 1 1) into 1
16.038 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
16.038 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
16.038 * [taylor]: Taking taylor expansion of 2e-16 in t
16.038 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.038 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.038 * [taylor]: Taking taylor expansion of t in t
16.038 * [backup-simplify]: Simplify 0 into 0
16.038 * [backup-simplify]: Simplify 1 into 1
16.038 * [backup-simplify]: Simplify (* 1 1) into 1
16.039 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
16.039 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.039 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
16.040 * [backup-simplify]: Simplify 0 into 0
16.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.041 * [backup-simplify]: Simplify 0 into 0
16.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.042 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.042 * [backup-simplify]: Simplify 0 into 0
16.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.044 * [backup-simplify]: Simplify 0 into 0
16.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.045 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.045 * [backup-simplify]: Simplify 0 into 0
16.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.047 * [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
16.047 * [backup-simplify]: Simplify 0 into 0
16.047 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2))
16.047 * * * * [progress]: [ 2 / 3 ] generating series at (2)
16.048 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
16.048 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in (t) around 0
16.048 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t
16.048 * [taylor]: Taking taylor expansion of 2e-16 in t
16.048 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.048 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t
16.048 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.048 * [taylor]: Taking taylor expansion of t in t
16.048 * [backup-simplify]: Simplify 0 into 0
16.048 * [backup-simplify]: Simplify 1 into 1
16.048 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
16.048 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.048 * [taylor]: Taking taylor expansion of 2e-16 in t
16.048 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.048 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.049 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.049 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t
16.049 * [taylor]: Taking taylor expansion of 2e-16 in t
16.049 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.049 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t
16.049 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.049 * [taylor]: Taking taylor expansion of t in t
16.049 * [backup-simplify]: Simplify 0 into 0
16.049 * [backup-simplify]: Simplify 1 into 1
16.049 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
16.049 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.049 * [taylor]: Taking taylor expansion of 2e-16 in t
16.049 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.049 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.050 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.050 * [backup-simplify]: Simplify (* 1 1) into 1
16.051 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
16.052 * [backup-simplify]: Simplify (* 1 (pow (sqrt 2e-16) 2)) into (pow (sqrt 2e-16) 2)
16.053 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
16.054 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
16.054 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
16.055 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.055 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
16.056 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
16.056 * [backup-simplify]: Simplify 0 into 0
16.057 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
16.058 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
16.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
16.060 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
16.060 * [backup-simplify]: Simplify 0 into 0
16.060 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.062 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
16.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
16.067 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
16.067 * [backup-simplify]: Simplify 0 into 0
16.068 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.070 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
16.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
16.075 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
16.075 * [backup-simplify]: Simplify 0 into 0
16.077 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.079 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
16.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
16.084 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
16.085 * [backup-simplify]: Simplify 0 into 0
16.087 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.089 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
16.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
16.098 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
16.098 * [backup-simplify]: Simplify 0 into 0
16.099 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow t 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
16.100 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* (/ 1 t) (* 2e-16 (/ 1 t))))) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2)))
16.100 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0
16.101 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
16.101 * [taylor]: Taking taylor expansion of 2e-16 in t
16.101 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.101 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
16.101 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
16.101 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.101 * [taylor]: Taking taylor expansion of 2e-16 in t
16.101 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.101 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.101 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.101 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.101 * [taylor]: Taking taylor expansion of t in t
16.101 * [backup-simplify]: Simplify 0 into 0
16.101 * [backup-simplify]: Simplify 1 into 1
16.102 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
16.103 * [backup-simplify]: Simplify (* 1 1) into 1
16.103 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
16.104 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
16.104 * [taylor]: Taking taylor expansion of 2e-16 in t
16.104 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.104 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
16.104 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
16.104 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.104 * [taylor]: Taking taylor expansion of 2e-16 in t
16.104 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.104 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.104 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.104 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.104 * [taylor]: Taking taylor expansion of t in t
16.104 * [backup-simplify]: Simplify 0 into 0
16.104 * [backup-simplify]: Simplify 1 into 1
16.105 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
16.105 * [backup-simplify]: Simplify (* 1 1) into 1
16.106 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
16.107 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
16.108 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
16.109 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
16.109 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
16.111 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
16.111 * [backup-simplify]: Simplify 0 into 0
16.111 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
16.112 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
16.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.114 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
16.114 * [backup-simplify]: Simplify 0 into 0
16.115 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.115 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
16.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.118 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
16.118 * [backup-simplify]: Simplify 0 into 0
16.119 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.119 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
16.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.122 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
16.122 * [backup-simplify]: Simplify 0 into 0
16.123 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.124 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
16.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.127 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
16.127 * [backup-simplify]: Simplify 0 into 0
16.128 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.129 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
16.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.134 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
16.134 * [backup-simplify]: Simplify 0 into 0
16.136 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
16.137 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))))) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2)))
16.137 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0
16.137 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
16.137 * [taylor]: Taking taylor expansion of 2e-16 in t
16.137 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.137 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
16.137 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
16.137 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.137 * [taylor]: Taking taylor expansion of 2e-16 in t
16.137 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.137 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.138 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.138 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.138 * [taylor]: Taking taylor expansion of t in t
16.138 * [backup-simplify]: Simplify 0 into 0
16.138 * [backup-simplify]: Simplify 1 into 1
16.139 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
16.140 * [backup-simplify]: Simplify (* 1 1) into 1
16.141 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
16.141 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
16.141 * [taylor]: Taking taylor expansion of 2e-16 in t
16.142 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.142 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
16.142 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
16.142 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.142 * [taylor]: Taking taylor expansion of 2e-16 in t
16.142 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.142 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.143 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.143 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.143 * [taylor]: Taking taylor expansion of t in t
16.143 * [backup-simplify]: Simplify 0 into 0
16.143 * [backup-simplify]: Simplify 1 into 1
16.144 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
16.144 * [backup-simplify]: Simplify (* 1 1) into 1
16.146 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
16.148 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
16.150 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
16.150 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
16.151 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.152 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
16.153 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
16.153 * [backup-simplify]: Simplify 0 into 0
16.154 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
16.155 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
16.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.159 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
16.159 * [backup-simplify]: Simplify 0 into 0
16.160 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.161 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
16.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.162 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.163 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
16.163 * [backup-simplify]: Simplify 0 into 0
16.164 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.165 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
16.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.166 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.167 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
16.167 * [backup-simplify]: Simplify 0 into 0
16.168 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.169 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
16.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.172 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
16.172 * [backup-simplify]: Simplify 0 into 0
16.173 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.174 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
16.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.177 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
16.177 * [backup-simplify]: Simplify 0 into 0
16.178 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
16.178 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
16.179 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* t (* 2e-16 t))) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
16.179 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in (t) around 0
16.179 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in t
16.179 * [taylor]: Taking taylor expansion of 2e-16 in t
16.179 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.179 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 2e-16)) in t
16.179 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.179 * [taylor]: Taking taylor expansion of t in t
16.179 * [backup-simplify]: Simplify 0 into 0
16.179 * [backup-simplify]: Simplify 1 into 1
16.179 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.179 * [taylor]: Taking taylor expansion of 2e-16 in t
16.179 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.179 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.180 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.180 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in t
16.180 * [taylor]: Taking taylor expansion of 2e-16 in t
16.180 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.180 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 2e-16)) in t
16.180 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.180 * [taylor]: Taking taylor expansion of t in t
16.180 * [backup-simplify]: Simplify 0 into 0
16.180 * [backup-simplify]: Simplify 1 into 1
16.180 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.180 * [taylor]: Taking taylor expansion of 2e-16 in t
16.180 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.180 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.180 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.181 * [backup-simplify]: Simplify (* 1 1) into 1
16.182 * [backup-simplify]: Simplify (* 1 (sqrt 2e-16)) into (sqrt 2e-16)
16.182 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
16.183 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
16.183 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.184 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 2e-16))) into 0
16.184 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
16.184 * [backup-simplify]: Simplify 0 into 0
16.185 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
16.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
16.187 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
16.187 * [backup-simplify]: Simplify 0 into 0
16.188 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
16.190 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
16.190 * [backup-simplify]: Simplify 0 into 0
16.191 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
16.193 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
16.193 * [backup-simplify]: Simplify 0 into 0
16.194 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
16.197 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
16.197 * [backup-simplify]: Simplify 0 into 0
16.198 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
16.201 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
16.201 * [backup-simplify]: Simplify 0 into 0
16.202 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow t 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
16.202 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (* 2e-16 (/ (sqrt 2e-16) (pow t 2)))
16.202 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in (t) around 0
16.202 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
16.202 * [taylor]: Taking taylor expansion of 2e-16 in t
16.202 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.202 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
16.202 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.202 * [taylor]: Taking taylor expansion of 2e-16 in t
16.202 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.202 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.203 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.203 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.203 * [taylor]: Taking taylor expansion of t in t
16.203 * [backup-simplify]: Simplify 0 into 0
16.203 * [backup-simplify]: Simplify 1 into 1
16.203 * [backup-simplify]: Simplify (* 1 1) into 1
16.204 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
16.204 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
16.204 * [taylor]: Taking taylor expansion of 2e-16 in t
16.204 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.204 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
16.204 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.204 * [taylor]: Taking taylor expansion of 2e-16 in t
16.204 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.204 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.205 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.205 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.205 * [taylor]: Taking taylor expansion of t in t
16.205 * [backup-simplify]: Simplify 0 into 0
16.205 * [backup-simplify]: Simplify 1 into 1
16.205 * [backup-simplify]: Simplify (* 1 1) into 1
16.205 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
16.206 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
16.207 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
16.207 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
16.208 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
16.208 * [backup-simplify]: Simplify 0 into 0
16.209 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
16.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.211 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
16.211 * [backup-simplify]: Simplify 0 into 0
16.212 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.215 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
16.215 * [backup-simplify]: Simplify 0 into 0
16.216 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.220 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
16.220 * [backup-simplify]: Simplify 0 into 0
16.222 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.226 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
16.226 * [backup-simplify]: Simplify 0 into 0
16.227 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.232 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
16.232 * [backup-simplify]: Simplify 0 into 0
16.233 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
16.234 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (* 2e-16 (/ (sqrt 2e-16) (pow t 2)))
16.234 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in (t) around 0
16.234 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
16.234 * [taylor]: Taking taylor expansion of 2e-16 in t
16.234 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.234 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
16.234 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.234 * [taylor]: Taking taylor expansion of 2e-16 in t
16.234 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.234 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.235 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.235 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.235 * [taylor]: Taking taylor expansion of t in t
16.235 * [backup-simplify]: Simplify 0 into 0
16.235 * [backup-simplify]: Simplify 1 into 1
16.235 * [backup-simplify]: Simplify (* 1 1) into 1
16.236 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
16.236 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
16.236 * [taylor]: Taking taylor expansion of 2e-16 in t
16.236 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.236 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
16.236 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
16.236 * [taylor]: Taking taylor expansion of 2e-16 in t
16.236 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.237 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
16.238 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
16.238 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.238 * [taylor]: Taking taylor expansion of t in t
16.238 * [backup-simplify]: Simplify 0 into 0
16.238 * [backup-simplify]: Simplify 1 into 1
16.238 * [backup-simplify]: Simplify (* 1 1) into 1
16.239 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
16.240 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
16.240 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
16.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
16.243 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
16.243 * [backup-simplify]: Simplify 0 into 0
16.244 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
16.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.247 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
16.247 * [backup-simplify]: Simplify 0 into 0
16.248 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.251 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
16.251 * [backup-simplify]: Simplify 0 into 0
16.253 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.256 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
16.257 * [backup-simplify]: Simplify 0 into 0
16.258 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.261 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
16.261 * [backup-simplify]: Simplify 0 into 0
16.262 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
16.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.265 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
16.265 * [backup-simplify]: Simplify 0 into 0
16.265 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
16.265 * * * [progress]: simplifying candidates
16.265 * * * * [progress]: [ 1 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (log1p (expm1 (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 2 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (expm1 (log1p (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 3 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (pow (* t (* 2e-16 t)) 1))))>
16.266 * * * * [progress]: [ 4 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (pow (* t (* 2e-16 t)) 1))))>
16.266 * * * * [progress]: [ 5 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (pow (* t (* 2e-16 t)) 1))))>
16.266 * * * * [progress]: [ 6 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (+ (log t) (+ (log 2e-16) (log t)))))))>
16.266 * * * * [progress]: [ 7 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (+ (log t) (log (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 8 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (log (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 9 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (log (exp (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 10 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))))>
16.266 * * * * [progress]: [ 11 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 12 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))) (cbrt (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 13 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 14 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 15 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 1 (* t (* 2e-16 t))))))>
16.266 * * * * [progress]: [ 16 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* t 2e-16) t))))>
16.266 * * * * [progress]: [ 17 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t))))))>
16.266 * * * * [progress]: [ 18 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (sqrt t) (* (sqrt t) (* 2e-16 t))))))>
16.266 * * * * [progress]: [ 19 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 1 (* t (* 2e-16 t))))))>
16.266 * * * * [progress]: [ 20 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (posit16->real (real->posit16 (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 21 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* 2e-16 t) t))))>
16.266 * * * * [progress]: [ 22 / 87 ] simplifiying candidate #<alt (λ (t) (log1p (expm1 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 23 / 87 ] simplifiying candidate #<alt (λ (t) (expm1 (log1p (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.266 * * * * [progress]: [ 24 / 87 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
16.266 * * * * [progress]: [ 25 / 87 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
16.267 * * * * [progress]: [ 26 / 87 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
16.267 * * * * [progress]: [ 27 / 87 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
16.267 * * * * [progress]: [ 28 / 87 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
16.267 * * * * [progress]: [ 29 / 87 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (+ (log 2e-16) (log t)))))))>
16.267 * * * * [progress]: [ 30 / 87 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (log (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 31 / 87 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (log (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 32 / 87 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 2e-16)) (log (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 33 / 87 ] simplifiying candidate #<alt (λ (t) (exp (log (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 34 / 87 ] simplifiying candidate #<alt (λ (t) (log (exp (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 35 / 87 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))))>
16.267 * * * * [progress]: [ 36 / 87 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 37 / 87 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 38 / 87 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 39 / 87 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 40 / 87 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 41 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.267 * * * * [progress]: [ 42 / 87 ] simplifiying candidate #<alt (λ (t) (* 1 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.267 * * * * [progress]: [ 43 / 87 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (* t (* 2e-16 t))))>
16.267 * * * * [progress]: [ 44 / 87 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* (cbrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.267 * * * * [progress]: [ 45 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.267 * * * * [progress]: [ 46 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.267 * * * * [progress]: [ 47 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 1) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.267 * * * * [progress]: [ 48 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.267 * * * * [progress]: [ 49 / 87 ] simplifiying candidate #<alt (λ (t) (* 1 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.268 * * * * [progress]: [ 50 / 87 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 51 / 87 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (sqrt 2e-16)))>
16.268 * * * * [progress]: [ 52 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (log1p (expm1 (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 53 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (expm1 (log1p (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 54 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t (* 2e-16 t))) 1)))>
16.268 * * * * [progress]: [ 55 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t (* 2e-16 t))) 1)))>
16.268 * * * * [progress]: [ 56 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t (* 2e-16 t))) 1)))>
16.268 * * * * [progress]: [ 57 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t (* 2e-16 t))) 1)))>
16.268 * * * * [progress]: [ 58 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (exp (+ (log (sqrt 2e-16)) (+ (log t) (+ (log 2e-16) (log t)))))))>
16.268 * * * * [progress]: [ 59 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (exp (+ (log (sqrt 2e-16)) (+ (log t) (log (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 60 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (exp (+ (log (sqrt 2e-16)) (log (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 61 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (exp (log (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 62 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (log (exp (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 63 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))))>
16.268 * * * * [progress]: [ 64 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 65 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 66 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (* (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t)))) (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t))))) (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 67 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (cbrt (* (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 68 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t)))) (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.268 * * * * [progress]: [ 69 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 1 (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.268 * * * * [progress]: [ 70 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (* (sqrt 2e-16) t) (* 2e-16 t))))>
16.268 * * * * [progress]: [ 71 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* (cbrt (sqrt 2e-16)) (* t (* 2e-16 t))))))>
16.268 * * * * [progress]: [ 72 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* t (* 2e-16 t))))))>
16.268 * * * * [progress]: [ 73 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* t (* 2e-16 t))))))>
16.268 * * * * [progress]: [ 74 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 1) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.269 * * * * [progress]: [ 75 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* t (* 2e-16 t))))))>
16.269 * * * * [progress]: [ 76 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 1 (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
16.269 * * * * [progress]: [ 77 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (posit16->real (real->posit16 (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
16.269 * * * * [progress]: [ 78 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (* t (* 2e-16 t)) (sqrt 2e-16))))>
16.269 * * * * [progress]: [ 79 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 2e-16 (pow t 2)))))>
16.269 * * * * [progress]: [ 80 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 2e-16 (pow t 2)))))>
16.269 * * * * [progress]: [ 81 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 2e-16 (pow t 2)))))>
16.269 * * * * [progress]: [ 82 / 87 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
16.269 * * * * [progress]: [ 83 / 87 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
16.269 * * * * [progress]: [ 84 / 87 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
16.269 * * * * [progress]: [ 85 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 2e-16 (* (pow t 2) (sqrt 2e-16)))))>
16.269 * * * * [progress]: [ 86 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 2e-16 (* (pow t 2) (sqrt 2e-16)))))>
16.269 * * * * [progress]: [ 87 / 87 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 2e-16 (* (pow t 2) (sqrt 2e-16)))))>
16.270 * [simplify]: Simplifying:
  (expm1 (* t (* 2e-16 t)))
  (log1p (* t (* 2e-16 t)))
  (* t (* 2e-16 t))
  (* t (* 2e-16 t))
  (+ (log t) (+ (log 2e-16) (log t)))
  (+ (log t) (log (* 2e-16 t)))
  (log (* t (* 2e-16 t)))
  (exp (* t (* 2e-16 t)))
  (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))
  (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 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) (* 2e-16 t))
  (* (sqrt t) (* 2e-16 t))
  (* t (* 2e-16 t))
  (real->posit16 (* t (* 2e-16 t)))
  (expm1 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (log1p (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (+ (log 2e-16) (log t)))))
  (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (log (* 2e-16 t)))))
  (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (log (* t (* 2e-16 t)))))
  (+ (log (sqrt 2e-16)) (log (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (log (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (exp (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (* (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))
  (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (* (* (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (* (sqrt 2e-16) (sqrt 2e-16))
  (* (cbrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt (cbrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (real->posit16 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (expm1 (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (log1p (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt 2e-16) (* t (* 2e-16 t)))
  (* (sqrt 2e-16) (* t (* 2e-16 t)))
  (* (sqrt 2e-16) (* t (* 2e-16 t)))
  (+ (log (sqrt 2e-16)) (+ (log t) (+ (log 2e-16) (log t))))
  (+ (log (sqrt 2e-16)) (+ (log t) (log (* 2e-16 t))))
  (+ (log (sqrt 2e-16)) (log (* t (* 2e-16 t))))
  (log (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (exp (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))
  (* (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t)))) (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t)))))
  (cbrt (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (* (sqrt 2e-16) (* t (* 2e-16 t)))) (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* (sqrt 2e-16) t)
  (* (cbrt (sqrt 2e-16)) (* t (* 2e-16 t)))
  (* (sqrt (cbrt 2e-16)) (* t (* 2e-16 t)))
  (* (sqrt (sqrt 2e-16)) (* t (* 2e-16 t)))
  (* (sqrt 2e-16) (* t (* 2e-16 t)))
  (* (sqrt (sqrt 2e-16)) (* t (* 2e-16 t)))
  (* (sqrt 2e-16) (* t (* 2e-16 t)))
  (real->posit16 (* (sqrt 2e-16) (* t (* 2e-16 t))))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
  (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
  (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
16.271 * * [simplify]: iteration 1: (93 enodes)
16.292 * * [simplify]: iteration 2: (232 enodes)
16.457 * * [simplify]: iteration 3: (871 enodes)
19.429 * * [simplify]: Extracting #0: cost 41 inf + 0
19.431 * * [simplify]: Extracting #1: cost 375 inf + 1
19.453 * * [simplify]: Extracting #2: cost 637 inf + 10772
19.507 * * [simplify]: Extracting #3: cost 175 inf + 104127
19.578 * * [simplify]: Extracting #4: cost 5 inf + 141819
19.624 * * [simplify]: Extracting #5: cost 1 inf + 143031
19.677 * * [simplify]: Extracting #6: cost 0 inf + 143554
19.722 * [simplify]: Simplified to:
  (expm1 (* t (* t 2e-16)))
  (log1p (* t (* t 2e-16)))
  (* t (* t 2e-16))
  (* t (* t 2e-16))
  (log (* t (* t 2e-16)))
  (log (* t (* t 2e-16)))
  (log (* t (* t 2e-16)))
  (exp (* 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 2e-16))))
  (* (cbrt (* t (* t 2e-16))) (cbrt (* t (* t 2e-16))))
  (cbrt (* t (* t 2e-16)))
  (* (* t (* t 2e-16)) (* (* t (* t 2e-16)) (* t (* t 2e-16))))
  (sqrt (* t (* t 2e-16)))
  (sqrt (* t (* t 2e-16)))
  (* t 2e-16)
  (* (cbrt t) (* t 2e-16))
  (* (* t 2e-16) (sqrt t))
  (* t (* t 2e-16))
  (real->posit16 (* t (* t 2e-16)))
  (expm1 (* (* t 2e-16) (* t 2e-16)))
  (log1p (* (* 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))
  (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)))
  (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)))
  (* (* (* (* 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))
  2e-16
  (* (* t (sqrt 2e-16)) (* (* (cbrt (sqrt 2e-16)) 2e-16) t))
  (* (* (sqrt (cbrt 2e-16)) (* t (sqrt 2e-16))) (* t 2e-16))
  (* (* (* (* (sqrt (sqrt 2e-16)) t) (sqrt 2e-16)) t) 2e-16)
  (* (* t 2e-16) (* t 2e-16))
  (* (* (* (* (sqrt (sqrt 2e-16)) t) (sqrt 2e-16)) t) 2e-16)
  (* (* t 2e-16) (* t 2e-16))
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (expm1 (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (log1p (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (* 2e-16 (* (* t t) (sqrt 2e-16)))
  (* 2e-16 (* (* t t) (sqrt 2e-16)))
  (* 2e-16 (* (* t t) (sqrt 2e-16)))
  (log (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (log (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (log (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (log (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (exp (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (* (sqrt 2e-16) (* (* t (* (* t 2e-16) (* t 2e-16))) (* t (* (* t 2e-16) (* t 2e-16)))))
  (* (sqrt 2e-16) (* (* t (* (* t 2e-16) (* t 2e-16))) (* t (* (* t 2e-16) (* t 2e-16)))))
  (* (sqrt 2e-16) (* (* t (* (* t 2e-16) (* t 2e-16))) (* t (* (* t 2e-16) (* t 2e-16)))))
  (* (cbrt (* 2e-16 (* (* t t) (sqrt 2e-16)))) (cbrt (* 2e-16 (* (* t t) (sqrt 2e-16)))))
  (cbrt (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (* (sqrt 2e-16) (* (* t (* (* t 2e-16) (* t 2e-16))) (* t (* (* t 2e-16) (* t 2e-16)))))
  (sqrt (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (sqrt (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (* t (sqrt 2e-16))
  (* (* t 2e-16) (* t (cbrt (sqrt 2e-16))))
  (* (* t 2e-16) (* (sqrt (cbrt 2e-16)) t))
  (* (sqrt (sqrt 2e-16)) (* t (* t 2e-16)))
  (* 2e-16 (* (* t t) (sqrt 2e-16)))
  (* (sqrt (sqrt 2e-16)) (* t (* t 2e-16)))
  (* 2e-16 (* (* t t) (sqrt 2e-16)))
  (real->posit16 (* 2e-16 (* (* t t) (sqrt 2e-16))))
  (* t (* t 2e-16))
  (* t (* t 2e-16))
  (* t (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* 2e-16 (* (* t t) (sqrt 2e-16)))
  (* 2e-16 (* (* t t) (sqrt 2e-16)))
  (* 2e-16 (* (* t t) (sqrt 2e-16)))
19.725 * * * [progress]: adding candidates to table
20.310 * [progress]: [Phase 3 of 3] Extracting.
20.310 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* t 3.9999999999999997e-32))))> #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))> #<alt (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t)))))> #<alt (λ (t) (* (sqrt 2e-16) (* (* (sqrt 2e-16) t) (* 2e-16 t))))> #<alt (λ (t) (* t (* t 3.9999999999999997e-32)))> #<alt (λ (t) (cbrt (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)))))> #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))> #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>)
20.310 * * * [regime-changes]: Trying 1 branch expressions: (t)
20.310 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* t 3.9999999999999997e-32))))> #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))> #<alt (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t)))))> #<alt (λ (t) (* (sqrt 2e-16) (* (* (sqrt 2e-16) t) (* 2e-16 t))))> #<alt (λ (t) (* t (* t 3.9999999999999997e-32)))> #<alt (λ (t) (cbrt (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)))))> #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))> #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>)
20.352 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
20.353 * [simplify]: Simplifying:
  (* t (* t 3.9999999999999997e-32))
20.353 * * [simplify]: iteration 1: (4 enodes)
20.353 * * [simplify]: iteration 2: (6 enodes)
20.354 * * [simplify]: Extracting #0: cost 1 inf + 0
20.354 * * [simplify]: Extracting #1: cost 3 inf + 0
20.354 * * [simplify]: Extracting #2: cost 3 inf + 1
20.354 * * [simplify]: Extracting #3: cost 0 inf + 126
20.354 * [simplify]: Simplified to:
  (* t (* t 3.9999999999999997e-32))
23.403 * [regime-testing]: Baseline error score: 0.33116639579947493
23.407 * [regime-testing]: Oracle error score: 0.023877984748093512
23.416 * [regime-testing]: End program error score: 0.33116639579947493
23.464 * [regime-testing]: Target error score: 50.5599781904475