8.411 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.067 * * * [progress]: [2/2] Setting up program.
0.069 * [progress]: [Phase 2 of 3] Improving.
0.069 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.070 * [simplify]: Simplifying:
  (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.070 * * [simplify]: iteration 0: 11 enodes
0.072 * * [simplify]: iteration 1: 29 enodes
0.078 * * [simplify]: iteration 2: 77 enodes
0.119 * * [simplify]: iteration 3: 186 enodes
0.241 * * [simplify]: iteration 4: 566 enodes
1.043 * * [simplify]: iteration 5: 2278 enodes
2.008 * * [simplify]: iteration complete: 5001 enodes
2.008 * * [simplify]: Extracting #0: cost 1 inf + 0
2.009 * * [simplify]: Extracting #1: cost 153 inf + 0
2.014 * * [simplify]: Extracting #2: cost 1028 inf + 1325
2.031 * * [simplify]: Extracting #3: cost 1424 inf + 23527
2.069 * * [simplify]: Extracting #4: cost 320 inf + 152637
2.161 * * [simplify]: Extracting #5: cost 23 inf + 207207
2.233 * * [simplify]: Extracting #6: cost 0 inf + 212811
2.300 * * [simplify]: Extracting #7: cost 0 inf + 212810
2.395 * [simplify]: Simplified to:
  (* (* t 2e-16) (* t 2e-16))
2.403 * * [progress]: iteration 1 / 4
2.403 * * * [progress]: picking best candidate
2.405 * * * * [pick]: Picked  #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.406 * * * [progress]: localizing error
2.417 * * * [progress]: generating rewritten candidates
2.417 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.462 * * * [progress]: generating series expansions
2.462 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.463 * [backup-simplify]: Simplify (* (* t 2e-16) (* t 2e-16)) into (* 3.9999999999999997e-32 (pow t 2))
2.463 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.463 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.463 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.463 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.463 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.463 * [taylor]: Taking taylor expansion of t in t
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 1 into 1
2.463 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.463 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.463 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.463 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.463 * [taylor]: Taking taylor expansion of t in t
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 1 into 1
2.464 * [backup-simplify]: Simplify (* 1 1) into 1
2.464 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.464 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.465 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.466 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.467 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
2.467 * [backup-simplify]: Simplify 0 into 0
2.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.469 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.469 * [backup-simplify]: Simplify 0 into 0
2.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.472 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.472 * [backup-simplify]: Simplify 0 into 0
2.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.475 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.478 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.479 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (* (/ 1 t) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.479 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.479 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.479 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.479 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.479 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.479 * [taylor]: Taking taylor expansion of t in t
2.479 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify 1 into 1
2.479 * [backup-simplify]: Simplify (* 1 1) into 1
2.480 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.480 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.480 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.480 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.480 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.480 * [taylor]: Taking taylor expansion of t in t
2.480 * [backup-simplify]: Simplify 0 into 0
2.480 * [backup-simplify]: Simplify 1 into 1
2.480 * [backup-simplify]: Simplify (* 1 1) into 1
2.481 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.481 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.482 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.483 * [backup-simplify]: Simplify 0 into 0
2.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.484 * [backup-simplify]: Simplify 0 into 0
2.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.487 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.489 * [backup-simplify]: Simplify 0 into 0
2.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.491 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.494 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (* (/ 1 (- t)) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.495 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.495 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.495 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.495 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.495 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.495 * [taylor]: Taking taylor expansion of t in t
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 1 into 1
2.495 * [backup-simplify]: Simplify (* 1 1) into 1
2.496 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.496 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.496 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.496 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.496 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.496 * [taylor]: Taking taylor expansion of t in t
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [backup-simplify]: Simplify (* 1 1) into 1
2.497 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.497 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.497 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.498 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.503 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.503 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.505 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.507 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.511 * * * [progress]: simplifying candidates
2.511 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.511 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.511 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.511 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.511 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.511 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.511 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.511 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.511 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) 2))>
2.511 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.511 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.511 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.511 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (+ (log t) (log 2e-16)))))>
2.511 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (log (* t 2e-16)))))>
2.511 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (+ (log t) (log 2e-16)))))>
2.511 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (log (* t 2e-16)))))>
2.511 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* t 2e-16) (* t 2e-16)))))>
2.511 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* t 2e-16) (* t 2e-16)))))>
2.512 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))))>
2.512 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))>
2.512 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))))>
2.512 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))>
2.512 * * * * [progress]: [ 23 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16)))) (cbrt (* (* t 2e-16) (* t 2e-16)))))>
2.512 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))))>
2.512 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* t 2e-16) (* t 2e-16))) (sqrt (* (* t 2e-16) (* t 2e-16)))))>
2.512 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* t 2e-16) (* t 2e-16))))>
2.512 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (t) (* (* t t) (* 2e-16 2e-16)))>
2.512 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.512 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.512 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.512 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.512 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))>
2.512 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (t) (* t (* 2e-16 (* t 2e-16))))>
2.512 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* t 2e-16) (* t 2e-16)))))>
2.512 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.512 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.513 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.513 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.513 * [simplify]: Simplifying:
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log t) (log 2e-16)) (+ (log t) (log 2e-16)))
  (+ (+ (log t) (log 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (+ (log t) (log 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (exp (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))
  (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16))))
  (cbrt (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (sqrt (* (* t 2e-16) (* t 2e-16)))
  (sqrt (* (* t 2e-16) (* t 2e-16)))
  (* t t)
  (* 2e-16 2e-16)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* t 2e-16) t)
  (* 2e-16 (* t 2e-16))
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
2.514 * * [simplify]: iteration 0: 39 enodes
2.536 * * [simplify]: iteration 1: 98 enodes
2.565 * * [simplify]: iteration 2: 341 enodes
2.854 * * [simplify]: iteration 3: 1471 enodes
5.152 * * [simplify]: iteration complete: 5001 enodes
5.152 * * [simplify]: Extracting #0: cost 14 inf + 0
5.153 * * [simplify]: Extracting #1: cost 400 inf + 1
5.159 * * [simplify]: Extracting #2: cost 1129 inf + 12283
5.210 * * [simplify]: Extracting #3: cost 494 inf + 124588
5.302 * * [simplify]: Extracting #4: cost 61 inf + 206943
5.396 * * [simplify]: Extracting #5: cost 1 inf + 221087
5.457 * * [simplify]: Extracting #6: cost 0 inf + 221450
5.521 * [simplify]: Simplified to:
  2
  2
  2
  2
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  2
  2
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (exp (* (* t 2e-16) (* t 2e-16)))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16))))
  (cbrt (* (* t 2e-16) (* t 2e-16)))
  (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))))
  (fabs (* t 2e-16))
  (fabs (* t 2e-16))
  (* t t)
  (* 2e-16 2e-16)
  2
  2
  2
  2
  (* 2e-16 (* t t))
  (* (* 2e-16 t) 2e-16)
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
5.523 * * * [progress]: adding candidates to table
5.581 * * [progress]: iteration 2 / 4
5.581 * * * [progress]: picking best candidate
5.586 * * * * [pick]: Picked  #<alt (λ (t) (* t (* 2e-16 (* t 2e-16))))>
5.587 * * * [progress]: localizing error
5.596 * * * [progress]: generating rewritten candidates
5.596 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
5.644 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
5.657 * * * [progress]: generating series expansions
5.657 * * * * [progress]: [ 1 / 2 ] generating series at (2)
5.657 * [backup-simplify]: Simplify (* t (* 2e-16 (* t 2e-16))) into (* 3.9999999999999997e-32 (pow t 2))
5.657 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.657 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.657 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.657 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.657 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.657 * [taylor]: Taking taylor expansion of t in t
5.657 * [backup-simplify]: Simplify 0 into 0
5.657 * [backup-simplify]: Simplify 1 into 1
5.657 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.657 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.657 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.657 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.657 * [taylor]: Taking taylor expansion of t in t
5.657 * [backup-simplify]: Simplify 0 into 0
5.657 * [backup-simplify]: Simplify 1 into 1
5.658 * [backup-simplify]: Simplify (* 1 1) into 1
5.658 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.658 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.659 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.659 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
5.659 * [backup-simplify]: Simplify 0 into 0
5.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.660 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
5.660 * [backup-simplify]: Simplify 0 into 0
5.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.662 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.662 * [backup-simplify]: Simplify 0 into 0
5.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.663 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.663 * [backup-simplify]: Simplify 0 into 0
5.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.665 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.665 * [backup-simplify]: Simplify 0 into 0
5.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.667 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.667 * [backup-simplify]: Simplify 0 into 0
5.667 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.667 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (* (/ 1 t) 2e-16))) into (/ 3.9999999999999997e-32 (pow t 2))
5.667 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.667 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.667 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.667 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.667 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.667 * [taylor]: Taking taylor expansion of t in t
5.667 * [backup-simplify]: Simplify 0 into 0
5.667 * [backup-simplify]: Simplify 1 into 1
5.667 * [backup-simplify]: Simplify (* 1 1) into 1
5.667 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.667 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.668 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.668 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.668 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.668 * [taylor]: Taking taylor expansion of t in t
5.668 * [backup-simplify]: Simplify 0 into 0
5.668 * [backup-simplify]: Simplify 1 into 1
5.668 * [backup-simplify]: Simplify (* 1 1) into 1
5.668 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.668 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.669 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.669 * [backup-simplify]: Simplify 0 into 0
5.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.671 * [backup-simplify]: Simplify 0 into 0
5.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.672 * [backup-simplify]: Simplify 0 into 0
5.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.673 * [backup-simplify]: Simplify 0 into 0
5.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.675 * [backup-simplify]: Simplify 0 into 0
5.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.676 * [backup-simplify]: Simplify 0 into 0
5.676 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.676 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (* (/ 1 (- t)) 2e-16))) into (/ 3.9999999999999997e-32 (pow t 2))
5.676 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.676 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.676 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.676 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.676 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.677 * [taylor]: Taking taylor expansion of t in t
5.677 * [backup-simplify]: Simplify 0 into 0
5.677 * [backup-simplify]: Simplify 1 into 1
5.677 * [backup-simplify]: Simplify (* 1 1) into 1
5.677 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.677 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.677 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.677 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.677 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.677 * [taylor]: Taking taylor expansion of t in t
5.677 * [backup-simplify]: Simplify 0 into 0
5.677 * [backup-simplify]: Simplify 1 into 1
5.678 * [backup-simplify]: Simplify (* 1 1) into 1
5.678 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.678 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.679 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.680 * [backup-simplify]: Simplify 0 into 0
5.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.682 * [backup-simplify]: Simplify 0 into 0
5.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.684 * [backup-simplify]: Simplify 0 into 0
5.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.687 * [backup-simplify]: Simplify 0 into 0
5.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.689 * [backup-simplify]: Simplify 0 into 0
5.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.692 * [backup-simplify]: Simplify 0 into 0
5.692 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.692 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
5.692 * [backup-simplify]: Simplify (* 2e-16 (* t 2e-16)) into (* 3.9999999999999997e-32 t)
5.693 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0
5.693 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
5.693 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.693 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.693 * [taylor]: Taking taylor expansion of t in t
5.693 * [backup-simplify]: Simplify 0 into 0
5.693 * [backup-simplify]: Simplify 1 into 1
5.693 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
5.693 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.693 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.693 * [taylor]: Taking taylor expansion of t in t
5.693 * [backup-simplify]: Simplify 0 into 0
5.693 * [backup-simplify]: Simplify 1 into 1
5.693 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0
5.693 * [backup-simplify]: Simplify 0 into 0
5.695 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32
5.695 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.696 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0
5.696 * [backup-simplify]: Simplify 0 into 0
5.697 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.698 * [backup-simplify]: Simplify 0 into 0
5.699 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.699 * [backup-simplify]: Simplify 0 into 0
5.701 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.701 * [backup-simplify]: Simplify 0 into 0
5.703 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.703 * [backup-simplify]: Simplify 0 into 0
5.705 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.705 * [backup-simplify]: Simplify 0 into 0
5.705 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t)
5.705 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) 2e-16)) into (/ 3.9999999999999997e-32 t)
5.705 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0
5.705 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
5.705 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.705 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.705 * [taylor]: Taking taylor expansion of t in t
5.705 * [backup-simplify]: Simplify 0 into 0
5.705 * [backup-simplify]: Simplify 1 into 1
5.706 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.706 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
5.706 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.706 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.706 * [taylor]: Taking taylor expansion of t in t
5.706 * [backup-simplify]: Simplify 0 into 0
5.706 * [backup-simplify]: Simplify 1 into 1
5.706 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.706 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.707 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.707 * [backup-simplify]: Simplify 0 into 0
5.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.709 * [backup-simplify]: Simplify 0 into 0
5.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.710 * [backup-simplify]: Simplify 0 into 0
5.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.711 * [backup-simplify]: Simplify 0 into 0
5.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.712 * [backup-simplify]: Simplify 0 into 0
5.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.713 * [backup-simplify]: Simplify 0 into 0
5.713 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t)
5.714 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) 2e-16)) into (/ -3.9999999999999997e-32 t)
5.714 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0
5.714 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
5.714 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
5.714 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.714 * [taylor]: Taking taylor expansion of t in t
5.714 * [backup-simplify]: Simplify 0 into 0
5.714 * [backup-simplify]: Simplify 1 into 1
5.714 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
5.714 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
5.714 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
5.714 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.714 * [taylor]: Taking taylor expansion of t in t
5.714 * [backup-simplify]: Simplify 0 into 0
5.715 * [backup-simplify]: Simplify 1 into 1
5.715 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
5.715 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
5.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0
5.716 * [backup-simplify]: Simplify 0 into 0
5.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.717 * [backup-simplify]: Simplify 0 into 0
5.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.718 * [backup-simplify]: Simplify 0 into 0
5.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.720 * [backup-simplify]: Simplify 0 into 0
5.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.721 * [backup-simplify]: Simplify 0 into 0
5.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.722 * [backup-simplify]: Simplify 0 into 0
5.722 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t)
5.722 * * * [progress]: simplifying candidates
5.722 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.723 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.723 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.723 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* t (* 2e-16 (* t 2e-16))) 1))>
5.723 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log 2e-16) (+ (log t) (log 2e-16))))))>
5.723 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log 2e-16) (log (* t 2e-16))))))>
5.723 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (log (* 2e-16 (* t 2e-16))))))>
5.723 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* t (* 2e-16 (* t 2e-16))))))>
5.723 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* t (* 2e-16 (* t 2e-16))))))>
5.723 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16))))))>
5.723 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))))>
5.723 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16))))))>
5.723 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* t (* 2e-16 (* t 2e-16)))) (cbrt (* t (* 2e-16 (* t 2e-16))))) (cbrt (* t (* 2e-16 (* t 2e-16))))))>
5.723 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t (* 2e-16 (* t 2e-16))) (* t (* 2e-16 (* t 2e-16)))) (* t (* 2e-16 (* t 2e-16))))))>
5.723 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t (* 2e-16 (* t 2e-16)))) (sqrt (* t (* 2e-16 (* t 2e-16))))))>
5.723 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 2e-16 (* t 2e-16)))))>
5.724 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
5.724 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 (* t 2e-16)))))>
5.724 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* 2e-16 (* t 2e-16)))))>
5.724 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* 2e-16 (* t 2e-16)))))>
5.724 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* t (* 2e-16 (* t 2e-16))))))>
5.724 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* t 2e-16)) t))>
5.724 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.724 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.724 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (* t (pow (* 2e-16 (* t 2e-16)) 1)))>
5.724 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log 2e-16) (+ (log t) (log 2e-16))))))>
5.724 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log 2e-16) (log (* t 2e-16))))))>
5.724 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (* t (exp (log (* 2e-16 (* t 2e-16))))))>
5.724 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (* t (log (exp (* 2e-16 (* t 2e-16))))))>
5.724 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16))))))>
5.724 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))))>
5.724 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* (cbrt (* 2e-16 (* t 2e-16))) (cbrt (* 2e-16 (* t 2e-16)))) (cbrt (* 2e-16 (* t 2e-16))))))>
5.725 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16))))))>
5.725 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))>
5.725 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 1 (* 2e-16 (* t 2e-16)))))>
5.725 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* 2e-16 t) 2e-16)))>
5.725 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t 2e-16)))))>
5.725 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))>
5.725 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 1 (* 2e-16 (* t 2e-16)))))>
5.725 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (* t (posit16->real (real->posit16 (* 2e-16 (* t 2e-16))))))>
5.725 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* t 2e-16) 2e-16)))>
5.725 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.725 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.725 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.725 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.725 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.725 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
5.726 * [simplify]: Simplifying:
  (* t (* 2e-16 (* t 2e-16)))
  (* t (* 2e-16 (* t 2e-16)))
  (* t (* 2e-16 (* t 2e-16)))
  (+ (log t) (+ (log 2e-16) (+ (log t) (log 2e-16))))
  (+ (log t) (+ (log 2e-16) (log (* t 2e-16))))
  (+ (log t) (log (* 2e-16 (* t 2e-16))))
  (log (* t (* 2e-16 (* t 2e-16))))
  (exp (* t (* 2e-16 (* t 2e-16))))
  (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16))))
  (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))
  (* (* (* t t) t) (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16))))
  (* (cbrt (* t (* 2e-16 (* t 2e-16)))) (cbrt (* t (* 2e-16 (* t 2e-16)))))
  (cbrt (* t (* 2e-16 (* t 2e-16))))
  (* (* (* t (* 2e-16 (* t 2e-16))) (* t (* 2e-16 (* t 2e-16)))) (* t (* 2e-16 (* t 2e-16))))
  (sqrt (* t (* 2e-16 (* t 2e-16))))
  (sqrt (* t (* 2e-16 (* t 2e-16))))
  (* t 2e-16)
  (* (cbrt t) (* 2e-16 (* t 2e-16)))
  (* (sqrt t) (* 2e-16 (* t 2e-16)))
  (* t (* 2e-16 (* t 2e-16)))
  (real->posit16 (* t (* 2e-16 (* t 2e-16))))
  (* 2e-16 (* t 2e-16))
  (* 2e-16 (* t 2e-16))
  (+ (log 2e-16) (+ (log t) (log 2e-16)))
  (+ (log 2e-16) (log (* t 2e-16)))
  (log (* 2e-16 (* t 2e-16)))
  (exp (* 2e-16 (* t 2e-16)))
  (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))
  (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (cbrt (* 2e-16 (* t 2e-16))) (cbrt (* 2e-16 (* t 2e-16))))
  (cbrt (* 2e-16 (* t 2e-16)))
  (* (* (* 2e-16 (* t 2e-16)) (* 2e-16 (* t 2e-16))) (* 2e-16 (* t 2e-16)))
  (sqrt (* 2e-16 (* t 2e-16)))
  (sqrt (* 2e-16 (* t 2e-16)))
  (* 2e-16 t)
  (* (cbrt 2e-16) (* t 2e-16))
  (* (sqrt 2e-16) (* t 2e-16))
  (* 2e-16 (* t 2e-16))
  (real->posit16 (* 2e-16 (* t 2e-16)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 t)
5.727 * * [simplify]: iteration 0: 56 enodes
5.759 * * [simplify]: iteration 1: 141 enodes
5.851 * * [simplify]: iteration 2: 492 enodes
6.674 * * [simplify]: iteration 3: 2208 enodes
7.871 * * [simplify]: iteration complete: 5000 enodes
7.871 * * [simplify]: Extracting #0: cost 23 inf + 0
7.872 * * [simplify]: Extracting #1: cost 358 inf + 0
7.878 * * [simplify]: Extracting #2: cost 984 inf + 12764
7.914 * * [simplify]: Extracting #3: cost 378 inf + 119242
7.974 * * [simplify]: Extracting #4: cost 22 inf + 180263
8.066 * * [simplify]: Extracting #5: cost 0 inf + 184655
8.128 * * [simplify]: Extracting #6: cost 0 inf + 184575
8.188 * [simplify]: Simplified to:
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (exp (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))))
  (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t))))
  (cbrt (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))))
  (fabs (* t 2e-16))
  (fabs (* t 2e-16))
  (* t 2e-16)
  (* (* 2e-16 (cbrt t)) (* t 2e-16))
  (* (sqrt t) (* (* t 2e-16) 2e-16))
  (* (* 2e-16 t) (* 2e-16 t))
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* (* t 2e-16) 2e-16)
  (* (* t 2e-16) 2e-16)
  (log (* (* t 2e-16) 2e-16))
  (log (* (* t 2e-16) 2e-16))
  (log (* (* t 2e-16) 2e-16))
  (exp (* (* t 2e-16) 2e-16))
  (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16))
  (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16))
  (* (cbrt (* (* t 2e-16) 2e-16)) (cbrt (* (* t 2e-16) 2e-16)))
  (cbrt (* (* t 2e-16) 2e-16))
  (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16))
  (sqrt (* (* t 2e-16) 2e-16))
  (sqrt (* (* t 2e-16) 2e-16))
  (* t 2e-16)
  (* (* t 2e-16) (cbrt 2e-16))
  (* (* (sqrt 2e-16) t) 2e-16)
  (* (* t 2e-16) 2e-16)
  (real->posit16 (* (* t 2e-16) 2e-16))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* t 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
