20.265 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.074 * * * [progress]: [2/2] Setting up program.
0.077 * [progress]: [Phase 2 of 3] Improving.
0.077 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.077 * [simplify]: Simplifying:
  (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.077 * * [simplify]: iteration 1: (11 enodes)
0.079 * * [simplify]: iteration 2: (27 enodes)
0.087 * * [simplify]: iteration 3: (75 enodes)
0.127 * * [simplify]: iteration 4: (183 enodes)
0.241 * * [simplify]: iteration 5: (401 enodes)
1.704 * * [simplify]: iteration 6: (1659 enodes)
22.676 * * [simplify]: Extracting #0: cost 1 inf + 0
22.677 * * [simplify]: Extracting #1: cost 238 inf + 0
22.688 * * [simplify]: Extracting #2: cost 1338 inf + 946
22.716 * * [simplify]: Extracting #3: cost 1161 inf + 37879
22.780 * * [simplify]: Extracting #4: cost 258 inf + 218841
22.891 * * [simplify]: Extracting #5: cost 1 inf + 266174
23.026 * * [simplify]: Extracting #6: cost 0 inf + 265859
23.166 * [simplify]: Simplified to:
  (* (* 2e-16 t) (* 2e-16 t))
23.172 * * [progress]: iteration 1 / 4
23.172 * * * [progress]: picking best candidate
23.173 * * * * [pick]: Picked  #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
23.173 * * * [progress]: localizing error
23.184 * * * [progress]: generating rewritten candidates
23.184 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
23.228 * * * [progress]: generating series expansions
23.228 * * * * [progress]: [ 1 / 1 ] generating series at (2)
23.228 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2))
23.228 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
23.228 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
23.228 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.228 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.228 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.228 * [taylor]: Taking taylor expansion of t in t
23.228 * [backup-simplify]: Simplify 0 into 0
23.228 * [backup-simplify]: Simplify 1 into 1
23.228 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
23.228 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.228 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.228 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.228 * [taylor]: Taking taylor expansion of t in t
23.228 * [backup-simplify]: Simplify 0 into 0
23.228 * [backup-simplify]: Simplify 1 into 1
23.230 * [backup-simplify]: Simplify (* 1 1) into 1
23.230 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
23.230 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.231 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.232 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
23.232 * [backup-simplify]: Simplify 0 into 0
23.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.234 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
23.234 * [backup-simplify]: Simplify 0 into 0
23.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.236 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.236 * [backup-simplify]: Simplify 0 into 0
23.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.240 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.240 * [backup-simplify]: Simplify 0 into 0
23.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.243 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.243 * [backup-simplify]: Simplify 0 into 0
23.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.246 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.246 * [backup-simplify]: Simplify 0 into 0
23.246 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
23.247 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
23.247 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
23.247 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
23.247 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.247 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.247 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.247 * [taylor]: Taking taylor expansion of t in t
23.247 * [backup-simplify]: Simplify 0 into 0
23.247 * [backup-simplify]: Simplify 1 into 1
23.247 * [backup-simplify]: Simplify (* 1 1) into 1
23.248 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
23.248 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
23.248 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.248 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.248 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.248 * [taylor]: Taking taylor expansion of t in t
23.248 * [backup-simplify]: Simplify 0 into 0
23.248 * [backup-simplify]: Simplify 1 into 1
23.248 * [backup-simplify]: Simplify (* 1 1) into 1
23.249 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
23.249 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.250 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
23.251 * [backup-simplify]: Simplify 0 into 0
23.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.253 * [backup-simplify]: Simplify 0 into 0
23.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.255 * [backup-simplify]: Simplify 0 into 0
23.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.260 * [backup-simplify]: Simplify 0 into 0
23.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.263 * [backup-simplify]: Simplify 0 into 0
23.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.265 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.265 * [backup-simplify]: Simplify 0 into 0
23.265 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
23.266 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
23.266 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
23.266 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
23.266 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.266 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.266 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.266 * [taylor]: Taking taylor expansion of t in t
23.266 * [backup-simplify]: Simplify 0 into 0
23.266 * [backup-simplify]: Simplify 1 into 1
23.266 * [backup-simplify]: Simplify (* 1 1) into 1
23.266 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
23.266 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
23.266 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
23.266 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.266 * [taylor]: Taking taylor expansion of (pow t 2) in t
23.266 * [taylor]: Taking taylor expansion of t in t
23.266 * [backup-simplify]: Simplify 0 into 0
23.266 * [backup-simplify]: Simplify 1 into 1
23.267 * [backup-simplify]: Simplify (* 1 1) into 1
23.267 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
23.267 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
23.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.268 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
23.268 * [backup-simplify]: Simplify 0 into 0
23.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.269 * [backup-simplify]: Simplify 0 into 0
23.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.271 * [backup-simplify]: Simplify 0 into 0
23.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
23.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.272 * [backup-simplify]: Simplify 0 into 0
23.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
23.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.273 * [backup-simplify]: Simplify 0 into 0
23.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
23.275 * [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
23.275 * [backup-simplify]: Simplify 0 into 0
23.275 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
23.275 * * * [progress]: simplifying candidates
23.275 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
23.275 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
23.275 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
23.275 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
23.275 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
23.275 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
23.275 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
23.275 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
23.275 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) 2))>
23.275 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
23.276 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
23.276 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
23.276 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t)))))>
23.276 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t)))))>
23.276 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* 2e-16 t) (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* 2e-16 t) (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))>
23.276 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))>
23.276 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 23 / 38 ] 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)))))>
23.276 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* 2e-16 t) (* 2e-16 t))) (sqrt (* (* 2e-16 t) (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* 2e-16 t) (* 2e-16 t))))>
23.276 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 2e-16) (* t t)))>
23.276 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
23.276 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
23.276 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
23.276 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
23.276 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))>
23.276 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* t (* 2e-16 t))))>
23.276 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))>
23.276 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
23.276 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
23.276 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
23.276 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
23.277 * [simplify]: Simplifying:
  (+ 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))
