0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.085 * * * [progress]: [2/2] Setting up program. 0.090 * [progress]: [Phase 2 of 3] Improving. 0.090 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.090 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 0.091 * * [simplify]: iters left: 6 (11 enodes) 0.095 * * [simplify]: iters left: 5 (51 enodes) 0.108 * * [simplify]: iters left: 4 (112 enodes) 0.143 * * [simplify]: iters left: 3 (254 enodes) 0.245 * * [simplify]: iters left: 2 (499 enodes) 0.859 * * [simplify]: Extracting #0: cost 1 inf + 0 0.859 * * [simplify]: Extracting #1: cost 68 inf + 0 0.860 * * [simplify]: Extracting #2: cost 304 inf + 128 0.862 * * [simplify]: Extracting #3: cost 306 inf + 3757 0.871 * * [simplify]: Extracting #4: cost 110 inf + 35431 0.890 * * [simplify]: Extracting #5: cost 6 inf + 50420 0.927 * * [simplify]: Extracting #6: cost 0 inf + 50764 0.958 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 0.958 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 0.968 * * [progress]: iteration 1 / 4 0.968 * * * [progress]: picking best candidate 0.970 * * * * [pick]: Picked # 0.970 * * * [progress]: localizing error 0.982 * * * [progress]: generating rewritten candidates 0.982 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.017 * * * [progress]: generating series expansions 1.017 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.017 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1.018 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.018 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1.018 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.018 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.018 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.018 * [taylor]: Taking taylor expansion of t in t 1.018 * [backup-simplify]: Simplify 0 into 0 1.018 * [backup-simplify]: Simplify 1 into 1 1.018 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1.018 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.018 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.018 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.018 * [taylor]: Taking taylor expansion of t in t 1.018 * [backup-simplify]: Simplify 0 into 0 1.018 * [backup-simplify]: Simplify 1 into 1 1.018 * [backup-simplify]: Simplify (* 1 1) into 1 1.019 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.019 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.019 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1.019 * [backup-simplify]: Simplify 0 into 0 1.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.021 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1.021 * [backup-simplify]: Simplify 0 into 0 1.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.025 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.025 * [backup-simplify]: Simplify 0 into 0 1.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.026 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.026 * [backup-simplify]: Simplify 0 into 0 1.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.028 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.028 * [backup-simplify]: Simplify 0 into 0 1.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.031 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.031 * [backup-simplify]: Simplify 0 into 0 1.031 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.032 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1.032 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.032 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.032 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.032 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.032 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.032 * [taylor]: Taking taylor expansion of t in t 1.032 * [backup-simplify]: Simplify 0 into 0 1.032 * [backup-simplify]: Simplify 1 into 1 1.032 * [backup-simplify]: Simplify (* 1 1) into 1 1.033 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.033 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.033 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.033 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.033 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.033 * [taylor]: Taking taylor expansion of t in t 1.033 * [backup-simplify]: Simplify 0 into 0 1.033 * [backup-simplify]: Simplify 1 into 1 1.033 * [backup-simplify]: Simplify (* 1 1) into 1 1.034 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.034 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.035 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.036 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.036 * [backup-simplify]: Simplify 0 into 0 1.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.038 * [backup-simplify]: Simplify 0 into 0 1.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.040 * [backup-simplify]: Simplify 0 into 0 1.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.042 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.042 * [backup-simplify]: Simplify 0 into 0 1.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.045 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.045 * [backup-simplify]: Simplify 0 into 0 1.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.048 * [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 1.048 * [backup-simplify]: Simplify 0 into 0 1.048 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.048 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1.048 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.049 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.049 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.049 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.049 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.049 * [taylor]: Taking taylor expansion of t in t 1.049 * [backup-simplify]: Simplify 0 into 0 1.049 * [backup-simplify]: Simplify 1 into 1 1.049 * [backup-simplify]: Simplify (* 1 1) into 1 1.050 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.050 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.050 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.050 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.050 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.050 * [taylor]: Taking taylor expansion of t in t 1.050 * [backup-simplify]: Simplify 0 into 0 1.050 * [backup-simplify]: Simplify 1 into 1 1.051 * [backup-simplify]: Simplify (* 1 1) into 1 1.051 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.051 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.052 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.053 * [backup-simplify]: Simplify 0 into 0 1.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.055 * [backup-simplify]: Simplify 0 into 0 1.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.057 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.057 * [backup-simplify]: Simplify 0 into 0 1.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.060 * [backup-simplify]: Simplify 0 into 0 1.061 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.062 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.062 * [backup-simplify]: Simplify 0 into 0 1.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.065 * [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 1.065 * [backup-simplify]: Simplify 0 into 0 1.065 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.065 * * * [progress]: simplifying candidates 1.065 * * * * [progress]: [ 1 / 38 ] simplifiying candidate # 1.066 * [simplify]: Simplifying (* 2e-16 t) 1.066 * * [simplify]: iters left: 2 (3 enodes) 1.068 * * [simplify]: iters left: 1 (10 enodes) 1.071 * * [simplify]: Extracting #0: cost 1 inf + 0 1.071 * * [simplify]: Extracting #1: cost 4 inf + 0 1.071 * * [simplify]: Extracting #2: cost 2 inf + 2 1.071 * * [simplify]: Extracting #3: cost 0 inf + 86 1.071 * [simplify]: Simplified to (* 2e-16 t) 1.071 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.072 * [simplify]: Simplifying (+ 1 1) 1.072 * * [simplify]: iters left: 2 (2 enodes) 1.074 * * [simplify]: iters left: 1 (9 enodes) 1.077 * * [simplify]: Extracting #0: cost 1 inf + 0 1.077 * * [simplify]: Extracting #1: cost 0 inf + 1 1.077 * [simplify]: Simplified to 2 1.077 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.077 * * * * [progress]: [ 2 / 38 ] simplifiying candidate # 1.078 * [simplify]: Simplifying (* 2e-16 t) 1.078 * * [simplify]: iters left: 2 (3 enodes) 1.080 * * [simplify]: iters left: 1 (10 enodes) 1.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1.083 * * [simplify]: Extracting #1: cost 4 inf + 0 1.083 * * [simplify]: Extracting #2: cost 2 inf + 2 1.083 * * [simplify]: Extracting #3: cost 0 inf + 86 1.083 * [simplify]: Simplified to (* 2e-16 t) 1.083 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.083 * [simplify]: Simplifying (+ 1 1) 1.083 * * [simplify]: iters left: 2 (2 enodes) 1.086 * * [simplify]: iters left: 1 (9 enodes) 1.089 * * [simplify]: Extracting #0: cost 1 inf + 0 1.089 * * [simplify]: Extracting #1: cost 0 inf + 1 1.089 * [simplify]: Simplified to 2 1.089 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.089 * * * * [progress]: [ 3 / 38 ] simplifiying candidate # 1.090 * [simplify]: Simplifying (* 2e-16 t) 1.090 * * [simplify]: iters left: 2 (3 enodes) 1.091 * * [simplify]: iters left: 1 (10 enodes) 1.095 * * [simplify]: Extracting #0: cost 1 inf + 0 1.095 * * [simplify]: Extracting #1: cost 4 inf + 0 1.095 * * [simplify]: Extracting #2: cost 2 inf + 2 1.095 * * [simplify]: Extracting #3: cost 0 inf + 86 1.095 * [simplify]: Simplified to (* 2e-16 t) 1.095 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.095 * [simplify]: Simplifying (+ 1 1) 1.095 * * [simplify]: iters left: 2 (2 enodes) 1.098 * * [simplify]: iters left: 1 (9 enodes) 1.101 * * [simplify]: Extracting #0: cost 1 inf + 0 1.101 * * [simplify]: Extracting #1: cost 0 inf + 1 1.101 * [simplify]: Simplified to 2 1.101 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.101 * * * * [progress]: [ 4 / 38 ] simplifiying candidate # 1.101 * [simplify]: Simplifying (* 2e-16 t) 1.101 * * [simplify]: iters left: 2 (3 enodes) 1.103 * * [simplify]: iters left: 1 (10 enodes) 1.106 * * [simplify]: Extracting #0: cost 1 inf + 0 1.106 * * [simplify]: Extracting #1: cost 4 inf + 0 1.106 * * [simplify]: Extracting #2: cost 2 inf + 2 1.106 * * [simplify]: Extracting #3: cost 0 inf + 86 1.106 * [simplify]: Simplified to (* 2e-16 t) 1.106 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.107 * [simplify]: Simplifying (+ 1 1) 1.107 * * [simplify]: iters left: 2 (2 enodes) 1.109 * * [simplify]: iters left: 1 (9 enodes) 1.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1.112 * * [simplify]: Extracting #1: cost 0 inf + 1 1.112 * [simplify]: Simplified to 2 1.112 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.112 * * * * [progress]: [ 5 / 38 ] simplifiying candidate # 1.112 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.112 * * [simplify]: iters left: 4 (4 enodes) 1.115 * * [simplify]: iters left: 3 (20 enodes) 1.123 * * [simplify]: iters left: 2 (39 enodes) 1.137 * * [simplify]: iters left: 1 (40 enodes) 1.148 * * [simplify]: Extracting #0: cost 1 inf + 0 1.148 * * [simplify]: Extracting #1: cost 9 inf + 0 1.148 * * [simplify]: Extracting #2: cost 11 inf + 43 1.148 * * [simplify]: Extracting #3: cost 1 inf + 660 1.149 * * [simplify]: Extracting #4: cost 0 inf + 742 1.149 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.149 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.149 * * * * [progress]: [ 6 / 38 ] simplifiying candidate # 1.150 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.150 * * [simplify]: iters left: 4 (4 enodes) 1.153 * * [simplify]: iters left: 3 (20 enodes) 1.159 * * [simplify]: iters left: 2 (39 enodes) 1.166 * * [simplify]: iters left: 1 (40 enodes) 1.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1.174 * * [simplify]: Extracting #1: cost 9 inf + 0 1.174 * * [simplify]: Extracting #2: cost 11 inf + 43 1.174 * * [simplify]: Extracting #3: cost 1 inf + 660 1.174 * * [simplify]: Extracting #4: cost 0 inf + 742 1.175 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.175 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.175 * * * * [progress]: [ 7 / 38 ] simplifiying candidate # 1.175 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.175 * * [simplify]: iters left: 4 (4 enodes) 1.177 * * [simplify]: iters left: 3 (20 enodes) 1.181 * * [simplify]: iters left: 2 (39 enodes) 1.192 * * [simplify]: iters left: 1 (40 enodes) 1.203 * * [simplify]: Extracting #0: cost 1 inf + 0 1.203 * * [simplify]: Extracting #1: cost 9 inf + 0 1.204 * * [simplify]: Extracting #2: cost 11 inf + 43 1.204 * * [simplify]: Extracting #3: cost 1 inf + 660 1.204 * * [simplify]: Extracting #4: cost 0 inf + 742 1.205 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.205 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.205 * * * * [progress]: [ 8 / 38 ] simplifiying candidate # 1.205 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.205 * * [simplify]: iters left: 4 (4 enodes) 1.209 * * [simplify]: iters left: 3 (20 enodes) 1.217 * * [simplify]: iters left: 2 (39 enodes) 1.231 * * [simplify]: iters left: 1 (40 enodes) 1.242 * * [simplify]: Extracting #0: cost 1 inf + 0 1.242 * * [simplify]: Extracting #1: cost 9 inf + 0 1.242 * * [simplify]: Extracting #2: cost 11 inf + 43 1.243 * * [simplify]: Extracting #3: cost 1 inf + 660 1.243 * * [simplify]: Extracting #4: cost 0 inf + 742 1.244 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.244 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.244 * * * * [progress]: [ 9 / 38 ] simplifiying candidate # 1.244 * * * * [progress]: [ 10 / 38 ] simplifiying candidate # 1.244 * [simplify]: Simplifying (* 2e-16 t) 1.244 * * [simplify]: iters left: 2 (3 enodes) 1.246 * * [simplify]: iters left: 1 (10 enodes) 1.249 * * [simplify]: Extracting #0: cost 1 inf + 0 1.249 * * [simplify]: Extracting #1: cost 4 inf + 0 1.250 * * [simplify]: Extracting #2: cost 2 inf + 2 1.250 * * [simplify]: Extracting #3: cost 0 inf + 86 1.250 * [simplify]: Simplified to (* 2e-16 t) 1.250 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.250 * * * * [progress]: [ 11 / 38 ] simplifiying candidate # 1.250 * [simplify]: Simplifying (* 2e-16 t) 1.250 * * [simplify]: iters left: 2 (3 enodes) 1.252 * * [simplify]: iters left: 1 (10 enodes) 1.255 * * [simplify]: Extracting #0: cost 1 inf + 0 1.255 * * [simplify]: Extracting #1: cost 4 inf + 0 1.255 * * [simplify]: Extracting #2: cost 2 inf + 2 1.255 * * [simplify]: Extracting #3: cost 0 inf + 86 1.255 * [simplify]: Simplified to (* 2e-16 t) 1.256 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.256 * * * * [progress]: [ 12 / 38 ] simplifiying candidate # 1.256 * * * * [progress]: [ 13 / 38 ] simplifiying candidate # 1.256 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1.256 * * [simplify]: iters left: 5 (6 enodes) 1.260 * * [simplify]: iters left: 4 (23 enodes) 1.268 * * [simplify]: iters left: 3 (35 enodes) 1.274 * * [simplify]: iters left: 2 (43 enodes) 1.281 * * [simplify]: iters left: 1 (44 enodes) 1.287 * * [simplify]: Extracting #0: cost 1 inf + 0 1.288 * * [simplify]: Extracting #1: cost 9 inf + 0 1.288 * * [simplify]: Extracting #2: cost 18 inf + 0 1.288 * * [simplify]: Extracting #3: cost 13 inf + 295 1.288 * * [simplify]: Extracting #4: cost 11 inf + 437 1.288 * * [simplify]: Extracting #5: cost 1 inf + 2204 1.289 * * [simplify]: Extracting #6: cost 0 inf + 2426 1.289 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1.289 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 1.289 * * * * [progress]: [ 14 / 38 ] simplifiying candidate # 1.289 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t))) 1.289 * * [simplify]: iters left: 5 (8 enodes) 1.292 * * [simplify]: iters left: 4 (27 enodes) 1.300 * * [simplify]: iters left: 3 (37 enodes) 1.312 * * [simplify]: iters left: 2 (46 enodes) 1.326 * * [simplify]: iters left: 1 (50 enodes) 1.339 * * [simplify]: Extracting #0: cost 1 inf + 0 1.339 * * [simplify]: Extracting #1: cost 9 inf + 0 1.340 * * [simplify]: Extracting #2: cost 19 inf + 0 1.340 * * [simplify]: Extracting #3: cost 17 inf + 73 1.340 * * [simplify]: Extracting #4: cost 11 inf + 741 1.341 * * [simplify]: Extracting #5: cost 2 inf + 2006 1.341 * * [simplify]: Extracting #6: cost 0 inf + 2230 1.342 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.342 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.342 * * * * [progress]: [ 15 / 38 ] simplifiying candidate # 1.343 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t))) 1.343 * * [simplify]: iters left: 5 (8 enodes) 1.348 * * [simplify]: iters left: 4 (27 enodes) 1.357 * * [simplify]: iters left: 3 (37 enodes) 1.369 * * [simplify]: iters left: 2 (46 enodes) 1.381 * * [simplify]: iters left: 1 (49 enodes) 1.395 * * [simplify]: Extracting #0: cost 1 inf + 0 1.395 * * [simplify]: Extracting #1: cost 9 inf + 0 1.395 * * [simplify]: Extracting #2: cost 19 inf + 0 1.395 * * [simplify]: Extracting #3: cost 17 inf + 73 1.396 * * [simplify]: Extracting #4: cost 7 inf + 967 1.396 * * [simplify]: Extracting #5: cost 1 inf + 2008 1.397 * * [simplify]: Extracting #6: cost 0 inf + 2230 1.398 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.398 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.398 * * * * [progress]: [ 16 / 38 ] simplifiying candidate # 1.399 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.399 * * [simplify]: iters left: 5 (5 enodes) 1.402 * * [simplify]: iters left: 4 (19 enodes) 1.409 * * [simplify]: iters left: 3 (28 enodes) 1.418 * * [simplify]: iters left: 2 (40 enodes) 1.431 * * [simplify]: iters left: 1 (48 enodes) 1.445 * * [simplify]: Extracting #0: cost 1 inf + 0 1.445 * * [simplify]: Extracting #1: cost 9 inf + 0 1.445 * * [simplify]: Extracting #2: cost 19 inf + 0 1.445 * * [simplify]: Extracting #3: cost 18 inf + 2 1.445 * * [simplify]: Extracting #4: cost 8 inf + 1077 1.446 * * [simplify]: Extracting #5: cost 0 inf + 2230 1.447 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.447 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.447 * * * * [progress]: [ 17 / 38 ] simplifiying candidate # 1.447 * * * * [progress]: [ 18 / 38 ] simplifiying candidate # 1.447 * * * * [progress]: [ 19 / 38 ] simplifiying candidate # 1.447 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 1.448 * * [simplify]: iters left: 6 (8 enodes) 1.453 * * [simplify]: iters left: 5 (38 enodes) 1.474 * * [simplify]: iters left: 4 (140 enodes) 1.581 * * [simplify]: iters left: 3 (482 enodes) 2.221 * * [simplify]: Extracting #0: cost 1 inf + 0 2.221 * * [simplify]: Extracting #1: cost 74 inf + 0 2.222 * * [simplify]: Extracting #2: cost 255 inf + 1300 2.229 * * [simplify]: Extracting #3: cost 112 inf + 28035 2.245 * * [simplify]: Extracting #4: cost 0 inf + 55188 2.268 * * [simplify]: Extracting #5: cost 0 inf + 54508 2.284 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 2.284 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))))) 2.284 * * * * [progress]: [ 20 / 38 ] simplifiying candidate # 2.285 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 2.285 * * [simplify]: iters left: 6 (11 enodes) 2.289 * * [simplify]: iters left: 5 (54 enodes) 2.313 * * [simplify]: iters left: 4 (171 enodes) 2.428 * * [simplify]: Extracting #0: cost 1 inf + 0 2.429 * * [simplify]: Extracting #1: cost 53 inf + 0 2.430 * * [simplify]: Extracting #2: cost 151 inf + 450 2.434 * * [simplify]: Extracting #3: cost 107 inf + 8458 2.445 * * [simplify]: Extracting #4: cost 1 inf + 30046 2.454 * * [simplify]: Extracting #5: cost 0 inf + 27018 2.466 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 2.466 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))))) 2.466 * * * * [progress]: [ 21 / 38 ] simplifiying candidate # 2.466 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 2.466 * * [simplify]: iters left: 6 (11 enodes) 2.473 * * [simplify]: iters left: 5 (54 enodes) 2.495 * * [simplify]: iters left: 4 (170 enodes) 2.624 * * [simplify]: Extracting #0: cost 1 inf + 0 2.624 * * [simplify]: Extracting #1: cost 51 inf + 0 2.624 * * [simplify]: Extracting #2: cost 150 inf + 3 2.625 * * [simplify]: Extracting #3: cost 139 inf + 1749 2.632 * * [simplify]: Extracting #4: cost 24 inf + 21795 2.649 * * [simplify]: Extracting #5: cost 0 inf + 26323 2.664 * * [simplify]: Extracting #6: cost 0 inf + 26283 2.679 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 2.679 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 2.679 * * * * [progress]: [ 22 / 38 ] simplifiying candidate # 2.679 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 2.680 * * [simplify]: iters left: 6 (6 enodes) 2.684 * * [simplify]: iters left: 5 (35 enodes) 2.704 * * [simplify]: iters left: 4 (130 enodes) 2.793 * * [simplify]: iters left: 3 (462 enodes) 3.309 * * [simplify]: Extracting #0: cost 1 inf + 0 3.309 * * [simplify]: Extracting #1: cost 59 inf + 0 3.310 * * [simplify]: Extracting #2: cost 197 inf + 4 3.313 * * [simplify]: Extracting #3: cost 126 inf + 12107 3.323 * * [simplify]: Extracting #4: cost 16 inf + 32525 3.344 * * [simplify]: Extracting #5: cost 0 inf + 36365 3.358 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 3.358 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 3.358 * * * * [progress]: [ 23 / 38 ] simplifiying candidate # 3.358 * * * * [progress]: [ 24 / 38 ] simplifiying candidate # 3.358 * * * * [progress]: [ 25 / 38 ] simplifiying candidate # 3.358 * * * * [progress]: [ 26 / 38 ] simplifiying candidate # 3.358 * * * * [progress]: [ 27 / 38 ] simplifiying candidate # 3.359 * [simplify]: Simplifying (* 2e-16 2e-16) 3.359 * * [simplify]: iters left: 2 (2 enodes) 3.360 * * [simplify]: iters left: 1 (6 enodes) 3.362 * * [simplify]: Extracting #0: cost 1 inf + 0 3.362 * * [simplify]: Extracting #1: cost 3 inf + 0 3.362 * * [simplify]: Extracting #2: cost 2 inf + 1 3.362 * * [simplify]: Extracting #3: cost 0 inf + 83 3.362 * [simplify]: Simplified to (* 2e-16 2e-16) 3.362 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 3.362 * [simplify]: Simplifying (* t t) 3.362 * * [simplify]: iters left: 2 (2 enodes) 3.363 * * [simplify]: iters left: 1 (6 enodes) 3.364 * * [simplify]: Extracting #0: cost 1 inf + 0 3.364 * * [simplify]: Extracting #1: cost 3 inf + 0 3.364 * * [simplify]: Extracting #2: cost 2 inf + 1 3.364 * * [simplify]: Extracting #3: cost 0 inf + 83 3.364 * [simplify]: Simplified to (* t t) 3.364 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 3.364 * * * * [progress]: [ 28 / 38 ] simplifiying candidate # 3.364 * [simplify]: Simplifying (* 2e-16 t) 3.364 * * [simplify]: iters left: 2 (3 enodes) 3.365 * * [simplify]: iters left: 1 (10 enodes) 3.367 * * [simplify]: Extracting #0: cost 1 inf + 0 3.367 * * [simplify]: Extracting #1: cost 4 inf + 0 3.367 * * [simplify]: Extracting #2: cost 2 inf + 2 3.367 * * [simplify]: Extracting #3: cost 0 inf + 86 3.367 * [simplify]: Simplified to (* 2e-16 t) 3.367 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.367 * [simplify]: Simplifying (* 2 1) 3.367 * * [simplify]: iters left: 2 (3 enodes) 3.369 * * [simplify]: iters left: 1 (9 enodes) 3.371 * * [simplify]: Extracting #0: cost 1 inf + 0 3.371 * * [simplify]: Extracting #1: cost 0 inf + 1 3.371 * [simplify]: Simplified to 2 3.371 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.371 * * * * [progress]: [ 29 / 38 ] simplifiying candidate # 3.371 * [simplify]: Simplifying (* 2e-16 t) 3.371 * * [simplify]: iters left: 2 (3 enodes) 3.372 * * [simplify]: iters left: 1 (10 enodes) 3.375 * * [simplify]: Extracting #0: cost 1 inf + 0 3.375 * * [simplify]: Extracting #1: cost 4 inf + 0 3.376 * * [simplify]: Extracting #2: cost 2 inf + 2 3.376 * * [simplify]: Extracting #3: cost 0 inf + 86 3.376 * [simplify]: Simplified to (* 2e-16 t) 3.376 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.376 * [simplify]: Simplifying (* 2 1) 3.376 * * [simplify]: iters left: 2 (3 enodes) 3.379 * * [simplify]: iters left: 1 (9 enodes) 3.382 * * [simplify]: Extracting #0: cost 1 inf + 0 3.382 * * [simplify]: Extracting #1: cost 0 inf + 1 3.382 * [simplify]: Simplified to 2 3.382 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.382 * * * * [progress]: [ 30 / 38 ] simplifiying candidate # 3.383 * [simplify]: Simplifying (* 2e-16 t) 3.383 * * [simplify]: iters left: 2 (3 enodes) 3.385 * * [simplify]: iters left: 1 (10 enodes) 3.388 * * [simplify]: Extracting #0: cost 1 inf + 0 3.388 * * [simplify]: Extracting #1: cost 4 inf + 0 3.389 * * [simplify]: Extracting #2: cost 2 inf + 2 3.389 * * [simplify]: Extracting #3: cost 0 inf + 86 3.389 * [simplify]: Simplified to (* 2e-16 t) 3.389 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.389 * [simplify]: Simplifying (* 2 1) 3.389 * * [simplify]: iters left: 2 (3 enodes) 3.391 * * [simplify]: iters left: 1 (9 enodes) 3.395 * * [simplify]: Extracting #0: cost 1 inf + 0 3.395 * * [simplify]: Extracting #1: cost 0 inf + 1 3.395 * [simplify]: Simplified to 2 3.395 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.395 * * * * [progress]: [ 31 / 38 ] simplifiying candidate # 3.395 * [simplify]: Simplifying (* 2e-16 t) 3.395 * * [simplify]: iters left: 2 (3 enodes) 3.397 * * [simplify]: iters left: 1 (10 enodes) 3.398 * * [simplify]: Extracting #0: cost 1 inf + 0 3.398 * * [simplify]: Extracting #1: cost 4 inf + 0 3.398 * * [simplify]: Extracting #2: cost 2 inf + 2 3.398 * * [simplify]: Extracting #3: cost 0 inf + 86 3.398 * [simplify]: Simplified to (* 2e-16 t) 3.399 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.399 * [simplify]: Simplifying (* 2 1) 3.399 * * [simplify]: iters left: 2 (3 enodes) 3.400 * * [simplify]: iters left: 1 (9 enodes) 3.402 * * [simplify]: Extracting #0: cost 1 inf + 0 3.402 * * [simplify]: Extracting #1: cost 0 inf + 1 3.402 * [simplify]: Simplified to 2 3.402 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.402 * * * * [progress]: [ 32 / 38 ] simplifiying candidate # 3.402 * * * * [progress]: [ 33 / 38 ] simplifiying candidate # 3.402 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 3.402 * * * * [progress]: [ 35 / 38 ] simplifiying candidate # 3.402 * * * * [progress]: [ 36 / 38 ] simplifiying candidate # 3.402 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.402 * * [simplify]: iters left: 3 (5 enodes) 3.404 * * [simplify]: iters left: 2 (21 enodes) 3.411 * * [simplify]: iters left: 1 (29 enodes) 3.416 * * [simplify]: Extracting #0: cost 1 inf + 0 3.416 * * [simplify]: Extracting #1: cost 6 inf + 0 3.416 * * [simplify]: Extracting #2: cost 6 inf + 43 3.417 * * [simplify]: Extracting #3: cost 0 inf + 333 3.417 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.417 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.417 * * * * [progress]: [ 37 / 38 ] simplifiying candidate # 3.417 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.417 * * [simplify]: iters left: 3 (5 enodes) 3.419 * * [simplify]: iters left: 2 (21 enodes) 3.423 * * [simplify]: iters left: 1 (29 enodes) 3.432 * * [simplify]: Extracting #0: cost 1 inf + 0 3.432 * * [simplify]: Extracting #1: cost 6 inf + 0 3.432 * * [simplify]: Extracting #2: cost 6 inf + 43 3.432 * * [simplify]: Extracting #3: cost 0 inf + 333 3.433 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.433 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.433 * * * * [progress]: [ 38 / 38 ] simplifiying candidate # 3.433 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.433 * * [simplify]: iters left: 3 (5 enodes) 3.437 * * [simplify]: iters left: 2 (21 enodes) 3.444 * * [simplify]: iters left: 1 (29 enodes) 3.450 * * [simplify]: Extracting #0: cost 1 inf + 0 3.450 * * [simplify]: Extracting #1: cost 6 inf + 0 3.450 * * [simplify]: Extracting #2: cost 6 inf + 43 3.450 * * [simplify]: Extracting #3: cost 0 inf + 333 3.450 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.450 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.451 * * * [progress]: adding candidates to table 3.666 * * [progress]: iteration 2 / 4 3.666 * * * [progress]: picking best candidate 3.681 * * * * [pick]: Picked # 3.682 * * * [progress]: localizing error 3.698 * * * [progress]: generating rewritten candidates 3.698 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.782 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 3.804 * * * [progress]: generating series expansions 3.804 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.804 * [backup-simplify]: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2)) 3.804 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.804 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 3.804 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.804 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.804 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.804 * [taylor]: Taking taylor expansion of t in t 3.804 * [backup-simplify]: Simplify 0 into 0 3.804 * [backup-simplify]: Simplify 1 into 1 3.804 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 3.804 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.804 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.804 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.804 * [taylor]: Taking taylor expansion of t in t 3.804 * [backup-simplify]: Simplify 0 into 0 3.804 * [backup-simplify]: Simplify 1 into 1 3.805 * [backup-simplify]: Simplify (* 1 1) into 1 3.805 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.805 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.806 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.806 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 3.806 * [backup-simplify]: Simplify 0 into 0 3.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.807 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 3.807 * [backup-simplify]: Simplify 0 into 0 3.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.809 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.809 * [backup-simplify]: Simplify 0 into 0 3.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.810 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.810 * [backup-simplify]: Simplify 0 into 0 3.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.812 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.812 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.814 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.814 * [backup-simplify]: Simplify 0 into 0 3.814 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.814 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 3.814 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.814 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.814 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.814 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.814 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.814 * [taylor]: Taking taylor expansion of t in t 3.814 * [backup-simplify]: Simplify 0 into 0 3.814 * [backup-simplify]: Simplify 1 into 1 3.814 * [backup-simplify]: Simplify (* 1 1) into 1 3.814 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.814 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.815 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.815 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.815 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.815 * [taylor]: Taking taylor expansion of t in t 3.815 * [backup-simplify]: Simplify 0 into 0 3.815 * [backup-simplify]: Simplify 1 into 1 3.815 * [backup-simplify]: Simplify (* 1 1) into 1 3.815 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.815 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.816 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.816 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.817 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.817 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.820 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.820 * [backup-simplify]: Simplify 0 into 0 3.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.821 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.823 * [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 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.823 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 3.823 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.823 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.823 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.823 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.823 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.823 * [taylor]: Taking taylor expansion of t in t 3.823 * [backup-simplify]: Simplify 0 into 0 3.823 * [backup-simplify]: Simplify 1 into 1 3.823 * [backup-simplify]: Simplify (* 1 1) into 1 3.824 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.824 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.824 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.824 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.824 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.824 * [taylor]: Taking taylor expansion of t in t 3.824 * [backup-simplify]: Simplify 0 into 0 3.824 * [backup-simplify]: Simplify 1 into 1 3.824 * [backup-simplify]: Simplify (* 1 1) into 1 3.824 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.825 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.825 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.827 * [backup-simplify]: Simplify 0 into 0 3.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.828 * [backup-simplify]: Simplify 0 into 0 3.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.829 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.829 * [backup-simplify]: Simplify 0 into 0 3.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.831 * [backup-simplify]: Simplify 0 into 0 3.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.833 * [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 3.833 * [backup-simplify]: Simplify 0 into 0 3.833 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.833 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 3.833 * [backup-simplify]: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t) 3.833 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0 3.833 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 3.833 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.833 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.833 * [taylor]: Taking taylor expansion of t in t 3.833 * [backup-simplify]: Simplify 0 into 0 3.833 * [backup-simplify]: Simplify 1 into 1 3.833 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 3.833 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.833 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.833 * [taylor]: Taking taylor expansion of t in t 3.833 * [backup-simplify]: Simplify 0 into 0 3.833 * [backup-simplify]: Simplify 1 into 1 3.834 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0 3.834 * [backup-simplify]: Simplify 0 into 0 3.835 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32 3.835 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.836 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0 3.836 * [backup-simplify]: Simplify 0 into 0 3.838 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.838 * [backup-simplify]: Simplify 0 into 0 3.839 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.839 * [backup-simplify]: Simplify 0 into 0 3.841 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.841 * [backup-simplify]: Simplify 0 into 0 3.842 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 3.842 * [backup-simplify]: Simplify 0 into 0 3.844 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 3.844 * [backup-simplify]: Simplify 0 into 0 3.844 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t) 3.845 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t) 3.845 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0 3.845 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 3.845 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.845 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.845 * [taylor]: Taking taylor expansion of t in t 3.845 * [backup-simplify]: Simplify 0 into 0 3.845 * [backup-simplify]: Simplify 1 into 1 3.845 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.845 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 3.845 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.845 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.845 * [taylor]: Taking taylor expansion of t in t 3.845 * [backup-simplify]: Simplify 0 into 0 3.845 * [backup-simplify]: Simplify 1 into 1 3.846 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.846 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.847 * [backup-simplify]: Simplify 0 into 0 3.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.848 * [backup-simplify]: Simplify 0 into 0 3.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.849 * [backup-simplify]: Simplify 0 into 0 3.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.851 * [backup-simplify]: Simplify 0 into 0 3.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.852 * [backup-simplify]: Simplify 0 into 0 3.853 * [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 3.853 * [backup-simplify]: Simplify 0 into 0 3.853 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t) 3.853 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t) 3.853 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0 3.853 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 3.853 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 3.853 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 3.853 * [taylor]: Taking taylor expansion of t in t 3.853 * [backup-simplify]: Simplify 0 into 0 3.853 * [backup-simplify]: Simplify 1 into 1 3.854 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 3.854 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 3.854 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 3.854 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 3.854 * [taylor]: Taking taylor expansion of t in t 3.854 * [backup-simplify]: Simplify 0 into 0 3.854 * [backup-simplify]: Simplify 1 into 1 3.854 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 3.854 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 3.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0 3.855 * [backup-simplify]: Simplify 0 into 0 3.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.857 * [backup-simplify]: Simplify 0 into 0 3.858 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.858 * [backup-simplify]: Simplify 0 into 0 3.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.859 * [backup-simplify]: Simplify 0 into 0 3.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.860 * [backup-simplify]: Simplify 0 into 0 3.861 * [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 3.861 * [backup-simplify]: Simplify 0 into 0 3.861 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t) 3.861 * * * [progress]: simplifying candidates 3.861 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 3.862 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 3.862 * * [simplify]: iters left: 6 (5 enodes) 3.865 * * [simplify]: iters left: 5 (19 enodes) 3.872 * * [simplify]: iters left: 4 (31 enodes) 3.883 * * [simplify]: iters left: 3 (39 enodes) 3.896 * * [simplify]: Extracting #0: cost 1 inf + 0 3.897 * * [simplify]: Extracting #1: cost 9 inf + 0 3.897 * * [simplify]: Extracting #2: cost 11 inf + 43 3.897 * * [simplify]: Extracting #3: cost 1 inf + 660 3.897 * * [simplify]: Extracting #4: cost 0 inf + 742 3.898 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 3.898 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 3.898 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 3.898 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 3.898 * * [simplify]: iters left: 6 (5 enodes) 3.902 * * [simplify]: iters left: 5 (19 enodes) 3.907 * * [simplify]: iters left: 4 (31 enodes) 3.913 * * [simplify]: iters left: 3 (39 enodes) 3.919 * * [simplify]: Extracting #0: cost 1 inf + 0 3.919 * * [simplify]: Extracting #1: cost 9 inf + 0 3.919 * * [simplify]: Extracting #2: cost 11 inf + 43 3.919 * * [simplify]: Extracting #3: cost 1 inf + 660 3.919 * * [simplify]: Extracting #4: cost 0 inf + 742 3.920 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 3.920 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 3.920 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 3.920 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 3.920 * * [simplify]: iters left: 6 (5 enodes) 3.922 * * [simplify]: iters left: 5 (19 enodes) 3.926 * * [simplify]: iters left: 4 (31 enodes) 3.932 * * [simplify]: iters left: 3 (39 enodes) 3.938 * * [simplify]: Extracting #0: cost 1 inf + 0 3.938 * * [simplify]: Extracting #1: cost 9 inf + 0 3.938 * * [simplify]: Extracting #2: cost 11 inf + 43 3.938 * * [simplify]: Extracting #3: cost 1 inf + 660 3.938 * * [simplify]: Extracting #4: cost 0 inf + 742 3.939 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 3.939 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 3.939 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 3.939 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 3.939 * [simplify]: Simplifying (+ (+ (+ (log 2e-16) (log t)) (log 2e-16)) (log t)) 3.939 * * [simplify]: iters left: 6 (7 enodes) 3.941 * * [simplify]: iters left: 5 (25 enodes) 3.946 * * [simplify]: iters left: 4 (34 enodes) 3.952 * * [simplify]: iters left: 3 (42 enodes) 3.959 * * [simplify]: iters left: 2 (45 enodes) 3.965 * * [simplify]: Extracting #0: cost 1 inf + 0 3.965 * * [simplify]: Extracting #1: cost 9 inf + 0 3.966 * * [simplify]: Extracting #2: cost 18 inf + 0 3.966 * * [simplify]: Extracting #3: cost 15 inf + 73 3.966 * * [simplify]: Extracting #4: cost 11 inf + 437 3.966 * * [simplify]: Extracting #5: cost 3 inf + 1871 3.966 * * [simplify]: Extracting #6: cost 0 inf + 2426 3.967 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 3.967 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 3.967 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 3.967 * [simplify]: Simplifying (+ (+ (log (* 2e-16 t)) (log 2e-16)) (log t)) 3.967 * * [simplify]: iters left: 6 (8 enodes) 3.970 * * [simplify]: iters left: 5 (29 enodes) 3.975 * * [simplify]: iters left: 4 (37 enodes) 3.981 * * [simplify]: iters left: 3 (47 enodes) 3.989 * * [simplify]: iters left: 2 (51 enodes) 3.996 * * [simplify]: Extracting #0: cost 1 inf + 0 3.996 * * [simplify]: Extracting #1: cost 9 inf + 0 3.996 * * [simplify]: Extracting #2: cost 19 inf + 0 3.997 * * [simplify]: Extracting #3: cost 18 inf + 2 3.997 * * [simplify]: Extracting #4: cost 7 inf + 1189 3.997 * * [simplify]: Extracting #5: cost 0 inf + 2230 3.997 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 3.998 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 3.998 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 3.998 * [simplify]: Simplifying (+ (log (* (* 2e-16 t) 2e-16)) (log t)) 3.998 * * [simplify]: iters left: 6 (7 enodes) 4.000 * * [simplify]: iters left: 5 (27 enodes) 4.005 * * [simplify]: iters left: 4 (40 enodes) 4.012 * * [simplify]: iters left: 3 (52 enodes) 4.021 * * [simplify]: iters left: 2 (63 enodes) 4.031 * * [simplify]: Extracting #0: cost 1 inf + 0 4.031 * * [simplify]: Extracting #1: cost 9 inf + 0 4.031 * * [simplify]: Extracting #2: cost 21 inf + 0 4.032 * * [simplify]: Extracting #3: cost 21 inf + 73 4.032 * * [simplify]: Extracting #4: cost 9 inf + 1142 4.033 * * [simplify]: Extracting #5: cost 0 inf + 2336 4.034 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 4.034 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.034 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 4.034 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 4.034 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 4.034 * [simplify]: Simplifying (* (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) 4.034 * * [simplify]: iters left: 6 (9 enodes) 4.041 * * [simplify]: iters left: 5 (41 enodes) 4.061 * * [simplify]: iters left: 4 (130 enodes) 4.166 * * [simplify]: Extracting #0: cost 1 inf + 0 4.166 * * [simplify]: Extracting #1: cost 34 inf + 0 4.166 * * [simplify]: Extracting #2: cost 109 inf + 327 4.168 * * [simplify]: Extracting #3: cost 69 inf + 6283 4.174 * * [simplify]: Extracting #4: cost 2 inf + 18304 4.180 * * [simplify]: Extracting #5: cost 0 inf + 18518 4.186 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 4.186 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))))) 4.186 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 4.186 * [simplify]: Simplifying (* (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) 4.187 * * [simplify]: iters left: 6 (11 enodes) 4.191 * * [simplify]: iters left: 5 (54 enodes) 4.215 * * [simplify]: iters left: 4 (174 enodes) 4.322 * * [simplify]: Extracting #0: cost 1 inf + 0 4.322 * * [simplify]: Extracting #1: cost 47 inf + 0 4.322 * * [simplify]: Extracting #2: cost 123 inf + 2 4.323 * * [simplify]: Extracting #3: cost 100 inf + 3286 4.328 * * [simplify]: Extracting #4: cost 17 inf + 18012 4.335 * * [simplify]: Extracting #5: cost 0 inf + 20586 4.341 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 4.341 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 4.341 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 4.342 * [simplify]: Simplifying (* (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)) (* (* t t) t)) 4.342 * * [simplify]: iters left: 6 (9 enodes) 4.345 * * [simplify]: iters left: 5 (45 enodes) 4.357 * * [simplify]: iters left: 4 (145 enodes) 4.446 * * [simplify]: iters left: 3 (476 enodes) 5.030 * * [simplify]: Extracting #0: cost 1 inf + 0 5.030 * * [simplify]: Extracting #1: cost 61 inf + 0 5.031 * * [simplify]: Extracting #2: cost 183 inf + 3 5.034 * * [simplify]: Extracting #3: cost 112 inf + 14325 5.048 * * [simplify]: Extracting #4: cost 4 inf + 36148 5.067 * * [simplify]: Extracting #5: cost 0 inf + 36414 5.088 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 5.088 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 5.089 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 5.089 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 5.089 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 5.089 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 5.089 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 5.089 * [simplify]: Simplifying (cbrt t) 5.089 * * [simplify]: iters left: 1 (2 enodes) 5.090 * * [simplify]: Extracting #0: cost 1 inf + 0 5.090 * * [simplify]: Extracting #1: cost 3 inf + 0 5.090 * * [simplify]: Extracting #2: cost 2 inf + 1 5.090 * * [simplify]: Extracting #3: cost 0 inf + 163 5.090 * [simplify]: Simplified to (cbrt t) 5.090 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* (* 2e-16 t) 2e-16) (* (cbrt t) (cbrt t))) (cbrt t))) 5.090 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 5.091 * [simplify]: Simplifying (sqrt t) 5.091 * * [simplify]: iters left: 1 (2 enodes) 5.092 * * [simplify]: Extracting #0: cost 1 inf + 0 5.092 * * [simplify]: Extracting #1: cost 3 inf + 0 5.092 * * [simplify]: Extracting #2: cost 2 inf + 1 5.092 * * [simplify]: Extracting #3: cost 0 inf + 83 5.092 * [simplify]: Simplified to (sqrt t) 5.092 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* (* 2e-16 t) 2e-16) (sqrt t)) (sqrt t))) 5.092 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 5.092 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 5.092 * [simplify]: Simplifying (* 2e-16 t) 5.092 * * [simplify]: iters left: 2 (3 enodes) 5.095 * * [simplify]: iters left: 1 (10 enodes) 5.098 * * [simplify]: Extracting #0: cost 1 inf + 0 5.098 * * [simplify]: Extracting #1: cost 4 inf + 0 5.098 * * [simplify]: Extracting #2: cost 2 inf + 2 5.098 * * [simplify]: Extracting #3: cost 0 inf + 86 5.098 * [simplify]: Simplified to (* 2e-16 t) 5.098 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 5.099 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))> 5.099 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 5.099 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 5.099 * [simplify]: Simplifying (* (* 2e-16 t) 2e-16) 5.099 * * [simplify]: iters left: 4 (4 enodes) 5.102 * * [simplify]: iters left: 3 (14 enodes) 5.107 * * [simplify]: iters left: 2 (17 enodes) 5.113 * * [simplify]: iters left: 1 (19 enodes) 5.119 * * [simplify]: Extracting #0: cost 1 inf + 0 5.119 * * [simplify]: Extracting #1: cost 6 inf + 0 5.119 * * [simplify]: Extracting #2: cost 6 inf + 2 5.120 * * [simplify]: Extracting #3: cost 1 inf + 291 5.120 * * [simplify]: Extracting #4: cost 0 inf + 332 5.120 * [simplify]: Simplified to (* 2e-16 (* 2e-16 t)) 5.120 * [simplify]: Simplified (2 1 1) to (λ (t) (* (pow (* 2e-16 (* 2e-16 t)) 1) t)) 5.120 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 5.121 * [simplify]: Simplifying (* (* 2e-16 t) 2e-16) 5.121 * * [simplify]: iters left: 4 (4 enodes) 5.123 * * [simplify]: iters left: 3 (14 enodes) 5.128 * * [simplify]: iters left: 2 (17 enodes) 5.134 * * [simplify]: iters left: 1 (19 enodes) 5.140 * * [simplify]: Extracting #0: cost 1 inf + 0 5.140 * * [simplify]: Extracting #1: cost 6 inf + 0 5.140 * * [simplify]: Extracting #2: cost 6 inf + 2 5.140 * * [simplify]: Extracting #3: cost 1 inf + 291 5.140 * * [simplify]: Extracting #4: cost 0 inf + 332 5.141 * [simplify]: Simplified to (* 2e-16 (* 2e-16 t)) 5.141 * [simplify]: Simplified (2 1 1) to (λ (t) (* (pow (* 2e-16 (* 2e-16 t)) 1) t)) 5.141 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 5.141 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 5.141 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (log 2e-16)) 5.141 * * [simplify]: iters left: 5 (6 enodes) 5.145 * * [simplify]: iters left: 4 (20 enodes) 5.152 * * [simplify]: iters left: 3 (23 enodes) 5.159 * * [simplify]: iters left: 2 (25 enodes) 5.166 * * [simplify]: Extracting #0: cost 1 inf + 0 5.166 * * [simplify]: Extracting #1: cost 6 inf + 0 5.166 * * [simplify]: Extracting #2: cost 12 inf + 0 5.166 * * [simplify]: Extracting #3: cost 10 inf + 2 5.167 * * [simplify]: Extracting #4: cost 0 inf + 1316 5.167 * [simplify]: Simplified to (+ (+ (log 2e-16) (log 2e-16)) (log t)) 5.167 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (+ (+ (log 2e-16) (log 2e-16)) (log t))) t)) 5.167 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 5.167 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log 2e-16)) 5.167 * * [simplify]: iters left: 5 (6 enodes) 5.171 * * [simplify]: iters left: 4 (22 enodes) 5.179 * * [simplify]: iters left: 3 (27 enodes) 5.187 * * [simplify]: iters left: 2 (30 enodes) 5.197 * * [simplify]: Extracting #0: cost 1 inf + 0 5.197 * * [simplify]: Extracting #1: cost 6 inf + 0 5.197 * * [simplify]: Extracting #2: cost 13 inf + 0 5.197 * * [simplify]: Extracting #3: cost 12 inf + 2 5.197 * * [simplify]: Extracting #4: cost 2 inf + 926 5.198 * * [simplify]: Extracting #5: cost 0 inf + 1260 5.198 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log 2e-16)) 5.198 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (+ (log (* 2e-16 t)) (log 2e-16))) t)) 5.198 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 5.198 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 5.198 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 5.199 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) 5.199 * * [simplify]: iters left: 6 (8 enodes) 5.202 * * [simplify]: iters left: 5 (34 enodes) 5.212 * * [simplify]: iters left: 4 (88 enodes) 5.244 * * [simplify]: iters left: 3 (248 enodes) 5.423 * * [simplify]: Extracting #0: cost 1 inf + 0 5.423 * * [simplify]: Extracting #1: cost 40 inf + 0 5.424 * * [simplify]: Extracting #2: cost 117 inf + 207 5.427 * * [simplify]: Extracting #3: cost 72 inf + 5727 5.435 * * [simplify]: Extracting #4: cost 15 inf + 18723 5.445 * * [simplify]: Extracting #5: cost 0 inf + 23486 5.454 * [simplify]: Simplified to (* 2e-16 (* (* 2e-16 (* t 2e-16)) (* (* t 2e-16) (* 2e-16 (* t 2e-16))))) 5.455 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* 2e-16 (* (* 2e-16 (* t 2e-16)) (* (* t 2e-16) (* 2e-16 (* t 2e-16)))))) t)) 5.455 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 5.455 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) 5.455 * * [simplify]: iters left: 6 (8 enodes) 5.461 * * [simplify]: iters left: 5 (40 enodes) 5.476 * * [simplify]: iters left: 4 (117 enodes) 5.523 * * [simplify]: iters left: 3 (276 enodes) 5.728 * * [simplify]: Extracting #0: cost 1 inf + 0 5.728 * * [simplify]: Extracting #1: cost 49 inf + 0 5.728 * * [simplify]: Extracting #2: cost 113 inf + 3 5.729 * * [simplify]: Extracting #3: cost 96 inf + 2317 5.732 * * [simplify]: Extracting #4: cost 24 inf + 17747 5.737 * * [simplify]: Extracting #5: cost 0 inf + 22163 5.742 * * [simplify]: Extracting #6: cost 0 inf + 22123 5.749 * [simplify]: Simplified to (* (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))) (* 2e-16 (* 2e-16 t))) 5.749 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))) (* 2e-16 (* 2e-16 t)))) t)) 5.749 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 5.749 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 5.749 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 5.749 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 5.749 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 5.750 * [simplify]: Simplifying (cbrt 2e-16) 5.750 * * [simplify]: iters left: 1 (2 enodes) 5.752 * * [simplify]: Extracting #0: cost 1 inf + 0 5.752 * * [simplify]: Extracting #1: cost 3 inf + 0 5.752 * * [simplify]: Extracting #2: cost 2 inf + 1 5.752 * * [simplify]: Extracting #3: cost 0 inf + 163 5.752 * [simplify]: Simplified to (cbrt 2e-16) 5.752 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)) t)) 5.752 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 5.752 * [simplify]: Simplifying (sqrt 2e-16) 5.752 * * [simplify]: iters left: 1 (2 enodes) 5.754 * * [simplify]: Extracting #0: cost 1 inf + 0 5.754 * * [simplify]: Extracting #1: cost 3 inf + 0 5.754 * * [simplify]: Extracting #2: cost 2 inf + 1 5.754 * * [simplify]: Extracting #3: cost 0 inf + 83 5.754 * [simplify]: Simplified to (sqrt 2e-16) 5.754 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* (* (* 2e-16 t) (sqrt 2e-16)) (sqrt 2e-16)) t)) 5.754 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 5.755 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 5.755 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) 2e-16))) t))> 5.755 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 5.755 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 5.755 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.755 * * [simplify]: iters left: 3 (5 enodes) 5.759 * * [simplify]: iters left: 2 (21 enodes) 5.763 * * [simplify]: iters left: 1 (29 enodes) 5.769 * * [simplify]: Extracting #0: cost 1 inf + 0 5.769 * * [simplify]: Extracting #1: cost 6 inf + 0 5.769 * * [simplify]: Extracting #2: cost 6 inf + 43 5.769 * * [simplify]: Extracting #3: cost 0 inf + 333 5.769 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.769 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.769 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 5.770 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.770 * * [simplify]: iters left: 3 (5 enodes) 5.772 * * [simplify]: iters left: 2 (21 enodes) 5.776 * * [simplify]: iters left: 1 (29 enodes) 5.781 * * [simplify]: Extracting #0: cost 1 inf + 0 5.782 * * [simplify]: Extracting #1: cost 6 inf + 0 5.782 * * [simplify]: Extracting #2: cost 6 inf + 43 5.782 * * [simplify]: Extracting #3: cost 0 inf + 333 5.782 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.782 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.782 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 5.782 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.782 * * [simplify]: iters left: 3 (5 enodes) 5.784 * * [simplify]: iters left: 2 (21 enodes) 5.791 * * [simplify]: iters left: 1 (29 enodes) 5.796 * * [simplify]: Extracting #0: cost 1 inf + 0 5.796 * * [simplify]: Extracting #1: cost 6 inf + 0 5.797 * * [simplify]: Extracting #2: cost 6 inf + 43 5.797 * * [simplify]: Extracting #3: cost 0 inf + 333 5.797 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.797 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.797 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 5.797 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 5.797 * * [simplify]: iters left: 2 (3 enodes) 5.799 * * [simplify]: iters left: 1 (10 enodes) 5.803 * * [simplify]: Extracting #0: cost 1 inf + 0 5.803 * * [simplify]: Extracting #1: cost 4 inf + 0 5.803 * * [simplify]: Extracting #2: cost 2 inf + 2 5.803 * * [simplify]: Extracting #3: cost 0 inf + 86 5.803 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 5.803 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 5.803 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 5.804 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 5.804 * * [simplify]: iters left: 2 (3 enodes) 5.806 * * [simplify]: iters left: 1 (10 enodes) 5.809 * * [simplify]: Extracting #0: cost 1 inf + 0 5.809 * * [simplify]: Extracting #1: cost 4 inf + 0 5.809 * * [simplify]: Extracting #2: cost 2 inf + 2 5.809 * * [simplify]: Extracting #3: cost 0 inf + 86 5.809 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 5.809 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 5.809 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 5.810 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 5.810 * * [simplify]: iters left: 2 (3 enodes) 5.812 * * [simplify]: iters left: 1 (10 enodes) 5.815 * * [simplify]: Extracting #0: cost 1 inf + 0 5.815 * * [simplify]: Extracting #1: cost 4 inf + 0 5.815 * * [simplify]: Extracting #2: cost 2 inf + 2 5.815 * * [simplify]: Extracting #3: cost 0 inf + 86 5.815 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 5.815 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 5.815 * * * [progress]: adding candidates to table 6.138 * * [progress]: iteration 3 / 4 6.138 * * * [progress]: picking best candidate 6.150 * * * * [pick]: Picked # 6.150 * * * [progress]: localizing error 6.156 * * * [progress]: generating rewritten candidates 6.156 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.186 * * * [progress]: generating series expansions 6.186 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.186 * [backup-simplify]: Simplify (* (* t t) 3.9999999999999997e-32) into (* 3.9999999999999997e-32 (pow t 2)) 6.186 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.186 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.186 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.186 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.186 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.186 * [taylor]: Taking taylor expansion of t in t 6.186 * [backup-simplify]: Simplify 0 into 0 6.186 * [backup-simplify]: Simplify 1 into 1 6.186 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.186 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.186 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.187 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.187 * [taylor]: Taking taylor expansion of t in t 6.187 * [backup-simplify]: Simplify 0 into 0 6.187 * [backup-simplify]: Simplify 1 into 1 6.187 * [backup-simplify]: Simplify (* 1 1) into 1 6.188 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.188 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.189 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.189 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.189 * [backup-simplify]: Simplify 0 into 0 6.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.191 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.191 * [backup-simplify]: Simplify 0 into 0 6.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.194 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.194 * [backup-simplify]: Simplify 0 into 0 6.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.200 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.200 * [backup-simplify]: Simplify 0 into 0 6.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.203 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.203 * [backup-simplify]: Simplify 0 into 0 6.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.207 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.207 * [backup-simplify]: Simplify 0 into 0 6.207 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.207 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 6.207 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.207 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.207 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.207 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.207 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.207 * [taylor]: Taking taylor expansion of t in t 6.207 * [backup-simplify]: Simplify 0 into 0 6.207 * [backup-simplify]: Simplify 1 into 1 6.208 * [backup-simplify]: Simplify (* 1 1) into 1 6.208 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.208 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.208 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.208 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.208 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.208 * [taylor]: Taking taylor expansion of t in t 6.208 * [backup-simplify]: Simplify 0 into 0 6.208 * [backup-simplify]: Simplify 1 into 1 6.209 * [backup-simplify]: Simplify (* 1 1) into 1 6.209 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.209 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.210 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.211 * [backup-simplify]: Simplify 0 into 0 6.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.213 * [backup-simplify]: Simplify 0 into 0 6.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.215 * [backup-simplify]: Simplify 0 into 0 6.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.218 * [backup-simplify]: Simplify 0 into 0 6.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.221 * [backup-simplify]: Simplify 0 into 0 6.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.223 * [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 6.223 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.224 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 6.224 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.224 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.224 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.224 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.224 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.224 * [taylor]: Taking taylor expansion of t in t 6.224 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify 1 into 1 6.225 * [backup-simplify]: Simplify (* 1 1) into 1 6.225 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.225 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.225 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.226 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.226 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.226 * [taylor]: Taking taylor expansion of t in t 6.226 * [backup-simplify]: Simplify 0 into 0 6.226 * [backup-simplify]: Simplify 1 into 1 6.226 * [backup-simplify]: Simplify (* 1 1) into 1 6.227 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.227 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.227 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.228 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.230 * [backup-simplify]: Simplify 0 into 0 6.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.232 * [backup-simplify]: Simplify 0 into 0 6.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.235 * [backup-simplify]: Simplify 0 into 0 6.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.237 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.237 * [backup-simplify]: Simplify 0 into 0 6.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.240 * [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 6.240 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.240 * * * [progress]: simplifying candidates 6.240 * * * * [progress]: [ 1 / 23 ] simplifiying candidate # 6.241 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 6.241 * * [simplify]: iters left: 4 (4 enodes) 6.243 * * [simplify]: iters left: 3 (15 enodes) 6.248 * * [simplify]: iters left: 2 (19 enodes) 6.254 * * [simplify]: iters left: 1 (20 enodes) 6.260 * * [simplify]: Extracting #0: cost 1 inf + 0 6.260 * * [simplify]: Extracting #1: cost 6 inf + 0 6.260 * * [simplify]: Extracting #2: cost 6 inf + 2 6.260 * * [simplify]: Extracting #3: cost 0 inf + 332 6.261 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 6.261 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 6.261 * * * * [progress]: [ 2 / 23 ] simplifiying candidate # 6.261 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 6.261 * * [simplify]: iters left: 4 (4 enodes) 6.264 * * [simplify]: iters left: 3 (15 enodes) 6.269 * * [simplify]: iters left: 2 (19 enodes) 6.274 * * [simplify]: iters left: 1 (20 enodes) 6.280 * * [simplify]: Extracting #0: cost 1 inf + 0 6.280 * * [simplify]: Extracting #1: cost 6 inf + 0 6.280 * * [simplify]: Extracting #2: cost 6 inf + 2 6.280 * * [simplify]: Extracting #3: cost 0 inf + 332 6.281 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 6.281 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 6.281 * * * * [progress]: [ 3 / 23 ] simplifiying candidate # 6.281 * * * * [progress]: [ 4 / 23 ] simplifiying candidate # 6.281 * [simplify]: Simplifying (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 6.281 * * [simplify]: iters left: 5 (6 enodes) 6.283 * * [simplify]: iters left: 4 (21 enodes) 6.287 * * [simplify]: iters left: 3 (25 enodes) 6.291 * * [simplify]: iters left: 2 (26 enodes) 6.295 * * [simplify]: Extracting #0: cost 1 inf + 0 6.295 * * [simplify]: Extracting #1: cost 6 inf + 0 6.295 * * [simplify]: Extracting #2: cost 12 inf + 0 6.295 * * [simplify]: Extracting #3: cost 10 inf + 2 6.296 * * [simplify]: Extracting #4: cost 0 inf + 1316 6.296 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 6.296 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)))) 6.296 * * * * [progress]: [ 5 / 23 ] simplifiying candidate # 6.296 * [simplify]: Simplifying (+ (log (* t t)) (log 3.9999999999999997e-32)) 6.296 * * [simplify]: iters left: 5 (6 enodes) 6.298 * * [simplify]: iters left: 4 (21 enodes) 6.302 * * [simplify]: iters left: 3 (27 enodes) 6.306 * * [simplify]: iters left: 2 (32 enodes) 6.314 * * [simplify]: Extracting #0: cost 1 inf + 0 6.314 * * [simplify]: Extracting #1: cost 6 inf + 0 6.314 * * [simplify]: Extracting #2: cost 13 inf + 0 6.314 * * [simplify]: Extracting #3: cost 12 inf + 2 6.314 * * [simplify]: Extracting #4: cost 4 inf + 913 6.315 * * [simplify]: Extracting #5: cost 0 inf + 1398 6.315 * [simplify]: Simplified to (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)) 6.315 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)))) 6.315 * * * * [progress]: [ 6 / 23 ] simplifiying candidate # 6.315 * * * * [progress]: [ 7 / 23 ] simplifiying candidate # 6.315 * * * * [progress]: [ 8 / 23 ] simplifiying candidate # 6.316 * [simplify]: Simplifying (* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 6.316 * * [simplify]: iters left: 6 (8 enodes) 6.321 * * [simplify]: iters left: 5 (37 enodes) 6.341 * * [simplify]: iters left: 4 (93 enodes) 6.388 * * [simplify]: iters left: 3 (255 enodes) 6.514 * * [simplify]: Extracting #0: cost 1 inf + 0 6.514 * * [simplify]: Extracting #1: cost 36 inf + 0 6.515 * * [simplify]: Extracting #2: cost 100 inf + 166 6.519 * * [simplify]: Extracting #3: cost 59 inf + 4959 6.525 * * [simplify]: Extracting #4: cost 15 inf + 15008 6.529 * * [simplify]: Extracting #5: cost 0 inf + 19600 6.533 * [simplify]: Simplified to (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) 6.533 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)))) 6.533 * * * * [progress]: [ 9 / 23 ] simplifiying candidate # 6.533 * [simplify]: Simplifying (* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 6.533 * * [simplify]: iters left: 6 (8 enodes) 6.537 * * [simplify]: iters left: 5 (38 enodes) 6.546 * * [simplify]: iters left: 4 (94 enodes) 6.589 * * [simplify]: iters left: 3 (259 enodes) 6.728 * * [simplify]: Extracting #0: cost 1 inf + 0 6.729 * * [simplify]: Extracting #1: cost 52 inf + 0 6.729 * * [simplify]: Extracting #2: cost 133 inf + 166 6.731 * * [simplify]: Extracting #3: cost 82 inf + 6191 6.735 * * [simplify]: Extracting #4: cost 5 inf + 26339 6.740 * * [simplify]: Extracting #5: cost 0 inf + 27550 6.746 * [simplify]: Simplified to (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))) 6.746 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))))) 6.746 * * * * [progress]: [ 10 / 23 ] simplifiying candidate # 6.746 * * * * [progress]: [ 11 / 23 ] simplifiying candidate # 6.746 * * * * [progress]: [ 12 / 23 ] simplifiying candidate # 6.746 * * * * [progress]: [ 13 / 23 ] simplifiying candidate # 6.746 * * * * [progress]: [ 14 / 23 ] simplifiying candidate # 6.746 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 6.746 * * [simplify]: iters left: 3 (4 enodes) 6.748 * * [simplify]: iters left: 2 (13 enodes) 6.750 * * [simplify]: Extracting #0: cost 1 inf + 0 6.750 * * [simplify]: Extracting #1: cost 4 inf + 0 6.750 * * [simplify]: Extracting #2: cost 5 inf + 1 6.750 * * [simplify]: Extracting #3: cost 4 inf + 2 6.750 * * [simplify]: Extracting #4: cost 0 inf + 248 6.750 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 6.750 * [simplify]: Simplified (2 1) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 6.751 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 6.751 * * [simplify]: iters left: 3 (4 enodes) 6.752 * * [simplify]: iters left: 2 (13 enodes) 6.754 * * [simplify]: Extracting #0: cost 1 inf + 0 6.754 * * [simplify]: Extracting #1: cost 4 inf + 0 6.754 * * [simplify]: Extracting #2: cost 5 inf + 1 6.755 * * [simplify]: Extracting #3: cost 4 inf + 2 6.757 * * [simplify]: Extracting #4: cost 0 inf + 248 6.757 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 6.757 * [simplify]: Simplified (2 2) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 6.757 * * * * [progress]: [ 15 / 23 ] simplifiying candidate # 6.757 * [simplify]: Simplifying (cbrt 3.9999999999999997e-32) 6.757 * * [simplify]: iters left: 1 (2 enodes) 6.758 * * [simplify]: Extracting #0: cost 1 inf + 0 6.758 * * [simplify]: Extracting #1: cost 3 inf + 0 6.758 * * [simplify]: Extracting #2: cost 2 inf + 1 6.759 * * [simplify]: Extracting #3: cost 0 inf + 163 6.759 * [simplify]: Simplified to (cbrt 3.9999999999999997e-32) 6.759 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (cbrt 3.9999999999999997e-32))) 6.759 * * * * [progress]: [ 16 / 23 ] simplifiying candidate # 6.759 * [simplify]: Simplifying (sqrt 3.9999999999999997e-32) 6.759 * * [simplify]: iters left: 1 (2 enodes) 6.760 * * [simplify]: Extracting #0: cost 1 inf + 0 6.760 * * [simplify]: Extracting #1: cost 3 inf + 0 6.760 * * [simplify]: Extracting #2: cost 2 inf + 1 6.760 * * [simplify]: Extracting #3: cost 0 inf + 83 6.760 * [simplify]: Simplified to (sqrt 3.9999999999999997e-32) 6.760 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) 6.760 * * * * [progress]: [ 17 / 23 ] simplifiying candidate # 6.760 * * * * [progress]: [ 18 / 23 ] simplifiying candidate # 6.760 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #real (real->posit16 (* (* t t) 3.9999999999999997e-32))))> 6.760 * * * * [progress]: [ 20 / 23 ] simplifiying candidate # 6.760 * * * * [progress]: [ 21 / 23 ] simplifiying candidate # 6.760 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.760 * * [simplify]: iters left: 3 (5 enodes) 6.762 * * [simplify]: iters left: 2 (21 enodes) 6.768 * * [simplify]: iters left: 1 (29 enodes) 6.778 * * [simplify]: Extracting #0: cost 1 inf + 0 6.778 * * [simplify]: Extracting #1: cost 6 inf + 0 6.778 * * [simplify]: Extracting #2: cost 6 inf + 43 6.778 * * [simplify]: Extracting #3: cost 0 inf + 333 6.778 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.778 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.778 * * * * [progress]: [ 22 / 23 ] simplifiying candidate # 6.779 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.779 * * [simplify]: iters left: 3 (5 enodes) 6.782 * * [simplify]: iters left: 2 (21 enodes) 6.790 * * [simplify]: iters left: 1 (29 enodes) 6.796 * * [simplify]: Extracting #0: cost 1 inf + 0 6.796 * * [simplify]: Extracting #1: cost 6 inf + 0 6.796 * * [simplify]: Extracting #2: cost 6 inf + 43 6.796 * * [simplify]: Extracting #3: cost 0 inf + 333 6.796 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.796 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.796 * * * * [progress]: [ 23 / 23 ] simplifiying candidate # 6.796 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.796 * * [simplify]: iters left: 3 (5 enodes) 6.799 * * [simplify]: iters left: 2 (21 enodes) 6.803 * * [simplify]: iters left: 1 (29 enodes) 6.808 * * [simplify]: Extracting #0: cost 1 inf + 0 6.808 * * [simplify]: Extracting #1: cost 6 inf + 0 6.808 * * [simplify]: Extracting #2: cost 6 inf + 43 6.808 * * [simplify]: Extracting #3: cost 0 inf + 333 6.808 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.808 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.808 * * * [progress]: adding candidates to table 6.932 * * [progress]: iteration 4 / 4 6.932 * * * [progress]: picking best candidate 6.954 * * * * [pick]: Picked # 6.955 * * * [progress]: localizing error 6.966 * * * [progress]: generating rewritten candidates 6.966 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.994 * * * [progress]: generating series expansions 6.994 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.994 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) t) into (* 3.9999999999999997e-32 (pow t 2)) 6.994 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.994 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.994 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.994 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.994 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.994 * [taylor]: Taking taylor expansion of t in t 6.994 * [backup-simplify]: Simplify 0 into 0 6.994 * [backup-simplify]: Simplify 1 into 1 6.994 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.994 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.994 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.994 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.994 * [taylor]: Taking taylor expansion of t in t 6.994 * [backup-simplify]: Simplify 0 into 0 6.994 * [backup-simplify]: Simplify 1 into 1 6.995 * [backup-simplify]: Simplify (* 1 1) into 1 6.996 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.996 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.997 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.997 * [backup-simplify]: Simplify 0 into 0 6.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.999 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.999 * [backup-simplify]: Simplify 0 into 0 7.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.001 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.001 * [backup-simplify]: Simplify 0 into 0 7.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.004 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.004 * [backup-simplify]: Simplify 0 into 0 7.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.006 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.007 * [backup-simplify]: Simplify 0 into 0 7.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.010 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.010 * [backup-simplify]: Simplify 0 into 0 7.010 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 7.010 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 7.010 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 7.010 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 7.010 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.010 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.010 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.010 * [taylor]: Taking taylor expansion of t in t 7.010 * [backup-simplify]: Simplify 0 into 0 7.010 * [backup-simplify]: Simplify 1 into 1 7.011 * [backup-simplify]: Simplify (* 1 1) into 1 7.011 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.011 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 7.011 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.011 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.011 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.011 * [taylor]: Taking taylor expansion of t in t 7.011 * [backup-simplify]: Simplify 0 into 0 7.011 * [backup-simplify]: Simplify 1 into 1 7.012 * [backup-simplify]: Simplify (* 1 1) into 1 7.012 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.012 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.013 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 7.014 * [backup-simplify]: Simplify 0 into 0 7.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.016 * [backup-simplify]: Simplify 0 into 0 7.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.018 * [backup-simplify]: Simplify 0 into 0 7.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.021 * [backup-simplify]: Simplify 0 into 0 7.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.023 * [backup-simplify]: Simplify 0 into 0 7.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.025 * [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 7.025 * [backup-simplify]: Simplify 0 into 0 7.026 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 7.026 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 7.026 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 7.026 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 7.026 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.026 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.026 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.026 * [taylor]: Taking taylor expansion of t in t 7.026 * [backup-simplify]: Simplify 0 into 0 7.026 * [backup-simplify]: Simplify 1 into 1 7.026 * [backup-simplify]: Simplify (* 1 1) into 1 7.027 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.027 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 7.027 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.027 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.027 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.027 * [taylor]: Taking taylor expansion of t in t 7.027 * [backup-simplify]: Simplify 0 into 0 7.027 * [backup-simplify]: Simplify 1 into 1 7.027 * [backup-simplify]: Simplify (* 1 1) into 1 7.028 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.028 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.029 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 7.029 * [backup-simplify]: Simplify 0 into 0 7.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.031 * [backup-simplify]: Simplify 0 into 0 7.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.034 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.036 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.036 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.037 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.039 * [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 7.039 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 7.039 * * * [progress]: simplifying candidates 7.039 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 7.039 * [simplify]: Simplifying (* (* 3.9999999999999997e-32 t) t) 7.039 * * [simplify]: iters left: 4 (4 enodes) 7.041 * * [simplify]: iters left: 3 (16 enodes) 7.044 * * [simplify]: iters left: 2 (19 enodes) 7.047 * * [simplify]: Extracting #0: cost 1 inf + 0 7.047 * * [simplify]: Extracting #1: cost 6 inf + 0 7.047 * * [simplify]: Extracting #2: cost 5 inf + 43 7.047 * * [simplify]: Extracting #3: cost 0 inf + 332 7.047 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 7.047 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* t t) 3.9999999999999997e-32) 1)) 7.047 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 7.047 * [simplify]: Simplifying (* (* 3.9999999999999997e-32 t) t) 7.047 * * [simplify]: iters left: 4 (4 enodes) 7.049 * * [simplify]: iters left: 3 (16 enodes) 7.052 * * [simplify]: iters left: 2 (19 enodes) 7.055 * * [simplify]: Extracting #0: cost 1 inf + 0 7.055 * * [simplify]: Extracting #1: cost 6 inf + 0 7.055 * * [simplify]: Extracting #2: cost 5 inf + 43 7.055 * * [simplify]: Extracting #3: cost 0 inf + 332 7.055 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 7.055 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* t t) 3.9999999999999997e-32) 1)) 7.055 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 7.055 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 7.055 * [simplify]: Simplifying (+ (+ (log 3.9999999999999997e-32) (log t)) (log t)) 7.055 * * [simplify]: iters left: 5 (6 enodes) 7.057 * * [simplify]: iters left: 4 (22 enodes) 7.064 * * [simplify]: iters left: 3 (25 enodes) 7.068 * * [simplify]: Extracting #0: cost 1 inf + 0 7.068 * * [simplify]: Extracting #1: cost 6 inf + 0 7.068 * * [simplify]: Extracting #2: cost 12 inf + 0 7.068 * * [simplify]: Extracting #3: cost 10 inf + 2 7.068 * * [simplify]: Extracting #4: cost 0 inf + 1316 7.068 * [simplify]: Simplified to (+ (log t) (+ (log 3.9999999999999997e-32) (log t))) 7.068 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log t) (+ (log 3.9999999999999997e-32) (log t))))) 7.068 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 7.068 * [simplify]: Simplifying (+ (log (* 3.9999999999999997e-32 t)) (log t)) 7.069 * * [simplify]: iters left: 5 (6 enodes) 7.071 * * [simplify]: iters left: 4 (22 enodes) 7.077 * * [simplify]: iters left: 3 (27 enodes) 7.086 * * [simplify]: iters left: 2 (30 enodes) 7.095 * * [simplify]: Extracting #0: cost 1 inf + 0 7.095 * * [simplify]: Extracting #1: cost 6 inf + 0 7.095 * * [simplify]: Extracting #2: cost 13 inf + 0 7.095 * * [simplify]: Extracting #3: cost 12 inf + 2 7.095 * * [simplify]: Extracting #4: cost 2 inf + 926 7.096 * * [simplify]: Extracting #5: cost 0 inf + 1260 7.096 * [simplify]: Simplified to (+ (log (* 3.9999999999999997e-32 t)) (log t)) 7.096 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 3.9999999999999997e-32 t)) (log t)))) 7.096 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 7.097 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 7.097 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 7.097 * [simplify]: Simplifying (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* t t) t)) 7.097 * * [simplify]: iters left: 6 (8 enodes) 7.102 * * [simplify]: iters left: 5 (36 enodes) 7.119 * * [simplify]: iters left: 4 (102 enodes) 7.174 * * [simplify]: iters left: 3 (264 enodes) 7.337 * * [simplify]: Extracting #0: cost 1 inf + 0 7.338 * * [simplify]: Extracting #1: cost 41 inf + 0 7.339 * * [simplify]: Extracting #2: cost 120 inf + 247 7.343 * * [simplify]: Extracting #3: cost 63 inf + 9015 7.352 * * [simplify]: Extracting #4: cost 2 inf + 22960 7.365 * * [simplify]: Extracting #5: cost 0 inf + 23024 7.374 * [simplify]: Simplified to (* (* 3.9999999999999997e-32 (* (* t (* t t)) 3.9999999999999997e-32)) (* (* t (* t t)) 3.9999999999999997e-32)) 7.374 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* 3.9999999999999997e-32 (* (* t (* t t)) 3.9999999999999997e-32)) (* (* t (* t t)) 3.9999999999999997e-32)))) 7.375 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 7.375 * [simplify]: Simplifying (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* t t) t)) 7.375 * * [simplify]: iters left: 6 (8 enodes) 7.381 * * [simplify]: iters left: 5 (40 enodes) 7.391 * * [simplify]: iters left: 4 (118 enodes) 7.444 * * [simplify]: iters left: 3 (292 enodes) 7.605 * * [simplify]: iters left: 2 (477 enodes) 7.970 * * [simplify]: Extracting #0: cost 1 inf + 0 7.971 * * [simplify]: Extracting #1: cost 58 inf + 0 7.977 * * [simplify]: Extracting #2: cost 192 inf + 125 7.982 * * [simplify]: Extracting #3: cost 150 inf + 6550 7.996 * * [simplify]: Extracting #4: cost 36 inf + 42422 8.014 * * [simplify]: Extracting #5: cost 0 inf + 55391 8.032 * * [simplify]: Extracting #6: cost 0 inf + 55311 8.049 * [simplify]: Simplified to (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)) 8.049 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)))) 8.049 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 8.049 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 8.049 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 8.049 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 8.049 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 8.050 * [simplify]: Simplifying (cbrt t) 8.050 * * [simplify]: iters left: 1 (2 enodes) 8.050 * * [simplify]: Extracting #0: cost 1 inf + 0 8.050 * * [simplify]: Extracting #1: cost 3 inf + 0 8.050 * * [simplify]: Extracting #2: cost 2 inf + 1 8.050 * * [simplify]: Extracting #3: cost 0 inf + 163 8.050 * [simplify]: Simplified to (cbrt t) 8.050 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t))) 8.050 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 8.051 * [simplify]: Simplifying (sqrt t) 8.051 * * [simplify]: iters left: 1 (2 enodes) 8.051 * * [simplify]: Extracting #0: cost 1 inf + 0 8.051 * * [simplify]: Extracting #1: cost 3 inf + 0 8.051 * * [simplify]: Extracting #2: cost 2 inf + 1 8.051 * * [simplify]: Extracting #3: cost 0 inf + 83 8.051 * [simplify]: Simplified to (sqrt t) 8.051 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t))) 8.051 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 8.051 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 8.051 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (* (* 3.9999999999999997e-32 t) t))))> 8.051 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 8.051 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 8.052 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 8.052 * * [simplify]: iters left: 3 (5 enodes) 8.054 * * [simplify]: iters left: 2 (21 enodes) 8.058 * * [simplify]: iters left: 1 (29 enodes) 8.063 * * [simplify]: Extracting #0: cost 1 inf + 0 8.064 * * [simplify]: Extracting #1: cost 6 inf + 0 8.064 * * [simplify]: Extracting #2: cost 6 inf + 43 8.064 * * [simplify]: Extracting #3: cost 0 inf + 333 8.064 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 8.064 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 8.064 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 8.064 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 8.064 * * [simplify]: iters left: 3 (5 enodes) 8.066 * * [simplify]: iters left: 2 (21 enodes) 8.070 * * [simplify]: iters left: 1 (29 enodes) 8.075 * * [simplify]: Extracting #0: cost 1 inf + 0 8.076 * * [simplify]: Extracting #1: cost 6 inf + 0 8.076 * * [simplify]: Extracting #2: cost 6 inf + 43 8.076 * * [simplify]: Extracting #3: cost 0 inf + 333 8.076 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 8.076 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 8.076 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 8.076 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 8.076 * * [simplify]: iters left: 3 (5 enodes) 8.078 * * [simplify]: iters left: 2 (21 enodes) 8.082 * * [simplify]: iters left: 1 (29 enodes) 8.087 * * [simplify]: Extracting #0: cost 1 inf + 0 8.088 * * [simplify]: Extracting #1: cost 6 inf + 0 8.088 * * [simplify]: Extracting #2: cost 6 inf + 43 8.088 * * [simplify]: Extracting #3: cost 0 inf + 333 8.088 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 8.088 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 8.088 * * * [progress]: adding candidates to table 8.193 * [progress]: [Phase 3 of 3] Extracting. 8.193 * * [regime]: Finding splitpoints for: (# # # # # # # #) 8.194 * * * [regime-changes]: Trying 1 branch expressions: (t) 8.195 * * * * [regimes]: Trying to branch on t from (# # # # # # # #) 8.234 * * * [regime]: Found split indices: #