8.189 * * * [progress]: adding candidates to table
8.324 * * [progress]: iteration 3 / 4
8.325 * * * [progress]: picking best candidate
8.336 * * * * [pick]: Picked  #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))>
8.336 * * * [progress]: localizing error
8.348 * * * [progress]: generating rewritten candidates
8.349 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
8.419 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
8.542 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
8.564 * * * [progress]: generating series expansions
8.564 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
8.565 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) into (* 2e-16 (* t (pow (sqrt 2e-16) 2)))
8.565 * [approximate]: Taking taylor expansion of (* 2e-16 (* t (pow (sqrt 2e-16) 2))) in (t) around 0
8.565 * [taylor]: Taking taylor expansion of (* 2e-16 (* t (pow (sqrt 2e-16) 2))) in t
8.565 * [taylor]: Taking taylor expansion of 2e-16 in t
8.565 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.565 * [taylor]: Taking taylor expansion of (* t (pow (sqrt 2e-16) 2)) in t
8.565 * [taylor]: Taking taylor expansion of t in t
8.565 * [backup-simplify]: Simplify 0 into 0
8.565 * [backup-simplify]: Simplify 1 into 1
8.565 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.565 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.565 * [taylor]: Taking taylor expansion of 2e-16 in t
8.565 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.565 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.566 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.566 * [taylor]: Taking taylor expansion of (* 2e-16 (* t (pow (sqrt 2e-16) 2))) in t
8.566 * [taylor]: Taking taylor expansion of 2e-16 in t
8.566 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.566 * [taylor]: Taking taylor expansion of (* t (pow (sqrt 2e-16) 2)) in t
8.566 * [taylor]: Taking taylor expansion of t in t
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify 1 into 1
8.566 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.566 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.566 * [taylor]: Taking taylor expansion of 2e-16 in t
8.566 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.566 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.567 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.568 * [backup-simplify]: Simplify (* 0 (pow (sqrt 2e-16) 2)) into 0
8.568 * [backup-simplify]: Simplify (* 2e-16 0) into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
8.570 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 2e-16) 2))) into (pow (sqrt 2e-16) 2)
8.572 * [backup-simplify]: Simplify (+ (* 2e-16 (pow (sqrt 2e-16) 2)) (* 0 0)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.573 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.574 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.575 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
8.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
8.576 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 (pow (sqrt 2e-16) 2)) (* 0 0))) into 0
8.576 * [backup-simplify]: Simplify 0 into 0
8.577 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.578 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.579 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
8.580 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 (pow (sqrt 2e-16) 2)) (* 0 0)))) into 0
8.580 * [backup-simplify]: Simplify 0 into 0
8.581 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.581 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.583 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
8.584 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (pow (sqrt 2e-16) 2)) (* 0 0))))) into 0
8.584 * [backup-simplify]: Simplify 0 into 0
8.585 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.585 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
8.588 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (pow (sqrt 2e-16) 2)) (* 0 0)))))) into 0
8.588 * [backup-simplify]: Simplify 0 into 0
8.588 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.590 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.592 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
8.595 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (pow (sqrt 2e-16) 2)) (* 0 0))))))) into 0
8.595 * [backup-simplify]: Simplify 0 into 0
8.596 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.598 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))))) into 0
8.601 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))))) into 0
8.603 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (pow (sqrt 2e-16) 2)) (* 0 0)))))))) into 0
8.603 * [backup-simplify]: Simplify 0 into 0
8.605 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) t) into (* 2e-16 (* t (pow (sqrt 2e-16) 2)))
8.606 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* (/ 1 t) 2e-16))) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) t))
8.606 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) t)) in (t) around 0
8.606 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) t)) in t
8.606 * [taylor]: Taking taylor expansion of 2e-16 in t
8.606 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.606 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) t) in t
8.606 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.606 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.606 * [taylor]: Taking taylor expansion of 2e-16 in t
8.606 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.607 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.607 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.607 * [taylor]: Taking taylor expansion of t in t
8.607 * [backup-simplify]: Simplify 0 into 0
8.607 * [backup-simplify]: Simplify 1 into 1
8.608 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.610 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
8.610 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) t)) in t
8.610 * [taylor]: Taking taylor expansion of 2e-16 in t
8.610 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.610 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) t) in t
8.610 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.611 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.611 * [taylor]: Taking taylor expansion of 2e-16 in t
8.611 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.611 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.612 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.612 * [taylor]: Taking taylor expansion of t in t
8.612 * [backup-simplify]: Simplify 0 into 0
8.612 * [backup-simplify]: Simplify 1 into 1
8.613 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.614 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
8.615 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.616 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.616 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
8.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
8.618 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
8.618 * [backup-simplify]: Simplify 0 into 0
8.618 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.619 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
8.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.621 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
8.621 * [backup-simplify]: Simplify 0 into 0
8.622 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.622 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.624 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
8.624 * [backup-simplify]: Simplify 0 into 0
8.625 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.626 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.627 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
8.627 * [backup-simplify]: Simplify 0 into 0
8.628 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.629 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.630 * [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
8.631 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
8.631 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.633 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.634 * [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
8.635 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
8.635 * [backup-simplify]: Simplify 0 into 0
8.636 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (/ 1 (/ 1 t))) into (* 2e-16 (* t (pow (sqrt 2e-16) 2)))
8.636 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (sqrt 2e-16) (* (/ 1 (- t)) 2e-16))) into (* -2e-16 (/ (pow (sqrt 2e-16) 2) t))
8.636 * [approximate]: Taking taylor expansion of (* -2e-16 (/ (pow (sqrt 2e-16) 2) t)) in (t) around 0
8.636 * [taylor]: Taking taylor expansion of (* -2e-16 (/ (pow (sqrt 2e-16) 2) t)) in t
8.636 * [taylor]: Taking taylor expansion of -2e-16 in t
8.636 * [backup-simplify]: Simplify -2e-16 into -2e-16
8.636 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) t) in t
8.636 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.636 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.636 * [taylor]: Taking taylor expansion of 2e-16 in t
8.637 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.637 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.637 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.637 * [taylor]: Taking taylor expansion of t in t
8.637 * [backup-simplify]: Simplify 0 into 0
8.637 * [backup-simplify]: Simplify 1 into 1
8.638 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.639 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
8.639 * [taylor]: Taking taylor expansion of (* -2e-16 (/ (pow (sqrt 2e-16) 2) t)) in t
8.639 * [taylor]: Taking taylor expansion of -2e-16 in t
8.639 * [backup-simplify]: Simplify -2e-16 into -2e-16
8.639 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) t) in t
8.639 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.639 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.639 * [taylor]: Taking taylor expansion of 2e-16 in t
8.639 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.639 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.640 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.640 * [taylor]: Taking taylor expansion of t in t
8.640 * [backup-simplify]: Simplify 0 into 0
8.640 * [backup-simplify]: Simplify 1 into 1
8.641 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.642 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
8.644 * [backup-simplify]: Simplify (* -2e-16 (pow (sqrt 2e-16) 2)) into (* -2e-16 (pow (sqrt 2e-16) 2))
8.645 * [backup-simplify]: Simplify (* -2e-16 (pow (sqrt 2e-16) 2)) into (* -2e-16 (pow (sqrt 2e-16) 2))
8.646 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
8.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
8.648 * [backup-simplify]: Simplify (+ (* -2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.650 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
8.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.653 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
8.653 * [backup-simplify]: Simplify 0 into 0
8.655 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.656 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.659 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
8.659 * [backup-simplify]: Simplify 0 into 0
8.660 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.662 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.665 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
8.665 * [backup-simplify]: Simplify 0 into 0
8.666 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.668 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.671 * [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
8.674 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
8.674 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.677 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.679 * [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
8.681 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
8.681 * [backup-simplify]: Simplify 0 into 0
8.683 * [backup-simplify]: Simplify (* (* -2e-16 (pow (sqrt 2e-16) 2)) (/ 1 (/ 1 (- t)))) into (* 2e-16 (* t (pow (sqrt 2e-16) 2)))
8.683 * * * * [progress]: [ 2 / 3 ] generating series at (2)
8.684 * [backup-simplify]: Simplify (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
8.684 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in (t) around 0
8.684 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t
8.684 * [taylor]: Taking taylor expansion of 2e-16 in t
8.684 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.684 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t
8.684 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.684 * [taylor]: Taking taylor expansion of t in t
8.684 * [backup-simplify]: Simplify 0 into 0
8.684 * [backup-simplify]: Simplify 1 into 1
8.684 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.684 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.684 * [taylor]: Taking taylor expansion of 2e-16 in t
8.684 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.684 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.685 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.685 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t
8.685 * [taylor]: Taking taylor expansion of 2e-16 in t
8.685 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.685 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t
8.685 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.685 * [taylor]: Taking taylor expansion of t in t
8.685 * [backup-simplify]: Simplify 0 into 0
8.685 * [backup-simplify]: Simplify 1 into 1
8.685 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.685 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.685 * [taylor]: Taking taylor expansion of 2e-16 in t
8.685 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.686 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.687 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.687 * [backup-simplify]: Simplify (* 1 1) into 1
8.688 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.690 * [backup-simplify]: Simplify (* 1 (pow (sqrt 2e-16) 2)) into (pow (sqrt 2e-16) 2)
8.691 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.693 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.694 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
8.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
8.697 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
8.697 * [backup-simplify]: Simplify 0 into 0
8.698 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.699 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
8.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
8.703 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
8.703 * [backup-simplify]: Simplify 0 into 0
8.704 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.705 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
8.710 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
8.710 * [backup-simplify]: Simplify 0 into 0
8.711 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.713 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
8.717 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
8.717 * [backup-simplify]: Simplify 0 into 0
8.719 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.720 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
8.726 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
8.726 * [backup-simplify]: Simplify 0 into 0
8.728 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.730 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
8.736 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
8.736 * [backup-simplify]: Simplify 0 into 0
8.737 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow t 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
8.738 * [backup-simplify]: Simplify (* (/ 1 t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (/ 1 t) 2e-16)))) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2)))
8.738 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0
8.738 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
8.738 * [taylor]: Taking taylor expansion of 2e-16 in t
8.738 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.738 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
8.739 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.739 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.739 * [taylor]: Taking taylor expansion of 2e-16 in t
8.739 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.739 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.740 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.740 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.740 * [taylor]: Taking taylor expansion of t in t
8.740 * [backup-simplify]: Simplify 0 into 0
8.740 * [backup-simplify]: Simplify 1 into 1
8.741 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.742 * [backup-simplify]: Simplify (* 1 1) into 1
8.743 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
8.743 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
8.743 * [taylor]: Taking taylor expansion of 2e-16 in t
8.743 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.743 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
8.743 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.743 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.743 * [taylor]: Taking taylor expansion of 2e-16 in t
8.744 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.744 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.745 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.745 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.745 * [taylor]: Taking taylor expansion of t in t
8.745 * [backup-simplify]: Simplify 0 into 0
8.745 * [backup-simplify]: Simplify 1 into 1
8.746 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.746 * [backup-simplify]: Simplify (* 1 1) into 1
8.748 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
8.750 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.751 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.752 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
8.753 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
8.755 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
8.755 * [backup-simplify]: Simplify 0 into 0
8.756 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.757 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
8.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.761 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
8.761 * [backup-simplify]: Simplify 0 into 0
8.762 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.764 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.768 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
8.768 * [backup-simplify]: Simplify 0 into 0
8.769 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.770 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.775 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
8.775 * [backup-simplify]: Simplify 0 into 0
8.777 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.778 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.781 * [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
8.783 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
8.783 * [backup-simplify]: Simplify 0 into 0
8.785 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.786 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.789 * [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
8.791 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
8.791 * [backup-simplify]: Simplify 0 into 0
8.793 * [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)))
8.794 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* (sqrt 2e-16) (* (sqrt 2e-16) (* (/ 1 (- t)) 2e-16)))) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2)))
8.794 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0
8.794 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
8.794 * [taylor]: Taking taylor expansion of 2e-16 in t
8.794 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.794 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
8.794 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.795 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.795 * [taylor]: Taking taylor expansion of 2e-16 in t
8.795 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.795 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.796 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.796 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.796 * [taylor]: Taking taylor expansion of t in t
8.796 * [backup-simplify]: Simplify 0 into 0
8.796 * [backup-simplify]: Simplify 1 into 1
8.797 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.797 * [backup-simplify]: Simplify (* 1 1) into 1
8.798 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
8.798 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
8.798 * [taylor]: Taking taylor expansion of 2e-16 in t
8.799 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.799 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
8.799 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
8.799 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.799 * [taylor]: Taking taylor expansion of 2e-16 in t
8.799 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.799 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.799 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.799 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.799 * [taylor]: Taking taylor expansion of t in t
8.799 * [backup-simplify]: Simplify 0 into 0
8.799 * [backup-simplify]: Simplify 1 into 1
8.800 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
8.800 * [backup-simplify]: Simplify (* 1 1) into 1
8.801 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
8.802 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.803 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
8.804 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
8.804 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
8.806 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
8.806 * [backup-simplify]: Simplify 0 into 0
8.806 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.807 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
8.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.810 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
8.810 * [backup-simplify]: Simplify 0 into 0
8.811 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.812 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.814 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
8.814 * [backup-simplify]: Simplify 0 into 0
8.815 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.816 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.817 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.818 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
8.818 * [backup-simplify]: Simplify 0 into 0
8.819 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.820 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.821 * [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
8.823 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
8.823 * [backup-simplify]: Simplify 0 into 0
8.824 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.825 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.827 * [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
8.829 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
8.829 * [backup-simplify]: Simplify 0 into 0
8.831 * [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)))
8.831 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
8.831 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* t 2e-16)) into (* 2e-16 (* t (sqrt 2e-16)))
8.831 * [approximate]: Taking taylor expansion of (* 2e-16 (* t (sqrt 2e-16))) in (t) around 0
8.831 * [taylor]: Taking taylor expansion of (* 2e-16 (* t (sqrt 2e-16))) in t
8.831 * [taylor]: Taking taylor expansion of 2e-16 in t
8.831 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.831 * [taylor]: Taking taylor expansion of (* t (sqrt 2e-16)) in t
8.831 * [taylor]: Taking taylor expansion of t in t
8.831 * [backup-simplify]: Simplify 0 into 0
8.831 * [backup-simplify]: Simplify 1 into 1
8.831 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.831 * [taylor]: Taking taylor expansion of 2e-16 in t
8.831 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.832 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.832 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.832 * [taylor]: Taking taylor expansion of (* 2e-16 (* t (sqrt 2e-16))) in t
8.833 * [taylor]: Taking taylor expansion of 2e-16 in t
8.833 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.833 * [taylor]: Taking taylor expansion of (* t (sqrt 2e-16)) in t
8.833 * [taylor]: Taking taylor expansion of t in t
8.833 * [backup-simplify]: Simplify 0 into 0
8.833 * [backup-simplify]: Simplify 1 into 1
8.833 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.833 * [taylor]: Taking taylor expansion of 2e-16 in t
8.833 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.833 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.834 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.834 * [backup-simplify]: Simplify (* 0 (sqrt 2e-16)) into 0
8.835 * [backup-simplify]: Simplify (* 2e-16 0) into 0
8.835 * [backup-simplify]: Simplify 0 into 0
8.837 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 2e-16))) into (sqrt 2e-16)
8.838 * [backup-simplify]: Simplify (+ (* 2e-16 (sqrt 2e-16)) (* 0 0)) into (* 2e-16 (sqrt 2e-16))
8.839 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
8.840 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.841 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 2e-16)))) into 0
8.842 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 (sqrt 2e-16)) (* 0 0))) into 0
8.842 * [backup-simplify]: Simplify 0 into 0
8.844 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.846 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 (sqrt 2e-16)) (* 0 0)))) into 0
8.846 * [backup-simplify]: Simplify 0 into 0
8.848 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.849 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.851 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 2e-16)) (* 0 0))))) into 0
8.851 * [backup-simplify]: Simplify 0 into 0
8.852 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.854 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.855 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 2e-16)) (* 0 0)))))) into 0
8.855 * [backup-simplify]: Simplify 0 into 0
8.857 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.859 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.860 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 2e-16)) (* 0 0))))))) into 0
8.860 * [backup-simplify]: Simplify 0 into 0
8.862 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.863 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))))) into 0
8.864 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 2e-16)) (* 0 0)))))))) into 0
8.864 * [backup-simplify]: Simplify 0 into 0
8.864 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) t) into (* 2e-16 (* t (sqrt 2e-16)))
8.865 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (/ 1 t) 2e-16)) into (* 2e-16 (/ (sqrt 2e-16) t))
8.865 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) t)) in (t) around 0
8.865 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) t)) in t
8.865 * [taylor]: Taking taylor expansion of 2e-16 in t
8.865 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.865 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) t) in t
8.865 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.865 * [taylor]: Taking taylor expansion of 2e-16 in t
8.865 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.865 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.865 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.865 * [taylor]: Taking taylor expansion of t in t
8.866 * [backup-simplify]: Simplify 0 into 0
8.866 * [backup-simplify]: Simplify 1 into 1
8.866 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
8.866 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) t)) in t
8.866 * [taylor]: Taking taylor expansion of 2e-16 in t
8.866 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.866 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) t) in t
8.866 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.866 * [taylor]: Taking taylor expansion of 2e-16 in t
8.866 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.866 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.867 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.867 * [taylor]: Taking taylor expansion of t in t
8.867 * [backup-simplify]: Simplify 0 into 0
8.867 * [backup-simplify]: Simplify 1 into 1
8.867 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
8.868 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
8.869 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
8.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
8.870 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
8.870 * [backup-simplify]: Simplify 0 into 0
8.870 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.872 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
8.872 * [backup-simplify]: Simplify 0 into 0
8.872 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.874 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.874 * [backup-simplify]: Simplify 0 into 0
8.875 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.876 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.876 * [backup-simplify]: Simplify 0 into 0
8.877 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.879 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.879 * [backup-simplify]: Simplify 0 into 0
8.880 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.880 * [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
8.881 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.881 * [backup-simplify]: Simplify 0 into 0
8.882 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (/ 1 (/ 1 t))) into (* 2e-16 (* t (sqrt 2e-16)))
8.882 * [backup-simplify]: Simplify (* (sqrt 2e-16) (* (/ 1 (- t)) 2e-16)) into (* -2e-16 (/ (sqrt 2e-16) t))
8.882 * [approximate]: Taking taylor expansion of (* -2e-16 (/ (sqrt 2e-16) t)) in (t) around 0
8.882 * [taylor]: Taking taylor expansion of (* -2e-16 (/ (sqrt 2e-16) t)) in t
8.882 * [taylor]: Taking taylor expansion of -2e-16 in t
8.882 * [backup-simplify]: Simplify -2e-16 into -2e-16
8.882 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) t) in t
8.882 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.882 * [taylor]: Taking taylor expansion of 2e-16 in t
8.882 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.883 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.884 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.884 * [taylor]: Taking taylor expansion of t in t
8.884 * [backup-simplify]: Simplify 0 into 0
8.884 * [backup-simplify]: Simplify 1 into 1
8.884 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
8.884 * [taylor]: Taking taylor expansion of (* -2e-16 (/ (sqrt 2e-16) t)) in t
8.884 * [taylor]: Taking taylor expansion of -2e-16 in t
8.884 * [backup-simplify]: Simplify -2e-16 into -2e-16
8.884 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) t) in t
8.884 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
8.884 * [taylor]: Taking taylor expansion of 2e-16 in t
8.884 * [backup-simplify]: Simplify 2e-16 into 2e-16
8.885 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
8.885 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
8.885 * [taylor]: Taking taylor expansion of t in t
8.885 * [backup-simplify]: Simplify 0 into 0
8.885 * [backup-simplify]: Simplify 1 into 1
8.886 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
8.887 * [backup-simplify]: Simplify (* -2e-16 (sqrt 2e-16)) into (* -2e-16 (sqrt 2e-16))
8.888 * [backup-simplify]: Simplify (* -2e-16 (sqrt 2e-16)) into (* -2e-16 (sqrt 2e-16))
8.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
8.890 * [backup-simplify]: Simplify (+ (* -2e-16 0) (* 0 (sqrt 2e-16))) into 0
8.890 * [backup-simplify]: Simplify 0 into 0
8.891 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
8.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.893 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
8.894 * [backup-simplify]: Simplify 0 into 0
8.895 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.897 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
8.898 * [backup-simplify]: Simplify 0 into 0
8.899 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.902 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
8.902 * [backup-simplify]: Simplify 0 into 0
8.903 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.906 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
8.906 * [backup-simplify]: Simplify 0 into 0
8.907 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
8.909 * [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
8.911 * [backup-simplify]: Simplify (+ (* -2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
8.911 * [backup-simplify]: Simplify 0 into 0
8.912 * [backup-simplify]: Simplify (* (* -2e-16 (sqrt 2e-16)) (/ 1 (/ 1 (- t)))) into (* 2e-16 (* t (sqrt 2e-16)))
8.912 * * * [progress]: simplifying candidates
8.912 * * * * [progress]: [ 1 / 81 ] simplifiying candidate #<alt (λ (t) (* t (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) 1)))>
8.912 * * * * [progress]: [ 2 / 81 ] simplifiying candidate #<alt (λ (t) (* t (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) 1)))>
8.912 * * * * [progress]: [ 3 / 81 ] simplifiying candidate #<alt (λ (t) (* t (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) 1)))>
8.912 * * * * [progress]: [ 4 / 81 ] simplifiying candidate #<alt (λ (t) (* t (pow (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) 1)))>
8.912 * * * * [progress]: [ 5 / 81 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (log 2e-16)))))))>
8.912 * * * * [progress]: [ 6 / 81 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (log (* t 2e-16)))))))>
8.912 * * * * [progress]: [ 7 / 81 ] simplifiying candidate #<alt (λ (t) (* t (exp (+ (log (sqrt 2e-16)) (log (* (sqrt 2e-16) (* t 2e-16)))))))>
8.912 * * * * [progress]: [ 8 / 81 ] simplifiying candidate #<alt (λ (t) (* t (exp (log (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.912 * * * * [progress]: [ 9 / 81 ] simplifiying candidate #<alt (λ (t) (* t (log (exp (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.912 * * * * [progress]: [ 10 / 81 ] simplifiying candidate #<alt (λ (t) (* 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)))))))>
8.912 * * * * [progress]: [ 11 / 81 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))))>
8.912 * * * * [progress]: [ 12 / 81 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (* t 2e-16)) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.913 * * * * [progress]: [ 13 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (* (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.913 * * * * [progress]: [ 14 / 81 ] simplifiying candidate #<alt (λ (t) (* t (cbrt (* (* (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.913 * * * * [progress]: [ 15 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.913 * * * * [progress]: [ 16 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* 1 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))))>
8.913 * * * * [progress]: [ 17 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (* (sqrt 2e-16) (sqrt 2e-16)) (* t 2e-16))))>
8.913 * * * * [progress]: [ 18 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* (cbrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))))>
8.913 * * * * [progress]: [ 19 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))))>
8.913 * * * * [progress]: [ 20 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))))>
8.913 * * * * [progress]: [ 21 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 1) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))))>
8.913 * * * * [progress]: [ 22 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))))>
8.913 * * * * [progress]: [ 23 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* 1 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))))>
8.913 * * * * [progress]: [ 24 / 81 ] simplifiying candidate #<alt (λ (t) (* t (posit16->real (real->posit16 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.913 * * * * [progress]: [ 25 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (* (sqrt 2e-16) (* t 2e-16)) (sqrt 2e-16))))>
8.913 * * * * [progress]: [ 26 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) 1))>
8.913 * * * * [progress]: [ 27 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) 1))>
8.914 * * * * [progress]: [ 28 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) 1))>
8.914 * * * * [progress]: [ 29 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) 1))>
8.914 * * * * [progress]: [ 30 / 81 ] simplifiying candidate #<alt (λ (t) (pow (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) 1))>
8.914 * * * * [progress]: [ 31 / 81 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (log 2e-16)))))))>
8.914 * * * * [progress]: [ 32 / 81 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (log (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 33 / 81 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (+ (log (sqrt 2e-16)) (log (* (sqrt 2e-16) (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 34 / 81 ] simplifiying candidate #<alt (λ (t) (exp (+ (log t) (log (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 35 / 81 ] simplifiying candidate #<alt (λ (t) (exp (log (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 36 / 81 ] simplifiying candidate #<alt (λ (t) (log (exp (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 37 / 81 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 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 2e-16) 2e-16)))))))>
8.914 * * * * [progress]: [ 38 / 81 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 39 / 81 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (* t 2e-16)) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 40 / 81 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* t t) t) (* (* (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 41 / 81 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))) (cbrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))) (cbrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.914 * * * * [progress]: [ 42 / 81 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 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)))))))>
8.914 * * * * [progress]: [ 43 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))) (sqrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.915 * * * * [progress]: [ 44 / 81 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))))>
8.915 * * * * [progress]: [ 45 / 81 ] simplifiying candidate #<alt (λ (t) (* (* t (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))>
8.915 * * * * [progress]: [ 46 / 81 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))))>
8.915 * * * * [progress]: [ 47 / 81 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (sqrt t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))))>
8.915 * * * * [progress]: [ 48 / 81 ] simplifiying candidate #<alt (λ (t) (* 1 (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))))>
8.915 * * * * [progress]: [ 49 / 81 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.915 * * * * [progress]: [ 50 / 81 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) t))>
8.915 * * * * [progress]: [ 51 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t 2e-16)) 1))))>
8.915 * * * * [progress]: [ 52 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t 2e-16)) 1))))>
8.915 * * * * [progress]: [ 53 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (pow (* (sqrt 2e-16) (* t 2e-16)) 1))))>
8.915 * * * * [progress]: [ 54 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (exp (+ (log (sqrt 2e-16)) (+ (log t) (log 2e-16)))))))>
8.915 * * * * [progress]: [ 55 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (exp (+ (log (sqrt 2e-16)) (log (* t 2e-16)))))))>
8.915 * * * * [progress]: [ 56 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (exp (log (* (sqrt 2e-16) (* t 2e-16)))))))>
8.915 * * * * [progress]: [ 57 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (log (exp (* (sqrt 2e-16) (* t 2e-16)))))))>
8.915 * * * * [progress]: [ 58 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))))))>
8.915 * * * * [progress]: [ 59 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (cbrt (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))))>
8.916 * * * * [progress]: [ 60 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (* (cbrt (* (sqrt 2e-16) (* t 2e-16))) (cbrt (* (sqrt 2e-16) (* t 2e-16)))) (cbrt (* (sqrt 2e-16) (* t 2e-16)))))))>
8.916 * * * * [progress]: [ 61 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (cbrt (* (* (* (sqrt 2e-16) (* t 2e-16)) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* t 2e-16)))))))>
8.916 * * * * [progress]: [ 62 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt (* (sqrt 2e-16) (* t 2e-16))) (sqrt (* (sqrt 2e-16) (* t 2e-16)))))))>
8.916 * * * * [progress]: [ 63 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* 1 (* (sqrt 2e-16) (* t 2e-16))))))>
8.916 * * * * [progress]: [ 64 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (* (sqrt 2e-16) t) 2e-16))))>
8.916 * * * * [progress]: [ 65 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* (cbrt (sqrt 2e-16)) (* t 2e-16))))))>
8.916 * * * * [progress]: [ 66 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* t 2e-16))))))>
8.916 * * * * [progress]: [ 67 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* t 2e-16))))))>
8.916 * * * * [progress]: [ 68 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt 1) (* (sqrt 2e-16) (* t 2e-16))))))>
8.916 * * * * [progress]: [ 69 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (sqrt (sqrt 2e-16)) (* t 2e-16))))))>
8.916 * * * * [progress]: [ 70 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* 1 (* (sqrt 2e-16) (* t 2e-16))))))>
8.916 * * * * [progress]: [ 71 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (posit16->real (real->posit16 (* (sqrt 2e-16) (* t 2e-16)))))))>
8.916 * * * * [progress]: [ 72 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* (* t 2e-16) (sqrt 2e-16)))))>
8.916 * * * * [progress]: [ 73 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* 2e-16 (* t (pow (sqrt 2e-16) 2)))))>
8.916 * * * * [progress]: [ 74 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* 2e-16 (* t (pow (sqrt 2e-16) 2)))))>
8.916 * * * * [progress]: [ 75 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* 2e-16 (* t (pow (sqrt 2e-16) 2)))))>
8.916 * * * * [progress]: [ 76 / 81 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
8.916 * * * * [progress]: [ 77 / 81 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
8.916 * * * * [progress]: [ 78 / 81 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
8.917 * * * * [progress]: [ 79 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* 2e-16 (* t (sqrt 2e-16))))))>
8.917 * * * * [progress]: [ 80 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* 2e-16 (* t (sqrt 2e-16))))))>
8.917 * * * * [progress]: [ 81 / 81 ] simplifiying candidate #<alt (λ (t) (* t (* (sqrt 2e-16) (* 2e-16 (* t (sqrt 2e-16))))))>
8.918 * [simplify]: Simplifying:
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))
  (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (+ (log t) (log 2e-16))))
  (+ (log (sqrt 2e-16)) (+ (log (sqrt 2e-16)) (log (* t 2e-16))))
  (+ (log (sqrt 2e-16)) (log (* (sqrt 2e-16) (* t 2e-16))))
  (log (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (exp (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* (* (* (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))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (* t 2e-16)) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* t 2e-16))))
  (* (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (cbrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* (* (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (sqrt (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* (sqrt 2e-16) (sqrt 2e-16))
  (* (cbrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16)))
  (* (sqrt (cbrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16)))
  (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16)))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))
  (* (sqrt (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16)))
  (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))
  (real->posit16 (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (+ (log 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 2e-16)))))
  (+ (log t) (+ (log (sqrt 2e-16)) (log (* (sqrt 2e-16) (* t 2e-16)))))
  (+ (log t) (log (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (log (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (exp (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 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 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 2e-16) (* t 2e-16)) (* t 2e-16)))))
  (* (* (* t t) t) (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt 2e-16) (* t 2e-16)) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* t 2e-16)))))
  (* (* (* t t) t) (* (* (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (* (cbrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))) (cbrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))))
  (cbrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (* (* (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))) (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))) (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (sqrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (sqrt (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (* t (sqrt 2e-16))
  (* (cbrt t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* (sqrt t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16))))
  (real->posit16 (* t (* (sqrt 2e-16) (* (sqrt 2e-16) (* t 2e-16)))))
  (* (sqrt 2e-16) (* t 2e-16))
  (* (sqrt 2e-16) (* t 2e-16))
  (+ (log (sqrt 2e-16)) (+ (log t) (log 2e-16)))
  (+ (log (sqrt 2e-16)) (log (* t 2e-16)))
  (log (* (sqrt 2e-16) (* t 2e-16)))
  (exp (* (sqrt 2e-16) (* t 2e-16)))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))
  (* (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (cbrt (* (sqrt 2e-16) (* t 2e-16))) (cbrt (* (sqrt 2e-16) (* t 2e-16))))
  (cbrt (* (sqrt 2e-16) (* t 2e-16)))
  (* (* (* (sqrt 2e-16) (* t 2e-16)) (* (sqrt 2e-16) (* t 2e-16))) (* (sqrt 2e-16) (* t 2e-16)))
  (sqrt (* (sqrt 2e-16) (* t 2e-16)))
  (sqrt (* (sqrt 2e-16) (* t 2e-16)))
  (* (sqrt 2e-16) t)
  (* (cbrt (sqrt 2e-16)) (* t 2e-16))
  (* (sqrt (cbrt 2e-16)) (* t 2e-16))
  (* (sqrt (sqrt 2e-16)) (* t 2e-16))
  (* (sqrt 2e-16) (* t 2e-16))
  (* (sqrt (sqrt 2e-16)) (* t 2e-16))
  (* (sqrt 2e-16) (* t 2e-16))
  (real->posit16 (* (sqrt 2e-16) (* t 2e-16)))
  (* 2e-16 (* t (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* t (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* t (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) (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* t (sqrt 2e-16)))
  (* 2e-16 (* t (sqrt 2e-16)))
  (* 2e-16 (* t (sqrt 2e-16)))
8.920 * * [simplify]: iteration 0: 87 enodes
8.960 * * [simplify]: iteration 1: 236 enodes
9.050 * * [simplify]: iteration 2: 1128 enodes
9.666 * * [simplify]: iteration complete: 5014 enodes
9.666 * * [simplify]: Extracting #0: cost 35 inf + 0
9.669 * * [simplify]: Extracting #1: cost 923 inf + 1
9.680 * * [simplify]: Extracting #2: cost 1651 inf + 30999
9.723 * * [simplify]: Extracting #3: cost 667 inf + 216434
9.792 * * [simplify]: Extracting #4: cost 52 inf + 358103
9.881 * * [simplify]: Extracting #5: cost 0 inf + 373232
9.978 * [simplify]: Simplified to:
  (* 2e-16 (* 2e-16 t))
  (* 2e-16 (* 2e-16 t))
  (* 2e-16 (* 2e-16 t))
  (log (* 2e-16 (* 2e-16 t)))
  (log (* 2e-16 (* 2e-16 t)))
  (log (* 2e-16 (* 2e-16 t)))
  (log (* 2e-16 (* 2e-16 t)))
  (exp (* 2e-16 (* 2e-16 t)))
  (* (* 2e-16 (* 2e-16 t)) (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))))
  (* (* 2e-16 (* 2e-16 t)) (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))))
  (* (* 2e-16 (* 2e-16 t)) (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))))
  (* (cbrt (* 2e-16 (* 2e-16 t))) (cbrt (* 2e-16 (* 2e-16 t))))
  (cbrt (* 2e-16 (* 2e-16 t)))
  (* (* 2e-16 (* 2e-16 t)) (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))))
  (sqrt (* 2e-16 (* 2e-16 t)))
  (sqrt (* 2e-16 (* 2e-16 t)))
  2e-16
  (* (cbrt (sqrt 2e-16)) (* 2e-16 (* t (sqrt 2e-16))))
  (* (sqrt (cbrt 2e-16)) (* 2e-16 (* t (sqrt 2e-16))))
  (* (sqrt 2e-16) (* (* 2e-16 t) (sqrt (sqrt 2e-16))))
  (* 2e-16 (* 2e-16 t))
  (* (sqrt 2e-16) (* (* 2e-16 t) (sqrt (sqrt 2e-16))))
  (* 2e-16 (* 2e-16 t))
  (real->posit16 (* 2e-16 (* 2e-16 t)))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (+ (log (* t 2e-16)) (log (* t 2e-16)))
  (exp (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))
  (* (* (* (* 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))
  (* t (sqrt 2e-16))
  (* (* (cbrt t) 2e-16) (* 2e-16 t))
  (* (* (sqrt t) 2e-16) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))
  (* 2e-16 (* t (sqrt 2e-16)))
  (* 2e-16 (* t (sqrt 2e-16)))
  (log (* 2e-16 (* t (sqrt 2e-16))))
  (log (* 2e-16 (* t (sqrt 2e-16))))
  (log (* 2e-16 (* t (sqrt 2e-16))))
  (exp (* 2e-16 (* t (sqrt 2e-16))))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* 2e-16 (sqrt 2e-16)))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* 2e-16 (sqrt 2e-16)))
  (* (cbrt (* 2e-16 (* t (sqrt 2e-16)))) (cbrt (* 2e-16 (* t (sqrt 2e-16)))))
  (cbrt (* 2e-16 (* t (sqrt 2e-16))))
  (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* 2e-16 (sqrt 2e-16)))
  (sqrt (* 2e-16 (* t (sqrt 2e-16))))
  (sqrt (* 2e-16 (* t (sqrt 2e-16))))
  (* t (sqrt 2e-16))
  (* (cbrt (sqrt 2e-16)) (* t 2e-16))
  (* (* 2e-16 t) (sqrt (cbrt 2e-16)))
  (* (* t 2e-16) (sqrt (sqrt 2e-16)))
  (* 2e-16 (* t (sqrt 2e-16)))
  (* (* t 2e-16) (sqrt (sqrt 2e-16)))
  (* 2e-16 (* t (sqrt 2e-16)))
  (real->posit16 (* 2e-16 (* t (sqrt 2e-16))))
  (* t (* 2e-16 2e-16))
  (* t (* 2e-16 2e-16))
  (* t (* 2e-16 2e-16))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* (* 2e-16 t) (* 2e-16 t))
  (* 2e-16 (* t (sqrt 2e-16)))
  (* 2e-16 (* t (sqrt 2e-16)))
  (* 2e-16 (* t (sqrt 2e-16)))