23.277 * * [simplify]: iteration 1: (39 enodes)
23.286 * * [simplify]: iteration 2: (94 enodes)
23.326 * * [simplify]: iteration 3: (332 enodes)
23.690 * * [simplify]: iteration 4: (1430 enodes)
31.786 * * [simplify]: Extracting #0: cost 14 inf + 0
31.787 * * [simplify]: Extracting #1: cost 178 inf + 1
31.790 * * [simplify]: Extracting #2: cost 417 inf + 3385
31.804 * * [simplify]: Extracting #3: cost 189 inf + 37257
31.858 * * [simplify]: Extracting #4: cost 5 inf + 80403
31.902 * * [simplify]: Extracting #5: cost 1 inf + 80187
31.930 * * [simplify]: Extracting #6: cost 0 inf + 80550
31.969 * [simplify]: Simplified to:
  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))
  (* t (* 2e-16 t))
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
31.971 * * * [progress]: adding candidates to table
32.140 * * [progress]: iteration 2 / 4
32.140 * * * [progress]: picking best candidate
32.146 * * * * [pick]: Picked  #<alt (λ (t) (* 2e-16 (* t (* 2e-16 t))))>
32.146 * * * [progress]: localizing error
32.153 * * * [progress]: generating rewritten candidates
32.153 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
32.185 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
32.198 * * * [progress]: generating series expansions
32.198 * * * * [progress]: [ 1 / 2 ] generating series at (2)
32.198 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2))
32.198 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
32.198 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
32.198 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
32.198 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.198 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.198 * [taylor]: Taking taylor expansion of t in t
32.198 * [backup-simplify]: Simplify 0 into 0
32.198 * [backup-simplify]: Simplify 1 into 1
32.198 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
32.198 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
32.198 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.198 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.198 * [taylor]: Taking taylor expansion of t in t
32.198 * [backup-simplify]: Simplify 0 into 0
32.198 * [backup-simplify]: Simplify 1 into 1
32.199 * [backup-simplify]: Simplify (* 1 1) into 1
32.199 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
32.199 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
32.200 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
32.200 * [backup-simplify]: Simplify 0 into 0
32.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
32.201 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
32.201 * [backup-simplify]: Simplify 0 into 0
32.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
32.203 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
32.203 * [backup-simplify]: Simplify 0 into 0
32.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
32.206 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
32.206 * [backup-simplify]: Simplify 0 into 0
32.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
32.208 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
32.208 * [backup-simplify]: Simplify 0 into 0
32.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
32.212 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
32.212 * [backup-simplify]: Simplify 0 into 0
32.212 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
32.212 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2))
32.212 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
32.212 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
32.212 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
32.212 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.212 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.212 * [taylor]: Taking taylor expansion of t in t
32.212 * [backup-simplify]: Simplify 0 into 0
32.212 * [backup-simplify]: Simplify 1 into 1
32.213 * [backup-simplify]: Simplify (* 1 1) into 1
32.213 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
32.213 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
32.213 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
32.213 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.213 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.213 * [taylor]: Taking taylor expansion of t in t
32.214 * [backup-simplify]: Simplify 0 into 0
32.214 * [backup-simplify]: Simplify 1 into 1
32.214 * [backup-simplify]: Simplify (* 1 1) into 1
32.214 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
32.214 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.215 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
32.216 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
32.216 * [backup-simplify]: Simplify 0 into 0
32.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
32.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.218 * [backup-simplify]: Simplify 0 into 0
32.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
32.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.220 * [backup-simplify]: Simplify 0 into 0
32.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
32.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.223 * [backup-simplify]: Simplify 0 into 0
32.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
32.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.225 * [backup-simplify]: Simplify 0 into 0
32.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
32.228 * [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
32.228 * [backup-simplify]: Simplify 0 into 0
32.228 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
32.228 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2))
32.228 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
32.228 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
32.228 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
32.228 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.228 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.228 * [taylor]: Taking taylor expansion of t in t
32.228 * [backup-simplify]: Simplify 0 into 0
32.228 * [backup-simplify]: Simplify 1 into 1
32.229 * [backup-simplify]: Simplify (* 1 1) into 1
32.229 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
32.229 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
32.229 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
32.229 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.229 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.229 * [taylor]: Taking taylor expansion of t in t
32.229 * [backup-simplify]: Simplify 0 into 0
32.229 * [backup-simplify]: Simplify 1 into 1
32.230 * [backup-simplify]: Simplify (* 1 1) into 1
32.230 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
32.230 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
32.231 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
32.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
32.232 * [backup-simplify]: Simplify 0 into 0
32.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
32.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.234 * [backup-simplify]: Simplify 0 into 0
32.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
32.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.237 * [backup-simplify]: Simplify 0 into 0
32.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
32.239 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.239 * [backup-simplify]: Simplify 0 into 0
32.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
32.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.241 * [backup-simplify]: Simplify 0 into 0
32.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
32.244 * [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
32.244 * [backup-simplify]: Simplify 0 into 0
32.244 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
32.244 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
32.244 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2))
32.244 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0
32.244 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
32.244 * [taylor]: Taking taylor expansion of 2e-16 in t
32.244 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.244 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.245 * [taylor]: Taking taylor expansion of t in t
32.245 * [backup-simplify]: Simplify 0 into 0
32.245 * [backup-simplify]: Simplify 1 into 1
32.245 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
32.245 * [taylor]: Taking taylor expansion of 2e-16 in t
32.245 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.245 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.245 * [taylor]: Taking taylor expansion of t in t
32.245 * [backup-simplify]: Simplify 0 into 0
32.245 * [backup-simplify]: Simplify 1 into 1
32.245 * [backup-simplify]: Simplify (* 1 1) into 1
32.246 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
32.246 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.246 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
32.247 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
32.247 * [backup-simplify]: Simplify 0 into 0
32.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
32.249 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
32.249 * [backup-simplify]: Simplify 0 into 0
32.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
32.250 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
32.250 * [backup-simplify]: Simplify 0 into 0
32.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
32.252 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
32.252 * [backup-simplify]: Simplify 0 into 0
32.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
32.253 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
32.253 * [backup-simplify]: Simplify 0 into 0
32.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
32.255 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
32.255 * [backup-simplify]: Simplify 0 into 0
32.255 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2))
32.255 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2))
32.255 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
32.255 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
32.255 * [taylor]: Taking taylor expansion of 2e-16 in t
32.255 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.255 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.255 * [taylor]: Taking taylor expansion of t in t
32.255 * [backup-simplify]: Simplify 0 into 0
32.255 * [backup-simplify]: Simplify 1 into 1
32.256 * [backup-simplify]: Simplify (* 1 1) into 1
32.256 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
32.256 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
32.256 * [taylor]: Taking taylor expansion of 2e-16 in t
32.256 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.256 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.256 * [taylor]: Taking taylor expansion of t in t
32.256 * [backup-simplify]: Simplify 0 into 0
32.256 * [backup-simplify]: Simplify 1 into 1
32.256 * [backup-simplify]: Simplify (* 1 1) into 1
32.257 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
32.257 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
32.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
32.258 * [backup-simplify]: Simplify 0 into 0
32.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
32.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.259 * [backup-simplify]: Simplify 0 into 0
32.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
32.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.260 * [backup-simplify]: Simplify 0 into 0
32.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
32.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.261 * [backup-simplify]: Simplify 0 into 0
32.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
32.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.263 * [backup-simplify]: Simplify 0 into 0
32.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
32.264 * [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
32.265 * [backup-simplify]: Simplify 0 into 0
32.265 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2))
32.265 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2))
32.265 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
32.265 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
32.265 * [taylor]: Taking taylor expansion of 2e-16 in t
32.265 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.265 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.265 * [taylor]: Taking taylor expansion of t in t
32.265 * [backup-simplify]: Simplify 0 into 0
32.265 * [backup-simplify]: Simplify 1 into 1
32.265 * [backup-simplify]: Simplify (* 1 1) into 1
32.265 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
32.265 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
32.265 * [taylor]: Taking taylor expansion of 2e-16 in t
32.265 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.265 * [taylor]: Taking taylor expansion of (pow t 2) in t
32.265 * [taylor]: Taking taylor expansion of t in t
32.265 * [backup-simplify]: Simplify 0 into 0
32.266 * [backup-simplify]: Simplify 1 into 1
32.266 * [backup-simplify]: Simplify (* 1 1) into 1
32.266 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
32.266 * [backup-simplify]: Simplify 2e-16 into 2e-16
32.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
32.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
32.267 * [backup-simplify]: Simplify 0 into 0
32.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
32.268 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.268 * [backup-simplify]: Simplify 0 into 0
32.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
32.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.269 * [backup-simplify]: Simplify 0 into 0
32.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
32.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.271 * [backup-simplify]: Simplify 0 into 0
32.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
32.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.272 * [backup-simplify]: Simplify 0 into 0
32.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
32.274 * [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
32.274 * [backup-simplify]: Simplify 0 into 0
32.274 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2))
32.274 * * * [progress]: simplifying candidates
32.274 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
32.274 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
32.274 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
32.274 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
32.274 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t))))))>
32.274 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (+ (log t) (log (* 2e-16 t))))))>
32.274 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (log (* t (* 2e-16 t))))))>
32.274 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* 2e-16 (* t (* 2e-16 t))))))>
32.274 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* 2e-16 (* t (* 2e-16 t))))))>
32.274 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))))>
32.274 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))))>
32.274 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))))>
32.274 * * * * [progress]: [ 13 / 47 ] 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))))))>
32.274 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 (* t (* 2e-16 t))) (* 2e-16 (* t (* 2e-16 t)))) (* 2e-16 (* t (* 2e-16 t))))))>
32.274 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* 2e-16 (* t (* 2e-16 t)))) (sqrt (* 2e-16 (* t (* 2e-16 t))))))>
32.274 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* 2e-16 (* t (* 2e-16 t)))))>
32.274 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
32.275 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t (* 2e-16 t)))))>
32.275 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))>
32.275 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* 2e-16 (* t (* 2e-16 t)))))>
32.275 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t (* 2e-16 t)) 2e-16))>
32.275 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
32.275 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
32.275 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
32.275 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (+ (log t) (+ (log 2e-16) (log t))))))>
32.275 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (+ (log t) (log (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (log (* t (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (log (exp (* t (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))))>
32.275 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))) (cbrt (* t (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 1 (* t (* 2e-16 t)))))>
32.275 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t 2e-16) t)))>
32.275 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t)))))>
32.275 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t)))))>
32.275 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 1 (* t (* 2e-16 t)))))>
32.275 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (posit16->real (real->posit16 (* t (* 2e-16 t))))))>
32.275 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* 2e-16 t) t)))>
32.275 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
32.275 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
32.275 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
32.275 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
32.275 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
32.275 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
32.276 * [simplify]: Simplifying:
  (* 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))))
  (* 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)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
