7.414 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.075 * * * [progress]: [2/2] Setting up program.
0.079 * [progress]: [Phase 2 of 3] Improving.
0.079 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.079 * [simplify]: Simplifying:
  (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.079 * * [simplify]: iteration 0: 11 enodes
0.084 * * [simplify]: iteration 1: 29 enodes
0.098 * * [simplify]: iteration 2: 77 enodes
0.151 * * [simplify]: iteration 3: 186 enodes
0.254 * * [simplify]: iteration 4: 566 enodes
1.098 * * [simplify]: iteration 5: 2278 enodes
2.206 * * [simplify]: iteration complete: 5001 enodes
2.206 * * [simplify]: Extracting #0: cost 1 inf + 0
2.206 * * [simplify]: Extracting #1: cost 153 inf + 0
2.209 * * [simplify]: Extracting #2: cost 1028 inf + 1325
2.217 * * [simplify]: Extracting #3: cost 1424 inf + 23527
2.267 * * [simplify]: Extracting #4: cost 320 inf + 152637
2.321 * * [simplify]: Extracting #5: cost 23 inf + 207207
2.386 * * [simplify]: Extracting #6: cost 0 inf + 212811
2.455 * * [simplify]: Extracting #7: cost 0 inf + 212810
2.517 * [simplify]: Simplified to:
  (* (* t 2e-16) (* t 2e-16))
2.524 * * [progress]: iteration 1 / 4
2.524 * * * [progress]: picking best candidate
2.527 * * * * [pick]: Picked  #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.527 * * * [progress]: localizing error
2.535 * * * [progress]: generating rewritten candidates
2.535 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.607 * * * [progress]: generating series expansions
2.608 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.608 * [backup-simplify]: Simplify (* (* t 2e-16) (* t 2e-16)) into (* 3.9999999999999997e-32 (pow t 2))
2.608 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.608 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.608 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.608 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.608 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.608 * [taylor]: Taking taylor expansion of t in t
2.608 * [backup-simplify]: Simplify 0 into 0
2.608 * [backup-simplify]: Simplify 1 into 1
2.608 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.608 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.608 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.608 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.608 * [taylor]: Taking taylor expansion of t in t
2.608 * [backup-simplify]: Simplify 0 into 0
2.608 * [backup-simplify]: Simplify 1 into 1
2.609 * [backup-simplify]: Simplify (* 1 1) into 1
2.609 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.609 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.609 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.610 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
2.610 * [backup-simplify]: Simplify 0 into 0
2.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.611 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
2.611 * [backup-simplify]: Simplify 0 into 0
2.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.612 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.612 * [backup-simplify]: Simplify 0 into 0
2.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.614 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.614 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.616 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.616 * [backup-simplify]: Simplify 0 into 0
2.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.617 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.618 * [backup-simplify]: Simplify 0 into 0
2.618 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.618 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (* (/ 1 t) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.618 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.618 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.618 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.618 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.618 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.618 * [taylor]: Taking taylor expansion of t in t
2.618 * [backup-simplify]: Simplify 0 into 0
2.618 * [backup-simplify]: Simplify 1 into 1
2.618 * [backup-simplify]: Simplify (* 1 1) into 1
2.618 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.619 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.619 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.619 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.619 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.619 * [taylor]: Taking taylor expansion of t in t
2.619 * [backup-simplify]: Simplify 0 into 0
2.619 * [backup-simplify]: Simplify 1 into 1
2.619 * [backup-simplify]: Simplify (* 1 1) into 1
2.619 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.619 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.620 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.620 * [backup-simplify]: Simplify 0 into 0
2.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.621 * [backup-simplify]: Simplify 0 into 0
2.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.624 * [backup-simplify]: Simplify 0 into 0
2.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.625 * [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.625 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.627 * [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.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.627 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (* (/ 1 (- t)) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2))
2.627 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.627 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.627 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.627 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.627 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.627 * [taylor]: Taking taylor expansion of t in t
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify 1 into 1
2.628 * [backup-simplify]: Simplify (* 1 1) into 1
2.628 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.628 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.628 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.628 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.628 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.628 * [taylor]: Taking taylor expansion of t in t
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify 1 into 1
2.628 * [backup-simplify]: Simplify (* 1 1) into 1
2.629 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.629 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.631 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.631 * [backup-simplify]: Simplify 0 into 0
2.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.632 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.635 * [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.635 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.638 * [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.638 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.639 * * * [progress]: simplifying candidates
2.639 * * * * [progress]: [ 1 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.639 * * * * [progress]: [ 2 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.639 * * * * [progress]: [ 3 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.639 * * * * [progress]: [ 4 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.639 * * * * [progress]: [ 5 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.639 * * * * [progress]: [ 6 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.639 * * * * [progress]: [ 7 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.639 * * * * [progress]: [ 8 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.639 * * * * [progress]: [ 9 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) 2))>
2.640 * * * * [progress]: [ 10 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.640 * * * * [progress]: [ 11 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (+ 1 1)))>
2.640 * * * * [progress]: [ 12 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* (* t 2e-16) (* t 2e-16)) 1))>
2.640 * * * * [progress]: [ 13 / 77 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (+ (log t) (log 2e-16)))))>
2.640 * * * * [progress]: [ 14 / 77 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log t) (log 2e-16)) (log (* t 2e-16)))))>
2.640 * * * * [progress]: [ 15 / 77 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (+ (log t) (log 2e-16)))))>
2.640 * * * * [progress]: [ 16 / 77 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* t 2e-16)) (log (* t 2e-16)))))>
2.640 * * * * [progress]: [ 17 / 77 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* t 2e-16) (* t 2e-16)))))>
2.640 * * * * [progress]: [ 18 / 77 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* t 2e-16) (* t 2e-16)))))>
2.640 * * * * [progress]: [ 19 / 77 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))))>
2.640 * * * * [progress]: [ 20 / 77 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))>
2.640 * * * * [progress]: [ 21 / 77 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)))))>
2.640 * * * * [progress]: [ 22 / 77 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))))>
2.640 * * * * [progress]: [ 23 / 77 ] 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.640 * * * * [progress]: [ 24 / 77 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16)))))>
2.641 * * * * [progress]: [ 25 / 77 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* t 2e-16) (* t 2e-16))) (sqrt (* (* t 2e-16) (* t 2e-16)))))>
2.641 * * * * [progress]: [ 26 / 77 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* t 2e-16) (* t 2e-16))))>
2.641 * * * * [progress]: [ 27 / 77 ] simplifiying candidate #<alt (λ (t) (* (* t t) (* 2e-16 2e-16)))>
2.641 * * * * [progress]: [ 28 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))) (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16)))) (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16)))))>
2.641 * * * * [progress]: [ 29 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (sqrt (* t 2e-16))) (* (sqrt (* t 2e-16)) (sqrt (* t 2e-16)))))>
2.641 * * * * [progress]: [ 30 / 77 ] simplifiying candidate #<alt (λ (t) (* (* 1 1) (* (* t 2e-16) (* t 2e-16))))>
2.641 * * * * [progress]: [ 31 / 77 ] simplifiying candidate #<alt (λ (t) (* (* 1 1) (* (* t 2e-16) (* t 2e-16))))>
2.641 * * * * [progress]: [ 32 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt 2e-16))) (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt 2e-16)))))>
2.641 * * * * [progress]: [ 33 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t (* (cbrt 2e-16) (cbrt 2e-16))) (* t (* (cbrt 2e-16) (cbrt 2e-16)))) (* (cbrt 2e-16) (cbrt 2e-16))))>
2.641 * * * * [progress]: [ 34 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* (sqrt 2e-16) (sqrt 2e-16))))>
2.641 * * * * [progress]: [ 35 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 1) (* t 1)) (* 2e-16 2e-16)))>
2.641 * * * * [progress]: [ 36 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (* (cbrt t) 2e-16) (* (cbrt t) 2e-16))))>
2.641 * * * * [progress]: [ 37 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt t) (sqrt t)) (* (* (sqrt t) 2e-16) (* (sqrt t) 2e-16))))>
2.641 * * * * [progress]: [ 38 / 77 ] simplifiying candidate #<alt (λ (t) (* (* 1 1) (* (* t 2e-16) (* t 2e-16))))>
2.641 * * * * [progress]: [ 39 / 77 ] simplifiying candidate #<alt (λ (t) (* (* 1 1) (* (* t 2e-16) (* t 2e-16))))>
2.642 * * * * [progress]: [ 40 / 77 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 2e-16) (* t t)))>
2.642 * * * * [progress]: [ 41 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (sqrt (* t 2e-16))) (* (sqrt (* t 2e-16)) (sqrt (* t 2e-16)))))>
2.642 * * * * [progress]: [ 42 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt 2e-16))) (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt 2e-16)))))>
2.642 * * * * [progress]: [ 43 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16))) (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))))>
2.642 * * * * [progress]: [ 44 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt 2e-16))) (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt 2e-16)))))>
2.642 * * * * [progress]: [ 45 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.642 * * * * [progress]: [ 46 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.642 * * * * [progress]: [ 47 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.642 * * * * [progress]: [ 48 / 77 ] simplifiying candidate #<alt (λ (t) (pow (* t 2e-16) (* 2 1)))>
2.642 * * * * [progress]: [ 49 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) t) 2e-16))>
2.642 * * * * [progress]: [ 50 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16)))) (cbrt (* t 2e-16))))>
2.642 * * * * [progress]: [ 51 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (sqrt (* t 2e-16))) (sqrt (* t 2e-16))))>
2.642 * * * * [progress]: [ 52 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) 1) (* t 2e-16)))>
2.642 * * * * [progress]: [ 53 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (sqrt t) (sqrt 2e-16))) (* (sqrt t) (sqrt 2e-16))))>
2.642 * * * * [progress]: [ 54 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (* (cbrt 2e-16) (cbrt 2e-16)))) (cbrt 2e-16)))>
2.642 * * * * [progress]: [ 55 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))>
2.643 * * * * [progress]: [ 56 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t 1)) 2e-16))>
2.643 * * * * [progress]: [ 57 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (cbrt t) (cbrt t))) (* (cbrt t) 2e-16)))>
2.643 * * * * [progress]: [ 58 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (sqrt t)) (* (sqrt t) 2e-16)))>
2.643 * * * * [progress]: [ 59 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) 1) (* t 2e-16)))>
2.643 * * * * [progress]: [ 60 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) 2e-16) t))>
2.643 * * * * [progress]: [ 61 / 77 ] simplifiying candidate #<alt (λ (t) (* t (* 2e-16 (* t 2e-16))))>
2.643 * * * * [progress]: [ 62 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))) (* (cbrt (* t 2e-16)) (* t 2e-16))))>
2.643 * * * * [progress]: [ 63 / 77 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t 2e-16)) (* (sqrt (* t 2e-16)) (* t 2e-16))))>
2.643 * * * * [progress]: [ 64 / 77 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* t 2e-16) (* t 2e-16))))>
2.643 * * * * [progress]: [ 65 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt t) (sqrt 2e-16)) (* (* (sqrt t) (sqrt 2e-16)) (* t 2e-16))))>
2.643 * * * * [progress]: [ 66 / 77 ] simplifiying candidate #<alt (λ (t) (* (* t (* (cbrt 2e-16) (cbrt 2e-16))) (* (cbrt 2e-16) (* t 2e-16))))>
2.643 * * * * [progress]: [ 67 / 77 ] simplifiying candidate #<alt (λ (t) (* (* t (sqrt 2e-16)) (* (sqrt 2e-16) (* t 2e-16))))>
2.643 * * * * [progress]: [ 68 / 77 ] simplifiying candidate #<alt (λ (t) (* (* t 1) (* 2e-16 (* t 2e-16))))>
2.643 * * * * [progress]: [ 69 / 77 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (* (cbrt t) 2e-16) (* t 2e-16))))>
2.644 * * * * [progress]: [ 70 / 77 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (* (sqrt t) 2e-16) (* t 2e-16))))>
2.644 * * * * [progress]: [ 71 / 77 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* t 2e-16) (* t 2e-16))))>
2.644 * * * * [progress]: [ 72 / 77 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* t (* t 2e-16))))>
2.644 * * * * [progress]: [ 73 / 77 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* t 2e-16) (* t 2e-16)))))>
2.644 * * * * [progress]: [ 74 / 77 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* t 2e-16)))>
2.644 * * * * [progress]: [ 75 / 77 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.644 * * * * [progress]: [ 76 / 77 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.644 * * * * [progress]: [ 77 / 77 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
2.646 * [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)
  (* (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))) (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))))
  (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16)))
  (* (sqrt (* t 2e-16)) (sqrt (* t 2e-16)))
  (* (sqrt (* t 2e-16)) (sqrt (* t 2e-16)))
  (* 1 1)
  (* (* t 2e-16) (* t 2e-16))
  (* 1 1)
  (* (* t 2e-16) (* t 2e-16))
  (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt 2e-16)))
  (* (* t (* (cbrt 2e-16) (cbrt 2e-16))) (* t (* (cbrt 2e-16) (cbrt 2e-16))))
  (* (cbrt 2e-16) (cbrt 2e-16))
  (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16)))
  (* (sqrt 2e-16) (sqrt 2e-16))
  (* (* t 1) (* t 1))
  (* 2e-16 2e-16)
  (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t)))
  (* (* (cbrt t) 2e-16) (* (cbrt t) 2e-16))
  (* (sqrt t) (sqrt t))
  (* (* (sqrt t) 2e-16) (* (sqrt t) 2e-16))
  (* 1 1)
  (* (* t 2e-16) (* t 2e-16))
  (* 1 1)
  (* (* t 2e-16) (* t 2e-16))
  (* 2e-16 2e-16)
  (* t t)
  (* (sqrt (* t 2e-16)) (sqrt (* t 2e-16)))
  (* (sqrt (* t 2e-16)) (sqrt (* t 2e-16)))
  (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt 2e-16)))
  (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt 2e-16)))
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* t 2e-16) t)
  (* (* t 2e-16) (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))))
  (* (* t 2e-16) (sqrt (* t 2e-16)))
  (* (* t 2e-16) 1)
  (* (* t 2e-16) (* (sqrt t) (sqrt 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) (* (cbrt t) (cbrt t)))
  (* (* t 2e-16) (sqrt t))
  (* (* t 2e-16) 1)
  (* (* t 2e-16) 2e-16)
  (* 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))
  (* (* (sqrt t) (sqrt 2e-16)) (* t 2e-16))
  (* (cbrt 2e-16) (* t 2e-16))
  (* (sqrt 2e-16) (* t 2e-16))
  (* 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))
  (* t (* 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.647 * * [simplify]: iteration 0: 86 enodes
2.685 * * [simplify]: iteration 1: 304 enodes
2.918 * * [simplify]: iteration 2: 1201 enodes
3.633 * * [simplify]: iteration complete: 5000 enodes
3.634 * * [simplify]: Extracting #0: cost 37 inf + 0
3.636 * * [simplify]: Extracting #1: cost 802 inf + 362
3.655 * * [simplify]: Extracting #2: cost 1388 inf + 44099
3.735 * * [simplify]: Extracting #3: cost 595 inf + 239365
3.830 * * [simplify]: Extracting #4: cost 10 inf + 348951
3.915 * * [simplify]: Extracting #5: cost 0 inf + 351436
4.046 * * [simplify]: Extracting #6: cost 0 inf + 349836
4.129 * * [simplify]: Extracting #7: cost 0 inf + 349556
4.211 * [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) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (exp (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16))))
  (cbrt (* (* t 2e-16) (* t 2e-16)))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))
  (fabs (* t 2e-16))
  (fabs (* t 2e-16))
  (* t t)
  (* 2e-16 2e-16)
  (* (cbrt (* t 2e-16)) (* t 2e-16))
  (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16)))
  (* t 2e-16)
  (* t 2e-16)
  1
  (* (* t 2e-16) (* t 2e-16))
  1
  (* (* t 2e-16) (* t 2e-16))
  (* t 2e-16)
  (* t 2e-16)
  (* (* t (* (cbrt 2e-16) (cbrt 2e-16))) (* t (* (cbrt 2e-16) (cbrt 2e-16))))
  (* (cbrt 2e-16) (cbrt 2e-16))
  (* (* t t) 2e-16)
  2e-16
  (* t t)
  (* 2e-16 2e-16)
  (* (cbrt t) t)
  (* (* 2e-16 (cbrt t)) (* 2e-16 (cbrt t)))
  t
  (* 2e-16 (* t 2e-16))
  1
  (* (* t 2e-16) (* t 2e-16))
  1
  (* (* t 2e-16) (* t 2e-16))
  (* 2e-16 2e-16)
  (* t t)
  (* t 2e-16)
  (* t 2e-16)
  (* (sqrt t) (* (sqrt 2e-16) (sqrt (* t 2e-16))))
  (* (sqrt t) (* (sqrt 2e-16) (sqrt (* t 2e-16))))
  (* (sqrt t) (* (sqrt 2e-16) (sqrt (* t 2e-16))))
  (* (sqrt t) (* (sqrt 2e-16) (sqrt (* t 2e-16))))
  (* t 2e-16)
  (* t 2e-16)
  2
  2
  2
  2
  (* t (* t 2e-16))
  (* (* (* t 2e-16) (cbrt (* t 2e-16))) (cbrt (* t 2e-16)))
  (* (* t 2e-16) (sqrt (* t 2e-16)))
  (* t 2e-16)
  (* (* t 2e-16) (* (sqrt t) (sqrt 2e-16)))
  (* (* (* (cbrt 2e-16) t) (* (cbrt 2e-16) t)) 2e-16)
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* t (* t 2e-16))
  (* (* (* t 2e-16) (cbrt t)) (cbrt t))
  (* t (* 2e-16 (sqrt t)))
  (* t 2e-16)
  (* 2e-16 (* t 2e-16))
  (* 2e-16 (* t 2e-16))
  (* (cbrt (* t 2e-16)) (* t 2e-16))
  (* (* t 2e-16) (sqrt (* t 2e-16)))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* (sqrt t) (sqrt 2e-16)))
  (* t (* 2e-16 (cbrt 2e-16)))
  (* (* t 2e-16) (sqrt 2e-16))
  (* 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))
  (* t (* 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))