9.983 * * * [progress]: adding candidates to table
10.162 * * [progress]: iteration 4 / 4
10.162 * * * [progress]: picking best candidate
10.174 * * * * [pick]: Picked  #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))>
10.175 * * * [progress]: localizing error
10.182 * * * [progress]: generating rewritten candidates
10.182 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
10.228 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
10.242 * * * [progress]: generating series expansions
10.242 * * * * [progress]: [ 1 / 2 ] generating series at (2)
10.243 * [backup-simplify]: Simplify (* (* (* t 2e-16) t) 2e-16) into (* 3.9999999999999997e-32 (pow t 2))
10.243 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.243 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.243 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.243 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.243 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.243 * [taylor]: Taking taylor expansion of t in t
10.243 * [backup-simplify]: Simplify 0 into 0
10.243 * [backup-simplify]: Simplify 1 into 1
10.243 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
10.243 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.243 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.243 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.243 * [taylor]: Taking taylor expansion of t in t
10.243 * [backup-simplify]: Simplify 0 into 0
10.243 * [backup-simplify]: Simplify 1 into 1
10.243 * [backup-simplify]: Simplify (* 1 1) into 1
10.244 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.244 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.244 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.245 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
10.245 * [backup-simplify]: Simplify 0 into 0
10.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.246 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
10.246 * [backup-simplify]: Simplify 0 into 0
10.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.247 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.247 * [backup-simplify]: Simplify 0 into 0
10.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.249 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.249 * [backup-simplify]: Simplify 0 into 0
10.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.250 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.250 * [backup-simplify]: Simplify 0 into 0
10.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.252 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.252 * [backup-simplify]: Simplify 0 into 0
10.253 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.253 * [backup-simplify]: Simplify (* (* (* (/ 1 t) 2e-16) (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 (pow t 2))
10.253 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.253 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.253 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.253 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.253 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.253 * [taylor]: Taking taylor expansion of t in t
10.253 * [backup-simplify]: Simplify 0 into 0
10.253 * [backup-simplify]: Simplify 1 into 1
10.253 * [backup-simplify]: Simplify (* 1 1) into 1
10.254 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.254 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.254 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.254 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.254 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.254 * [taylor]: Taking taylor expansion of t in t
10.254 * [backup-simplify]: Simplify 0 into 0
10.254 * [backup-simplify]: Simplify 1 into 1
10.254 * [backup-simplify]: Simplify (* 1 1) into 1
10.254 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.254 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.255 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.255 * [backup-simplify]: Simplify 0 into 0
10.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.256 * [backup-simplify]: Simplify 0 into 0
10.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.258 * [backup-simplify]: Simplify 0 into 0
10.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.259 * [backup-simplify]: Simplify 0 into 0
10.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.260 * [backup-simplify]: Simplify 0 into 0
10.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.262 * [backup-simplify]: Simplify 0 into 0
10.262 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.262 * [backup-simplify]: Simplify (* (* (* (/ 1 (- t)) 2e-16) (/ 1 (- t))) 2e-16) into (/ 3.9999999999999997e-32 (pow t 2))
10.262 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
10.262 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.262 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.262 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.262 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.262 * [taylor]: Taking taylor expansion of t in t
10.262 * [backup-simplify]: Simplify 0 into 0
10.262 * [backup-simplify]: Simplify 1 into 1
10.263 * [backup-simplify]: Simplify (* 1 1) into 1
10.263 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.263 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
10.263 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
10.263 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.263 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.263 * [taylor]: Taking taylor expansion of t in t
10.265 * [backup-simplify]: Simplify 0 into 0
10.265 * [backup-simplify]: Simplify 1 into 1
10.265 * [backup-simplify]: Simplify (* 1 1) into 1
10.265 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
10.266 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
10.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
10.266 * [backup-simplify]: Simplify 0 into 0
10.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.268 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.268 * [backup-simplify]: Simplify 0 into 0
10.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.269 * [backup-simplify]: Simplify 0 into 0
10.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.270 * [backup-simplify]: Simplify 0 into 0
10.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.272 * [backup-simplify]: Simplify 0 into 0
10.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.274 * [backup-simplify]: Simplify 0 into 0
10.274 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
10.274 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
10.274 * [backup-simplify]: Simplify (* (* t 2e-16) t) into (* 2e-16 (pow t 2))
10.274 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0
10.274 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
10.274 * [taylor]: Taking taylor expansion of 2e-16 in t
10.274 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.274 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.274 * [taylor]: Taking taylor expansion of t in t
10.274 * [backup-simplify]: Simplify 0 into 0
10.274 * [backup-simplify]: Simplify 1 into 1
10.274 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
10.274 * [taylor]: Taking taylor expansion of 2e-16 in t
10.274 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.274 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.274 * [taylor]: Taking taylor expansion of t in t
10.274 * [backup-simplify]: Simplify 0 into 0
10.274 * [backup-simplify]: Simplify 1 into 1
10.274 * [backup-simplify]: Simplify (* 1 1) into 1
10.275 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
10.275 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.275 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.276 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
10.276 * [backup-simplify]: Simplify 0 into 0
10.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.277 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
10.277 * [backup-simplify]: Simplify 0 into 0
10.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.278 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.278 * [backup-simplify]: Simplify 0 into 0
10.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.279 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.279 * [backup-simplify]: Simplify 0 into 0
10.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.281 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.281 * [backup-simplify]: Simplify 0 into 0
10.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.283 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.283 * [backup-simplify]: Simplify 0 into 0
10.283 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2))
10.283 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (/ 1 t)) into (/ 2e-16 (pow t 2))
10.283 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
10.283 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
10.283 * [taylor]: Taking taylor expansion of 2e-16 in t
10.283 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.283 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.283 * [taylor]: Taking taylor expansion of t in t
10.283 * [backup-simplify]: Simplify 0 into 0
10.283 * [backup-simplify]: Simplify 1 into 1
10.284 * [backup-simplify]: Simplify (* 1 1) into 1
10.284 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
10.284 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
10.284 * [taylor]: Taking taylor expansion of 2e-16 in t
10.284 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.284 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.284 * [taylor]: Taking taylor expansion of t in t
10.284 * [backup-simplify]: Simplify 0 into 0
10.284 * [backup-simplify]: Simplify 1 into 1
10.284 * [backup-simplify]: Simplify (* 1 1) into 1
10.284 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
10.285 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.285 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
10.285 * [backup-simplify]: Simplify 0 into 0
10.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.287 * [backup-simplify]: Simplify 0 into 0
10.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.288 * [backup-simplify]: Simplify 0 into 0
10.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.289 * [backup-simplify]: Simplify 0 into 0
10.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.291 * [backup-simplify]: Simplify 0 into 0
10.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.292 * [backup-simplify]: Simplify 0 into 0
10.292 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2))
10.292 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (/ 1 (- t))) into (/ 2e-16 (pow t 2))
10.292 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
10.292 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
10.292 * [taylor]: Taking taylor expansion of 2e-16 in t
10.292 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.292 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.292 * [taylor]: Taking taylor expansion of t in t
10.292 * [backup-simplify]: Simplify 0 into 0
10.292 * [backup-simplify]: Simplify 1 into 1
10.293 * [backup-simplify]: Simplify (* 1 1) into 1
10.293 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
10.293 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
10.293 * [taylor]: Taking taylor expansion of 2e-16 in t
10.293 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.293 * [taylor]: Taking taylor expansion of (pow t 2) in t
10.293 * [taylor]: Taking taylor expansion of t in t
10.293 * [backup-simplify]: Simplify 0 into 0
10.293 * [backup-simplify]: Simplify 1 into 1
10.293 * [backup-simplify]: Simplify (* 1 1) into 1
10.294 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
10.294 * [backup-simplify]: Simplify 2e-16 into 2e-16
10.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
10.295 * [backup-simplify]: Simplify 0 into 0
10.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.296 * [backup-simplify]: Simplify 0 into 0
10.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.297 * [backup-simplify]: Simplify 0 into 0
10.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.298 * [backup-simplify]: Simplify 0 into 0
10.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.300 * [backup-simplify]: Simplify 0 into 0
10.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.301 * [backup-simplify]: Simplify 0 into 0
10.301 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2))
10.302 * * * [progress]: simplifying candidates
10.302 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
10.302 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
10.302 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
10.302 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) t) 2e-16) 1))>
10.302 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (+ (log t) (log 2e-16)) (log t)) (log 2e-16))))>
10.302 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log (* t 2e-16)) (log t)) (log 2e-16))))>
10.302 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* (* t 2e-16) t)) (log 2e-16))))>
10.302 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* (* t 2e-16) t) 2e-16))))>
10.302 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* (* t 2e-16) t) 2e-16))))>
10.302 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))))>
10.302 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))))>
10.302 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t)) (* (* 2e-16 2e-16) 2e-16))))>
10.302 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* (* t 2e-16) t) 2e-16)) (cbrt (* (* (* t 2e-16) t) 2e-16))) (cbrt (* (* (* t 2e-16) t) 2e-16))))>
10.302 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) t) 2e-16) (* (* (* t 2e-16) t) 2e-16)) (* (* (* t 2e-16) t) 2e-16))))>
10.302 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* (* t 2e-16) t) 2e-16)) (sqrt (* (* (* t 2e-16) t) 2e-16))))>
10.302 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) t) 2e-16)))>
10.302 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)))>
10.302 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) (sqrt 2e-16)) (sqrt 2e-16)))>
10.302 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) 1) 2e-16))>
10.302 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
10.302 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* (* t 2e-16) t) 2e-16))))>
10.302 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t 2e-16) t)))>
10.302 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
10.302 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
10.303 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) t) 1) 2e-16))>
10.303 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (+ (log t) (log 2e-16)) (log t))) 2e-16))>
10.303 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (log (* t 2e-16)) (log t))) 2e-16))>
10.303 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (log (* (* t 2e-16) t))) 2e-16))>
10.303 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (* (log (exp (* (* t 2e-16) t))) 2e-16))>
10.303 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))) 2e-16))>
10.303 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t))) 2e-16))>
10.303 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* (* t 2e-16) t)) (cbrt (* (* t 2e-16) t))) (cbrt (* (* t 2e-16) t))) 2e-16))>
10.303 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t))) 2e-16))>
10.303 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) t)) (sqrt (* (* t 2e-16) t))) 2e-16))>
10.303 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) t)) 2e-16))>
10.303 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* (cbrt t) (cbrt t))) (cbrt t)) 2e-16))>
10.303 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt t)) (sqrt t)) 2e-16))>
10.303 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 1) t) 2e-16))>
10.303 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t (* 2e-16 t)) 2e-16))>
10.303 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (* (posit16->real (real->posit16 (* (* t 2e-16) t))) 2e-16))>
10.303 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t (* t 2e-16)) 2e-16))>
10.303 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.303 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.303 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
10.303 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
10.303 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
10.303 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (pow t 2)) 2e-16))>
10.304 * [simplify]: Simplifying:
  (* (* (* t 2e-16) t) 2e-16)
  (* (* (* t 2e-16) t) 2e-16)
  (* (* (* t 2e-16) t) 2e-16)
  (+ (+ (+ (log t) (log 2e-16)) (log t)) (log 2e-16))
  (+ (+ (log (* t 2e-16)) (log t)) (log 2e-16))
  (+ (log (* (* t 2e-16) t)) (log 2e-16))
  (log (* (* (* t 2e-16) t) 2e-16))
  (exp (* (* (* t 2e-16) t) 2e-16))
  (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))
  (* (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))
  (* (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t)) (* (* 2e-16 2e-16) 2e-16))
  (* (cbrt (* (* (* t 2e-16) t) 2e-16)) (cbrt (* (* (* t 2e-16) t) 2e-16)))
  (cbrt (* (* (* t 2e-16) t) 2e-16))
  (* (* (* (* (* t 2e-16) t) 2e-16) (* (* (* t 2e-16) t) 2e-16)) (* (* (* t 2e-16) t) 2e-16))
  (sqrt (* (* (* t 2e-16) t) 2e-16))
  (sqrt (* (* (* t 2e-16) t) 2e-16))
  (* (* (* t 2e-16) t) (* (cbrt 2e-16) (cbrt 2e-16)))
  (* (* (* t 2e-16) t) (sqrt 2e-16))
  (* (* (* t 2e-16) t) 1)
  (* t 2e-16)
  (real->posit16 (* (* (* t 2e-16) t) 2e-16))
  (* (* t 2e-16) t)
  (* (* t 2e-16) t)
  (+ (+ (log t) (log 2e-16)) (log t))
  (+ (log (* t 2e-16)) (log t))
  (log (* (* t 2e-16) t))
  (exp (* (* t 2e-16) t))
  (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* t t) t))
  (* (cbrt (* (* t 2e-16) t)) (cbrt (* (* t 2e-16) t)))
  (cbrt (* (* t 2e-16) t))
  (* (* (* (* t 2e-16) t) (* (* t 2e-16) t)) (* (* t 2e-16) t))
  (sqrt (* (* t 2e-16) t))
  (sqrt (* (* t 2e-16) t))
  (* (* t 2e-16) (* (cbrt t) (cbrt t)))
  (* (* t 2e-16) (sqrt t))
  (* (* t 2e-16) 1)
  (* 2e-16 t)
  (real->posit16 (* (* t 2e-16) t))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
  (* 2e-16 (pow t 2))