32.276 * * [simplify]: iteration 1: (56 enodes)
32.291 * * [simplify]: iteration 2: (141 enodes)
32.361 * * [simplify]: iteration 3: (503 enodes)
33.260 * * [simplify]: Extracting #0: cost 22 inf + 0
33.261 * * [simplify]: Extracting #1: cost 175 inf + 0
33.264 * * [simplify]: Extracting #2: cost 222 inf + 4900
33.272 * * [simplify]: Extracting #3: cost 44 inf + 35175
33.291 * * [simplify]: Extracting #4: cost 1 inf + 40607
33.305 * * [simplify]: Extracting #5: cost 0 inf + 40628
33.326 * [simplify]: Simplified to:
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (+ (log (* 2e-16 t)) (log (* 2e-16 t)))
  (exp (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* 2e-16 t) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))))
  (* (* (* 2e-16 t) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))))
  (* (* (* 2e-16 t) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))))
  (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))
  (cbrt (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* 2e-16 t) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))))
  (fabs (* 2e-16 t))
  (fabs (* 2e-16 t))
  (* 2e-16 t)
  (* (* (* 2e-16 t) t) (cbrt 2e-16))
  (* (sqrt 2e-16) (* (* 2e-16 t) t))
  (* (* 2e-16 t) (* 2e-16 t))
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* (* 2e-16 t) t)
  (* (* 2e-16 t) t)
  (log (* (* 2e-16 t) t))
  (log (* (* 2e-16 t) t))
  (log (* (* 2e-16 t) t))
  (exp (* (* 2e-16 t) t))
  (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))
  (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))
  (* (cbrt (* (* 2e-16 t) t)) (cbrt (* (* 2e-16 t) t)))
  (cbrt (* (* 2e-16 t) t))
  (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))
  (sqrt (* (* 2e-16 t) t))
  (sqrt (* (* 2e-16 t) t))
  (* 2e-16 t)
  (* (cbrt t) (* 2e-16 t))
  (* (sqrt t) (* 2e-16 t))
  (* (* 2e-16 t) t)
  (real->posit16 (* (* 2e-16 t) t))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* 2e-16 t) t)
  (* (* 2e-16 t) t)
  (* (* 2e-16 t) t)
