0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.050 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.053 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.053 * * [simplify]: iteration 1: (11 enodes)
0.057 * * [simplify]: iteration 2: (51 enodes)
0.069 * * [simplify]: iteration 3: (112 enodes)
0.112 * * [simplify]: iteration 4: (254 enodes)
0.210 * * [simplify]: iteration 5: (514 enodes)
0.840 * * [simplify]: iteration 6: (1928 enodes)
8.982 * * [simplify]: Extracting #0: cost 1 inf + 0
8.983 * * [simplify]: Extracting #1: cost 258 inf + 0
8.995 * * [simplify]: Extracting #2: cost 1797 inf + 542
9.039 * * [simplify]: Extracting #3: cost 1254 inf + 115178
9.180 * * [simplify]: Extracting #4: cost 91 inf + 348770
9.306 * * [simplify]: Extracting #5: cost 0 inf + 362403
9.472 * * [simplify]: Extracting #6: cost 0 inf + 362241
9.627 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t))
9.636 * * [progress]: iteration 1 / 4
9.636 * * * [progress]: picking best candidate
9.639 * * * * [pick]: Picked  #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
9.639 * * * [progress]: localizing error
9.649 * * * [progress]: generating rewritten candidates
9.650 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.683 * * * [progress]: generating series expansions
9.683 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.684 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2))
9.684 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
9.684 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
9.684 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.684 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.684 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.684 * [taylor]: Taking taylor expansion of t in t
9.684 * [backup-simplify]: Simplify 0 into 0
9.684 * [backup-simplify]: Simplify 1 into 1
9.684 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
9.684 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.684 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.684 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.684 * [taylor]: Taking taylor expansion of t in t
9.684 * [backup-simplify]: Simplify 0 into 0
9.684 * [backup-simplify]: Simplify 1 into 1
9.684 * [backup-simplify]: Simplify (* 1 1) into 1
9.685 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
9.685 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.685 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.686 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
9.686 * [backup-simplify]: Simplify 0 into 0
9.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.689 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
9.690 * [backup-simplify]: Simplify 0 into 0
9.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.691 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.691 * [backup-simplify]: Simplify 0 into 0
9.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.692 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.692 * [backup-simplify]: Simplify 0 into 0
9.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.694 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.694 * [backup-simplify]: Simplify 0 into 0
9.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.696 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.696 * [backup-simplify]: Simplify 0 into 0
9.696 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
9.696 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
9.696 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
9.696 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
9.696 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.696 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.696 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.696 * [taylor]: Taking taylor expansion of t in t
9.697 * [backup-simplify]: Simplify 0 into 0
9.697 * [backup-simplify]: Simplify 1 into 1
9.697 * [backup-simplify]: Simplify (* 1 1) into 1
9.697 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
9.697 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
9.697 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.697 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.697 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.697 * [taylor]: Taking taylor expansion of t in t
9.697 * [backup-simplify]: Simplify 0 into 0
9.697 * [backup-simplify]: Simplify 1 into 1
9.697 * [backup-simplify]: Simplify (* 1 1) into 1
9.698 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
9.698 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.698 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
9.699 * [backup-simplify]: Simplify 0 into 0
9.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.700 * [backup-simplify]: Simplify 0 into 0
9.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.701 * [backup-simplify]: Simplify 0 into 0
9.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.703 * [backup-simplify]: Simplify 0 into 0
9.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.705 * [backup-simplify]: Simplify 0 into 0
9.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.708 * [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
9.708 * [backup-simplify]: Simplify 0 into 0
9.708 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
9.708 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
9.708 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
9.708 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
9.708 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.708 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.708 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.708 * [taylor]: Taking taylor expansion of t in t
9.708 * [backup-simplify]: Simplify 0 into 0
9.708 * [backup-simplify]: Simplify 1 into 1
9.709 * [backup-simplify]: Simplify (* 1 1) into 1
9.709 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
9.709 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
9.709 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.709 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.709 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.709 * [taylor]: Taking taylor expansion of t in t
9.709 * [backup-simplify]: Simplify 0 into 0
9.709 * [backup-simplify]: Simplify 1 into 1
9.710 * [backup-simplify]: Simplify (* 1 1) into 1
9.710 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
9.710 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.711 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
9.712 * [backup-simplify]: Simplify 0 into 0
9.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.716 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.719 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.721 * [backup-simplify]: Simplify 0 into 0
9.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.724 * [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
9.724 * [backup-simplify]: Simplify 0 into 0
9.724 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
9.724 * * * [progress]: simplifying candidates
9.724 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
9.724 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
9.724 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
9.724 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
9.724 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
9.724 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
9.724 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
9.725 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
9.725 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) 2))>
9.725 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
9.725 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (+ 1 1)))>
9.725 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1))>
9.725 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t)))))>
9.725 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t)))))>
9.725 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t)))))>
9.725 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t)))))>
9.725 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* 2e-16 t) (* 2e-16 t)))))>
9.725 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* 2e-16 t) (* 2e-16 t)))))>
9.725 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))>
9.725 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>
9.725 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))))>
9.725 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>
9.725 * * * * [progress]: [ 23 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))))>
9.726 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t)))))>
9.726 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* 2e-16 t) (* 2e-16 t))) (sqrt (* (* 2e-16 t) (* 2e-16 t)))))>
9.726 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* 2e-16 t) (* 2e-16 t))))>
9.726 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 2e-16) (* t t)))>
9.726 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
9.726 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
9.726 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
9.726 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 t) (* 2 1)))>
9.726 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))>
9.726 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* t (* 2e-16 t))))>
9.726 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))>
9.726 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
9.727 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
9.727 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
9.727 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
9.727 * [simplify]: Simplifying (+ 1 1), (+ 1 1), (+ 1 1), (+ 1 1), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (+ 1 1), (+ 1 1), (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))), (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (log (* (* 2e-16 t) (* 2e-16 t))), (exp (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))), (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))), (cbrt (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* 2e-16 t))), (sqrt (* (* 2e-16 t) (* 2e-16 t))), (sqrt (* (* 2e-16 t) (* 2e-16 t))), (* 2e-16 2e-16), (* t t), (* 2 1), (* 2 1), (* 2 1), (* 2 1), (* (* 2e-16 t) 2e-16), (* t (* 2e-16 t)), (real->posit16 (* (* 2e-16 t) (* 2e-16 t))), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2))
9.728 * * [simplify]: iteration 1: (39 enodes)
9.745 * * [simplify]: iteration 2: (161 enodes)
9.792 * * [simplify]: iteration 3: (426 enodes)
10.104 * * [simplify]: iteration 4: (1272 enodes)
11.659 * * [simplify]: iteration 5: (1986 enodes)
15.920 * * [simplify]: Extracting #0: cost 14 inf + 0
15.921 * * [simplify]: Extracting #1: cost 189 inf + 1
15.927 * * [simplify]: Extracting #2: cost 630 inf + 3998
15.950 * * [simplify]: Extracting #3: cost 536 inf + 29769
16.005 * * [simplify]: Extracting #4: cost 198 inf + 148740
16.076 * * [simplify]: Extracting #5: cost 12 inf + 223633
16.122 * * [simplify]: Extracting #6: cost 0 inf + 229780
16.186 * [simplify]: Simplified to 2, 2, 2, 2, (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), 2, 2, (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (+ (log (* 2e-16 t)) (log (* 2e-16 t))), (exp (* (* 2e-16 t) (* 2e-16 t))), (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))), (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))), (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))), (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))), (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))), (cbrt (* (* 2e-16 t) (* 2e-16 t))), (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))), (fabs (* 2e-16 t)), (fabs (* 2e-16 t)), (* 2e-16 2e-16), (* t t), 2, 2, 2, 2, (* t (* 2e-16 2e-16)), (* (* t t) 2e-16), (real->posit16 (* (* 2e-16 t) (* 2e-16 t))), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t))
16.188 * * * [progress]: adding candidates to table
16.430 * * [progress]: iteration 2 / 4
16.430 * * * [progress]: picking best candidate
16.435 * * * * [pick]: Picked  #<alt (λ (t) (* 2e-16 (* t (* 2e-16 t))))>
16.435 * * * [progress]: localizing error
16.448 * * * [progress]: generating rewritten candidates
16.448 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
16.470 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
16.510 * * * [progress]: generating series expansions
16.510 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
16.510 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2))
16.510 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0
16.510 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
16.510 * [taylor]: Taking taylor expansion of 2e-16 in t
16.510 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.510 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.510 * [taylor]: Taking taylor expansion of t in t
16.510 * [backup-simplify]: Simplify 0 into 0
16.510 * [backup-simplify]: Simplify 1 into 1
16.510 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t
16.510 * [taylor]: Taking taylor expansion of 2e-16 in t
16.511 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.511 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.511 * [taylor]: Taking taylor expansion of t in t
16.511 * [backup-simplify]: Simplify 0 into 0
16.511 * [backup-simplify]: Simplify 1 into 1
16.511 * [backup-simplify]: Simplify (* 1 1) into 1
16.512 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
16.512 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.513 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
16.514 * [backup-simplify]: Simplify 0 into 0
16.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.516 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
16.516 * [backup-simplify]: Simplify 0 into 0
16.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.518 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.518 * [backup-simplify]: Simplify 0 into 0
16.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.521 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.521 * [backup-simplify]: Simplify 0 into 0
16.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.524 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.524 * [backup-simplify]: Simplify 0 into 0
16.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.528 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2))
16.528 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2))
16.528 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
16.528 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
16.528 * [taylor]: Taking taylor expansion of 2e-16 in t
16.528 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.528 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.528 * [taylor]: Taking taylor expansion of t in t
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify 1 into 1
16.529 * [backup-simplify]: Simplify (* 1 1) into 1
16.529 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
16.529 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
16.529 * [taylor]: Taking taylor expansion of 2e-16 in t
16.529 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.529 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.529 * [taylor]: Taking taylor expansion of t in t
16.529 * [backup-simplify]: Simplify 0 into 0
16.529 * [backup-simplify]: Simplify 1 into 1
16.530 * [backup-simplify]: Simplify (* 1 1) into 1
16.530 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
16.530 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.531 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
16.532 * [backup-simplify]: Simplify 0 into 0
16.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.534 * [backup-simplify]: Simplify 0 into 0
16.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.536 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.538 * [backup-simplify]: Simplify 0 into 0
16.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.541 * [backup-simplify]: Simplify 0 into 0
16.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.543 * [backup-simplify]: Simplify 0 into 0
16.543 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2))
16.543 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2))
16.544 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0
16.544 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
16.544 * [taylor]: Taking taylor expansion of 2e-16 in t
16.544 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.544 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.544 * [taylor]: Taking taylor expansion of t in t
16.544 * [backup-simplify]: Simplify 0 into 0
16.544 * [backup-simplify]: Simplify 1 into 1
16.544 * [backup-simplify]: Simplify (* 1 1) into 1
16.545 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
16.545 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t
16.545 * [taylor]: Taking taylor expansion of 2e-16 in t
16.545 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.545 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.545 * [taylor]: Taking taylor expansion of t in t
16.545 * [backup-simplify]: Simplify 0 into 0
16.545 * [backup-simplify]: Simplify 1 into 1
16.545 * [backup-simplify]: Simplify (* 1 1) into 1
16.546 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16
16.546 * [backup-simplify]: Simplify 2e-16 into 2e-16
16.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0
16.548 * [backup-simplify]: Simplify 0 into 0
16.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.550 * [backup-simplify]: Simplify 0 into 0
16.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.552 * [backup-simplify]: Simplify 0 into 0
16.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.554 * [backup-simplify]: Simplify 0 into 0
16.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.556 * [backup-simplify]: Simplify 0 into 0
16.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.557 * [backup-simplify]: Simplify 0 into 0
16.557 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2))
16.557 * * * * [progress]: [ 2 / 2 ] generating series at (2)
16.557 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2))
16.557 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
16.557 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
16.557 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.558 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.558 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.558 * [taylor]: Taking taylor expansion of t in t
16.558 * [backup-simplify]: Simplify 0 into 0
16.558 * [backup-simplify]: Simplify 1 into 1
16.558 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
16.558 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.558 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.558 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.558 * [taylor]: Taking taylor expansion of t in t
16.558 * [backup-simplify]: Simplify 0 into 0
16.558 * [backup-simplify]: Simplify 1 into 1
16.558 * [backup-simplify]: Simplify (* 1 1) into 1
16.558 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
16.558 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.559 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.559 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
16.559 * [backup-simplify]: Simplify 0 into 0
16.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.560 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
16.560 * [backup-simplify]: Simplify 0 into 0
16.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.562 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.562 * [backup-simplify]: Simplify 0 into 0
16.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.563 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.563 * [backup-simplify]: Simplify 0 into 0
16.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.565 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.565 * [backup-simplify]: Simplify 0 into 0
16.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.567 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.567 * [backup-simplify]: Simplify 0 into 0
16.567 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
16.567 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2))
16.567 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
16.567 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
16.567 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.567 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.567 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.567 * [taylor]: Taking taylor expansion of t in t
16.567 * [backup-simplify]: Simplify 0 into 0
16.567 * [backup-simplify]: Simplify 1 into 1
16.567 * [backup-simplify]: Simplify (* 1 1) into 1
16.568 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
16.568 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
16.568 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.568 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.568 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.568 * [taylor]: Taking taylor expansion of t in t
16.568 * [backup-simplify]: Simplify 0 into 0
16.568 * [backup-simplify]: Simplify 1 into 1
16.568 * [backup-simplify]: Simplify (* 1 1) into 1
16.568 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
16.568 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.569 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
16.569 * [backup-simplify]: Simplify 0 into 0
16.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.571 * [backup-simplify]: Simplify 0 into 0
16.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.572 * [backup-simplify]: Simplify 0 into 0
16.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.573 * [backup-simplify]: Simplify 0 into 0
16.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.575 * [backup-simplify]: Simplify 0 into 0
16.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.576 * [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
16.576 * [backup-simplify]: Simplify 0 into 0
16.576 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
16.576 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2))
16.576 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
16.576 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
16.576 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.576 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.576 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.576 * [taylor]: Taking taylor expansion of t in t
16.576 * [backup-simplify]: Simplify 0 into 0
16.576 * [backup-simplify]: Simplify 1 into 1
16.577 * [backup-simplify]: Simplify (* 1 1) into 1
16.577 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
16.577 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
16.577 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.577 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.577 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.577 * [taylor]: Taking taylor expansion of t in t
16.577 * [backup-simplify]: Simplify 0 into 0
16.577 * [backup-simplify]: Simplify 1 into 1
16.577 * [backup-simplify]: Simplify (* 1 1) into 1
16.578 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
16.578 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.581 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
16.582 * [backup-simplify]: Simplify 0 into 0
16.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.585 * [backup-simplify]: Simplify 0 into 0
16.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.587 * [backup-simplify]: Simplify 0 into 0
16.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.590 * [backup-simplify]: Simplify 0 into 0
16.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.593 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.593 * [backup-simplify]: Simplify 0 into 0
16.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.596 * [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
16.596 * [backup-simplify]: Simplify 0 into 0
16.596 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
16.597 * * * [progress]: simplifying candidates
16.597 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
16.597 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
16.597 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (pow (* t (* 2e-16 t)) 1)))>
16.597 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (+ (log t) (+ (log 2e-16) (log t))))))>
16.597 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (+ (log t) (log (* 2e-16 t))))))>
16.597 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (exp (log (* t (* 2e-16 t))))))>
16.597 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (log (exp (* t (* 2e-16 t))))))>
16.597 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))))>
16.597 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))))>
16.597 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))) (cbrt (* t (* 2e-16 t))))))>
16.597 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (cbrt (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))))>
16.597 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))>
16.597 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 1 (* t (* 2e-16 t)))))>
16.597 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* t 2e-16) t)))>
16.597 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t)))))>
16.598 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t)))))>
16.598 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 1 (* t (* 2e-16 t)))))>
16.598 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (posit16->real (real->posit16 (* t (* 2e-16 t))))))>
16.598 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* (* 2e-16 t) t)))>
16.598 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
16.598 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
16.598 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
16.598 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* 2e-16 (* t (* 2e-16 t))) 1))>
16.598 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t))))))>
16.598 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (+ (log t) (log (* 2e-16 t))))))>
16.598 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 2e-16) (log (* t (* 2e-16 t))))))>
16.598 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* 2e-16 (* t (* 2e-16 t))))))>
16.598 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* 2e-16 (* t (* 2e-16 t))))))>
16.598 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))))))>
16.598 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))))))>
16.598 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))))))>
16.598 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* 2e-16 (* t (* 2e-16 t)))) (cbrt (* 2e-16 (* t (* 2e-16 t))))) (cbrt (* 2e-16 (* t (* 2e-16 t))))))>
16.599 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 2e-16 (* t (* 2e-16 t))) (* 2e-16 (* t (* 2e-16 t)))) (* 2e-16 (* t (* 2e-16 t))))))>
16.599 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* 2e-16 (* t (* 2e-16 t)))) (sqrt (* 2e-16 (* t (* 2e-16 t))))))>
16.599 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* 2e-16 (* t (* 2e-16 t)))))>
16.599 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
16.599 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t (* 2e-16 t)))))>
16.599 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))>
16.599 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* 2e-16 (* t (* 2e-16 t)))))>
16.599 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))>
16.599 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* (* t (* 2e-16 t)) 2e-16))>
16.599 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
16.599 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
16.599 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 2e-16 (* 2e-16 (pow t 2))))>
16.599 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
16.599 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
16.599 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
16.600 * [simplify]: Simplifying (* t (* 2e-16 t)), (* t (* 2e-16 t)), (+ (log t) (+ (log 2e-16) (log t))), (+ (log t) (log (* 2e-16 t))), (log (* t (* 2e-16 t))), (exp (* t (* 2e-16 t))), (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))), (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (cbrt (* t (* 2e-16 t))) (cbrt (* t (* 2e-16 t)))), (cbrt (* t (* 2e-16 t))), (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t))), (sqrt (* t (* 2e-16 t))), (sqrt (* t (* 2e-16 t))), (* t 2e-16), (* (cbrt t) (* 2e-16 t)), (* (sqrt t) (* 2e-16 t)), (* t (* 2e-16 t)), (real->posit16 (* t (* 2e-16 t))), (* 2e-16 (* t (* 2e-16 t))), (* 2e-16 (* t (* 2e-16 t))), (* 2e-16 (* t (* 2e-16 t))), (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t)))), (+ (log 2e-16) (+ (log t) (log (* 2e-16 t)))), (+ (log 2e-16) (log (* t (* 2e-16 t)))), (log (* 2e-16 (* t (* 2e-16 t)))), (exp (* 2e-16 (* t (* 2e-16 t)))), (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))), (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))), (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))), (* (cbrt (* 2e-16 (* t (* 2e-16 t)))) (cbrt (* 2e-16 (* t (* 2e-16 t))))), (cbrt (* 2e-16 (* t (* 2e-16 t)))), (* (* (* 2e-16 (* t (* 2e-16 t))) (* 2e-16 (* t (* 2e-16 t)))) (* 2e-16 (* t (* 2e-16 t)))), (sqrt (* 2e-16 (* t (* 2e-16 t)))), (sqrt (* 2e-16 (* t (* 2e-16 t)))), (* 2e-16 t), (* (cbrt 2e-16) (* t (* 2e-16 t))), (* (sqrt 2e-16) (* t (* 2e-16 t))), (* 2e-16 (* t (* 2e-16 t))), (real->posit16 (* 2e-16 (* t (* 2e-16 t)))), (* 2e-16 (pow t 2)), (* 2e-16 (pow t 2)), (* 2e-16 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2))
16.601 * * [simplify]: iteration 1: (56 enodes)
16.631 * * [simplify]: iteration 2: (230 enodes)
16.730 * * [simplify]: iteration 3: (594 enodes)
17.220 * * [simplify]: iteration 4: (1495 enodes)
19.327 * * [simplify]: Extracting #0: cost 22 inf + 0
19.328 * * [simplify]: Extracting #1: cost 158 inf + 0
19.340 * * [simplify]: Extracting #2: cost 328 inf + 4939
19.351 * * [simplify]: Extracting #3: cost 186 inf + 31724
19.368 * * [simplify]: Extracting #4: cost 26 inf + 69362
19.394 * * [simplify]: Extracting #5: cost 0 inf + 79283
19.412 * [simplify]: Simplified to (* t (* t 2e-16)), (* t (* t 2e-16)), (log (* t (* t 2e-16))), (log (* t (* t 2e-16))), (log (* t (* t 2e-16))), (exp (* t (* t 2e-16))), (* (* t (* t 2e-16)) (* (* t (* t 2e-16)) (* t (* t 2e-16)))), (* (* t (* t 2e-16)) (* (* t (* t 2e-16)) (* t (* t 2e-16)))), (* (cbrt (* t (* t 2e-16))) (cbrt (* t (* t 2e-16)))), (cbrt (* t (* t 2e-16))), (* (* t (* t 2e-16)) (* (* t (* t 2e-16)) (* t (* t 2e-16)))), (sqrt (* t (* t 2e-16))), (sqrt (* t (* t 2e-16))), (* t 2e-16), (* (* t 2e-16) (cbrt t)), (* (sqrt t) (* t 2e-16)), (* t (* t 2e-16)), (real->posit16 (* t (* 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)) (log (* t 2e-16))), (+ (log (* t 2e-16)) (log (* t 2e-16))), (+ (log (* t 2e-16)) (log (* t 2e-16))), (+ (log (* t 2e-16)) (log (* t 2e-16))), (exp (* (* t 2e-16) (* t 2e-16))), (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16))), (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16))), (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16))), (* (cbrt (* (* t 2e-16) (* t 2e-16))) (cbrt (* (* t 2e-16) (* t 2e-16)))), (cbrt (* (* t 2e-16) (* t 2e-16))), (* (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* t 2e-16))), (fabs (* t 2e-16)), (fabs (* t 2e-16)), (* t 2e-16), (* (* t (* t 2e-16)) (cbrt 2e-16)), (* (* t (* t 2e-16)) (sqrt 2e-16)), (* (* t 2e-16) (* t 2e-16)), (real->posit16 (* (* t 2e-16) (* t 2e-16))), (* t (* t 2e-16)), (* t (* t 2e-16)), (* t (* t 2e-16)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t))
19.413 * * * [progress]: adding candidates to table
19.704 * * [progress]: iteration 3 / 4
19.704 * * * [progress]: picking best candidate
19.713 * * * * [pick]: Picked  #<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))>
19.713 * * * [progress]: localizing error
19.721 * * * [progress]: generating rewritten candidates
19.721 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
19.787 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
19.811 * * * [progress]: generating series expansions
19.812 * * * * [progress]: [ 1 / 2 ] generating series at (2)
19.812 * [backup-simplify]: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2))
19.812 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
19.812 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
19.812 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.812 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.812 * [taylor]: Taking taylor expansion of (pow t 2) in t
19.812 * [taylor]: Taking taylor expansion of t in t
19.812 * [backup-simplify]: Simplify 0 into 0
19.812 * [backup-simplify]: Simplify 1 into 1
19.812 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
19.812 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.812 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.812 * [taylor]: Taking taylor expansion of (pow t 2) in t
19.812 * [taylor]: Taking taylor expansion of t in t
19.812 * [backup-simplify]: Simplify 0 into 0
19.812 * [backup-simplify]: Simplify 1 into 1
19.813 * [backup-simplify]: Simplify (* 1 1) into 1
19.813 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
19.813 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.814 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
19.815 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
19.815 * [backup-simplify]: Simplify 0 into 0
19.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
19.816 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
19.816 * [backup-simplify]: Simplify 0 into 0
19.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
19.818 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
19.818 * [backup-simplify]: Simplify 0 into 0
19.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
19.821 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
19.821 * [backup-simplify]: Simplify 0 into 0
19.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
19.824 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
19.824 * [backup-simplify]: Simplify 0 into 0
19.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
19.827 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
19.828 * [backup-simplify]: Simplify 0 into 0
19.828 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
19.828 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2))
19.828 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
19.828 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
19.828 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.828 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.828 * [taylor]: Taking taylor expansion of (pow t 2) in t
19.828 * [taylor]: Taking taylor expansion of t in t
19.828 * [backup-simplify]: Simplify 0 into 0
19.828 * [backup-simplify]: Simplify 1 into 1
19.829 * [backup-simplify]: Simplify (* 1 1) into 1
19.829 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
19.829 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
19.829 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.829 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.829 * [taylor]: Taking taylor expansion of (pow t 2) in t
19.829 * [taylor]: Taking taylor expansion of t in t
19.829 * [backup-simplify]: Simplify 0 into 0
19.829 * [backup-simplify]: Simplify 1 into 1
19.830 * [backup-simplify]: Simplify (* 1 1) into 1
19.830 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
19.830 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.831 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
19.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
19.832 * [backup-simplify]: Simplify 0 into 0
19.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
19.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.834 * [backup-simplify]: Simplify 0 into 0
19.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
19.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.836 * [backup-simplify]: Simplify 0 into 0
19.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
19.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.838 * [backup-simplify]: Simplify 0 into 0
19.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
19.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.841 * [backup-simplify]: Simplify 0 into 0
19.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
19.844 * [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
19.844 * [backup-simplify]: Simplify 0 into 0
19.844 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
19.844 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2))
19.844 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
19.844 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
19.844 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.844 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.844 * [taylor]: Taking taylor expansion of (pow t 2) in t
19.844 * [taylor]: Taking taylor expansion of t in t
19.844 * [backup-simplify]: Simplify 0 into 0
19.844 * [backup-simplify]: Simplify 1 into 1
19.845 * [backup-simplify]: Simplify (* 1 1) into 1
19.845 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
19.845 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
19.845 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.846 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.846 * [taylor]: Taking taylor expansion of (pow t 2) in t
19.846 * [taylor]: Taking taylor expansion of t in t
19.846 * [backup-simplify]: Simplify 0 into 0
19.846 * [backup-simplify]: Simplify 1 into 1
19.846 * [backup-simplify]: Simplify (* 1 1) into 1
19.847 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
19.847 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
19.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
19.849 * [backup-simplify]: Simplify 0 into 0
19.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
19.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.851 * [backup-simplify]: Simplify 0 into 0
19.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
19.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.854 * [backup-simplify]: Simplify 0 into 0
19.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
19.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.857 * [backup-simplify]: Simplify 0 into 0
19.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
19.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.859 * [backup-simplify]: Simplify 0 into 0
19.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
19.863 * [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
19.863 * [backup-simplify]: Simplify 0 into 0
19.863 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
19.863 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
19.863 * [backup-simplify]: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t)
19.863 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0
19.863 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
19.863 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.863 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.863 * [taylor]: Taking taylor expansion of t in t
19.863 * [backup-simplify]: Simplify 0 into 0
19.864 * [backup-simplify]: Simplify 1 into 1
19.864 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t
19.864 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.864 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.864 * [taylor]: Taking taylor expansion of t in t
19.864 * [backup-simplify]: Simplify 0 into 0
19.864 * [backup-simplify]: Simplify 1 into 1
19.864 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0
19.864 * [backup-simplify]: Simplify 0 into 0
19.866 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32
19.866 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.867 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0
19.867 * [backup-simplify]: Simplify 0 into 0
19.869 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
19.869 * [backup-simplify]: Simplify 0 into 0
19.870 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
19.870 * [backup-simplify]: Simplify 0 into 0
19.872 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
19.872 * [backup-simplify]: Simplify 0 into 0
19.873 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
19.873 * [backup-simplify]: Simplify 0 into 0
19.875 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
19.875 * [backup-simplify]: Simplify 0 into 0
19.875 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t)
19.876 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t)
19.876 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0
19.876 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
19.876 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.876 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.876 * [taylor]: Taking taylor expansion of t in t
19.876 * [backup-simplify]: Simplify 0 into 0
19.876 * [backup-simplify]: Simplify 1 into 1
19.876 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
19.876 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t
19.876 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.876 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.876 * [taylor]: Taking taylor expansion of t in t
19.877 * [backup-simplify]: Simplify 0 into 0
19.877 * [backup-simplify]: Simplify 1 into 1
19.877 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
19.877 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
19.878 * [backup-simplify]: Simplify 0 into 0
19.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.879 * [backup-simplify]: Simplify 0 into 0
19.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.880 * [backup-simplify]: Simplify 0 into 0
19.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.882 * [backup-simplify]: Simplify 0 into 0
19.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.883 * [backup-simplify]: Simplify 0 into 0
19.884 * [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
19.884 * [backup-simplify]: Simplify 0 into 0
19.884 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t)
19.884 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t)
19.884 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0
19.885 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
19.885 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
19.885 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
19.885 * [taylor]: Taking taylor expansion of t in t
19.885 * [backup-simplify]: Simplify 0 into 0
19.885 * [backup-simplify]: Simplify 1 into 1
19.885 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
19.885 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t
19.885 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t
19.885 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
19.885 * [taylor]: Taking taylor expansion of t in t
19.885 * [backup-simplify]: Simplify 0 into 0
19.885 * [backup-simplify]: Simplify 1 into 1
19.886 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32
19.886 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32
19.887 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0
19.887 * [backup-simplify]: Simplify 0 into 0
19.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.888 * [backup-simplify]: Simplify 0 into 0
19.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.889 * [backup-simplify]: Simplify 0 into 0
19.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.890 * [backup-simplify]: Simplify 0 into 0
19.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.892 * [backup-simplify]: Simplify 0 into 0
19.893 * [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
19.893 * [backup-simplify]: Simplify 0 into 0
19.893 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t)
19.893 * * * [progress]: simplifying candidates
19.893 * * * * [progress]: [ 1 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* 2e-16 t) 2e-16) t) 1))>
19.893 * * * * [progress]: [ 2 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* 2e-16 t) 2e-16) t) 1))>
19.893 * * * * [progress]: [ 3 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* 2e-16 t) 2e-16) t) 1))>
19.893 * * * * [progress]: [ 4 / 47 ] simplifiying candidate #<alt (λ (t) (pow (* (* (* 2e-16 t) 2e-16) t) 1))>
19.893 * * * * [progress]: [ 5 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (+ (log 2e-16) (log t)) (log 2e-16)) (log t))))>
19.893 * * * * [progress]: [ 6 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log (* 2e-16 t)) (log 2e-16)) (log t))))>
19.893 * * * * [progress]: [ 7 / 47 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* (* 2e-16 t) 2e-16)) (log t))))>
19.893 * * * * [progress]: [ 8 / 47 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* (* 2e-16 t) 2e-16) t))))>
19.894 * * * * [progress]: [ 9 / 47 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* (* 2e-16 t) 2e-16) t))))>
19.894 * * * * [progress]: [ 10 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))))>
19.894 * * * * [progress]: [ 11 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t))))>
19.894 * * * * [progress]: [ 12 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)) (* (* t t) t))))>
19.894 * * * * [progress]: [ 13 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* (* 2e-16 t) 2e-16) t)) (cbrt (* (* (* 2e-16 t) 2e-16) t))) (cbrt (* (* (* 2e-16 t) 2e-16) t))))>
19.894 * * * * [progress]: [ 14 / 47 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* (* 2e-16 t) 2e-16) t) (* (* (* 2e-16 t) 2e-16) t)) (* (* (* 2e-16 t) 2e-16) t))))>
19.894 * * * * [progress]: [ 15 / 47 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* (* 2e-16 t) 2e-16) t)) (sqrt (* (* (* 2e-16 t) 2e-16) t))))>
19.894 * * * * [progress]: [ 16 / 47 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* (* 2e-16 t) 2e-16) t)))>
19.894 * * * * [progress]: [ 17 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) 2e-16) (* (cbrt t) (cbrt t))) (cbrt t)))>
19.894 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) 2e-16) (sqrt t)) (sqrt t)))>
19.894 * * * * [progress]: [ 19 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) 2e-16) 1) t))>
19.894 * * * * [progress]: [ 20 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 t) (* 2e-16 t)))>
19.894 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))>
19.894 * * * * [progress]: [ 22 / 47 ] simplifiying candidate #<alt (λ (t) (* t (* (* 2e-16 t) 2e-16)))>
19.894 * * * * [progress]: [ 23 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* 2e-16 t) 2e-16) 1) t))>
19.895 * * * * [progress]: [ 24 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* 2e-16 t) 2e-16) 1) t))>
19.895 * * * * [progress]: [ 25 / 47 ] simplifiying candidate #<alt (λ (t) (* (pow (* (* 2e-16 t) 2e-16) 1) t))>
19.895 * * * * [progress]: [ 26 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (+ (log 2e-16) (log t)) (log 2e-16))) t))>
19.895 * * * * [progress]: [ 27 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (+ (log (* 2e-16 t)) (log 2e-16))) t))>
19.895 * * * * [progress]: [ 28 / 47 ] simplifiying candidate #<alt (λ (t) (* (exp (log (* (* 2e-16 t) 2e-16))) t))>
19.895 * * * * [progress]: [ 29 / 47 ] simplifiying candidate #<alt (λ (t) (* (log (exp (* (* 2e-16 t) 2e-16))) t))>
19.895 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16))) t))>
19.895 * * * * [progress]: [ 31 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16))) t))>
19.895 * * * * [progress]: [ 32 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (cbrt (* (* 2e-16 t) 2e-16)) (cbrt (* (* 2e-16 t) 2e-16))) (cbrt (* (* 2e-16 t) 2e-16))) t))>
19.895 * * * * [progress]: [ 33 / 47 ] simplifiying candidate #<alt (λ (t) (* (cbrt (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16))) t))>
19.895 * * * * [progress]: [ 34 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt (* (* 2e-16 t) 2e-16)) (sqrt (* (* 2e-16 t) 2e-16))) t))>
19.895 * * * * [progress]: [ 35 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 1 (* (* 2e-16 t) 2e-16)) t))>
19.895 * * * * [progress]: [ 36 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)) t))>
19.895 * * * * [progress]: [ 37 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) (sqrt 2e-16)) (sqrt 2e-16)) t))>
19.895 * * * * [progress]: [ 38 / 47 ] simplifiying candidate #<alt (λ (t) (* (* (* (* 2e-16 t) 1) 2e-16) t))>
19.895 * * * * [progress]: [ 39 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* t 2e-16)) t))>
19.896 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #<alt (λ (t) (* (posit16->real (real->posit16 (* (* 2e-16 t) 2e-16))) t))>
19.896 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 2e-16 (* 2e-16 t)) t))>
19.896 * * * * [progress]: [ 42 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
19.896 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
19.896 * * * * [progress]: [ 44 / 47 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
19.896 * * * * [progress]: [ 45 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
19.896 * * * * [progress]: [ 46 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
19.896 * * * * [progress]: [ 47 / 47 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
19.897 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t), (* (* (* 2e-16 t) 2e-16) t), (* (* (* 2e-16 t) 2e-16) t), (+ (+ (+ (log 2e-16) (log t)) (log 2e-16)) (log t)), (+ (+ (log (* 2e-16 t)) (log 2e-16)) (log t)), (+ (log (* (* 2e-16 t) 2e-16)) (log t)), (log (* (* (* 2e-16 t) 2e-16) t)), (exp (* (* (* 2e-16 t) 2e-16) t)), (* (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)), (* (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)), (* (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)) (* (* t t) t)), (* (cbrt (* (* (* 2e-16 t) 2e-16) t)) (cbrt (* (* (* 2e-16 t) 2e-16) t))), (cbrt (* (* (* 2e-16 t) 2e-16) t)), (* (* (* (* (* 2e-16 t) 2e-16) t) (* (* (* 2e-16 t) 2e-16) t)) (* (* (* 2e-16 t) 2e-16) t)), (sqrt (* (* (* 2e-16 t) 2e-16) t)), (sqrt (* (* (* 2e-16 t) 2e-16) t)), (* (* (* 2e-16 t) 2e-16) (* (cbrt t) (cbrt t))), (* (* (* 2e-16 t) 2e-16) (sqrt t)), (* (* (* 2e-16 t) 2e-16) 1), (* 2e-16 t), (real->posit16 (* (* (* 2e-16 t) 2e-16) t)), (* (* 2e-16 t) 2e-16), (* (* 2e-16 t) 2e-16), (+ (+ (log 2e-16) (log t)) (log 2e-16)), (+ (log (* 2e-16 t)) (log 2e-16)), (log (* (* 2e-16 t) 2e-16)), (exp (* (* 2e-16 t) 2e-16)), (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)), (* (cbrt (* (* 2e-16 t) 2e-16)) (cbrt (* (* 2e-16 t) 2e-16))), (cbrt (* (* 2e-16 t) 2e-16)), (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)), (sqrt (* (* 2e-16 t) 2e-16)), (sqrt (* (* 2e-16 t) 2e-16)), (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16))), (* (* 2e-16 t) (sqrt 2e-16)), (* (* 2e-16 t) 1), (* t 2e-16), (real->posit16 (* (* 2e-16 t) 2e-16)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 t)
19.898 * * [simplify]: iteration 1: (61 enodes)
19.936 * * [simplify]: iteration 2: (263 enodes)
20.037 * * [simplify]: iteration 3: (690 enodes)
20.780 * * [simplify]: Extracting #0: cost 23 inf + 0
20.781 * * [simplify]: Extracting #1: cost 191 inf + 0
20.785 * * [simplify]: Extracting #2: cost 300 inf + 3843
20.805 * * [simplify]: Extracting #3: cost 82 inf + 47590
20.830 * * [simplify]: Extracting #4: cost 4 inf + 52000
20.855 * * [simplify]: Extracting #5: cost 0 inf + 52156
20.886 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (* (* 2e-16 t) (* 2e-16 t)), (log (* (* 2e-16 t) (* 2e-16 t))), (log (* (* 2e-16 t) (* 2e-16 t))), (log (* (* 2e-16 t) (* 2e-16 t))), (log (* (* 2e-16 t) (* 2e-16 t))), (exp (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (* (cbrt (* (* 2e-16 t) (* 2e-16 t))) (cbrt (* (* 2e-16 t) (* 2e-16 t)))), (cbrt (* (* 2e-16 t) (* 2e-16 t))), (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))), (fabs (* 2e-16 t)), (fabs (* 2e-16 t)), (* (* 2e-16 (* (* (cbrt t) (cbrt t)) 2e-16)) t), (* 2e-16 (* (* 2e-16 (sqrt t)) t)), (* (* 2e-16 2e-16) t), (* 2e-16 t), (real->posit16 (* (* 2e-16 t) (* 2e-16 t))), (* (* 2e-16 2e-16) t), (* (* 2e-16 2e-16) t), (log (* (* 2e-16 2e-16) t)), (log (* (* 2e-16 2e-16) t)), (log (* (* 2e-16 2e-16) t)), (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)), (* (* 2e-16 (* t (cbrt 2e-16))) (cbrt 2e-16)), (* (sqrt 2e-16) (* 2e-16 t)), (* 2e-16 t), (* 2e-16 t), (real->posit16 (* (* 2e-16 2e-16) t)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 t), (* 3.9999999999999997e-32 t)
20.889 * * * [progress]: adding candidates to table
21.194 * * [progress]: iteration 4 / 4
21.195 * * * [progress]: picking best candidate
21.205 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>
21.205 * * * [progress]: localizing error
21.210 * * * [progress]: generating rewritten candidates
21.210 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
21.233 * * * [progress]: generating series expansions
21.233 * * * * [progress]: [ 1 / 1 ] generating series at (2)
21.233 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* t t)) into (* 3.9999999999999997e-32 (pow t 2))
21.233 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
21.233 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
21.233 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
21.233 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.233 * [taylor]: Taking taylor expansion of (pow t 2) in t
21.233 * [taylor]: Taking taylor expansion of t in t
21.233 * [backup-simplify]: Simplify 0 into 0
21.233 * [backup-simplify]: Simplify 1 into 1
21.233 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
21.233 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
21.233 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.233 * [taylor]: Taking taylor expansion of (pow t 2) in t
21.233 * [taylor]: Taking taylor expansion of t in t
21.233 * [backup-simplify]: Simplify 0 into 0
21.233 * [backup-simplify]: Simplify 1 into 1
21.234 * [backup-simplify]: Simplify (* 1 1) into 1
21.235 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
21.235 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.235 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.236 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
21.236 * [backup-simplify]: Simplify 0 into 0
21.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.242 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
21.242 * [backup-simplify]: Simplify 0 into 0
21.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.244 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.245 * [backup-simplify]: Simplify 0 into 0
21.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.247 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.247 * [backup-simplify]: Simplify 0 into 0
21.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.250 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.250 * [backup-simplify]: Simplify 0 into 0
21.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.254 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.254 * [backup-simplify]: Simplify 0 into 0
21.254 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
21.254 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 t) (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
21.254 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
21.254 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
21.254 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
21.254 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.254 * [taylor]: Taking taylor expansion of (pow t 2) in t
21.254 * [taylor]: Taking taylor expansion of t in t
21.254 * [backup-simplify]: Simplify 0 into 0
21.254 * [backup-simplify]: Simplify 1 into 1
21.255 * [backup-simplify]: Simplify (* 1 1) into 1
21.255 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
21.255 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
21.255 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
21.255 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.255 * [taylor]: Taking taylor expansion of (pow t 2) in t
21.255 * [taylor]: Taking taylor expansion of t in t
21.255 * [backup-simplify]: Simplify 0 into 0
21.255 * [backup-simplify]: Simplify 1 into 1
21.256 * [backup-simplify]: Simplify (* 1 1) into 1
21.256 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
21.256 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
21.258 * [backup-simplify]: Simplify 0 into 0
21.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.260 * [backup-simplify]: Simplify 0 into 0
21.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.262 * [backup-simplify]: Simplify 0 into 0
21.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.264 * [backup-simplify]: Simplify 0 into 0
21.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.267 * [backup-simplify]: Simplify 0 into 0
21.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.270 * [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
21.270 * [backup-simplify]: Simplify 0 into 0
21.270 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
21.270 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 (- t)) (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
21.270 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
21.270 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
21.270 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
21.270 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.270 * [taylor]: Taking taylor expansion of (pow t 2) in t
21.270 * [taylor]: Taking taylor expansion of t in t
21.270 * [backup-simplify]: Simplify 0 into 0
21.270 * [backup-simplify]: Simplify 1 into 1
21.271 * [backup-simplify]: Simplify (* 1 1) into 1
21.271 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
21.271 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
21.271 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
21.271 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.271 * [taylor]: Taking taylor expansion of (pow t 2) in t
21.271 * [taylor]: Taking taylor expansion of t in t
21.271 * [backup-simplify]: Simplify 0 into 0
21.271 * [backup-simplify]: Simplify 1 into 1
21.272 * [backup-simplify]: Simplify (* 1 1) into 1
21.272 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
21.272 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
21.273 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
21.274 * [backup-simplify]: Simplify 0 into 0
21.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.276 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.276 * [backup-simplify]: Simplify 0 into 0
21.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.278 * [backup-simplify]: Simplify 0 into 0
21.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.280 * [backup-simplify]: Simplify 0 into 0
21.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.283 * [backup-simplify]: Simplify 0 into 0
21.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.285 * [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
21.285 * [backup-simplify]: Simplify 0 into 0
21.285 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
21.285 * * * [progress]: simplifying candidates
21.285 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
21.286 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
21.286 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
21.286 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 3.9999999999999997e-32) (+ (log t) (log t)))))>
21.286 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 3.9999999999999997e-32) (log (* t t)))))>
21.286 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (t) (exp (log (* 3.9999999999999997e-32 (* t t)))))>
21.286 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (t) (log (exp (* 3.9999999999999997e-32 (* t t)))))>
21.286 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) t) (* (* t t) t)))))>
21.286 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) (* t t)) (* t t)))))>
21.286 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) (cbrt (* 3.9999999999999997e-32 (* t t)))))>
21.286 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t)))))>
21.286 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* 3.9999999999999997e-32 (* t t))) (sqrt (* 3.9999999999999997e-32 (* t t)))))>
21.286 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (t) (* 1 (* 3.9999999999999997e-32 (* t t))))>
21.286 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t)))>
21.286 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
21.287 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)) (* (cbrt 3.9999999999999997e-32) (* t t))))>
21.287 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>
21.287 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (t) (* 1 (* 3.9999999999999997e-32 (* t t))))>
21.287 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* 3.9999999999999997e-32 (* t t)))))>
21.287 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))>
21.287 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
21.287 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
21.287 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
21.288 * [simplify]: Simplifying (* 3.9999999999999997e-32 (* t t)), (* 3.9999999999999997e-32 (* t t)), (+ (log 3.9999999999999997e-32) (+ (log t) (log t))), (+ (log 3.9999999999999997e-32) (log (* t t))), (log (* 3.9999999999999997e-32 (* t t))), (exp (* 3.9999999999999997e-32 (* t t))), (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) t) (* (* t t) t))), (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) (* t t)) (* t t))), (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))), (cbrt (* 3.9999999999999997e-32 (* t t))), (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t))), (sqrt (* 3.9999999999999997e-32 (* t t))), (sqrt (* 3.9999999999999997e-32 (* t t))), (* (sqrt 3.9999999999999997e-32) t), (* (sqrt 3.9999999999999997e-32) t), (* 3.9999999999999997e-32 t), (* (cbrt 3.9999999999999997e-32) (* t t)), (* (sqrt 3.9999999999999997e-32) (* t t)), (* 3.9999999999999997e-32 (* t t)), (real->posit16 (* 3.9999999999999997e-32 (* t t))), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2)), (* 3.9999999999999997e-32 (pow t 2))
21.288 * * [simplify]: iteration 1: (35 enodes)
21.311 * * [simplify]: iteration 2: (140 enodes)
21.371 * * [simplify]: iteration 3: (279 enodes)
21.502 * * [simplify]: iteration 4: (521 enodes)
21.811 * * [simplify]: iteration 5: (750 enodes)
22.223 * * [simplify]: iteration 6: (1329 enodes)
23.553 * * [simplify]: Extracting #0: cost 12 inf + 0
23.553 * * [simplify]: Extracting #1: cost 179 inf + 0
23.555 * * [simplify]: Extracting #2: cost 583 inf + 481
23.560 * * [simplify]: Extracting #3: cost 533 inf + 17664
23.593 * * [simplify]: Extracting #4: cost 125 inf + 172113
23.657 * * [simplify]: Extracting #5: cost 1 inf + 226552
23.687 * * [simplify]: Extracting #6: cost 0 inf + 225756
23.719 * [simplify]: Simplified to (* t (* 3.9999999999999997e-32 t)), (* t (* 3.9999999999999997e-32 t)), (log (* t (* 3.9999999999999997e-32 t))), (log (* t (* 3.9999999999999997e-32 t))), (log (* t (* 3.9999999999999997e-32 t))), (exp (* t (* 3.9999999999999997e-32 t))), (* (* t (* 3.9999999999999997e-32 t)) (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t)))), (* (* t (* 3.9999999999999997e-32 t)) (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t)))), (* (cbrt (* t (* 3.9999999999999997e-32 t))) (cbrt (* t (* 3.9999999999999997e-32 t)))), (cbrt (* t (* 3.9999999999999997e-32 t))), (* (* t (* 3.9999999999999997e-32 t)) (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t)))), (sqrt (* t (* 3.9999999999999997e-32 t))), (sqrt (* t (* 3.9999999999999997e-32 t))), (* t (sqrt 3.9999999999999997e-32)), (* t (sqrt 3.9999999999999997e-32)), (* 3.9999999999999997e-32 t), (* (cbrt 3.9999999999999997e-32) (* t t)), (* (sqrt 3.9999999999999997e-32) (* t t)), (* t (* 3.9999999999999997e-32 t)), (real->posit16 (* t (* 3.9999999999999997e-32 t))), (* t (* 3.9999999999999997e-32 t)), (* t (* 3.9999999999999997e-32 t)), (* t (* 3.9999999999999997e-32 t))
23.720 * * * [progress]: adding candidates to table
23.873 * [progress]: [Phase 3 of 3] Extracting.
23.873 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (* (* (* 2e-16 t) (sqrt 2e-16)) (sqrt 2e-16)) t))> #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))> #<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))> #<alt (λ (t) (* 2e-16 (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))> #<alt (λ (t) (* 2e-16 (cbrt (* (* t (* t 2e-16)) (* (* t (* t 2e-16)) (* t (* t 2e-16)))))))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>)
23.874 * * * [regime-changes]: Trying 1 branch expressions: (t)
23.874 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (* (* (* 2e-16 t) (sqrt 2e-16)) (sqrt 2e-16)) t))> #<alt (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t)))))> #<alt (λ (t) (* (* (* 2e-16 t) 2e-16) t))> #<alt (λ (t) (* 2e-16 (* (sqrt (* t (* 2e-16 t))) (sqrt (* t (* 2e-16 t))))))> #<alt (λ (t) (* 2e-16 (cbrt (* (* t (* t 2e-16)) (* (* t (* t 2e-16)) (* t (* t 2e-16)))))))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))> #<alt (λ (t) (cbrt (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))))>)
23.927 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
23.928 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t)
23.928 * * [simplify]: iteration 1: (5 enodes)
23.928 * * [simplify]: iteration 2: (8 enodes)
23.929 * * [simplify]: Extracting #0: cost 1 inf + 0
23.929 * * [simplify]: Extracting #1: cost 3 inf + 0
23.929 * * [simplify]: Extracting #2: cost 4 inf + 1
23.929 * * [simplify]: Extracting #3: cost 3 inf + 2
23.929 * * [simplify]: Extracting #4: cost 0 inf + 248
23.929 * [simplify]: Simplified to (* (* 2e-16 (* 2e-16 t)) t)
26.539 * [regime-testing]: Baseline error score: 0.3190398799849981
26.543 * [regime-testing]: Oracle error score: 0.024878109763720464
26.550 * [regime-testing]: End program error score: 0.3190398799849981
26.605 * [regime-testing]: Target error score: 50.571603708011985