10.304 * * [simplify]: iteration 0: 61 enodes
10.318 * * [simplify]: iteration 1: 165 enodes
10.397 * * [simplify]: iteration 2: 564 enodes
10.963 * * [simplify]: iteration 3: 2576 enodes
12.190 * * [simplify]: iteration complete: 5001 enodes
12.190 * * [simplify]: Extracting #0: cost 22 inf + 0
12.192 * * [simplify]: Extracting #1: cost 561 inf + 0
12.202 * * [simplify]: Extracting #2: cost 1398 inf + 5766
12.219 * * [simplify]: Extracting #3: cost 969 inf + 97603
12.289 * * [simplify]: Extracting #4: cost 89 inf + 221567
12.354 * * [simplify]: Extracting #5: cost 6 inf + 237358
12.424 * * [simplify]: Extracting #6: cost 0 inf + 239226
12.485 * [simplify]: Simplified to:
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (exp (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16))))
  (cbrt (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))
  (fabs (* 2e-16 t))
  (fabs (* 2e-16 t))
  (* (* 2e-16 t) (* (* t (cbrt 2e-16)) (cbrt 2e-16)))
  (* (* (sqrt 2e-16) t) (* 2e-16 t))
  (* 2e-16 (* t t))
  (* 2e-16 t)
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* 2e-16 (* t t))
  (* 2e-16 (* t t))
  (log (* 2e-16 (* t t)))
  (log (* 2e-16 (* t t)))
  (log (* 2e-16 (* t t)))
  (exp (* 2e-16 (* t t)))
  (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))
  (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))
  (* (cbrt (* 2e-16 (* t t))) (cbrt (* 2e-16 (* t t))))
  (cbrt (* 2e-16 (* t t)))
  (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))
  (sqrt (* 2e-16 (* t t)))
  (sqrt (* 2e-16 (* t t)))
  (* t (* (* 2e-16 (cbrt t)) (cbrt t)))
  (* (sqrt t) (* 2e-16 t))
  (* 2e-16 t)
  (* 2e-16 t)
  (real->posit16 (* 2e-16 (* t t)))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* 2e-16 (* t t))
  (* 2e-16 (* t t))
  (* 2e-16 (* t t))