33.327 * * * [progress]: adding candidates to table
33.541 * * [progress]: iteration 3 / 4
33.541 * * * [progress]: picking best candidate
33.555 * * * * [pick]: Picked  #<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))>
33.555 * * * [progress]: localizing error
33.568 * * * [progress]: generating rewritten candidates
33.568 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
33.639 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
33.655 * * * [progress]: generating series expansions
33.655 * * * * [progress]: [ 1 / 2 ] generating series at (2)
33.655 * [backup-simplify]: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2))
33.655 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
33.655 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
33.655 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.655 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.655 * [taylor]: Taking taylor expansion of (pow t 2) in t
33.655 * [taylor]: Taking taylor expansion of t in t
33.655 * [backup-simplify]: Simplify 0 into 0
33.655 * [backup-simplify]: Simplify 1 into 1
33.655 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
33.655 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.655 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.655 * [taylor]: Taking taylor expansion of (pow t 2) in t
33.655 * [taylor]: Taking taylor expansion of t in t
33.655 * [backup-simplify]: Simplify 0 into 0
33.655 * [backup-simplify]: Simplify 1 into 1
33.656 * [backup-simplify]: Simplify (* 1 1) into 1
33.656 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
33.656 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.657 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
33.657 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
33.657 * [backup-simplify]: Simplify 0 into 0
33.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
33.658 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
33.658 * [backup-simplify]: Simplify 0 into 0
33.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
33.659 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
33.660 * [backup-simplify]: Simplify 0 into 0
33.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
33.661 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
33.661 * [backup-simplify]: Simplify 0 into 0
33.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
33.662 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
33.663 * [backup-simplify]: Simplify 0 into 0
33.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
33.664 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
33.664 * [backup-simplify]: Simplify 0 into 0
33.665 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
33.665 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2))
33.665 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
33.665 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
33.665 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.665 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.665 * [taylor]: Taking taylor expansion of (pow t 2) in t
33.665 * [taylor]: Taking taylor expansion of t in t
33.665 * [backup-simplify]: Simplify 0 into 0
33.665 * [backup-simplify]: Simplify 1 into 1
33.665 * [backup-simplify]: Simplify (* 1 1) into 1
33.665 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
33.665 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
33.665 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.665 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.665 * [taylor]: Taking taylor expansion of (pow t 2) in t
33.665 * [taylor]: Taking taylor expansion of t in t
33.665 * [backup-simplify]: Simplify 0 into 0
33.665 * [backup-simplify]: Simplify 1 into 1
33.666 * [backup-simplify]: Simplify (* 1 1) into 1
33.666 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
33.666 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.666 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
33.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
33.667 * [backup-simplify]: Simplify 0 into 0
33.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
33.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.668 * [backup-simplify]: Simplify 0 into 0
33.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
33.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.669 * [backup-simplify]: Simplify 0 into 0
33.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
33.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.671 * [backup-simplify]: Simplify 0 into 0
33.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
33.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.672 * [backup-simplify]: Simplify 0 into 0
33.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
33.673 * [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
33.674 * [backup-simplify]: Simplify 0 into 0
33.674 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
33.674 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2))
33.674 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
33.674 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
33.674 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.674 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.674 * [taylor]: Taking taylor expansion of (pow t 2) in t
33.674 * [taylor]: Taking taylor expansion of t in t
33.674 * [backup-simplify]: Simplify 0 into 0
33.674 * [backup-simplify]: Simplify 1 into 1
33.674 * [backup-simplify]: Simplify (* 1 1) into 1
33.674 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
33.674 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
33.674 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.674 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.675 * [taylor]: Taking taylor expansion of (pow t 2) in t
33.675 * [taylor]: Taking taylor expansion of t in t
33.675 * [backup-simplify]: Simplify 0 into 0
33.675 * [backup-simplify]: Simplify 1 into 1
33.675 * [backup-simplify]: Simplify (* 1 1) into 1
33.675 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
33.675 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
33.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
33.676 * [backup-simplify]: Simplify 0 into 0
33.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
33.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.677 * [backup-simplify]: Simplify 0 into 0
33.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
33.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.678 * [backup-simplify]: Simplify 0 into 0
33.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
33.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.680 * [backup-simplify]: Simplify 0 into 0
33.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
33.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.681 * [backup-simplify]: Simplify 0 into 0
33.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
33.683 * [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
33.683 * [backup-simplify]: Simplify 0 into 0
33.683 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
33.683 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
33.683 * [backup-simplify]: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t)
33.683 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0
33.683 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
33.683 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.683 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.683 * [taylor]: Taking taylor expansion of t in t
33.683 * [backup-simplify]: Simplify 0 into 0
33.683 * [backup-simplify]: Simplify 1 into 1
33.683 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
33.683 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.683 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.683 * [taylor]: Taking taylor expansion of t in t
33.683 * [backup-simplify]: Simplify 0 into 0
33.683 * [backup-simplify]: Simplify 1 into 1
33.684 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0
33.684 * [backup-simplify]: Simplify 0 into 0
33.684 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32
33.684 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.685 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0
33.685 * [backup-simplify]: Simplify 0 into 0
33.686 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
33.686 * [backup-simplify]: Simplify 0 into 0
33.687 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
33.687 * [backup-simplify]: Simplify 0 into 0
33.688 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
33.688 * [backup-simplify]: Simplify 0 into 0
33.688 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
33.689 * [backup-simplify]: Simplify 0 into 0
33.690 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
33.690 * [backup-simplify]: Simplify 0 into 0
33.690 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t)
33.690 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t)
33.690 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0
33.690 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
33.690 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.690 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.690 * [taylor]: Taking taylor expansion of t in t
33.690 * [backup-simplify]: Simplify 0 into 0
33.690 * [backup-simplify]: Simplify 1 into 1
33.690 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
33.690 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
33.690 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
33.690 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.690 * [taylor]: Taking taylor expansion of t in t
33.690 * [backup-simplify]: Simplify 0 into 0
33.690 * [backup-simplify]: Simplify 1 into 1
33.691 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
33.691 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
33.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
33.691 * [backup-simplify]: Simplify 0 into 0
33.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.692 * [backup-simplify]: Simplify 0 into 0
33.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.693 * [backup-simplify]: Simplify 0 into 0
33.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.693 * [backup-simplify]: Simplify 0 into 0
33.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.694 * [backup-simplify]: Simplify 0 into 0
33.694 * [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
33.694 * [backup-simplify]: Simplify 0 into 0
33.695 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t)
33.695 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t)
33.695 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0
33.695 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
33.695 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
33.695 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
33.695 * [taylor]: Taking taylor expansion of t in t
33.695 * [backup-simplify]: Simplify 0 into 0
33.695 * [backup-simplify]: Simplify 1 into 1
33.695 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
33.695 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
33.695 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
33.695 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
33.695 * [taylor]: Taking taylor expansion of t in t
33.695 * [backup-simplify]: Simplify 0 into 0
33.695 * [backup-simplify]: Simplify 1 into 1
33.695 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
33.696 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
33.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0
33.696 * [backup-simplify]: Simplify 0 into 0
33.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.697 * [backup-simplify]: Simplify 0 into 0
33.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.699 * [backup-simplify]: Simplify 0 into 0
33.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.700 * [backup-simplify]: Simplify 0 into 0
33.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.701 * [backup-simplify]: Simplify 0 into 0
33.701 * [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
33.702 * [backup-simplify]: Simplify 0 into 0
33.702 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t)
33.702 * * * [progress]: simplifying candidates
33.702 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* 2e-16 t) 2e-16) t) 1))>
33.702 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* 2e-16 t) 2e-16) t) 1))>
33.702 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* 2e-16 t) 2e-16) t) 1))>
33.702 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* 2e-16 t) 2e-16) t) 1))>
33.702 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (+ (log 2e-16) (log t)) (log 2e-16)) (log t))))>
33.702 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log (* 2e-16 t)) (log 2e-16)) (log t))))>
33.702 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* (* 2e-16 t) 2e-16)) (log t))))>
33.702 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* (* 2e-16 t) 2e-16) t))))>
33.703 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* (* 2e-16 t) 2e-16) t))))>
33.703 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))))>
33.703 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))))>
33.703 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)) (* (* t t) t))))>
33.703 * * * * [progress]: [ 13 / 47 ] 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))))>
33.703 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 2e-16 t) 2e-16) t) (* (* (* 2e-16 t) 2e-16) t)) (* (* (* 2e-16 t) 2e-16) t))))>
33.703 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* (* 2e-16 t) 2e-16) t)) (sqrt (* (* (* 2e-16 t) 2e-16) t))))>
33.703 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* 2e-16 t) 2e-16) t)))>
33.703 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) 2e-16) (* (cbrt t) (cbrt t))) (cbrt t)))>
33.703 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) 2e-16) (sqrt t)) (sqrt t)))>
33.703 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) 2e-16) 1) t))>
33.703 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
33.703 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))>
33.703 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* 2e-16 t) 2e-16)))>
33.703 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* 2e-16 t) 2e-16) 1) t))>
33.703 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* 2e-16 t) 2e-16) 1) t))>
33.703 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* 2e-16 t) 2e-16) 1) t))>
33.704 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (+ (log 2e-16) (log t)) (log 2e-16))) t))>
33.704 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (log (* 2e-16 t)) (log 2e-16))) t))>
33.704 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (log (* (* 2e-16 t) 2e-16))) t))>
33.704 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (* (log (exp (* (* 2e-16 t) 2e-16))) t))>
33.704 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))) t))>
33.704 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16))) t))>
33.704 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* (* 2e-16 t) 2e-16)) (cbrt (* (* 2e-16 t) 2e-16))) (cbrt (* (* 2e-16 t) 2e-16))) t))>
33.704 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16))) t))>
33.704 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* 2e-16 t) 2e-16)) (sqrt (* (* 2e-16 t) 2e-16))) t))>
33.704 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* 2e-16 t) 2e-16)) t))>
33.704 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)) t))>
33.704 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) (sqrt 2e-16)) (sqrt 2e-16)) t))>
33.704 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) 1) 2e-16) t))>
33.704 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* t 2e-16)) t))>
33.704 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (* (posit16->real (real->posit16 (* (* 2e-16 t) 2e-16))) t))>
33.704 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* 2e-16 t)) t))>
33.704 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
33.705 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
33.705 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
33.705 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
33.705 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
33.705 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
33.706 * [simplify]: Simplifying:
  (* (* (* 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 t)) (log 2e-16)) (log t))
  (+ (log (* (* 2e-16 t) 2e-16)) (log 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 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))
  (* (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)) (* (* t t) 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) 2e-16) (* (cbrt t) (cbrt t)))
  (* (* (* 2e-16 t) 2e-16) (sqrt t))
  (* (* (* 2e-16 t) 2e-16) 1)
  (* 2e-16 t)
  (real->posit16 (* (* (* 2e-16 t) 2e-16) t))
  (* (* 2e-16 t) 2e-16)
  (* (* 2e-16 t) 2e-16)
  (+ (+ (log 2e-16) (log t)) (log 2e-16))
  (+ (log (* 2e-16 t)) (log 2e-16))
  (log (* (* 2e-16 t) 2e-16))
  (exp (* (* 2e-16 t) 2e-16))
  (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16))
  (* (cbrt (* (* 2e-16 t) 2e-16)) (cbrt (* (* 2e-16 t) 2e-16)))
  (cbrt (* (* 2e-16 t) 2e-16))
  (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16))
  (sqrt (* (* 2e-16 t) 2e-16))
  (sqrt (* (* 2e-16 t) 2e-16))
  (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16)))
  (* (* 2e-16 t) (sqrt 2e-16))
  (* (* 2e-16 t) 1)
  (* t 2e-16)
  (real->posit16 (* (* 2e-16 t) 2e-16))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