4.213 * * * [progress]: adding candidates to table
4.389 * * [progress]: iteration 2 / 4
4.389 * * * [progress]: picking best candidate
4.405 * * * * [pick]: Picked  #<alt (λ (t) (* (* (* t 2e-16) 2e-16) t))>
4.405 * * * [progress]: localizing error
4.422 * * * [progress]: generating rewritten candidates
4.422 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.597 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
4.656 * * * [progress]: generating series expansions
4.656 * * * * [progress]: [ 1 / 2 ] generating series at (2)
4.656 * [backup-simplify]: Simplify (* (* (* t 2e-16) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2))
4.656 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.657 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
4.657 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.657 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.657 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.657 * [taylor]: Taking taylor expansion of t in t
4.657 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify 1 into 1
4.657 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
4.657 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.657 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.657 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.657 * [taylor]: Taking taylor expansion of t in t
4.657 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify 1 into 1
4.658 * [backup-simplify]: Simplify (* 1 1) into 1
4.658 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.658 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.659 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.660 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
4.660 * [backup-simplify]: Simplify 0 into 0
4.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.663 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
4.663 * [backup-simplify]: Simplify 0 into 0
4.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.665 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.665 * [backup-simplify]: Simplify 0 into 0
4.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.669 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.669 * [backup-simplify]: Simplify 0 into 0
4.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.672 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.672 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.676 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.676 * [backup-simplify]: Simplify (* (* (* (/ 1 t) 2e-16) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2))
4.676 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.676 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.676 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.676 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.676 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.676 * [taylor]: Taking taylor expansion of t in t
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 1 into 1
4.677 * [backup-simplify]: Simplify (* 1 1) into 1
4.677 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.677 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.677 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.677 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.677 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.677 * [taylor]: Taking taylor expansion of t in t
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 1 into 1
4.678 * [backup-simplify]: Simplify (* 1 1) into 1
4.678 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.678 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.679 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.685 * [backup-simplify]: Simplify 0 into 0
4.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.687 * [backup-simplify]: Simplify 0 into 0
4.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.690 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.690 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.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
4.692 * [backup-simplify]: Simplify 0 into 0
4.692 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.692 * [backup-simplify]: Simplify (* (* (* (/ 1 (- t)) 2e-16) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2))
4.692 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.692 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.692 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.692 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.692 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.692 * [taylor]: Taking taylor expansion of t in t
4.692 * [backup-simplify]: Simplify 0 into 0
4.692 * [backup-simplify]: Simplify 1 into 1
4.693 * [backup-simplify]: Simplify (* 1 1) into 1
4.693 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.693 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.693 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.693 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.693 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.693 * [taylor]: Taking taylor expansion of t in t
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify 1 into 1
4.693 * [backup-simplify]: Simplify (* 1 1) into 1
4.694 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.694 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
4.695 * [backup-simplify]: Simplify 0 into 0
4.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.697 * [backup-simplify]: Simplify 0 into 0
4.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.698 * [backup-simplify]: Simplify 0 into 0
4.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.700 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.701 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.701 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
4.701 * [backup-simplify]: Simplify (* (* t 2e-16) 2e-16) into (* 3.9999999999999997e-32 t)
4.702 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0
4.702 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
4.702 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.702 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.702 * [taylor]: Taking taylor expansion of t in t
4.702 * [backup-simplify]: Simplify 0 into 0
4.702 * [backup-simplify]: Simplify 1 into 1
4.702 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
4.702 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.702 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.702 * [taylor]: Taking taylor expansion of t in t
4.702 * [backup-simplify]: Simplify 0 into 0
4.702 * [backup-simplify]: Simplify 1 into 1
4.702 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0
4.702 * [backup-simplify]: Simplify 0 into 0
4.703 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32
4.703 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.704 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0
4.704 * [backup-simplify]: Simplify 0 into 0
4.704 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.704 * [backup-simplify]: Simplify 0 into 0
4.705 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.705 * [backup-simplify]: Simplify 0 into 0
4.708 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.708 * [backup-simplify]: Simplify 0 into 0
4.709 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
4.709 * [backup-simplify]: Simplify 0 into 0
4.710 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
4.710 * [backup-simplify]: Simplify 0 into 0
4.710 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t)
4.710 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) 2e-16) into (/ 3.9999999999999997e-32 t)
4.710 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0
4.710 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
4.710 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.710 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.710 * [taylor]: Taking taylor expansion of t in t
4.710 * [backup-simplify]: Simplify 0 into 0
4.710 * [backup-simplify]: Simplify 1 into 1
4.710 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.710 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
4.710 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.710 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.710 * [taylor]: Taking taylor expansion of t in t
4.710 * [backup-simplify]: Simplify 0 into 0
4.710 * [backup-simplify]: Simplify 1 into 1
4.711 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.711 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
4.711 * [backup-simplify]: Simplify 0 into 0
4.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.712 * [backup-simplify]: Simplify 0 into 0
4.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.713 * [backup-simplify]: Simplify 0 into 0
4.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.713 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.714 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.715 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t)
4.715 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) 2e-16) into (/ -3.9999999999999997e-32 t)
4.715 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0
4.715 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
4.715 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
4.715 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
4.715 * [taylor]: Taking taylor expansion of t in t
4.715 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify 1 into 1
4.715 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
4.715 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
4.715 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
4.715 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
4.715 * [taylor]: Taking taylor expansion of t in t
4.715 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify 1 into 1
4.716 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
4.716 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
4.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0
4.716 * [backup-simplify]: Simplify 0 into 0
4.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.717 * [backup-simplify]: Simplify 0 into 0
4.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.718 * [backup-simplify]: Simplify 0 into 0
4.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.718 * [backup-simplify]: Simplify 0 into 0
4.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.719 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t)
4.720 * * * [progress]: simplifying candidates
4.720 * * * * [progress]: [ 1 / 84 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) 2e-16) t) 1))>
4.720 * * * * [progress]: [ 2 / 84 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) 2e-16) t) 1))>
4.720 * * * * [progress]: [ 3 / 84 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) 2e-16) t) 1))>
4.720 * * * * [progress]: [ 4 / 84 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) 2e-16) t) 1))>
4.720 * * * * [progress]: [ 5 / 84 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (+ (log t) (log 2e-16)) (log 2e-16)) (log t))))>
4.720 * * * * [progress]: [ 6 / 84 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log (* t 2e-16)) (log 2e-16)) (log t))))>
4.720 * * * * [progress]: [ 7 / 84 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* (* t 2e-16) 2e-16)) (log t))))>
4.720 * * * * [progress]: [ 8 / 84 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* (* t 2e-16) 2e-16) t))))>
4.720 * * * * [progress]: [ 9 / 84 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* (* t 2e-16) 2e-16) t))))>
4.720 * * * * [progress]: [ 10 / 84 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))))>
4.720 * * * * [progress]: [ 11 / 84 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))))>
4.720 * * * * [progress]: [ 12 / 84 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16)) (* (* t t) t))))>
4.720 * * * * [progress]: [ 13 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* (* t 2e-16) 2e-16) t)) (cbrt (* (* (* t 2e-16) 2e-16) t))) (cbrt (* (* (* t 2e-16) 2e-16) t))))>
4.720 * * * * [progress]: [ 14 / 84 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) 2e-16) t) (* (* (* t 2e-16) 2e-16) t)) (* (* (* t 2e-16) 2e-16) t))))>
4.721 * * * * [progress]: [ 15 / 84 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* (* t 2e-16) 2e-16) t)) (sqrt (* (* (* t 2e-16) 2e-16) t))))>
4.721 * * * * [progress]: [ 16 / 84 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) 2e-16) t)))>
4.721 * * * * [progress]: [ 17 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) 2e-16)) (sqrt t)) (* (sqrt (* (* t 2e-16) 2e-16)) (sqrt t))))>
4.721 * * * * [progress]: [ 18 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) (sqrt t)) (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) (sqrt t))))>
4.721 * * * * [progress]: [ 19 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16)) (sqrt t)) (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16)) (sqrt t))))>
4.721 * * * * [progress]: [ 20 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 2e-16) (* (cbrt t) (cbrt t))) (cbrt t)))>
4.721 * * * * [progress]: [ 21 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 2e-16) (sqrt t)) (sqrt t)))>
4.721 * * * * [progress]: [ 22 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 2e-16) 1) t))>
4.721 * * * * [progress]: [ 23 / 84 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* 2e-16 t)))>
4.721 * * * * [progress]: [ 24 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* t 2e-16) 2e-16)) (cbrt (* (* t 2e-16) 2e-16))) (* (cbrt (* (* t 2e-16) 2e-16)) t)))>
4.721 * * * * [progress]: [ 25 / 84 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* t 2e-16) 2e-16)) (* (sqrt (* (* t 2e-16) 2e-16)) t)))>
4.721 * * * * [progress]: [ 26 / 84 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) 2e-16) t)))>
4.721 * * * * [progress]: [ 27 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) t)))>
4.721 * * * * [progress]: [ 28 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16)) t)))>
4.721 * * * * [progress]: [ 29 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (cbrt 2e-16) (cbrt 2e-16))) (* (cbrt 2e-16) t)))>
4.721 * * * * [progress]: [ 30 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (sqrt 2e-16)) (* (sqrt 2e-16) t)))>
4.721 * * * * [progress]: [ 31 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) 1) (* 2e-16 t)))>
4.721 * * * * [progress]: [ 32 / 84 ] simplifiying candidate #<alt (λ (t) (* t (* (* 2e-16 2e-16) t)))>
4.721 * * * * [progress]: [ 33 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))) (* (* (cbrt (* t 2e-16)) 2e-16) t)))>
4.721 * * * * [progress]: [ 34 / 84 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t 2e-16)) (* (* (sqrt (* t 2e-16)) 2e-16) t)))>
4.721 * * * * [progress]: [ 35 / 84 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) 2e-16) t)))>
4.721 * * * * [progress]: [ 36 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt t) (sqrt 2e-16)) (* (* (* (sqrt t) (sqrt 2e-16)) 2e-16) t)))>
4.721 * * * * [progress]: [ 37 / 84 ] simplifiying candidate #<alt (λ (t) (* (* t (* (cbrt 2e-16) (cbrt 2e-16))) (* (* (cbrt 2e-16) 2e-16) t)))>
4.721 * * * * [progress]: [ 38 / 84 ] simplifiying candidate #<alt (λ (t) (* (* t (sqrt 2e-16)) (* (* (sqrt 2e-16) 2e-16) t)))>
4.721 * * * * [progress]: [ 39 / 84 ] simplifiying candidate #<alt (λ (t) (* (* t 1) (* (* 2e-16 2e-16) t)))>
4.721 * * * * [progress]: [ 40 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (* (* (cbrt t) 2e-16) 2e-16) t)))>
4.722 * * * * [progress]: [ 41 / 84 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (* (* (sqrt t) 2e-16) 2e-16) t)))>
4.722 * * * * [progress]: [ 42 / 84 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) 2e-16) t)))>
4.722 * * * * [progress]: [ 43 / 84 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t 2e-16) t)))>
4.722 * * * * [progress]: [ 44 / 84 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t 2e-16) t)))>
4.722 * * * * [progress]: [ 45 / 84 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* (* t 2e-16) 2e-16) t))))>
4.722 * * * * [progress]: [ 46 / 84 ] simplifiying candidate #<alt (λ (t) (* t (* (* t 2e-16) 2e-16)))>
4.722 * * * * [progress]: [ 47 / 84 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) 2e-16) 1) t))>
4.722 * * * * [progress]: [ 48 / 84 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) 2e-16) 1) t))>
4.722 * * * * [progress]: [ 49 / 84 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) 2e-16) 1) t))>
4.722 * * * * [progress]: [ 50 / 84 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (+ (log t) (log 2e-16)) (log 2e-16))) t))>
4.722 * * * * [progress]: [ 51 / 84 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (log (* t 2e-16)) (log 2e-16))) t))>
4.722 * * * * [progress]: [ 52 / 84 ] simplifiying candidate #<alt (λ (t) (* (exp (log (* (* t 2e-16) 2e-16))) t))>
4.722 * * * * [progress]: [ 53 / 84 ] simplifiying candidate #<alt (λ (t) (* (log (exp (* (* t 2e-16) 2e-16))) t))>
4.722 * * * * [progress]: [ 54 / 84 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* 2e-16 2e-16) 2e-16))) t))>
4.722 * * * * [progress]: [ 55 / 84 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* 2e-16 2e-16) 2e-16))) t))>
4.722 * * * * [progress]: [ 56 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* (* t 2e-16) 2e-16)) (cbrt (* (* t 2e-16) 2e-16))) (cbrt (* (* t 2e-16) 2e-16))) t))>
4.722 * * * * [progress]: [ 57 / 84 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16))) t))>
4.722 * * * * [progress]: [ 58 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) 2e-16)) (sqrt (* (* t 2e-16) 2e-16))) t))>
4.722 * * * * [progress]: [ 59 / 84 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) 2e-16)) t))>
4.722 * * * * [progress]: [ 60 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) (* (sqrt (* t 2e-16)) (sqrt 2e-16))) t))>
4.722 * * * * [progress]: [ 61 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16)) (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16))) t))>
4.722 * * * * [progress]: [ 62 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)) t))>
4.722 * * * * [progress]: [ 63 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt 2e-16)) (sqrt 2e-16)) t))>
4.722 * * * * [progress]: [ 64 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 1) 2e-16) t))>
4.722 * * * * [progress]: [ 65 / 84 ] simplifiying candidate #<alt (λ (t) (* (* t (* 2e-16 2e-16)) t))>
4.722 * * * * [progress]: [ 66 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))) (* (cbrt (* t 2e-16)) 2e-16)) t))>
4.722 * * * * [progress]: [ 67 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (* (sqrt (* t 2e-16)) 2e-16)) t))>
4.723 * * * * [progress]: [ 68 / 84 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) 2e-16)) t))>
4.723 * * * * [progress]: [ 69 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (* (* (sqrt t) (sqrt 2e-16)) 2e-16)) t))>
4.723 * * * * [progress]: [ 70 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* t (* (cbrt 2e-16) (cbrt 2e-16))) (* (cbrt 2e-16) 2e-16)) t))>
4.723 * * * * [progress]: [ 71 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* t (sqrt 2e-16)) (* (sqrt 2e-16) 2e-16)) t))>
4.723 * * * * [progress]: [ 72 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* t 1) (* 2e-16 2e-16)) t))>
4.723 * * * * [progress]: [ 73 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt t) (cbrt t)) (* (* (cbrt t) 2e-16) 2e-16)) t))>
4.723 * * * * [progress]: [ 74 / 84 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt t) (* (* (sqrt t) 2e-16) 2e-16)) t))>
4.723 * * * * [progress]: [ 75 / 84 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) 2e-16)) t))>
4.723 * * * * [progress]: [ 76 / 84 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* t 2e-16)) t))>
4.723 * * * * [progress]: [ 77 / 84 ] simplifiying candidate #<alt (λ (t) (* (posit16->real (real->posit16 (* (* t 2e-16) 2e-16))) t))>
4.723 * * * * [progress]: [ 78 / 84 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* t 2e-16)) t))>
4.723 * * * * [progress]: [ 79 / 84 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
4.723 * * * * [progress]: [ 80 / 84 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
4.723 * * * * [progress]: [ 81 / 84 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
4.723 * * * * [progress]: [ 82 / 84 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
4.723 * * * * [progress]: [ 83 / 84 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
4.723 * * * * [progress]: [ 84 / 84 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
4.725 * [simplify]: Simplifying:
  (* (* (* t 2e-16) 2e-16) t)
  (* (* (* t 2e-16) 2e-16) t)
  (* (* (* t 2e-16) 2e-16) t)
  (+ (+ (+ (log t) (log 2e-16)) (log 2e-16)) (log t))
  (+ (+ (log (* t 2e-16)) (log 2e-16)) (log t))
  (+ (log (* (* t 2e-16) 2e-16)) (log t))
  (log (* (* (* t 2e-16) 2e-16) t))
  (exp (* (* (* t 2e-16) 2e-16) t))
  (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))
  (* (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))
  (* (* (* (* (* t 2e-16) 2e-16) (* (* t 2e-16) 2e-16)) (* (* t 2e-16) 2e-16)) (* (* t t) t))
  (* (cbrt (* (* (* t 2e-16) 2e-16) t)) (cbrt (* (* (* t 2e-16) 2e-16) t)))
  (cbrt (* (* (* t 2e-16) 2e-16) t))
  (* (* (* (* (* t 2e-16) 2e-16) t) (* (* (* t 2e-16) 2e-16) t)) (* (* (* t 2e-16) 2e-16) t))
  (sqrt (* (* (* t 2e-16) 2e-16) t))
  (sqrt (* (* (* t 2e-16) 2e-16) t))
  (* (sqrt (* (* t 2e-16) 2e-16)) (sqrt t))
  (* (sqrt (* (* t 2e-16) 2e-16)) (sqrt t))
  (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) (sqrt t))
  (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) (sqrt t))
  (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16)) (sqrt t))
  (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16)) (sqrt t))
  (* (* (* t 2e-16) 2e-16) (* (cbrt t) (cbrt t)))
  (* (* (* t 2e-16) 2e-16) (sqrt t))
  (* (* (* t 2e-16) 2e-16) 1)
  (* 2e-16 t)
  (* (cbrt (* (* t 2e-16) 2e-16)) t)
  (* (sqrt (* (* t 2e-16) 2e-16)) t)
  (* (* (* t 2e-16) 2e-16) t)
  (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) t)
  (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16)) t)
  (* (cbrt 2e-16) t)
  (* (sqrt 2e-16) t)
  (* 2e-16 t)
  (* (* 2e-16 2e-16) t)
  (* (* (cbrt (* t 2e-16)) 2e-16) t)
  (* (* (sqrt (* t 2e-16)) 2e-16) t)
  (* (* (* t 2e-16) 2e-16) t)
  (* (* (* (sqrt t) (sqrt 2e-16)) 2e-16) t)
  (* (* (cbrt 2e-16) 2e-16) t)
  (* (* (sqrt 2e-16) 2e-16) t)
  (* (* 2e-16 2e-16) t)
  (* (* (* (cbrt t) 2e-16) 2e-16) t)
  (* (* (* (sqrt t) 2e-16) 2e-16) t)
  (* (* (* t 2e-16) 2e-16) t)
  (* (* t 2e-16) t)
  (* (* t 2e-16) t)
  (real->posit16 (* (* (* t 2e-16) 2e-16) t))
  (* (* t 2e-16) 2e-16)
  (* (* t 2e-16) 2e-16)
  (+ (+ (log t) (log 2e-16)) (log 2e-16))
  (+ (log (* t 2e-16)) (log 2e-16))
  (log (* (* t 2e-16) 2e-16))
  (exp (* (* t 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)) (* (* 2e-16 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))
  (* (sqrt (* t 2e-16)) (sqrt 2e-16))
  (* (sqrt (* t 2e-16)) (sqrt 2e-16))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16))
  (* (* t 2e-16) (* (cbrt 2e-16) (cbrt 2e-16)))
  (* (* t 2e-16) (sqrt 2e-16))
  (* (* t 2e-16) 1)
  (* 2e-16 2e-16)
  (* (cbrt (* t 2e-16)) 2e-16)
  (* (sqrt (* t 2e-16)) 2e-16)
  (* (* t 2e-16) 2e-16)
  (* (* (sqrt t) (sqrt 2e-16)) 2e-16)
  (* (cbrt 2e-16) 2e-16)
  (* (sqrt 2e-16) 2e-16)
  (* 2e-16 2e-16)
  (* (* (cbrt t) 2e-16) 2e-16)
  (* (* (sqrt t) 2e-16) 2e-16)
  (* (* t 2e-16) 2e-16)
  (* t 2e-16)
  (real->posit16 (* (* t 2e-16) 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)
4.727 * * [simplify]: iteration 0: 93 enodes
4.775 * * [simplify]: iteration 1: 246 enodes
4.913 * * [simplify]: iteration 2: 800 enodes
5.864 * * [simplify]: iteration 3: 3232 enodes
7.455 * * [simplify]: iteration complete: 5001 enodes
7.456 * * [simplify]: Extracting #0: cost 48 inf + 0
7.459 * * [simplify]: Extracting #1: cost 727 inf + 0
7.469 * * [simplify]: Extracting #2: cost 1731 inf + 2706
7.502 * * [simplify]: Extracting #3: cost 1177 inf + 91390
7.575 * * [simplify]: Extracting #4: cost 300 inf + 213423
7.652 * * [simplify]: Extracting #5: cost 12 inf + 249193
7.741 * * [simplify]: Extracting #6: cost 0 inf + 251378
7.806 * [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))
  (* (sqrt (* (* 2e-16 2e-16) t)) (sqrt t))
  (* (sqrt (* (* 2e-16 2e-16) t)) (sqrt t))
  (* (* (sqrt (* 2e-16 t)) (sqrt 2e-16)) (sqrt t))
  (* (* (sqrt (* 2e-16 t)) (sqrt 2e-16)) (sqrt t))
  (* 2e-16 t)
  (* 2e-16 t)
  (* (* (* 2e-16 (cbrt t)) (cbrt t)) (* 2e-16 t))
  (* (* (* t 2e-16) (sqrt t)) 2e-16)
  (* (* 2e-16 2e-16) t)
  (* 2e-16 t)
  (* (cbrt (* (* 2e-16 2e-16) t)) t)
  (* (sqrt (* (* 2e-16 2e-16) t)) t)
  (* (* t 2e-16) (* t 2e-16))
  (* (sqrt 2e-16) (* (sqrt (* 2e-16 t)) t))
  (* (* (sqrt t) t) 2e-16)
  (* t (cbrt 2e-16))
  (* t (sqrt 2e-16))
  (* 2e-16 t)
  (* (* 2e-16 2e-16) t)
  (* (* 2e-16 t) (cbrt (* 2e-16 t)))
  (* (* 2e-16 t) (sqrt (* 2e-16 t)))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t (* (sqrt 2e-16) (sqrt t))) 2e-16)
  (* (cbrt 2e-16) (* 2e-16 t))
  (* (* 2e-16 t) (sqrt 2e-16))
  (* (* 2e-16 2e-16) t)
  (* (* 2e-16 2e-16) (* (cbrt t) t))
  (* (* (* t 2e-16) (sqrt t)) 2e-16)
  (* (* t 2e-16) (* t 2e-16))
  (* t (* 2e-16 t))
  (* t (* 2e-16 t))
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* (* 2e-16 2e-16) t)
  (* (* 2e-16 2e-16) t)
  (log (* (* 2e-16 2e-16) t))
  (log (* (* 2e-16 2e-16) t))
  (log (* (* 2e-16 2e-16) t))
  (exp (* (* 2e-16 2e-16) t))
  (* (* (* 2e-16 2e-16) t) (* (* (* 2e-16 2e-16) t) (* (* 2e-16 2e-16) t)))
  (* (* (* 2e-16 2e-16) t) (* (* (* 2e-16 2e-16) t) (* (* 2e-16 2e-16) t)))
  (* (cbrt (* (* 2e-16 2e-16) t)) (cbrt (* (* 2e-16 2e-16) t)))
  (cbrt (* (* 2e-16 2e-16) t))
  (* (* (* 2e-16 2e-16) t) (* (* (* 2e-16 2e-16) t) (* (* 2e-16 2e-16) t)))
  (sqrt (* (* 2e-16 2e-16) t))
  (sqrt (* (* 2e-16 2e-16) t))
  (* (sqrt (* 2e-16 t)) (sqrt 2e-16))
  (* (sqrt (* 2e-16 t)) (sqrt 2e-16))
  (* (sqrt t) 2e-16)
  (* (sqrt t) 2e-16)
  (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16)))
  (* (* 2e-16 t) (sqrt 2e-16))
  (* 2e-16 t)
  (* 2e-16 2e-16)
  (* 2e-16 (cbrt (* 2e-16 t)))
  (* (sqrt (* 2e-16 t)) 2e-16)
  (* (* 2e-16 2e-16) t)
  (* (* (sqrt t) (sqrt 2e-16)) 2e-16)
  (* 2e-16 (cbrt 2e-16))
  (* (sqrt 2e-16) 2e-16)
  (* 2e-16 2e-16)
  (* (cbrt t) (* 2e-16 2e-16))
  (* (* 2e-16 2e-16) (sqrt t))
  (* (* 2e-16 2e-16) t)
  (* 2e-16 t)
  (real->posit16 (* (* 2e-16 2e-16) t))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