12.487 * * * [progress]: adding candidates to table
12.573 * [progress]: [Phase 3 of 3] Extracting.
12.573 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (sqrt t) (* (* (sqrt t) 2e-16) (* 2e-16 t))))> #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))> #<alt (λ (t) (* (* t (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))> #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))> #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt (* (sqrt 2e-16) (* t 2e-16))) (sqrt (* (sqrt 2e-16) (* t 2e-16)))))))> #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))> #<alt (λ (t) (* t (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))))>)
12.573 * * * [regime-changes]: Trying 1 branch expressions: (t)
12.573 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (sqrt t) (* (* (sqrt t) 2e-16) (* 2e-16 t))))> #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))> #<alt (λ (t) (* (* t (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))> #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))> #<alt (λ (t) (* t (* (sqrt 2e-16) (* (sqrt (* (sqrt 2e-16) (* t 2e-16))) (sqrt (* (sqrt 2e-16) (* t 2e-16)))))))> #<alt (λ (t) (* t (* (sqrt (* 2e-16 (* t 2e-16))) (sqrt (* 2e-16 (* t 2e-16))))))> #<alt (λ (t) (* t (* (sqrt (* (cbrt 2e-16) (cbrt 2e-16))) (* (sqrt (cbrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))))>)
12.630 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
12.631 * [simplify]: Simplifying:
  (* (* (* t 2e-16) t) 2e-16)
12.631 * * [simplify]: iteration 0: 5 enodes
12.631 * * [simplify]: iteration 1: 8 enodes
12.632 * * [simplify]: iteration complete: 8 enodes
12.632 * * [simplify]: Extracting #0: cost 1 inf + 0
12.632 * * [simplify]: Extracting #1: cost 3 inf + 0
12.632 * * [simplify]: Extracting #2: cost 4 inf + 1
12.632 * * [simplify]: Extracting #3: cost 3 inf + 2
12.632 * * [simplify]: Extracting #4: cost 0 inf + 248
12.632 * [simplify]: Simplified to:
  (* (* t (* t 2e-16)) 2e-16)
15.513 * [regime-testing]: Baseline error score: 0.3220214558078774
15.517 * [regime-testing]: Oracle error score: 0.01675209401175147
15.521 * [regime-testing]: End program error score: 0.3220214558078774
15.572 * [regime-testing]: Target error score: 50.55280106855873