33.706 * * [simplify]: iteration 1: (61 enodes)
33.730 * * [simplify]: iteration 2: (163 enodes)
33.812 * * [simplify]: iteration 3: (586 enodes)
34.705 * * [simplify]: Extracting #0: cost 23 inf + 0
34.706 * * [simplify]: Extracting #1: cost 228 inf + 0
34.710 * * [simplify]: Extracting #2: cost 283 inf + 4553
34.719 * * [simplify]: Extracting #3: cost 81 inf + 36836
34.744 * * [simplify]: Extracting #4: cost 5 inf + 50089
34.774 * * [simplify]: Extracting #5: cost 0 inf + 51142
34.790 * [simplify]: Simplified to:
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (log (* (* 2e-16 t) (* 2e-16 t)))
  (log (* (* 2e-16 t) (* 2e-16 t)))
  (log (* (* 2e-16 t) (* 2e-16 t)))
  (log (* (* 2e-16 t) (* 2e-16 t)))
  (exp (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))
  (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))
  (cbrt (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))
  (fabs (* 2e-16 t))
  (fabs (* 2e-16 t))
  (* (* (* 2e-16 2e-16) (* (cbrt t) (cbrt t))) t)
  (* 2e-16 (* (sqrt t) (* 2e-16 t)))
  (* (* 2e-16 t) 2e-16)
  (* 2e-16 t)
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* (* 2e-16 t) 2e-16)
  (* (* 2e-16 t) 2e-16)
  (log (* (* 2e-16 t) 2e-16))
  (log (* (* 2e-16 t) 2e-16))
  (log (* (* 2e-16 t) 2e-16))
  (exp (* (* 2e-16 t) 2e-16))
  (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16))
  (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16))
  (* (cbrt (* (* 2e-16 t) 2e-16)) (cbrt (* (* 2e-16 t) 2e-16)))
  (cbrt (* (* 2e-16 t) 2e-16))
  (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16))
  (sqrt (* (* 2e-16 t) 2e-16))
  (sqrt (* (* 2e-16 t) 2e-16))
  (* t (* (* (cbrt 2e-16) (cbrt 2e-16)) 2e-16))
  (* (* t 2e-16) (sqrt 2e-16))
  (* 2e-16 t)
  (* 2e-16 t)
  (real->posit16 (* (* 2e-16 t) 2e-16))
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
34.791 * * * [progress]: adding candidates to table
35.066 * * [progress]: iteration 4 / 4
35.066 * * * [progress]: picking best candidate
35.083 * * * * [pick]: Picked  #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))>
35.083 * * * [progress]: localizing error
35.107 * * * [progress]: generating rewritten candidates
35.107 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
35.232 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
35.281 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
35.294 * * * [progress]: generating series expansions
35.294 * * * * [progress]: [ 1 / 3 ] generating series at (2)
35.295 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
35.295 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in (t) around 0
35.295 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t
35.295 * [taylor]: Taking taylor expansion of 2e-16 in t
35.295 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.295 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t
35.295 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.295 * [taylor]: Taking taylor expansion of t in t
35.295 * [backup-simplify]: Simplify 0 into 0
35.295 * [backup-simplify]: Simplify 1 into 1
35.295 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
35.295 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.295 * [taylor]: Taking taylor expansion of 2e-16 in t
35.295 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.296 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.296 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.296 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t
35.296 * [taylor]: Taking taylor expansion of 2e-16 in t
35.296 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.296 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t
35.296 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.296 * [taylor]: Taking taylor expansion of t in t
35.296 * [backup-simplify]: Simplify 0 into 0
35.296 * [backup-simplify]: Simplify 1 into 1
35.296 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
35.296 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.296 * [taylor]: Taking taylor expansion of 2e-16 in t
35.296 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.297 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.297 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.297 * [backup-simplify]: Simplify (* 1 1) into 1
35.298 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
35.299 * [backup-simplify]: Simplify (* 1 (pow (sqrt 2e-16) 2)) into (pow (sqrt 2e-16) 2)
35.300 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
35.301 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
35.301 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
35.302 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.302 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
35.303 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
35.303 * [backup-simplify]: Simplify 0 into 0
35.304 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
35.305 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
35.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
35.307 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
35.307 * [backup-simplify]: Simplify 0 into 0
35.308 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.308 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
35.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
35.311 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
35.311 * [backup-simplify]: Simplify 0 into 0
35.311 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.312 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
35.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
35.315 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
35.315 * [backup-simplify]: Simplify 0 into 0
35.318 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.319 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
35.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
35.321 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
35.321 * [backup-simplify]: Simplify 0 into 0
35.322 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.323 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
35.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
35.327 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
35.327 * [backup-simplify]: Simplify 0 into 0
35.329 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow t 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
35.330 * [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)))
35.330 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0
35.330 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
35.330 * [taylor]: Taking taylor expansion of 2e-16 in t
35.330 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.331 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
35.331 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
35.331 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.331 * [taylor]: Taking taylor expansion of 2e-16 in t
35.331 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.331 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.332 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.332 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.332 * [taylor]: Taking taylor expansion of t in t
35.332 * [backup-simplify]: Simplify 0 into 0
35.332 * [backup-simplify]: Simplify 1 into 1
35.333 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
35.334 * [backup-simplify]: Simplify (* 1 1) into 1
35.335 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
35.335 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
35.335 * [taylor]: Taking taylor expansion of 2e-16 in t
35.335 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.335 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
35.335 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
35.335 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.335 * [taylor]: Taking taylor expansion of 2e-16 in t
35.335 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.336 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.336 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.336 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.336 * [taylor]: Taking taylor expansion of t in t
35.337 * [backup-simplify]: Simplify 0 into 0
35.337 * [backup-simplify]: Simplify 1 into 1
35.338 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
35.338 * [backup-simplify]: Simplify (* 1 1) into 1
35.340 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
35.342 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
35.344 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
35.344 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
35.345 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
35.347 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
35.347 * [backup-simplify]: Simplify 0 into 0
35.349 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
35.350 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
35.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.352 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.353 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
35.354 * [backup-simplify]: Simplify 0 into 0
35.355 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.356 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
35.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.359 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.361 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
35.361 * [backup-simplify]: Simplify 0 into 0
35.362 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.364 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
35.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.367 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
35.367 * [backup-simplify]: Simplify 0 into 0
35.368 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.369 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
35.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.370 * [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
35.372 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
35.372 * [backup-simplify]: Simplify 0 into 0
35.373 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.373 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
35.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.375 * [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
35.376 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
35.376 * [backup-simplify]: Simplify 0 into 0
35.377 * [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)))
35.378 * [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)))
35.378 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0
35.378 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
35.378 * [taylor]: Taking taylor expansion of 2e-16 in t
35.378 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.378 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
35.378 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
35.378 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.378 * [taylor]: Taking taylor expansion of 2e-16 in t
35.378 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.378 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.379 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.379 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.379 * [taylor]: Taking taylor expansion of t in t
35.379 * [backup-simplify]: Simplify 0 into 0
35.379 * [backup-simplify]: Simplify 1 into 1
35.380 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
35.380 * [backup-simplify]: Simplify (* 1 1) into 1
35.381 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
35.381 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
35.381 * [taylor]: Taking taylor expansion of 2e-16 in t
35.381 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.381 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
35.381 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
35.381 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.381 * [taylor]: Taking taylor expansion of 2e-16 in t
35.381 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.381 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.382 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.382 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.382 * [taylor]: Taking taylor expansion of t in t
35.382 * [backup-simplify]: Simplify 0 into 0
35.382 * [backup-simplify]: Simplify 1 into 1
35.383 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
35.383 * [backup-simplify]: Simplify (* 1 1) into 1
35.384 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
35.385 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
35.386 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
35.386 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
35.386 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
35.388 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
35.388 * [backup-simplify]: Simplify 0 into 0
35.388 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
35.389 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
35.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.391 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
35.391 * [backup-simplify]: Simplify 0 into 0
35.392 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.393 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
35.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.395 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
35.396 * [backup-simplify]: Simplify 0 into 0
35.396 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.397 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
35.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.399 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
35.400 * [backup-simplify]: Simplify 0 into 0
35.400 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.401 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
35.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.403 * [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
35.404 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
35.404 * [backup-simplify]: Simplify 0 into 0
35.404 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.405 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
35.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.407 * [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
35.408 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
35.408 * [backup-simplify]: Simplify 0 into 0
35.409 * [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)))
35.409 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
35.410 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* t (* 2e-16 t))) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
35.410 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in (t) around 0
35.410 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in t
35.410 * [taylor]: Taking taylor expansion of 2e-16 in t
35.410 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.410 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 2e-16)) in t
35.410 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.410 * [taylor]: Taking taylor expansion of t in t
35.410 * [backup-simplify]: Simplify 0 into 0
35.410 * [backup-simplify]: Simplify 1 into 1
35.410 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.410 * [taylor]: Taking taylor expansion of 2e-16 in t
35.410 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.410 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.410 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.410 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in t
35.410 * [taylor]: Taking taylor expansion of 2e-16 in t
35.411 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.411 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 2e-16)) in t
35.411 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.411 * [taylor]: Taking taylor expansion of t in t
35.411 * [backup-simplify]: Simplify 0 into 0
35.411 * [backup-simplify]: Simplify 1 into 1
35.411 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.411 * [taylor]: Taking taylor expansion of 2e-16 in t
35.411 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.411 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.411 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.412 * [backup-simplify]: Simplify (* 1 1) into 1
35.412 * [backup-simplify]: Simplify (* 1 (sqrt 2e-16)) into (sqrt 2e-16)
35.413 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
35.413 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
35.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 2e-16))) into 0
35.415 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
35.415 * [backup-simplify]: Simplify 0 into 0
35.415 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
35.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
35.418 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
35.418 * [backup-simplify]: Simplify 0 into 0
35.419 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
35.421 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
35.421 * [backup-simplify]: Simplify 0 into 0
35.422 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
35.424 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
35.424 * [backup-simplify]: Simplify 0 into 0
35.425 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
35.427 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
35.427 * [backup-simplify]: Simplify 0 into 0
35.428 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
35.432 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
35.432 * [backup-simplify]: Simplify 0 into 0
35.432 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow t 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
35.433 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (* 2e-16 (/ (sqrt 2e-16) (pow t 2)))
35.433 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in (t) around 0
35.433 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
35.433 * [taylor]: Taking taylor expansion of 2e-16 in t
35.433 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.433 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
35.433 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.433 * [taylor]: Taking taylor expansion of 2e-16 in t
35.433 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.433 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.434 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.434 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.434 * [taylor]: Taking taylor expansion of t in t
35.434 * [backup-simplify]: Simplify 0 into 0
35.434 * [backup-simplify]: Simplify 1 into 1
35.434 * [backup-simplify]: Simplify (* 1 1) into 1
35.434 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
35.434 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
35.434 * [taylor]: Taking taylor expansion of 2e-16 in t
35.434 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.435 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
35.435 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.435 * [taylor]: Taking taylor expansion of 2e-16 in t
35.435 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.435 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.435 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.435 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.435 * [taylor]: Taking taylor expansion of t in t
35.435 * [backup-simplify]: Simplify 0 into 0
35.435 * [backup-simplify]: Simplify 1 into 1
35.436 * [backup-simplify]: Simplify (* 1 1) into 1
35.436 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
35.437 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
35.437 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
35.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
35.439 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
35.439 * [backup-simplify]: Simplify 0 into 0
35.439 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
35.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.441 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
35.441 * [backup-simplify]: Simplify 0 into 0
35.442 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.443 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.444 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
35.444 * [backup-simplify]: Simplify 0 into 0
35.445 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.447 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
35.447 * [backup-simplify]: Simplify 0 into 0
35.447 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.450 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
35.450 * [backup-simplify]: Simplify 0 into 0
35.451 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.452 * [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
35.453 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
35.453 * [backup-simplify]: Simplify 0 into 0
35.454 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
35.454 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (* 2e-16 (/ (sqrt 2e-16) (pow t 2)))
35.454 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in (t) around 0
35.454 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
35.454 * [taylor]: Taking taylor expansion of 2e-16 in t
35.454 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.454 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
35.454 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.454 * [taylor]: Taking taylor expansion of 2e-16 in t
35.454 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.454 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.455 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.455 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.455 * [taylor]: Taking taylor expansion of t in t
35.455 * [backup-simplify]: Simplify 0 into 0
35.455 * [backup-simplify]: Simplify 1 into 1
35.455 * [backup-simplify]: Simplify (* 1 1) into 1
35.456 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
35.456 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
35.456 * [taylor]: Taking taylor expansion of 2e-16 in t
35.456 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.456 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
35.456 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
35.456 * [taylor]: Taking taylor expansion of 2e-16 in t
35.456 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.456 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
35.457 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
35.457 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.457 * [taylor]: Taking taylor expansion of t in t
35.457 * [backup-simplify]: Simplify 0 into 0
35.457 * [backup-simplify]: Simplify 1 into 1
35.457 * [backup-simplify]: Simplify (* 1 1) into 1
35.457 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
35.458 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
35.458 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
35.459 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
35.460 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
35.460 * [backup-simplify]: Simplify 0 into 0
35.461 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
35.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.462 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.463 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
35.463 * [backup-simplify]: Simplify 0 into 0
35.464 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.467 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
35.467 * [backup-simplify]: Simplify 0 into 0
35.469 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.472 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
35.472 * [backup-simplify]: Simplify 0 into 0
35.473 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.477 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
35.477 * [backup-simplify]: Simplify 0 into 0
35.478 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
35.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.481 * [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
35.482 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
35.483 * [backup-simplify]: Simplify 0 into 0
35.483 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
35.483 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
35.484 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2))
35.484 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0
35.484 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
35.484 * [taylor]: Taking taylor expansion of 2e-16 in t
35.484 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.484 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.484 * [taylor]: Taking taylor expansion of t in t
35.484 * [backup-simplify]: Simplify 0 into 0
35.484 * [backup-simplify]: Simplify 1 into 1
35.484 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
35.484 * [taylor]: Taking taylor expansion of 2e-16 in t
35.484 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.484 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.484 * [taylor]: Taking taylor expansion of t in t
35.484 * [backup-simplify]: Simplify 0 into 0
35.484 * [backup-simplify]: Simplify 1 into 1
35.484 * [backup-simplify]: Simplify (* 1 1) into 1
35.485 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
35.485 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.486 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
35.486 * [backup-simplify]: Simplify 0 into 0
35.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.488 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
35.488 * [backup-simplify]: Simplify 0 into 0
35.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.490 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.490 * [backup-simplify]: Simplify 0 into 0
35.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.491 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.491 * [backup-simplify]: Simplify 0 into 0
35.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.494 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.494 * [backup-simplify]: Simplify 0 into 0
35.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.497 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.497 * [backup-simplify]: Simplify 0 into 0
35.497 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2))
35.497 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2))
35.497 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
35.497 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
35.497 * [taylor]: Taking taylor expansion of 2e-16 in t
35.497 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.497 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.497 * [taylor]: Taking taylor expansion of t in t
35.497 * [backup-simplify]: Simplify 0 into 0
35.497 * [backup-simplify]: Simplify 1 into 1
35.498 * [backup-simplify]: Simplify (* 1 1) into 1
35.498 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
35.498 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
35.498 * [taylor]: Taking taylor expansion of 2e-16 in t
35.498 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.498 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.498 * [taylor]: Taking taylor expansion of t in t
35.498 * [backup-simplify]: Simplify 0 into 0
35.498 * [backup-simplify]: Simplify 1 into 1
35.499 * [backup-simplify]: Simplify (* 1 1) into 1
35.499 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
35.499 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.500 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
35.501 * [backup-simplify]: Simplify 0 into 0
35.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.503 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.503 * [backup-simplify]: Simplify 0 into 0
35.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.505 * [backup-simplify]: Simplify 0 into 0
35.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.507 * [backup-simplify]: Simplify 0 into 0
35.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.509 * [backup-simplify]: Simplify 0 into 0
35.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.512 * [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
35.512 * [backup-simplify]: Simplify 0 into 0
35.512 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2))
35.512 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2))
35.512 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
35.512 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
35.512 * [taylor]: Taking taylor expansion of 2e-16 in t
35.512 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.512 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.512 * [taylor]: Taking taylor expansion of t in t
35.512 * [backup-simplify]: Simplify 0 into 0
35.512 * [backup-simplify]: Simplify 1 into 1
35.513 * [backup-simplify]: Simplify (* 1 1) into 1
35.513 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
35.513 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
35.513 * [taylor]: Taking taylor expansion of 2e-16 in t
35.513 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.513 * [taylor]: Taking taylor expansion of (pow t 2) in t
35.513 * [taylor]: Taking taylor expansion of t in t
35.513 * [backup-simplify]: Simplify 0 into 0
35.513 * [backup-simplify]: Simplify 1 into 1
35.514 * [backup-simplify]: Simplify (* 1 1) into 1
35.514 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
35.514 * [backup-simplify]: Simplify 2e-16 into 2e-16
35.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
35.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
35.516 * [backup-simplify]: Simplify 0 into 0
35.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
35.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.518 * [backup-simplify]: Simplify 0 into 0
35.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
35.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.520 * [backup-simplify]: Simplify 0 into 0
35.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
35.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.522 * [backup-simplify]: Simplify 0 into 0
35.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
35.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
35.525 * [backup-simplify]: Simplify 0 into 0
35.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
35.528 * [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
35.528 * [backup-simplify]: Simplify 0 into 0
35.528 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2))
35.528 * * * [progress]: simplifying candidates
35.528 * * * * [progress]: [ 1 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
35.528 * * * * [progress]: [ 2 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
35.528 * * * * [progress]: [ 3 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
35.528 * * * * [progress]: [ 4 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
35.528 * * * * [progress]: [ 5 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))) 1))>
35.528 * * * * [progress]: [ 6 / 81 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (+ (log 2e-16) (log t)))))))>
35.528 * * * * [progress]: [ 7 / 81 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (log (* 2e-16 t)))))))>
35.528 * * * * [progress]: [ 8 / 81 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (log (* t (* 2e-16 t)))))))>
35.529 * * * * [progress]: [ 9 / 81 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 2e-16)) (log (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
35.529 * * * * [progress]: [ 10 / 81 ] simplifiying candidate #<alt (λ (t) (exp (log (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
35.529 * * * * [progress]: [ 11 / 81 ] simplifiying candidate #<alt (λ (t) (log (exp (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
35.529 * * * * [progress]: [ 12 / 81 ] 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)))))))>
35.529 * * * * [progress]: [ 13 / 81 ] 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)))))))>
35.529 * * * * [progress]: [ 14 / 81 ] 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)))))))>
35.529 * * * * [progress]: [ 15 / 81 ] 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)))))))>
35.529 * * * * [progress]: [ 16 / 81 ] 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)))))))>
35.529 * * * * [progress]: [ 17 / 81 ] 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)))))))>
35.529 * * * * [progress]: [ 18 / 81 ] 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)))))))>
35.529 * * * * [progress]: [ 19 / 81 ] simplifiying candidate #<alt (λ (t) (* 1 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.529 * * * * [progress]: [ 20 / 81 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (* t (* 2e-16 t))))>
35.529 * * * * [progress]: [ 21 / 81 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* (cbrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.529 * * * * [progress]: [ 22 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.529 * * * * [progress]: [ 23 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.530 * * * * [progress]: [ 24 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 1) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.530 * * * * [progress]: [ 25 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.530 * * * * [progress]: [ 26 / 81 ] simplifiying candidate #<alt (λ (t) (* 1 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.530 * * * * [progress]: [ 27 / 81 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
35.530 * * * * [progress]: [ 28 / 81 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (sqrt 2e-16)))>
35.530 * * * * [progress]: [ 29 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t (* 2e-16 t))) 1)))>
35.530 * * * * [progress]: [ 30 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t (* 2e-16 t))) 1)))>
35.530 * * * * [progress]: [ 31 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t (* 2e-16 t))) 1)))>
35.530 * * * * [progress]: [ 32 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t (* 2e-16 t))) 1)))>
35.530 * * * * [progress]: [ 33 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (exp (+ (log (sqrt 2e-16)) (+ (log t) (+ (log 2e-16) (log t)))))))>
35.530 * * * * [progress]: [ 34 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (exp (+ (log (sqrt 2e-16)) (+ (log t) (log (* 2e-16 t)))))))>
35.530 * * * * [progress]: [ 35 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (exp (+ (log (sqrt 2e-16)) (log (* t (* 2e-16 t)))))))>
35.530 * * * * [progress]: [ 36 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (exp (log (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
35.530 * * * * [progress]: [ 37 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (log (exp (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
35.530 * * * * [progress]: [ 38 / 81 ] 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)))))))>
35.530 * * * * [progress]: [ 39 / 81 ] 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)))))))>
35.530 * * * * [progress]: [ 40 / 81 ] 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)))))))>
35.531 * * * * [progress]: [ 41 / 81 ] 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)))))))>
35.531 * * * * [progress]: [ 42 / 81 ] 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)))))))>
35.531 * * * * [progress]: [ 43 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t)))) (sqrt (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
35.531 * * * * [progress]: [ 44 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 1 (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.531 * * * * [progress]: [ 45 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (* (sqrt 2e-16) t) (* 2e-16 t))))>
35.531 * * * * [progress]: [ 46 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* (cbrt (sqrt 2e-16)) (* t (* 2e-16 t))))))>
35.531 * * * * [progress]: [ 47 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* t (* 2e-16 t))))))>
35.531 * * * * [progress]: [ 48 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* t (* 2e-16 t))))))>
35.531 * * * * [progress]: [ 49 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 1) (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.531 * * * * [progress]: [ 50 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* t (* 2e-16 t))))))>
35.531 * * * * [progress]: [ 51 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 1 (* (sqrt 2e-16) (* t (* 2e-16 t))))))>
35.531 * * * * [progress]: [ 52 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (posit16->real (real->posit16 (* (sqrt 2e-16) (* t (* 2e-16 t)))))))>
35.531 * * * * [progress]: [ 53 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (* t (* 2e-16 t)) (sqrt 2e-16))))>
35.531 * * * * [progress]: [ 54 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (pow (* t (* 2e-16 t)) 1))))>
35.531 * * * * [progress]: [ 55 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (pow (* t (* 2e-16 t)) 1))))>
35.531 * * * * [progress]: [ 56 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (pow (* t (* 2e-16 t)) 1))))>
35.532 * * * * [progress]: [ 57 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (+ (log t) (+ (log 2e-16) (log t)))))))>
35.532 * * * * [progress]: [ 58 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (+ (log t) (log (* 2e-16 t)))))))>
35.532 * * * * [progress]: [ 59 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (exp (log (* t (* 2e-16 t)))))))>
35.532 * * * * [progress]: [ 60 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (log (exp (* t (* 2e-16 t)))))))>
35.532 * * * * [progress]: [ 61 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))))>
35.532 * * * * [progress]: [ 62 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))))>
35.533 * * * * [progress]: [ 63 / 81 ] 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)))))))>
35.533 * * * * [progress]: [ 64 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (cbrt (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))))))>
35.533 * * * * [progress]: [ 65 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t)))))))>
35.533 * * * * [progress]: [ 66 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 1 (* t (* 2e-16 t))))))>
35.533 * * * * [progress]: [ 67 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* t 2e-16) t))))>
35.533 * * * * [progress]: [ 68 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t))))))>
35.533 * * * * [progress]: [ 69 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (sqrt t) (* (sqrt t) (* 2e-16 t))))))>
35.533 * * * * [progress]: [ 70 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 1 (* t (* 2e-16 t))))))>
35.533 * * * * [progress]: [ 71 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (posit16->real (real->posit16 (* t (* 2e-16 t)))))))>
35.534 * * * * [progress]: [ 72 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (* 2e-16 t) t))))>
35.534 * * * * [progress]: [ 73 / 81 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
35.534 * * * * [progress]: [ 74 / 81 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
35.534 * * * * [progress]: [ 75 / 81 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
35.534 * * * * [progress]: [ 76 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 2e-16 (* (pow t 2) (sqrt 2e-16)))))>
35.534 * * * * [progress]: [ 77 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 2e-16 (* (pow t 2) (sqrt 2e-16)))))>
35.534 * * * * [progress]: [ 78 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* 2e-16 (* (pow t 2) (sqrt 2e-16)))))>
35.534 * * * * [progress]: [ 79 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 2e-16 (pow t 2)))))>
35.534 * * * * [progress]: [ 80 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 2e-16 (pow t 2)))))>
35.534 * * * * [progress]: [ 81 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* 2e-16 (pow t 2)))))>
35.536 * [simplify]: Simplifying:
  (* (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)))))
  (* (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))))
  (* 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)))
  (* 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)))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