7.811 * * * [progress]: adding candidates to table
8.043 * * [progress]: iteration 3 / 4
8.043 * * * [progress]: picking best candidate
8.064 * * * * [pick]: Picked  #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
8.064 * * * [progress]: localizing error
8.070 * * * [progress]: generating rewritten candidates
8.070 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.107 * * * [progress]: generating series expansions
8.107 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.107 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) t) into (* 3.9999999999999997e-32 (pow t 2))
8.107 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.107 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.108 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.108 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.108 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.108 * [taylor]: Taking taylor expansion of t in t
8.108 * [backup-simplify]: Simplify 0 into 0
8.108 * [backup-simplify]: Simplify 1 into 1
8.108 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.108 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.108 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.108 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.108 * [taylor]: Taking taylor expansion of t in t
8.108 * [backup-simplify]: Simplify 0 into 0
8.108 * [backup-simplify]: Simplify 1 into 1
8.108 * [backup-simplify]: Simplify (* 1 1) into 1
8.109 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.109 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.109 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.109 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
8.109 * [backup-simplify]: Simplify 0 into 0
8.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.111 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
8.111 * [backup-simplify]: Simplify 0 into 0
8.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.112 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.112 * [backup-simplify]: Simplify 0 into 0
8.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.113 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.113 * [backup-simplify]: Simplify 0 into 0
8.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.115 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.115 * [backup-simplify]: Simplify 0 into 0
8.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.117 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.117 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2))
8.117 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.117 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.117 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.117 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.117 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.117 * [taylor]: Taking taylor expansion of t in t
8.117 * [backup-simplify]: Simplify 0 into 0
8.117 * [backup-simplify]: Simplify 1 into 1
8.117 * [backup-simplify]: Simplify (* 1 1) into 1
8.118 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.118 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.118 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.118 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.118 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.118 * [taylor]: Taking taylor expansion of t in t
8.118 * [backup-simplify]: Simplify 0 into 0
8.118 * [backup-simplify]: Simplify 1 into 1
8.118 * [backup-simplify]: Simplify (* 1 1) into 1
8.118 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.118 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.119 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.120 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.120 * [backup-simplify]: Simplify 0 into 0
8.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.122 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.122 * [backup-simplify]: Simplify 0 into 0
8.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.123 * [backup-simplify]: Simplify 0 into 0
8.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.124 * [backup-simplify]: Simplify 0 into 0
8.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.126 * [backup-simplify]: Simplify 0 into 0
8.126 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.126 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2))
8.126 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.126 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.126 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.126 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.126 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.126 * [taylor]: Taking taylor expansion of t in t
8.126 * [backup-simplify]: Simplify 0 into 0
8.126 * [backup-simplify]: Simplify 1 into 1
8.127 * [backup-simplify]: Simplify (* 1 1) into 1
8.127 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.127 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.127 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.127 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.127 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.127 * [taylor]: Taking taylor expansion of t in t
8.127 * [backup-simplify]: Simplify 0 into 0
8.127 * [backup-simplify]: Simplify 1 into 1
8.127 * [backup-simplify]: Simplify (* 1 1) into 1
8.128 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.128 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.128 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.129 * [backup-simplify]: Simplify 0 into 0
8.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.130 * [backup-simplify]: Simplify 0 into 0
8.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.131 * [backup-simplify]: Simplify 0 into 0
8.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.132 * [backup-simplify]: Simplify 0 into 0
8.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.134 * [backup-simplify]: Simplify 0 into 0
8.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.136 * [backup-simplify]: Simplify 0 into 0
8.136 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.136 * * * [progress]: simplifying candidates
8.136 * * * * [progress]: [ 1 / 35 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
8.136 * * * * [progress]: [ 2 / 35 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
8.136 * * * * [progress]: [ 3 / 35 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
8.136 * * * * [progress]: [ 4 / 35 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 3.9999999999999997e-32) (log t)) (log t))))>
8.136 * * * * [progress]: [ 5 / 35 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 3.9999999999999997e-32 t)) (log t))))>
8.136 * * * * [progress]: [ 6 / 35 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* 3.9999999999999997e-32 t) t))))>
8.136 * * * * [progress]: [ 7 / 35 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* 3.9999999999999997e-32 t) t))))>
8.136 * * * * [progress]: [ 8 / 35 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* t t) t))))>
8.136 * * * * [progress]: [ 9 / 35 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* t t) t))))>
8.137 * * * * [progress]: [ 10 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t))) (cbrt (* (* 3.9999999999999997e-32 t) t))))>
8.137 * * * * [progress]: [ 11 / 35 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t))))>
8.137 * * * * [progress]: [ 12 / 35 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))))>
8.137 * * * * [progress]: [ 13 / 35 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* 3.9999999999999997e-32 t) t)))>
8.137 * * * * [progress]: [ 14 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* 3.9999999999999997e-32 t)) (sqrt t)) (* (sqrt (* 3.9999999999999997e-32 t)) (sqrt t))))>
8.137 * * * * [progress]: [ 15 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt t)) (sqrt t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt t)) (sqrt t))))>
8.137 * * * * [progress]: [ 16 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t)))>
8.137 * * * * [progress]: [ 17 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))>
8.137 * * * * [progress]: [ 18 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) 1) t))>
8.137 * * * * [progress]: [ 19 / 35 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>
8.137 * * * * [progress]: [ 20 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* 3.9999999999999997e-32 t)) (cbrt (* 3.9999999999999997e-32 t))) (* (cbrt (* 3.9999999999999997e-32 t)) t)))>
8.137 * * * * [progress]: [ 21 / 35 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* 3.9999999999999997e-32 t)) (* (sqrt (* 3.9999999999999997e-32 t)) t)))>
8.137 * * * * [progress]: [ 22 / 35 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* 3.9999999999999997e-32 t) t)))>
8.137 * * * * [progress]: [ 23 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) (sqrt t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt t)) t)))>
8.137 * * * * [progress]: [ 24 / 35 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 (* (cbrt t) (cbrt t))) (* (cbrt t) t)))>
8.138 * * * * [progress]: [ 25 / 35 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 (sqrt t)) (* (sqrt t) t)))>
8.138 * * * * [progress]: [ 26 / 35 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 1) (* t t)))>
8.138 * * * * [progress]: [ 27 / 35 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)) (* (* (cbrt 3.9999999999999997e-32) t) t)))>
8.138 * * * * [progress]: [ 28 / 35 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (sqrt 3.9999999999999997e-32) t) t)))>
8.138 * * * * [progress]: [ 29 / 35 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* 3.9999999999999997e-32 t) t)))>
8.138 * * * * [progress]: [ 30 / 35 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
8.138 * * * * [progress]: [ 31 / 35 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* 3.9999999999999997e-32 t) t))))>
8.138 * * * * [progress]: [ 32 / 35 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
8.138 * * * * [progress]: [ 33 / 35 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.138 * * * * [progress]: [ 34 / 35 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.138 * * * * [progress]: [ 35 / 35 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.139 * [simplify]: Simplifying:
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (+ (+ (log 3.9999999999999997e-32) (log t)) (log t))
  (+ (log (* 3.9999999999999997e-32 t)) (log t))
  (log (* (* 3.9999999999999997e-32 t) t))
  (exp (* (* 3.9999999999999997e-32 t) t))
  (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* t t) t))
  (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* t t) t))
  (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t)))
  (cbrt (* (* 3.9999999999999997e-32 t) t))
  (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (* (sqrt (* 3.9999999999999997e-32 t)) (sqrt t))
  (* (sqrt (* 3.9999999999999997e-32 t)) (sqrt t))
  (* (* (sqrt 3.9999999999999997e-32) (sqrt t)) (sqrt t))
  (* (* (sqrt 3.9999999999999997e-32) (sqrt t)) (sqrt t))
  (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t)))
  (* (* 3.9999999999999997e-32 t) (sqrt t))
  (* (* 3.9999999999999997e-32 t) 1)
  (* t t)
  (* (cbrt (* 3.9999999999999997e-32 t)) t)
  (* (sqrt (* 3.9999999999999997e-32 t)) t)
  (* (* 3.9999999999999997e-32 t) t)
  (* (* (sqrt 3.9999999999999997e-32) (sqrt t)) t)
  (* (cbrt t) t)
  (* (sqrt t) t)
  (* t t)
  (* (* (cbrt 3.9999999999999997e-32) t) t)
  (* (* (sqrt 3.9999999999999997e-32) t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (* 3.9999999999999997e-32 t)
  (real->posit16 (* (* 3.9999999999999997e-32 t) t))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
8.140 * * [simplify]: iteration 0: 53 enodes
8.165 * * [simplify]: iteration 1: 132 enodes
8.233 * * [simplify]: iteration 2: 365 enodes
8.672 * * [simplify]: iteration 3: 1343 enodes
10.520 * * [simplify]: iteration complete: 5000 enodes
10.520 * * [simplify]: Extracting #0: cost 21 inf + 0
10.521 * * [simplify]: Extracting #1: cost 474 inf + 0
10.529 * * [simplify]: Extracting #2: cost 1393 inf + 6748
10.571 * * [simplify]: Extracting #3: cost 650 inf + 102063
10.630 * * [simplify]: Extracting #4: cost 31 inf + 200421
10.704 * * [simplify]: Extracting #5: cost 1 inf + 208392
10.799 * * [simplify]: Extracting #6: cost 0 inf + 208715
10.892 * [simplify]: Simplified to:
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (log (* (* 3.9999999999999997e-32 t) t))
  (log (* (* 3.9999999999999997e-32 t) t))
  (log (* (* 3.9999999999999997e-32 t) t))
  (exp (* (* 3.9999999999999997e-32 t) t))
  (* (* (* 3.9999999999999997e-32 t) t) (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)))
  (* (* (* 3.9999999999999997e-32 t) t) (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)))
  (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t)))
  (cbrt (* (* 3.9999999999999997e-32 t) t))
  (* (* (* 3.9999999999999997e-32 t) t) (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (* (sqrt t) (sqrt (* 3.9999999999999997e-32 t)))
  (* (sqrt t) (sqrt (* 3.9999999999999997e-32 t)))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t)))
  (* t (* 3.9999999999999997e-32 (sqrt t)))
  (* 3.9999999999999997e-32 t)
  (* t t)
  (* t (cbrt (* 3.9999999999999997e-32 t)))
  (* (sqrt (* 3.9999999999999997e-32 t)) t)
  (* (* 3.9999999999999997e-32 t) t)
  (* (* t (sqrt 3.9999999999999997e-32)) (sqrt t))
  (* t (cbrt t))
  (* t (sqrt t))
  (* t t)
  (* (* t t) (cbrt 3.9999999999999997e-32))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* 3.9999999999999997e-32 t) t)
  (* 3.9999999999999997e-32 t)
  (real->posit16 (* (* 3.9999999999999997e-32 t) t))
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
10.894 * * * [progress]: adding candidates to table
11.004 * * [progress]: iteration 4 / 4
11.004 * * * [progress]: picking best candidate
11.023 * * * * [pick]: Picked  #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))>
11.023 * * * [progress]: localizing error
11.049 * * * [progress]: generating rewritten candidates
11.049 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
11.363 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
11.441 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
11.473 * * * [progress]: generating series expansions
11.473 * * * * [progress]: [ 1 / 3 ] generating series at (2)
11.474 * [backup-simplify]: Simplify (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
11.474 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in (t) around 0
11.474 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t
11.474 * [taylor]: Taking taylor expansion of 2e-16 in t
11.474 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.474 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t
11.475 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.475 * [taylor]: Taking taylor expansion of t in t
11.475 * [backup-simplify]: Simplify 0 into 0
11.475 * [backup-simplify]: Simplify 1 into 1
11.475 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
11.475 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.475 * [taylor]: Taking taylor expansion of 2e-16 in t
11.475 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.475 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.476 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.476 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))) in t
11.476 * [taylor]: Taking taylor expansion of 2e-16 in t
11.476 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.476 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 2e-16) 2)) in t
11.476 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.476 * [taylor]: Taking taylor expansion of t in t
11.476 * [backup-simplify]: Simplify 0 into 0
11.476 * [backup-simplify]: Simplify 1 into 1
11.477 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
11.477 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.477 * [taylor]: Taking taylor expansion of 2e-16 in t
11.477 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.477 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.478 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.478 * [backup-simplify]: Simplify (* 1 1) into 1
11.480 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
11.482 * [backup-simplify]: Simplify (* 1 (pow (sqrt 2e-16) 2)) into (pow (sqrt 2e-16) 2)
11.483 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
11.485 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
11.486 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
11.487 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.488 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
11.489 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
11.489 * [backup-simplify]: Simplify 0 into 0
11.491 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.492 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
11.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
11.495 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
11.495 * [backup-simplify]: Simplify 0 into 0
11.497 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.498 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
11.502 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
11.502 * [backup-simplify]: Simplify 0 into 0
11.504 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.505 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
11.510 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
11.510 * [backup-simplify]: Simplify 0 into 0
11.512 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.513 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
11.519 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
11.519 * [backup-simplify]: Simplify 0 into 0
11.521 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.522 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
11.528 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
11.528 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify (* (* 2e-16 (pow (sqrt 2e-16) 2)) (pow t 2)) into (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
11.530 * [backup-simplify]: Simplify (* (* (* (/ 1 t) 2e-16) (* (/ 1 t) (sqrt 2e-16))) (sqrt 2e-16)) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2)))
11.530 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0
11.530 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
11.530 * [taylor]: Taking taylor expansion of 2e-16 in t
11.530 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.530 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
11.530 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
11.530 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.530 * [taylor]: Taking taylor expansion of 2e-16 in t
11.530 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.530 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.531 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.531 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.531 * [taylor]: Taking taylor expansion of t in t
11.531 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify 1 into 1
11.531 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
11.532 * [backup-simplify]: Simplify (* 1 1) into 1
11.533 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
11.533 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
11.533 * [taylor]: Taking taylor expansion of 2e-16 in t
11.533 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.533 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
11.533 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
11.533 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.533 * [taylor]: Taking taylor expansion of 2e-16 in t
11.533 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.534 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.534 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.534 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.534 * [taylor]: Taking taylor expansion of t in t
11.534 * [backup-simplify]: Simplify 0 into 0
11.534 * [backup-simplify]: Simplify 1 into 1
11.535 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
11.535 * [backup-simplify]: Simplify (* 1 1) into 1
11.536 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
11.537 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
11.538 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
11.539 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
11.539 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
11.541 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
11.541 * [backup-simplify]: Simplify 0 into 0
11.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.542 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
11.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.544 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
11.544 * [backup-simplify]: Simplify 0 into 0
11.545 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.546 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.548 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
11.548 * [backup-simplify]: Simplify 0 into 0
11.549 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.550 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.552 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
11.552 * [backup-simplify]: Simplify 0 into 0
11.553 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.554 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.556 * [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
11.558 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
11.558 * [backup-simplify]: Simplify 0 into 0
11.560 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.562 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.565 * [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
11.568 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
11.568 * [backup-simplify]: Simplify 0 into 0
11.570 * [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)))
11.571 * [backup-simplify]: Simplify (* (* (* (/ 1 (- t)) 2e-16) (* (/ 1 (- t)) (sqrt 2e-16))) (sqrt 2e-16)) into (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2)))
11.571 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in (t) around 0
11.571 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
11.571 * [taylor]: Taking taylor expansion of 2e-16 in t
11.571 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.571 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
11.571 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
11.571 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.571 * [taylor]: Taking taylor expansion of 2e-16 in t
11.571 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.572 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.572 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.572 * [taylor]: Taking taylor expansion of t in t
11.572 * [backup-simplify]: Simplify 0 into 0
11.572 * [backup-simplify]: Simplify 1 into 1
11.576 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
11.577 * [backup-simplify]: Simplify (* 1 1) into 1
11.579 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
11.579 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (pow (sqrt 2e-16) 2) (pow t 2))) in t
11.579 * [taylor]: Taking taylor expansion of 2e-16 in t
11.579 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.579 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2e-16) 2) (pow t 2)) in t
11.579 * [taylor]: Taking taylor expansion of (pow (sqrt 2e-16) 2) in t
11.579 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.579 * [taylor]: Taking taylor expansion of 2e-16 in t
11.579 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.579 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.580 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.580 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.580 * [taylor]: Taking taylor expansion of t in t
11.580 * [backup-simplify]: Simplify 0 into 0
11.580 * [backup-simplify]: Simplify 1 into 1
11.581 * [backup-simplify]: Simplify (* (sqrt 2e-16) (sqrt 2e-16)) into (pow (sqrt 2e-16) 2)
11.582 * [backup-simplify]: Simplify (* 1 1) into 1
11.583 * [backup-simplify]: Simplify (/ (pow (sqrt 2e-16) 2) 1) into (pow (sqrt 2e-16) 2)
11.585 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
11.587 * [backup-simplify]: Simplify (* 2e-16 (pow (sqrt 2e-16) 2)) into (* 2e-16 (pow (sqrt 2e-16) 2))
11.588 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (* 0 (sqrt 2e-16))) into 0
11.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)))) into 0
11.591 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (pow (sqrt 2e-16) 2))) into 0
11.591 * [backup-simplify]: Simplify 0 into 0
11.592 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.593 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
11.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.597 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))) into 0
11.597 * [backup-simplify]: Simplify 0 into 0
11.598 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.600 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.604 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))) into 0
11.604 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.607 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 2e-16) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.612 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))) into 0
11.612 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.615 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.618 * [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
11.620 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2))))))) into 0
11.620 * [backup-simplify]: Simplify 0 into 0
11.622 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.623 * [backup-simplify]: Simplify (+ (* (sqrt 2e-16) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.627 * [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
11.629 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 2e-16) 2)))))))) into 0
11.629 * [backup-simplify]: Simplify 0 into 0
11.631 * [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)))
11.631 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
11.631 * [backup-simplify]: Simplify (* (* t 2e-16) (* t (sqrt 2e-16))) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
11.631 * [approximate]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in (t) around 0
11.632 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in t
11.632 * [taylor]: Taking taylor expansion of 2e-16 in t
11.632 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.632 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 2e-16)) in t
11.632 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.632 * [taylor]: Taking taylor expansion of t in t
11.632 * [backup-simplify]: Simplify 0 into 0
11.632 * [backup-simplify]: Simplify 1 into 1
11.632 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.632 * [taylor]: Taking taylor expansion of 2e-16 in t
11.632 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.632 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.633 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.633 * [taylor]: Taking taylor expansion of (* 2e-16 (* (pow t 2) (sqrt 2e-16))) in t
11.633 * [taylor]: Taking taylor expansion of 2e-16 in t
11.633 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.633 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 2e-16)) in t
11.633 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.633 * [taylor]: Taking taylor expansion of t in t
11.633 * [backup-simplify]: Simplify 0 into 0
11.633 * [backup-simplify]: Simplify 1 into 1
11.633 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.633 * [taylor]: Taking taylor expansion of 2e-16 in t
11.633 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.634 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.634 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.635 * [backup-simplify]: Simplify (* 1 1) into 1
11.636 * [backup-simplify]: Simplify (* 1 (sqrt 2e-16)) into (sqrt 2e-16)
11.637 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
11.638 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
11.639 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.640 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 2e-16))) into 0
11.641 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
11.641 * [backup-simplify]: Simplify 0 into 0
11.642 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
11.645 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
11.645 * [backup-simplify]: Simplify 0 into 0
11.647 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.651 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.651 * [backup-simplify]: Simplify 0 into 0
11.652 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.657 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.657 * [backup-simplify]: Simplify 0 into 0
11.658 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.663 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.663 * [backup-simplify]: Simplify 0 into 0
11.665 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.671 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.671 * [backup-simplify]: Simplify 0 into 0
11.672 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow t 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
11.672 * [backup-simplify]: Simplify (* (* (/ 1 t) 2e-16) (* (/ 1 t) (sqrt 2e-16))) into (* 2e-16 (/ (sqrt 2e-16) (pow t 2)))
11.672 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in (t) around 0
11.672 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
11.673 * [taylor]: Taking taylor expansion of 2e-16 in t
11.673 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.673 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
11.673 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.673 * [taylor]: Taking taylor expansion of 2e-16 in t
11.673 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.673 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.674 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.674 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.674 * [taylor]: Taking taylor expansion of t in t
11.674 * [backup-simplify]: Simplify 0 into 0
11.674 * [backup-simplify]: Simplify 1 into 1
11.674 * [backup-simplify]: Simplify (* 1 1) into 1
11.675 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
11.675 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
11.675 * [taylor]: Taking taylor expansion of 2e-16 in t
11.675 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.675 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
11.675 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.675 * [taylor]: Taking taylor expansion of 2e-16 in t
11.676 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.676 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.677 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.677 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.677 * [taylor]: Taking taylor expansion of t in t
11.677 * [backup-simplify]: Simplify 0 into 0
11.677 * [backup-simplify]: Simplify 1 into 1
11.677 * [backup-simplify]: Simplify (* 1 1) into 1
11.678 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
11.679 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
11.680 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
11.681 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
11.683 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
11.683 * [backup-simplify]: Simplify 0 into 0
11.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.688 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
11.688 * [backup-simplify]: Simplify 0 into 0
11.689 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.693 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.693 * [backup-simplify]: Simplify 0 into 0
11.694 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.698 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.699 * [backup-simplify]: Simplify 0 into 0
11.700 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.703 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.704 * [backup-simplify]: Simplify 0 into 0
11.704 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.706 * [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
11.707 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.707 * [backup-simplify]: Simplify 0 into 0
11.708 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
11.708 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 2e-16) (* (/ 1 (- t)) (sqrt 2e-16))) into (* 2e-16 (/ (sqrt 2e-16) (pow t 2)))
11.708 * [approximate]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in (t) around 0
11.708 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
11.708 * [taylor]: Taking taylor expansion of 2e-16 in t
11.708 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.708 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
11.708 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.708 * [taylor]: Taking taylor expansion of 2e-16 in t
11.708 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.708 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.709 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.709 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.709 * [taylor]: Taking taylor expansion of t in t
11.709 * [backup-simplify]: Simplify 0 into 0
11.709 * [backup-simplify]: Simplify 1 into 1
11.709 * [backup-simplify]: Simplify (* 1 1) into 1
11.710 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
11.710 * [taylor]: Taking taylor expansion of (* 2e-16 (/ (sqrt 2e-16) (pow t 2))) in t
11.710 * [taylor]: Taking taylor expansion of 2e-16 in t
11.710 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.710 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) (pow t 2)) in t
11.710 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.710 * [taylor]: Taking taylor expansion of 2e-16 in t
11.710 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.710 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.710 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.710 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.711 * [taylor]: Taking taylor expansion of t in t
11.711 * [backup-simplify]: Simplify 0 into 0
11.711 * [backup-simplify]: Simplify 1 into 1
11.711 * [backup-simplify]: Simplify (* 1 1) into 1
11.711 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
11.712 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
11.712 * [backup-simplify]: Simplify (* 2e-16 (sqrt 2e-16)) into (* 2e-16 (sqrt 2e-16))
11.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
11.714 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 (sqrt 2e-16))) into 0
11.714 * [backup-simplify]: Simplify 0 into 0
11.714 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.716 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
11.716 * [backup-simplify]: Simplify 0 into 0
11.718 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.720 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.720 * [backup-simplify]: Simplify 0 into 0
11.721 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.723 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.723 * [backup-simplify]: Simplify 0 into 0
11.724 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.727 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.727 * [backup-simplify]: Simplify 0 into 0
11.728 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.729 * [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
11.730 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.730 * [backup-simplify]: Simplify 0 into 0
11.731 * [backup-simplify]: Simplify (* (* 2e-16 (sqrt 2e-16)) (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
11.731 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
11.732 * [backup-simplify]: Simplify (* t (sqrt 2e-16)) into (* t (sqrt 2e-16))
11.732 * [approximate]: Taking taylor expansion of (* t (sqrt 2e-16)) in (t) around 0
11.732 * [taylor]: Taking taylor expansion of (* t (sqrt 2e-16)) in t
11.732 * [taylor]: Taking taylor expansion of t in t
11.732 * [backup-simplify]: Simplify 0 into 0
11.732 * [backup-simplify]: Simplify 1 into 1
11.732 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.732 * [taylor]: Taking taylor expansion of 2e-16 in t
11.732 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.733 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.733 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.733 * [taylor]: Taking taylor expansion of (* t (sqrt 2e-16)) in t
11.733 * [taylor]: Taking taylor expansion of t in t
11.733 * [backup-simplify]: Simplify 0 into 0
11.733 * [backup-simplify]: Simplify 1 into 1
11.733 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.734 * [taylor]: Taking taylor expansion of 2e-16 in t
11.734 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.734 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.735 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.735 * [backup-simplify]: Simplify (* 0 (sqrt 2e-16)) into 0
11.735 * [backup-simplify]: Simplify 0 into 0
11.738 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 2e-16))) into (sqrt 2e-16)
11.738 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.739 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.740 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 2e-16)))) into 0
11.740 * [backup-simplify]: Simplify 0 into 0
11.742 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.743 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.743 * [backup-simplify]: Simplify 0 into 0
11.745 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.746 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.746 * [backup-simplify]: Simplify 0 into 0
11.747 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.748 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.748 * [backup-simplify]: Simplify 0 into 0
11.749 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.750 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.750 * [backup-simplify]: Simplify 0 into 0
11.751 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.752 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))))) into 0
11.752 * [backup-simplify]: Simplify 0 into 0
11.752 * [backup-simplify]: Simplify (* (sqrt 2e-16) t) into (* t (sqrt 2e-16))
11.753 * [backup-simplify]: Simplify (* (/ 1 t) (sqrt 2e-16)) into (/ (sqrt 2e-16) t)
11.753 * [approximate]: Taking taylor expansion of (/ (sqrt 2e-16) t) in (t) around 0
11.753 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) t) in t
11.753 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.753 * [taylor]: Taking taylor expansion of 2e-16 in t
11.753 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.753 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.753 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.753 * [taylor]: Taking taylor expansion of t in t
11.753 * [backup-simplify]: Simplify 0 into 0
11.753 * [backup-simplify]: Simplify 1 into 1
11.754 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
11.754 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) t) in t
11.754 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.754 * [taylor]: Taking taylor expansion of 2e-16 in t
11.754 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.754 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.755 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.755 * [taylor]: Taking taylor expansion of t in t
11.755 * [backup-simplify]: Simplify 0 into 0
11.755 * [backup-simplify]: Simplify 1 into 1
11.755 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
11.756 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
11.756 * [backup-simplify]: Simplify 0 into 0
11.757 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.757 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.758 * [backup-simplify]: Simplify 0 into 0
11.758 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.759 * [backup-simplify]: Simplify 0 into 0
11.760 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.760 * [backup-simplify]: Simplify 0 into 0
11.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.762 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.762 * [backup-simplify]: Simplify 0 into 0
11.763 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.763 * [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
11.763 * [backup-simplify]: Simplify 0 into 0
11.764 * [backup-simplify]: Simplify (* (sqrt 2e-16) (/ 1 (/ 1 t))) into (* t (sqrt 2e-16))
11.764 * [backup-simplify]: Simplify (* (/ 1 (- t)) (sqrt 2e-16)) into (* -1 (/ (sqrt 2e-16) t))
11.764 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 2e-16) t)) in (t) around 0
11.764 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 2e-16) t)) in t
11.764 * [taylor]: Taking taylor expansion of -1 in t
11.764 * [backup-simplify]: Simplify -1 into -1
11.764 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) t) in t
11.764 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.764 * [taylor]: Taking taylor expansion of 2e-16 in t
11.764 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.765 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.765 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.765 * [taylor]: Taking taylor expansion of t in t
11.765 * [backup-simplify]: Simplify 0 into 0
11.765 * [backup-simplify]: Simplify 1 into 1
11.766 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
11.766 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 2e-16) t)) in t
11.766 * [taylor]: Taking taylor expansion of -1 in t
11.766 * [backup-simplify]: Simplify -1 into -1
11.766 * [taylor]: Taking taylor expansion of (/ (sqrt 2e-16) t) in t
11.766 * [taylor]: Taking taylor expansion of (sqrt 2e-16) in t
11.766 * [taylor]: Taking taylor expansion of 2e-16 in t
11.766 * [backup-simplify]: Simplify 2e-16 into 2e-16
11.766 * [backup-simplify]: Simplify (sqrt 2e-16) into (sqrt 2e-16)
11.766 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2e-16))) into 0
11.766 * [taylor]: Taking taylor expansion of t in t
11.766 * [backup-simplify]: Simplify 0 into 0
11.766 * [backup-simplify]: Simplify 1 into 1
11.767 * [backup-simplify]: Simplify (/ (sqrt 2e-16) 1) into (sqrt 2e-16)
11.768 * [backup-simplify]: Simplify (* -1 (sqrt 2e-16)) into (* -1 (sqrt 2e-16))
11.768 * [backup-simplify]: Simplify (* -1 (sqrt 2e-16)) into (* -1 (sqrt 2e-16))
11.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)))) into 0
11.769 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 2e-16))) into 0
11.769 * [backup-simplify]: Simplify 0 into 0
11.770 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2e-16))) into 0
11.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.771 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))) into 0
11.771 * [backup-simplify]: Simplify 0 into 0
11.772 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.773 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))) into 0
11.773 * [backup-simplify]: Simplify 0 into 0
11.774 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.776 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))) into 0
11.776 * [backup-simplify]: Simplify 0 into 0
11.777 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.777 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 2e-16) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.778 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16))))))) into 0
11.778 * [backup-simplify]: Simplify 0 into 0
11.780 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2e-16))) into 0
11.781 * [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
11.783 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2e-16)))))))) into 0
11.783 * [backup-simplify]: Simplify 0 into 0
11.784 * [backup-simplify]: Simplify (* (* -1 (sqrt 2e-16)) (/ 1 (/ 1 (- t)))) into (* t (sqrt 2e-16))
11.785 * * * [progress]: simplifying candidates
11.785 * * * * [progress]: [ 1 / 170 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)) 1))>
11.785 * * * * [progress]: [ 2 / 170 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)) 1))>
11.785 * * * * [progress]: [ 3 / 170 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)) 1))>
11.785 * * * * [progress]: [ 4 / 170 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)) 1))>
11.785 * * * * [progress]: [ 5 / 170 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)) 1))>
11.785 * * * * [progress]: [ 6 / 170 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)) 1))>
11.785 * * * * [progress]: [ 7 / 170 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (+ (log t) (log 2e-16)) (+ (log t) (log (sqrt 2e-16)))) (log (sqrt 2e-16)))))>
11.785 * * * * [progress]: [ 8 / 170 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (+ (log t) (log 2e-16)) (log (* t (sqrt 2e-16)))) (log (sqrt 2e-16)))))>
11.785 * * * * [progress]: [ 9 / 170 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log (* t 2e-16)) (+ (log t) (log (sqrt 2e-16)))) (log (sqrt 2e-16)))))>
11.785 * * * * [progress]: [ 10 / 170 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log (* t 2e-16)) (log (* t (sqrt 2e-16)))) (log (sqrt 2e-16)))))>
11.785 * * * * [progress]: [ 11 / 170 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* (* t 2e-16) (* t (sqrt 2e-16)))) (log (sqrt 2e-16)))))>
11.785 * * * * [progress]: [ 12 / 170 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))))>
11.785 * * * * [progress]: [ 13 / 170 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 14 / 170 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 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)))))>
11.786 * * * * [progress]: [ 15 / 170 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16)))) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 16 / 170 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) (* t 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)))))>
11.786 * * * * [progress]: [ 17 / 170 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16)))) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 18 / 170 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (* (* t 2e-16) (* t (sqrt 2e-16)))) (* (* t 2e-16) (* t (sqrt 2e-16)))) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 19 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))) (cbrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))) (cbrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 20 / 170 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 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)))))>
11.786 * * * * [progress]: [ 21 / 170 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))) (sqrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 22 / 170 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.786 * * * * [progress]: [ 23 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 24 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 25 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.786 * * * * [progress]: [ 26 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 27 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 28 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 29 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 30 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 31 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 32 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 33 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 34 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 35 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 36 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))))>
11.787 * * * * [progress]: [ 37 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16)))) (cbrt (sqrt 2e-16))))>
11.787 * * * * [progress]: [ 38 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt (* (cbrt 2e-16) (cbrt 2e-16)))) (sqrt (cbrt 2e-16))))>
11.787 * * * * [progress]: [ 39 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt (sqrt 2e-16))) (sqrt (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 40 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 1)) (sqrt 2e-16)))>
11.788 * * * * [progress]: [ 41 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt (sqrt 2e-16))) (sqrt (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 42 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) 1) (sqrt 2e-16)))>
11.788 * * * * [progress]: [ 43 / 170 ] simplifiying candidate #<alt (λ (t) (* (* t 2e-16) (* (* t (sqrt 2e-16)) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 44 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (cbrt (* (* t 2e-16) (* t (sqrt 2e-16))))) (* (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 45 / 170 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 46 / 170 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 47 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 48 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 49 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 50 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 51 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 52 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16))))>
11.788 * * * * [progress]: [ 53 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) t) (* (sqrt 2e-16) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 54 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (cbrt (* t (sqrt 2e-16))) (cbrt (* t (sqrt 2e-16))))) (* (cbrt (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 55 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (sqrt (* t (sqrt 2e-16)))) (* (sqrt (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 56 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) 1) (* (* t (sqrt 2e-16)) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 57 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (* (sqrt t) (sqrt (sqrt 2e-16))) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 58 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (* (sqrt t) (sqrt (sqrt 2e-16))) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 59 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))))) (* (cbrt (sqrt 2e-16)) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 60 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt (* (cbrt 2e-16) (cbrt 2e-16))))) (* (sqrt (cbrt 2e-16)) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 61 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt (sqrt 2e-16)))) (* (sqrt (sqrt 2e-16)) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 62 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt 1))) (* (sqrt 2e-16) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 63 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt (sqrt 2e-16)))) (* (sqrt (sqrt 2e-16)) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 64 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t 1)) (* (sqrt 2e-16) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 65 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (cbrt t) (cbrt t))) (* (* (cbrt t) (sqrt 2e-16)) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 66 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (sqrt t)) (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 67 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) 1) (* (* t (sqrt 2e-16)) (sqrt 2e-16))))>
11.789 * * * * [progress]: [ 68 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (sqrt 2e-16)) (* t (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 69 / 170 ] simplifiying candidate #<alt (λ (t) (* t (* (* 2e-16 (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 70 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))) (* (* (cbrt (* t 2e-16)) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 71 / 170 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* t 2e-16)) (* (* (sqrt (* t 2e-16)) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 72 / 170 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 73 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt t) (sqrt 2e-16)) (* (* (* (sqrt t) (sqrt 2e-16)) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 74 / 170 ] simplifiying candidate #<alt (λ (t) (* (* t (* (cbrt 2e-16) (cbrt 2e-16))) (* (* (cbrt 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 75 / 170 ] simplifiying candidate #<alt (λ (t) (* (* t (sqrt 2e-16)) (* (* (sqrt 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 76 / 170 ] simplifiying candidate #<alt (λ (t) (* (* t 1) (* (* 2e-16 (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 77 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt t) (cbrt t)) (* (* (* (cbrt t) 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 78 / 170 ] simplifiying candidate #<alt (λ (t) (* (sqrt t) (* (* (* (sqrt t) 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 79 / 170 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 80 / 170 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t (* t (sqrt 2e-16))) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 81 / 170 ] simplifiying candidate #<alt (λ (t) (* (* t (sqrt 2e-16)) (* (* t 2e-16) (sqrt 2e-16))))>
11.790 * * * * [progress]: [ 82 / 170 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))))>
11.790 * * * * [progress]: [ 83 / 170 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (* t 2e-16) (* t (sqrt 2e-16)))))>
11.791 * * * * [progress]: [ 84 / 170 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) (* t (sqrt 2e-16))) 1) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 85 / 170 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) (* t (sqrt 2e-16))) 1) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 86 / 170 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) (* t (sqrt 2e-16))) 1) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 87 / 170 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) (* t (sqrt 2e-16))) 1) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 88 / 170 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* t 2e-16) (* t (sqrt 2e-16))) 1) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 89 / 170 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (+ (log t) (log 2e-16)) (+ (log t) (log (sqrt 2e-16))))) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 90 / 170 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (+ (log t) (log 2e-16)) (log (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 91 / 170 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (log (* t 2e-16)) (+ (log t) (log (sqrt 2e-16))))) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 92 / 170 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (log (* t 2e-16)) (log (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 93 / 170 ] simplifiying candidate #<alt (λ (t) (* (exp (log (* (* t 2e-16) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 94 / 170 ] simplifiying candidate #<alt (λ (t) (* (log (exp (* (* t 2e-16) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 95 / 170 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t t) t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16))))) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 96 / 170 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.791 * * * * [progress]: [ 97 / 170 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t t) t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 98 / 170 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 99 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (cbrt (* (* t 2e-16) (* t (sqrt 2e-16))))) (cbrt (* (* t 2e-16) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 100 / 170 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (* (* t 2e-16) (* t (sqrt 2e-16)))) (* (* t 2e-16) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 101 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (* (* t 2e-16) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 102 / 170 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 103 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 104 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 105 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 106 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 107 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 108 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 109 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) t) (sqrt 2e-16)) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 110 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* (cbrt (* t (sqrt 2e-16))) (cbrt (* t (sqrt 2e-16))))) (cbrt (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.792 * * * * [progress]: [ 111 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt (* t (sqrt 2e-16)))) (sqrt (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 112 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 1) (* t (sqrt 2e-16))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 113 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 114 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* (sqrt t) (sqrt (sqrt 2e-16)))) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 115 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))))) (cbrt (sqrt 2e-16))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 116 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt (* (cbrt 2e-16) (cbrt 2e-16))))) (sqrt (cbrt 2e-16))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 117 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 118 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt 1))) (sqrt 2e-16)) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 119 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 120 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* t 1)) (sqrt 2e-16)) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 121 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (* (cbrt t) (cbrt t))) (* (cbrt t) (sqrt 2e-16))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 122 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt t)) (* (sqrt t) (sqrt 2e-16))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 123 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) 1) (* t (sqrt 2e-16))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 124 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt 2e-16)) t) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 125 / 170 ] simplifiying candidate #<alt (λ (t) (* (* t (* 2e-16 (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.793 * * * * [progress]: [ 126 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* t 2e-16)) (cbrt (* t 2e-16))) (* (cbrt (* t 2e-16)) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 127 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* t 2e-16)) (* (sqrt (* t 2e-16)) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 128 / 170 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 129 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (sqrt t) (sqrt 2e-16)) (* (* (sqrt t) (sqrt 2e-16)) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 130 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t (* (cbrt 2e-16) (cbrt 2e-16))) (* (cbrt 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 131 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t (sqrt 2e-16)) (* (sqrt 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 132 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 1) (* 2e-16 (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 133 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt t) (cbrt t)) (* (* (cbrt t) 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 134 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt t) (* (* (sqrt t) 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 135 / 170 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 136 / 170 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* t (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 137 / 170 ] simplifiying candidate #<alt (λ (t) (* (posit16->real (real->posit16 (* (* t 2e-16) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 138 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t (sqrt 2e-16)) (* t 2e-16)) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 139 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (pow (* t (sqrt 2e-16)) 1)) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 140 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (pow (* t (sqrt 2e-16)) 1)) (sqrt 2e-16)))>
11.794 * * * * [progress]: [ 141 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (exp (+ (log t) (log (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 142 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (exp (log (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 143 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (log (exp (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 144 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (cbrt (* (* (* t t) t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 145 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* (cbrt (* t (sqrt 2e-16))) (cbrt (* t (sqrt 2e-16)))) (cbrt (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 146 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (cbrt (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 147 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (sqrt (* t (sqrt 2e-16))) (sqrt (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 148 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* 1 (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 149 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* (sqrt t) (sqrt (sqrt 2e-16))) (* (sqrt t) (sqrt (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 150 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* (sqrt t) (sqrt (sqrt 2e-16))) (* (sqrt t) (sqrt (sqrt 2e-16))))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 151 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* t (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16)))) (cbrt (sqrt 2e-16)))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 152 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* t (sqrt (* (cbrt 2e-16) (cbrt 2e-16)))) (sqrt (cbrt 2e-16)))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 153 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* t (sqrt (sqrt 2e-16))) (sqrt (sqrt 2e-16)))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 154 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* t (sqrt 1)) (sqrt 2e-16))) (sqrt 2e-16)))>
11.795 * * * * [progress]: [ 155 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* t (sqrt (sqrt 2e-16))) (sqrt (sqrt 2e-16)))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 156 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* t 1) (sqrt 2e-16))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 157 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (sqrt 2e-16)))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 158 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (sqrt t) (* (sqrt t) (sqrt 2e-16)))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 159 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* 1 (* t (sqrt 2e-16)))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 160 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (posit16->real (real->posit16 (* t (sqrt 2e-16))))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 161 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* (sqrt 2e-16) t)) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 162 / 170 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
11.796 * * * * [progress]: [ 163 / 170 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
11.796 * * * * [progress]: [ 164 / 170 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2))))>
11.796 * * * * [progress]: [ 165 / 170 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* (pow t 2) (sqrt 2e-16))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 166 / 170 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* (pow t 2) (sqrt 2e-16))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 167 / 170 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* (pow t 2) (sqrt 2e-16))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 168 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 169 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))>
11.796 * * * * [progress]: [ 170 / 170 ] simplifiying candidate #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))>
11.800 * [simplify]: Simplifying:
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (+ (+ (+ (log t) (log 2e-16)) (+ (log t) (log (sqrt 2e-16)))) (log (sqrt 2e-16)))
  (+ (+ (+ (log t) (log 2e-16)) (log (* t (sqrt 2e-16)))) (log (sqrt 2e-16)))
  (+ (+ (log (* t 2e-16)) (+ (log t) (log (sqrt 2e-16)))) (log (sqrt 2e-16)))
  (+ (+ (log (* t 2e-16)) (log (* t (sqrt 2e-16)))) (log (sqrt 2e-16)))
  (+ (log (* (* t 2e-16) (* t (sqrt 2e-16)))) (log (sqrt 2e-16)))
  (log (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))
  (exp (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))
  (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t t) t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)))) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)))
  (* (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (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) (sqrt 2e-16)) (sqrt 2e-16)))
  (* (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16)))) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)))
  (* (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (* (* t 2e-16) (* t (sqrt 2e-16)))) (* (* t 2e-16) (* t (sqrt 2e-16)))) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)))
  (* (cbrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))) (cbrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))))
  (cbrt (* (* (* 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)))
  (sqrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))
  (sqrt (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt (* (cbrt 2e-16) (cbrt 2e-16))))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt (sqrt 2e-16)))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 1))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt (sqrt 2e-16)))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) 1)
  (* (* t (sqrt 2e-16)) (sqrt 2e-16))
  (* (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt 2e-16))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16))
  (* (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16))
  (* (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16)))) (sqrt 2e-16))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16)))) (sqrt 2e-16))
  (* (sqrt 2e-16) (sqrt 2e-16))
  (* (cbrt (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (sqrt (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* t (sqrt 2e-16)) (sqrt 2e-16))
  (* (* (sqrt t) (sqrt (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (sqrt t) (sqrt (sqrt 2e-16))) (sqrt 2e-16))
  (* (cbrt (sqrt 2e-16)) (sqrt 2e-16))
  (* (sqrt (cbrt 2e-16)) (sqrt 2e-16))
  (* (sqrt (sqrt 2e-16)) (sqrt 2e-16))
  (* (sqrt 2e-16) (sqrt 2e-16))
  (* (sqrt (sqrt 2e-16)) (sqrt 2e-16))
  (* (sqrt 2e-16) (sqrt 2e-16))
  (* (* (cbrt t) (sqrt 2e-16)) (sqrt 2e-16))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt 2e-16))
  (* (* t (sqrt 2e-16)) (sqrt 2e-16))
  (* t (sqrt 2e-16))
  (* (* 2e-16 (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (cbrt (* t 2e-16)) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (sqrt (* t 2e-16)) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* (sqrt t) (sqrt 2e-16)) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (cbrt 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (sqrt 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* 2e-16 (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* (cbrt t) 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* (sqrt t) 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* t (* t (sqrt 2e-16))) (sqrt 2e-16))
  (* (* t 2e-16) (sqrt 2e-16))
  (real->posit16 (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (+ (+ (log t) (log 2e-16)) (+ (log t) (log (sqrt 2e-16))))
  (+ (+ (log t) (log 2e-16)) (log (* t (sqrt 2e-16))))
  (+ (log (* t 2e-16)) (+ (log t) (log (sqrt 2e-16))))
  (+ (log (* t 2e-16)) (log (* t (sqrt 2e-16))))
  (log (* (* t 2e-16) (* t (sqrt 2e-16))))
  (exp (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t t) t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16))))
  (* (* (* (* t t) t) (* (* 2e-16 2e-16) 2e-16)) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16))))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t t) t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16))))
  (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16))))
  (* (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))))
  (cbrt (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (* (* (* t 2e-16) (* t (sqrt 2e-16))) (* (* t 2e-16) (* t (sqrt 2e-16)))) (* (* t 2e-16) (* t (sqrt 2e-16))))
  (sqrt (* (* t 2e-16) (* t (sqrt 2e-16))))
  (sqrt (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (sqrt (* t (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16))))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t (sqrt 2e-16))))
  (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (* (sqrt t) (sqrt 2e-16)) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (* t 2e-16) t)
  (* (* t 2e-16) (* (cbrt (* t (sqrt 2e-16))) (cbrt (* t (sqrt 2e-16)))))
  (* (* t 2e-16) (sqrt (* t (sqrt 2e-16))))
  (* (* t 2e-16) 1)
  (* (* t 2e-16) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (* t 2e-16) (* (sqrt t) (sqrt (sqrt 2e-16))))
  (* (* t 2e-16) (* t (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16)))))
  (* (* t 2e-16) (* t (sqrt (* (cbrt 2e-16) (cbrt 2e-16)))))
  (* (* t 2e-16) (* t (sqrt (sqrt 2e-16))))
  (* (* t 2e-16) (* t (sqrt 1)))
  (* (* t 2e-16) (* t (sqrt (sqrt 2e-16))))
  (* (* t 2e-16) (* t 1))
  (* (* t 2e-16) (* (cbrt t) (cbrt t)))
  (* (* t 2e-16) (sqrt t))
  (* (* t 2e-16) 1)
  (* (* t 2e-16) (sqrt 2e-16))
  (* 2e-16 (* t (sqrt 2e-16)))
  (* (cbrt (* t 2e-16)) (* t (sqrt 2e-16)))
  (* (sqrt (* t 2e-16)) (* t (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (* t (sqrt 2e-16)))
  (* (cbrt 2e-16) (* t (sqrt 2e-16)))
  (* (sqrt 2e-16) (* t (sqrt 2e-16)))
  (* 2e-16 (* t (sqrt 2e-16)))
  (* (* (cbrt t) 2e-16) (* t (sqrt 2e-16)))
  (* (* (sqrt t) 2e-16) (* t (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* t (* t (sqrt 2e-16)))
  (real->posit16 (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* t (sqrt 2e-16))
  (+ (log t) (log (sqrt 2e-16)))
  (log (* t (sqrt 2e-16)))
  (exp (* t (sqrt 2e-16)))
  (* (* (* t t) t) (* (* (sqrt 2e-16) (sqrt 2e-16)) (sqrt 2e-16)))
  (* (cbrt (* t (sqrt 2e-16))) (cbrt (* t (sqrt 2e-16))))
  (cbrt (* t (sqrt 2e-16)))
  (* (* (* t (sqrt 2e-16)) (* t (sqrt 2e-16))) (* t (sqrt 2e-16)))
  (sqrt (* t (sqrt 2e-16)))
  (sqrt (* t (sqrt 2e-16)))
  (* (sqrt t) (sqrt (sqrt 2e-16)))
  (* (sqrt t) (sqrt (sqrt 2e-16)))
  (* (sqrt t) (sqrt (sqrt 2e-16)))
  (* (sqrt t) (sqrt (sqrt 2e-16)))
  (* t (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))))
  (* t (sqrt (* (cbrt 2e-16) (cbrt 2e-16))))
  (* t (sqrt (sqrt 2e-16)))
  (* t (sqrt 1))
  (* t (sqrt (sqrt 2e-16)))
  (* t 1)
  (* (cbrt t) (sqrt 2e-16))
  (* (sqrt t) (sqrt 2e-16))
  (* t (sqrt 2e-16))
  (real->posit16 (* t (sqrt 2e-16)))
  (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* (pow t 2) (pow (sqrt 2e-16) 2)))
  (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
  (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
  (* 2e-16 (* (pow t 2) (sqrt 2e-16)))
  (* t (sqrt 2e-16))
  (* t (sqrt 2e-16))
  (* t (sqrt 2e-16))
11.804 * * [simplify]: iteration 0: 156 enodes
11.884 * * [simplify]: iteration 1: 468 enodes
12.348 * * [simplify]: iteration 2: 2422 enodes
13.698 * * [simplify]: iteration complete: 5007 enodes
13.698 * * [simplify]: Extracting #0: cost 91 inf + 0
13.701 * * [simplify]: Extracting #1: cost 1129 inf + 564
13.711 * * [simplify]: Extracting #2: cost 1538 inf + 32552
13.758 * * [simplify]: Extracting #3: cost 590 inf + 213589
13.853 * * [simplify]: Extracting #4: cost 48 inf + 328014
13.955 * * [simplify]: Extracting #5: cost 2 inf + 338350
14.062 * * [simplify]: Extracting #6: cost 0 inf + 338834
14.180 * [simplify]: Simplified to:
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (log (* (* t 2e-16) (* t 2e-16)))
  (exp (* (* t 2e-16) (* t 2e-16)))
  (* (* (* 2e-16 (* (* t t) t)) (sqrt 2e-16)) (* (* (* (* 2e-16 2e-16) 2e-16) (* 2e-16 (* (* t t) t))) (sqrt 2e-16)))
  (* (* (sqrt 2e-16) 2e-16) (* (* (* (* 2e-16 2e-16) 2e-16) (* (* (sqrt 2e-16) t) (* (* (sqrt 2e-16) t) (* (sqrt 2e-16) t)))) (* (* t t) t)))
  (* (* (* (sqrt 2e-16) 2e-16) (* (* (* t t) t) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)))) (* (sqrt 2e-16) 2e-16))
  (* (* (* t 2e-16) (* t 2e-16)) (* (* (* (* t 2e-16) t) (* (* t 2e-16) (* t 2e-16))) 2e-16))
  (* (* (* t 2e-16) (* t 2e-16)) (* (* (* (* t 2e-16) t) (* (* t 2e-16) (* t 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)))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt (sqrt 2e-16)))
  (* (sqrt (* t 2e-16)) (* (sqrt (* (sqrt 2e-16) t)) (sqrt (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (* (sqrt (* (sqrt 2e-16) t)) (sqrt (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (* (sqrt (* (sqrt 2e-16) t)) (sqrt (sqrt 2e-16))))
  (* (sqrt (* t 2e-16)) (* (sqrt (* (sqrt 2e-16) t)) (sqrt (sqrt 2e-16))))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (* t 2e-16)))
  (* (* (sqrt (* (sqrt 2e-16) t)) (sqrt (sqrt 2e-16))) (* (sqrt 2e-16) (sqrt t)))
  (* (* (sqrt (* (sqrt 2e-16) t)) (sqrt (sqrt 2e-16))) (* (sqrt 2e-16) (sqrt t)))
  (* (* (sqrt (* (sqrt 2e-16) t)) (sqrt (sqrt 2e-16))) (* (sqrt 2e-16) (sqrt t)))
  (* (* (sqrt (* (sqrt 2e-16) t)) (sqrt (sqrt 2e-16))) (* (sqrt 2e-16) (sqrt t)))
  (* 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) (* (sqrt 2e-16) t)) (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))))
  (* t (* (* 2e-16 (fabs (cbrt 2e-16))) (* (sqrt 2e-16) t)))
  (* (sqrt (sqrt 2e-16)) (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (sqrt (sqrt 2e-16)) (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* t 2e-16)
  (* (sqrt 2e-16) (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))))
  (* (sqrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (sqrt 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* (sqrt (* t 2e-16)) (sqrt 2e-16)) (sqrt (* (sqrt 2e-16) t)))
  (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (sqrt (* t 2e-16)) (sqrt t))))
  (* (sqrt 2e-16) (* (sqrt (sqrt 2e-16)) (* (sqrt (* t 2e-16)) (sqrt t))))
  (* (* (sqrt 2e-16) (sqrt t)) (* (sqrt (* (sqrt 2e-16) t)) (sqrt 2e-16)))
  (* (* (* (sqrt 2e-16) t) (sqrt (sqrt 2e-16))) (sqrt 2e-16))
  (* (* (* (sqrt 2e-16) t) (sqrt (sqrt 2e-16))) (sqrt 2e-16))
  2e-16
  (* (sqrt 2e-16) (cbrt (* (sqrt 2e-16) t)))
  (* (sqrt (* (sqrt 2e-16) t)) (sqrt 2e-16))
  (* t 2e-16)
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (sqrt 2e-16)))
  (* (* (sqrt t) (sqrt 2e-16)) (sqrt (sqrt 2e-16)))
  (* (cbrt (sqrt 2e-16)) (sqrt 2e-16))
  (* (sqrt (cbrt 2e-16)) (sqrt 2e-16))
  (* (sqrt 2e-16) (sqrt (sqrt 2e-16)))
  2e-16
  (* (sqrt 2e-16) (sqrt (sqrt 2e-16)))
  2e-16
  (* (cbrt t) 2e-16)
  (* (sqrt t) 2e-16)
  (* t 2e-16)
  (* (sqrt 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))
  (* (* (sqrt 2e-16) (sqrt t)) (* t 2e-16))
  (* (cbrt 2e-16) (* t 2e-16))
  (* (sqrt 2e-16) (* t 2e-16))
  (* 2e-16 (* t 2e-16))
  (* (* 2e-16 (* t 2e-16)) (cbrt t))
  (* (* (sqrt t) 2e-16) (* t 2e-16))
  (* (* t 2e-16) (* t 2e-16))
  (* (* t 2e-16) t)
  (* (sqrt 2e-16) (* t 2e-16))
  (real->posit16 (* (* t 2e-16) (* t 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (log (* (* t 2e-16) (* t (sqrt 2e-16))))
  (log (* (* t 2e-16) (* t (sqrt 2e-16))))
  (log (* (* t 2e-16) (* t (sqrt 2e-16))))
  (log (* (* t 2e-16) (* t (sqrt 2e-16))))
  (log (* (* t 2e-16) (* t (sqrt 2e-16))))
  (exp (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (* (* t t) t) (* (* (* (* 2e-16 2e-16) 2e-16) (* 2e-16 (* (* t t) t))) (sqrt 2e-16)))
  (* (* (* (* 2e-16 2e-16) 2e-16) (* (* (sqrt 2e-16) t) (* (* (sqrt 2e-16) t) (* (sqrt 2e-16) t)))) (* (* t t) t))
  (* (* t 2e-16) (* (* t 2e-16) (* (* (* (* t 2e-16) (* t t)) (* t 2e-16)) (sqrt 2e-16))))
  (* (* (sqrt 2e-16) (* (* (* t 2e-16) t) (* (* t 2e-16) (* t 2e-16)))) (* (* t 2e-16) t))
  (* (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))) (cbrt (* (* t 2e-16) (* t (sqrt 2e-16)))))
  (cbrt (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (* (sqrt 2e-16) (* (* (* t 2e-16) t) (* (* t 2e-16) (* t 2e-16)))) (* (* t 2e-16) t))
  (sqrt (* (* t 2e-16) (* t (sqrt 2e-16))))
  (sqrt (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (sqrt (* (sqrt 2e-16) t)) (sqrt (* t 2e-16)))
  (* (sqrt (* (sqrt 2e-16) t)) (sqrt (* t 2e-16)))
  (* (sqrt (sqrt 2e-16)) (* (sqrt (* t 2e-16)) (sqrt t)))
  (* (sqrt (sqrt 2e-16)) (* (sqrt (* t 2e-16)) (sqrt t)))
  (* (sqrt (sqrt 2e-16)) (* (sqrt (* t 2e-16)) (sqrt t)))
  (* (sqrt (sqrt 2e-16)) (* (sqrt (* t 2e-16)) (sqrt t)))
  (* (* (sqrt 2e-16) (sqrt t)) (sqrt (* (sqrt 2e-16) t)))
  (* (* (sqrt 2e-16) (sqrt t)) (sqrt (* (sqrt 2e-16) t)))
  (* (* (sqrt 2e-16) t) (sqrt (sqrt 2e-16)))
  (* (* (sqrt 2e-16) t) (sqrt (sqrt 2e-16)))
  (* (* (sqrt 2e-16) t) (sqrt (sqrt 2e-16)))
  (* (* (sqrt 2e-16) t) (sqrt (sqrt 2e-16)))
  (* (* t 2e-16) t)
  (* (* (* (cbrt (* (sqrt 2e-16) t)) (* (sqrt 2e-16) t)) (sqrt 2e-16)) (cbrt (* (sqrt 2e-16) t)))
  (* (* t 2e-16) (sqrt (* (sqrt 2e-16) t)))
  (* t 2e-16)
  (* (* (* t 2e-16) (sqrt t)) (sqrt (sqrt 2e-16)))
  (* (* (* t 2e-16) (sqrt t)) (sqrt (sqrt 2e-16)))
  (* t (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) (* t 2e-16)))
  (* (* (* t 2e-16) t) (fabs (cbrt 2e-16)))
  (* (* (* t 2e-16) t) (sqrt (sqrt 2e-16)))
  (* (* t 2e-16) t)
  (* (* (* t 2e-16) t) (sqrt (sqrt 2e-16)))
  (* (* t 2e-16) t)
  (* (cbrt t) (* (cbrt t) (* t 2e-16)))
  (* (* (sqrt t) t) 2e-16)
  (* t 2e-16)
  (* (sqrt 2e-16) (* t 2e-16))
  (* (* 2e-16 t) (sqrt 2e-16))
  (* (sqrt 2e-16) (* t (cbrt (* t 2e-16))))
  (* (sqrt 2e-16) (* t (sqrt (* t 2e-16))))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* (sqrt t) t) 2e-16)
  (* (* (cbrt 2e-16) t) (sqrt 2e-16))
  (* t 2e-16)
  (* (* 2e-16 t) (sqrt 2e-16))
  (* (* (cbrt t) 2e-16) (* (sqrt 2e-16) t))
  (* (* (sqrt 2e-16) (sqrt t)) (* t 2e-16))
  (* (* t 2e-16) (* t (sqrt 2e-16)))
  (* (* t t) (sqrt 2e-16))
  (real->posit16 (* (* t 2e-16) (* t (sqrt 2e-16))))
  (* (sqrt 2e-16) t)
  (log (* (sqrt 2e-16) t))
  (log (* (sqrt 2e-16) t))
  (exp (* (sqrt 2e-16) t))
  (* (* 2e-16 (* (* t t) t)) (sqrt 2e-16))
  (* (cbrt (* (sqrt 2e-16) t)) (cbrt (* (sqrt 2e-16) t)))
  (cbrt (* (sqrt 2e-16) t))
  (* (* (sqrt 2e-16) t) (* (* (sqrt 2e-16) t) (* (sqrt 2e-16) t)))
  (sqrt (* (sqrt 2e-16) t))
  (sqrt (* (sqrt 2e-16) t))
  (* (sqrt (sqrt 2e-16)) (sqrt t))
  (* (sqrt (sqrt 2e-16)) (sqrt t))
  (* (sqrt (sqrt 2e-16)) (sqrt t))
  (* (sqrt (sqrt 2e-16)) (sqrt t))
  (* (* (cbrt (sqrt 2e-16)) (cbrt (sqrt 2e-16))) t)
  (* t (fabs (cbrt 2e-16)))
  (* (sqrt (sqrt 2e-16)) t)
  t
  (* (sqrt (sqrt 2e-16)) t)
  t
  (* (sqrt 2e-16) (cbrt t))
  (* (sqrt 2e-16) (sqrt t))
  (* (sqrt 2e-16) t)
  (real->posit16 (* (sqrt 2e-16) t))
  (* (* (* t 2e-16) t) 2e-16)
  (* (* (* t 2e-16) t) 2e-16)
  (* (* (* t 2e-16) t) 2e-16)
  (* (* (sqrt 2e-16) (* t t)) 2e-16)
  (* (* (sqrt 2e-16) (* t t)) 2e-16)
  (* (* (sqrt 2e-16) (* t t)) 2e-16)
  (* (sqrt 2e-16) t)
  (* (sqrt 2e-16) t)
  (* (sqrt 2e-16) t)
14.188 * * * [progress]: adding candidates to table
14.644 * [progress]: [Phase 3 of 3] Extracting.
14.644 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (sqrt (* t 2e-16)) (* (* (sqrt (* t 2e-16)) 2e-16) t)))> #<alt (λ (t) (* (sqrt t) (* (* (sqrt t) 2e-16) (* t 2e-16))))> #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))> #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))> #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))> #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt t)) (* (sqrt t) (sqrt 2e-16))) (sqrt 2e-16)))> #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt 2e-16)) t) (sqrt 2e-16)))> #<alt (λ (t) (* (* (* t 2e-16) 2e-16) t))>)
14.645 * * * [regime-changes]: Trying 1 branch expressions: (t)
14.645 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (sqrt (* t 2e-16)) (* (* (sqrt (* t 2e-16)) 2e-16) t)))> #<alt (λ (t) (* (sqrt t) (* (* (sqrt t) 2e-16) (* t 2e-16))))> #<alt (λ (t) (* (* (* t 2e-16) (* t (sqrt 2e-16))) (sqrt 2e-16)))> #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))> #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))> #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt t)) (* (sqrt t) (sqrt 2e-16))) (sqrt 2e-16)))> #<alt (λ (t) (* (* (* (* t 2e-16) (sqrt 2e-16)) t) (sqrt 2e-16)))> #<alt (λ (t) (* (* (* t 2e-16) 2e-16) t))>)
14.682 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
14.682 * [simplify]: Simplifying:
  (* (* (* t 2e-16) 2e-16) t)
14.682 * * [simplify]: iteration 0: 5 enodes
14.683 * * [simplify]: iteration 1: 8 enodes
14.683 * * [simplify]: iteration complete: 8 enodes
14.683 * * [simplify]: Extracting #0: cost 1 inf + 0
14.683 * * [simplify]: Extracting #1: cost 3 inf + 0
14.683 * * [simplify]: Extracting #2: cost 4 inf + 1
14.683 * * [simplify]: Extracting #3: cost 0 inf + 248
14.683 * [simplify]: Simplified to:
  (* (* (* t 2e-16) 2e-16) t)
17.345 * [regime-testing]: Baseline error score: 0.3101637704713089
17.349 * [regime-testing]: Oracle error score: 0.010876359544943117
17.358 * [regime-testing]: End program error score: 0.3101637704713089
17.401 * [regime-testing]: Target error score: 50.55280106855873