35.537 * * [simplify]: iteration 1: (87 enodes)
35.570 * * [simplify]: iteration 2: (226 enodes)
35.663 * * [simplify]: iteration 3: (857 enodes)
37.262 * * [simplify]: Extracting #0: cost 35 inf + 0
37.264 * * [simplify]: Extracting #1: cost 358 inf + 1
37.274 * * [simplify]: Extracting #2: cost 601 inf + 17589
37.318 * * [simplify]: Extracting #3: cost 189 inf + 108491
37.372 * * [simplify]: Extracting #4: cost 5 inf + 141350
37.421 * * [simplify]: Extracting #5: cost 0 inf + 142602
37.484 * [simplify]: Simplified to:
  (* (* 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 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 (sqrt 2e-16)) (cbrt (sqrt 2e-16))))
  (* (* (sqrt 2e-16) (* t (* 2e-16 t))) (sqrt (cbrt 2e-16)))
  (* (* (* t (* 2e-16 t)) (sqrt (sqrt 2e-16))) (sqrt 2e-16))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* (* t (* 2e-16 t)) (sqrt (sqrt 2e-16))) (sqrt 2e-16))
  (* (* 2e-16 t) (* 2e-16 t))
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* (* t (sqrt 2e-16)) (* 2e-16 t))
  (* (* t (sqrt 2e-16)) (* 2e-16 t))
  (* (* t (sqrt 2e-16)) (* 2e-16 t))
  (log (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (log (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (log (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (log (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (exp (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* t (* 2e-16 t))) (* (* 2e-16 t) (* t (* 2e-16 t)))) (sqrt 2e-16))
  (* (* (* (* 2e-16 t) (* t (* 2e-16 t))) (* (* 2e-16 t) (* t (* 2e-16 t)))) (sqrt 2e-16))
  (* (* (* (* 2e-16 t) (* t (* 2e-16 t))) (* (* 2e-16 t) (* t (* 2e-16 t)))) (sqrt 2e-16))
  (* (cbrt (* (* t (sqrt 2e-16)) (* 2e-16 t))) (cbrt (* (* t (sqrt 2e-16)) (* 2e-16 t))))
  (cbrt (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* t (* 2e-16 t))) (* (* 2e-16 t) (* t (* 2e-16 t)))) (sqrt 2e-16))
  (sqrt (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (sqrt (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (* t (sqrt 2e-16))
  (* t (* (cbrt (sqrt 2e-16)) (* 2e-16 t)))
  (* (* t (* 2e-16 t)) (sqrt (cbrt 2e-16)))
  (* (* t (* 2e-16 t)) (sqrt (sqrt 2e-16)))
  (* (* t (sqrt 2e-16)) (* 2e-16 t))
  (* (* t (* 2e-16 t)) (sqrt (sqrt 2e-16)))
  (* (* t (sqrt 2e-16)) (* 2e-16 t))
  (real->posit16 (* (* t (sqrt 2e-16)) (* 2e-16 t)))
  (* t (* 2e-16 t))
  (* t (* 2e-16 t))
  (log (* t (* 2e-16 t)))
  (log (* t (* 2e-16 t)))
  (log (* t (* 2e-16 t)))
  (exp (* 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 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)))
  (* 2e-16 t)
  (* (* 2e-16 t) (cbrt t))
  (* (* 2e-16 t) (sqrt t))
  (* t (* 2e-16 t))
  (real->posit16 (* t (* 2e-16 t)))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 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 (* 2e-16 t))
  (* t (* 2e-16 t))
  (* t (* 2e-16 t))
37.489 * * * [progress]: adding candidates to table
37.959 * [progress]: [Phase 3 of 3] Extracting.
37.959 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))> #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))> #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* t (* 2e-16 t))))))> #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))> #<alt (λ (t) (* (* (* (* 2e-16 t) 2e-16) (sqrt t)) (sqrt t)))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (* 2e-16 (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))>)
37.960 * * * [regime-changes]: Trying 1 branch expressions: (t)
37.960 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))> #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))> #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* t (* 2e-16 t))))))> #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))> #<alt (λ (t) (* (* (* (* 2e-16 t) 2e-16) (sqrt t)) (sqrt t)))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (* 2e-16 (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))>)
38.005 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
38.005 * [simplify]: Simplifying:
  (* (* (* 2e-16 t) 2e-16) t)
38.005 * * [simplify]: iteration 1: (5 enodes)
38.006 * * [simplify]: iteration 2: (8 enodes)
38.006 * * [simplify]: Extracting #0: cost 1 inf + 0
38.006 * * [simplify]: Extracting #1: cost 3 inf + 0
38.006 * * [simplify]: Extracting #2: cost 4 inf + 1
38.006 * * [simplify]: Extracting #3: cost 3 inf + 2
38.006 * * [simplify]: Extracting #4: cost 0 inf + 248
38.006 * [simplify]: Simplified to:
  (* (* 2e-16 (* 2e-16 t)) t)
40.144 * [regime-testing]: Baseline error score: 0.31403925490686335
40.147 * [regime-testing]: Oracle error score: 0.01812726590823853
40.151 * [regime-testing]: End program error score: 0.31403925490686335
40.188 * [regime-testing]: Target error score: 50.561872945287746