0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.091 * * * [progress]: [2/2] Setting up program. 0.094 * [progress]: [Phase 2 of 3] Improving. 0.095 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.095 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 0.095 * * [simplify]: iters left: 6 (11 enodes) 0.103 * * [simplify]: iters left: 5 (51 enodes) 0.125 * * [simplify]: iters left: 4 (112 enodes) 0.166 * * [simplify]: iters left: 3 (254 enodes) 0.258 * * [simplify]: iters left: 2 (499 enodes) 0.959 * * [simplify]: Extracting #0: cost 1 inf + 0 0.960 * * [simplify]: Extracting #1: cost 68 inf + 0 0.962 * * [simplify]: Extracting #2: cost 304 inf + 128 0.966 * * [simplify]: Extracting #3: cost 306 inf + 3757 0.985 * * [simplify]: Extracting #4: cost 110 inf + 35431 1.018 * * [simplify]: Extracting #5: cost 6 inf + 50420 1.034 * * [simplify]: Extracting #6: cost 0 inf + 50764 1.053 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.053 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1.062 * * [progress]: iteration 1 / 4 1.062 * * * [progress]: picking best candidate 1.064 * * * * [pick]: Picked # 1.065 * * * [progress]: localizing error 1.075 * * * [progress]: generating rewritten candidates 1.075 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.104 * * * [progress]: generating series expansions 1.104 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.104 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1.104 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.104 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1.104 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.104 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.105 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.105 * [taylor]: Taking taylor expansion of t in t 1.105 * [backup-simplify]: Simplify 0 into 0 1.105 * [backup-simplify]: Simplify 1 into 1 1.105 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1.105 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.105 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.105 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.105 * [taylor]: Taking taylor expansion of t in t 1.105 * [backup-simplify]: Simplify 0 into 0 1.105 * [backup-simplify]: Simplify 1 into 1 1.105 * [backup-simplify]: Simplify (* 1 1) into 1 1.105 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.106 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.106 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.106 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1.106 * [backup-simplify]: Simplify 0 into 0 1.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.108 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1.108 * [backup-simplify]: Simplify 0 into 0 1.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.109 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.109 * [backup-simplify]: Simplify 0 into 0 1.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.110 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.110 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.112 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.112 * [backup-simplify]: Simplify 0 into 0 1.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.114 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.114 * [backup-simplify]: Simplify 0 into 0 1.114 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.114 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1.114 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.114 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.114 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.114 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.114 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.114 * [taylor]: Taking taylor expansion of t in t 1.114 * [backup-simplify]: Simplify 0 into 0 1.114 * [backup-simplify]: Simplify 1 into 1 1.114 * [backup-simplify]: Simplify (* 1 1) into 1 1.115 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.115 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.115 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.115 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.115 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.115 * [taylor]: Taking taylor expansion of t in t 1.115 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify 1 into 1 1.115 * [backup-simplify]: Simplify (* 1 1) into 1 1.116 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.116 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.117 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.117 * [backup-simplify]: Simplify 0 into 0 1.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.119 * [backup-simplify]: Simplify 0 into 0 1.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.122 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.122 * [backup-simplify]: Simplify 0 into 0 1.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.124 * [backup-simplify]: Simplify 0 into 0 1.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.126 * [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.126 * [backup-simplify]: Simplify 0 into 0 1.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.129 * [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.129 * [backup-simplify]: Simplify 0 into 0 1.129 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.129 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1.129 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.130 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.130 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.130 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.130 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.130 * [taylor]: Taking taylor expansion of t in t 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify 1 into 1 1.130 * [backup-simplify]: Simplify (* 1 1) into 1 1.131 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.131 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.131 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.131 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.131 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.131 * [taylor]: Taking taylor expansion of t in t 1.131 * [backup-simplify]: Simplify 0 into 0 1.131 * [backup-simplify]: Simplify 1 into 1 1.131 * [backup-simplify]: Simplify (* 1 1) into 1 1.132 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.132 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.132 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.133 * [backup-simplify]: Simplify 0 into 0 1.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.135 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.135 * [backup-simplify]: Simplify 0 into 0 1.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.137 * [backup-simplify]: Simplify 0 into 0 1.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.140 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.140 * [backup-simplify]: Simplify 0 into 0 1.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.142 * [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.142 * [backup-simplify]: Simplify 0 into 0 1.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.145 * [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.145 * [backup-simplify]: Simplify 0 into 0 1.145 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.145 * * * [progress]: simplifying candidates 1.145 * * * * [progress]: [ 1 / 38 ] simplifiying candidate # 1.145 * [simplify]: Simplifying (* 2e-16 t) 1.146 * * [simplify]: iters left: 2 (3 enodes) 1.148 * * [simplify]: iters left: 1 (10 enodes) 1.151 * * [simplify]: Extracting #0: cost 1 inf + 0 1.151 * * [simplify]: Extracting #1: cost 4 inf + 0 1.151 * * [simplify]: Extracting #2: cost 2 inf + 2 1.151 * * [simplify]: Extracting #3: cost 0 inf + 86 1.152 * [simplify]: Simplified to (* 2e-16 t) 1.152 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.152 * [simplify]: Simplifying (+ 1 1) 1.152 * * [simplify]: iters left: 2 (2 enodes) 1.157 * * [simplify]: iters left: 1 (9 enodes) 1.159 * * [simplify]: Extracting #0: cost 1 inf + 0 1.159 * * [simplify]: Extracting #1: cost 0 inf + 1 1.159 * [simplify]: Simplified to 2 1.159 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.159 * * * * [progress]: [ 2 / 38 ] simplifiying candidate # 1.159 * [simplify]: Simplifying (* 2e-16 t) 1.159 * * [simplify]: iters left: 2 (3 enodes) 1.160 * * [simplify]: iters left: 1 (10 enodes) 1.162 * * [simplify]: Extracting #0: cost 1 inf + 0 1.162 * * [simplify]: Extracting #1: cost 4 inf + 0 1.162 * * [simplify]: Extracting #2: cost 2 inf + 2 1.162 * * [simplify]: Extracting #3: cost 0 inf + 86 1.162 * [simplify]: Simplified to (* 2e-16 t) 1.162 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.162 * [simplify]: Simplifying (+ 1 1) 1.162 * * [simplify]: iters left: 2 (2 enodes) 1.164 * * [simplify]: iters left: 1 (9 enodes) 1.165 * * [simplify]: Extracting #0: cost 1 inf + 0 1.165 * * [simplify]: Extracting #1: cost 0 inf + 1 1.165 * [simplify]: Simplified to 2 1.165 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.165 * * * * [progress]: [ 3 / 38 ] simplifiying candidate # 1.166 * [simplify]: Simplifying (* 2e-16 t) 1.166 * * [simplify]: iters left: 2 (3 enodes) 1.167 * * [simplify]: iters left: 1 (10 enodes) 1.168 * * [simplify]: Extracting #0: cost 1 inf + 0 1.168 * * [simplify]: Extracting #1: cost 4 inf + 0 1.168 * * [simplify]: Extracting #2: cost 2 inf + 2 1.169 * * [simplify]: Extracting #3: cost 0 inf + 86 1.169 * [simplify]: Simplified to (* 2e-16 t) 1.169 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.169 * [simplify]: Simplifying (+ 1 1) 1.169 * * [simplify]: iters left: 2 (2 enodes) 1.170 * * [simplify]: iters left: 1 (9 enodes) 1.172 * * [simplify]: Extracting #0: cost 1 inf + 0 1.172 * * [simplify]: Extracting #1: cost 0 inf + 1 1.172 * [simplify]: Simplified to 2 1.172 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.172 * * * * [progress]: [ 4 / 38 ] simplifiying candidate # 1.172 * [simplify]: Simplifying (* 2e-16 t) 1.172 * * [simplify]: iters left: 2 (3 enodes) 1.173 * * [simplify]: iters left: 1 (10 enodes) 1.175 * * [simplify]: Extracting #0: cost 1 inf + 0 1.175 * * [simplify]: Extracting #1: cost 4 inf + 0 1.175 * * [simplify]: Extracting #2: cost 2 inf + 2 1.175 * * [simplify]: Extracting #3: cost 0 inf + 86 1.175 * [simplify]: Simplified to (* 2e-16 t) 1.175 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.175 * [simplify]: Simplifying (+ 1 1) 1.175 * * [simplify]: iters left: 2 (2 enodes) 1.177 * * [simplify]: iters left: 1 (9 enodes) 1.180 * * [simplify]: Extracting #0: cost 1 inf + 0 1.181 * * [simplify]: Extracting #1: cost 0 inf + 1 1.181 * [simplify]: Simplified to 2 1.181 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.181 * * * * [progress]: [ 5 / 38 ] simplifiying candidate # 1.181 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.181 * * [simplify]: iters left: 4 (4 enodes) 1.184 * * [simplify]: iters left: 3 (20 enodes) 1.191 * * [simplify]: iters left: 2 (39 enodes) 1.198 * * [simplify]: iters left: 1 (40 enodes) 1.204 * * [simplify]: Extracting #0: cost 1 inf + 0 1.204 * * [simplify]: Extracting #1: cost 9 inf + 0 1.204 * * [simplify]: Extracting #2: cost 11 inf + 43 1.205 * * [simplify]: Extracting #3: cost 1 inf + 660 1.205 * * [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]: [ 6 / 38 ] simplifiying candidate # 1.205 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.205 * * [simplify]: iters left: 4 (4 enodes) 1.207 * * [simplify]: iters left: 3 (20 enodes) 1.211 * * [simplify]: iters left: 2 (39 enodes) 1.218 * * [simplify]: iters left: 1 (40 enodes) 1.229 * * [simplify]: Extracting #0: cost 1 inf + 0 1.229 * * [simplify]: Extracting #1: cost 9 inf + 0 1.229 * * [simplify]: Extracting #2: cost 11 inf + 43 1.230 * * [simplify]: Extracting #3: cost 1 inf + 660 1.230 * * [simplify]: Extracting #4: cost 0 inf + 742 1.231 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.231 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.231 * * * * [progress]: [ 7 / 38 ] simplifiying candidate # 1.231 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.231 * * [simplify]: iters left: 4 (4 enodes) 1.234 * * [simplify]: iters left: 3 (20 enodes) 1.241 * * [simplify]: iters left: 2 (39 enodes) 1.248 * * [simplify]: iters left: 1 (40 enodes) 1.253 * * [simplify]: Extracting #0: cost 1 inf + 0 1.254 * * [simplify]: Extracting #1: cost 9 inf + 0 1.254 * * [simplify]: Extracting #2: cost 11 inf + 43 1.254 * * [simplify]: Extracting #3: cost 1 inf + 660 1.254 * * [simplify]: Extracting #4: cost 0 inf + 742 1.254 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.254 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.254 * * * * [progress]: [ 8 / 38 ] simplifiying candidate # 1.255 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.255 * * [simplify]: iters left: 4 (4 enodes) 1.258 * * [simplify]: iters left: 3 (20 enodes) 1.263 * * [simplify]: iters left: 2 (39 enodes) 1.269 * * [simplify]: iters left: 1 (40 enodes) 1.279 * * [simplify]: Extracting #0: cost 1 inf + 0 1.279 * * [simplify]: Extracting #1: cost 9 inf + 0 1.279 * * [simplify]: Extracting #2: cost 11 inf + 43 1.279 * * [simplify]: Extracting #3: cost 1 inf + 660 1.279 * * [simplify]: Extracting #4: cost 0 inf + 742 1.280 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.280 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.280 * * * * [progress]: [ 9 / 38 ] simplifiying candidate # 1.280 * * * * [progress]: [ 10 / 38 ] simplifiying candidate # 1.280 * [simplify]: Simplifying (* 2e-16 t) 1.280 * * [simplify]: iters left: 2 (3 enodes) 1.281 * * [simplify]: iters left: 1 (10 enodes) 1.283 * * [simplify]: Extracting #0: cost 1 inf + 0 1.283 * * [simplify]: Extracting #1: cost 4 inf + 0 1.283 * * [simplify]: Extracting #2: cost 2 inf + 2 1.283 * * [simplify]: Extracting #3: cost 0 inf + 86 1.283 * [simplify]: Simplified to (* 2e-16 t) 1.283 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.283 * * * * [progress]: [ 11 / 38 ] simplifiying candidate # 1.283 * [simplify]: Simplifying (* 2e-16 t) 1.283 * * [simplify]: iters left: 2 (3 enodes) 1.284 * * [simplify]: iters left: 1 (10 enodes) 1.286 * * [simplify]: Extracting #0: cost 1 inf + 0 1.286 * * [simplify]: Extracting #1: cost 4 inf + 0 1.286 * * [simplify]: Extracting #2: cost 2 inf + 2 1.286 * * [simplify]: Extracting #3: cost 0 inf + 86 1.286 * [simplify]: Simplified to (* 2e-16 t) 1.286 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.286 * * * * [progress]: [ 12 / 38 ] simplifiying candidate # 1.286 * * * * [progress]: [ 13 / 38 ] simplifiying candidate # 1.286 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1.286 * * [simplify]: iters left: 5 (6 enodes) 1.288 * * [simplify]: iters left: 4 (23 enodes) 1.292 * * [simplify]: iters left: 3 (35 enodes) 1.298 * * [simplify]: iters left: 2 (43 enodes) 1.304 * * [simplify]: iters left: 1 (44 enodes) 1.313 * * [simplify]: Extracting #0: cost 1 inf + 0 1.313 * * [simplify]: Extracting #1: cost 9 inf + 0 1.313 * * [simplify]: Extracting #2: cost 18 inf + 0 1.313 * * [simplify]: Extracting #3: cost 13 inf + 295 1.314 * * [simplify]: Extracting #4: cost 11 inf + 437 1.314 * * [simplify]: Extracting #5: cost 1 inf + 2204 1.315 * * [simplify]: Extracting #6: cost 0 inf + 2426 1.316 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1.316 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 1.316 * * * * [progress]: [ 14 / 38 ] simplifiying candidate # 1.316 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t))) 1.317 * * [simplify]: iters left: 5 (8 enodes) 1.321 * * [simplify]: iters left: 4 (27 enodes) 1.330 * * [simplify]: iters left: 3 (37 enodes) 1.341 * * [simplify]: iters left: 2 (46 enodes) 1.354 * * [simplify]: iters left: 1 (50 enodes) 1.367 * * [simplify]: Extracting #0: cost 1 inf + 0 1.367 * * [simplify]: Extracting #1: cost 9 inf + 0 1.367 * * [simplify]: Extracting #2: cost 19 inf + 0 1.367 * * [simplify]: Extracting #3: cost 17 inf + 73 1.368 * * [simplify]: Extracting #4: cost 11 inf + 741 1.368 * * [simplify]: Extracting #5: cost 2 inf + 2006 1.369 * * [simplify]: Extracting #6: cost 0 inf + 2230 1.370 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.370 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.370 * * * * [progress]: [ 15 / 38 ] simplifiying candidate # 1.370 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t))) 1.371 * * [simplify]: iters left: 5 (8 enodes) 1.377 * * [simplify]: iters left: 4 (27 enodes) 1.385 * * [simplify]: iters left: 3 (37 enodes) 1.396 * * [simplify]: iters left: 2 (46 enodes) 1.408 * * [simplify]: iters left: 1 (49 enodes) 1.415 * * [simplify]: Extracting #0: cost 1 inf + 0 1.415 * * [simplify]: Extracting #1: cost 9 inf + 0 1.415 * * [simplify]: Extracting #2: cost 19 inf + 0 1.415 * * [simplify]: Extracting #3: cost 17 inf + 73 1.415 * * [simplify]: Extracting #4: cost 7 inf + 967 1.416 * * [simplify]: Extracting #5: cost 1 inf + 2008 1.416 * * [simplify]: Extracting #6: cost 0 inf + 2230 1.416 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.416 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.417 * * * * [progress]: [ 16 / 38 ] simplifiying candidate # 1.417 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.417 * * [simplify]: iters left: 5 (5 enodes) 1.419 * * [simplify]: iters left: 4 (19 enodes) 1.422 * * [simplify]: iters left: 3 (28 enodes) 1.427 * * [simplify]: iters left: 2 (40 enodes) 1.433 * * [simplify]: iters left: 1 (48 enodes) 1.440 * * [simplify]: Extracting #0: cost 1 inf + 0 1.440 * * [simplify]: Extracting #1: cost 9 inf + 0 1.440 * * [simplify]: Extracting #2: cost 19 inf + 0 1.440 * * [simplify]: Extracting #3: cost 18 inf + 2 1.441 * * [simplify]: Extracting #4: cost 8 inf + 1077 1.441 * * [simplify]: Extracting #5: cost 0 inf + 2230 1.441 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.441 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.441 * * * * [progress]: [ 17 / 38 ] simplifiying candidate # 1.441 * * * * [progress]: [ 18 / 38 ] simplifiying candidate # 1.442 * * * * [progress]: [ 19 / 38 ] simplifiying candidate # 1.442 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 1.442 * * [simplify]: iters left: 6 (8 enodes) 1.445 * * [simplify]: iters left: 5 (38 enodes) 1.455 * * [simplify]: iters left: 4 (140 enodes) 1.541 * * [simplify]: iters left: 3 (482 enodes) 2.267 * * [simplify]: Extracting #0: cost 1 inf + 0 2.267 * * [simplify]: Extracting #1: cost 74 inf + 0 2.270 * * [simplify]: Extracting #2: cost 255 inf + 1300 2.283 * * [simplify]: Extracting #3: cost 112 inf + 28035 2.319 * * [simplify]: Extracting #4: cost 0 inf + 55188 2.351 * * [simplify]: Extracting #5: cost 0 inf + 54508 2.382 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 2.382 * [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.383 * * * * [progress]: [ 20 / 38 ] simplifiying candidate # 2.383 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 2.383 * * [simplify]: iters left: 6 (11 enodes) 2.391 * * [simplify]: iters left: 5 (54 enodes) 2.418 * * [simplify]: iters left: 4 (171 enodes) 2.580 * * [simplify]: Extracting #0: cost 1 inf + 0 2.580 * * [simplify]: Extracting #1: cost 53 inf + 0 2.581 * * [simplify]: Extracting #2: cost 151 inf + 450 2.586 * * [simplify]: Extracting #3: cost 107 inf + 8458 2.596 * * [simplify]: Extracting #4: cost 1 inf + 30046 2.605 * * [simplify]: Extracting #5: cost 0 inf + 27018 2.613 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 2.614 * [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.614 * * * * [progress]: [ 21 / 38 ] simplifiying candidate # 2.614 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 2.614 * * [simplify]: iters left: 6 (11 enodes) 2.618 * * [simplify]: iters left: 5 (54 enodes) 2.642 * * [simplify]: iters left: 4 (170 enodes) 2.776 * * [simplify]: Extracting #0: cost 1 inf + 0 2.776 * * [simplify]: Extracting #1: cost 51 inf + 0 2.777 * * [simplify]: Extracting #2: cost 150 inf + 3 2.779 * * [simplify]: Extracting #3: cost 139 inf + 1749 2.788 * * [simplify]: Extracting #4: cost 24 inf + 21795 2.802 * * [simplify]: Extracting #5: cost 0 inf + 26323 2.817 * * [simplify]: Extracting #6: cost 0 inf + 26283 2.832 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 2.833 * [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.833 * * * * [progress]: [ 22 / 38 ] simplifiying candidate # 2.833 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 2.833 * * [simplify]: iters left: 6 (6 enodes) 2.838 * * [simplify]: iters left: 5 (35 enodes) 2.862 * * [simplify]: iters left: 4 (130 enodes) 2.954 * * [simplify]: iters left: 3 (462 enodes) 3.424 * * [simplify]: Extracting #0: cost 1 inf + 0 3.424 * * [simplify]: Extracting #1: cost 59 inf + 0 3.425 * * [simplify]: Extracting #2: cost 197 inf + 4 3.428 * * [simplify]: Extracting #3: cost 126 inf + 12107 3.443 * * [simplify]: Extracting #4: cost 16 inf + 32525 3.462 * * [simplify]: Extracting #5: cost 0 inf + 36365 3.486 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 3.486 * [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.486 * * * * [progress]: [ 23 / 38 ] simplifiying candidate # 3.486 * * * * [progress]: [ 24 / 38 ] simplifiying candidate # 3.486 * * * * [progress]: [ 25 / 38 ] simplifiying candidate # 3.486 * * * * [progress]: [ 26 / 38 ] simplifiying candidate # 3.486 * * * * [progress]: [ 27 / 38 ] simplifiying candidate # 3.486 * [simplify]: Simplifying (* 2e-16 2e-16) 3.486 * * [simplify]: iters left: 2 (2 enodes) 3.488 * * [simplify]: iters left: 1 (6 enodes) 3.491 * * [simplify]: Extracting #0: cost 1 inf + 0 3.491 * * [simplify]: Extracting #1: cost 3 inf + 0 3.491 * * [simplify]: Extracting #2: cost 2 inf + 1 3.491 * * [simplify]: Extracting #3: cost 0 inf + 83 3.491 * [simplify]: Simplified to (* 2e-16 2e-16) 3.491 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 3.492 * [simplify]: Simplifying (* t t) 3.492 * * [simplify]: iters left: 2 (2 enodes) 3.493 * * [simplify]: iters left: 1 (6 enodes) 3.494 * * [simplify]: Extracting #0: cost 1 inf + 0 3.494 * * [simplify]: Extracting #1: cost 3 inf + 0 3.494 * * [simplify]: Extracting #2: cost 2 inf + 1 3.494 * * [simplify]: Extracting #3: cost 0 inf + 83 3.495 * [simplify]: Simplified to (* t t) 3.495 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 3.495 * * * * [progress]: [ 28 / 38 ] simplifiying candidate # 3.495 * [simplify]: Simplifying (* 2e-16 t) 3.495 * * [simplify]: iters left: 2 (3 enodes) 3.497 * * [simplify]: iters left: 1 (10 enodes) 3.501 * * [simplify]: Extracting #0: cost 1 inf + 0 3.501 * * [simplify]: Extracting #1: cost 4 inf + 0 3.501 * * [simplify]: Extracting #2: cost 2 inf + 2 3.501 * * [simplify]: Extracting #3: cost 0 inf + 86 3.501 * [simplify]: Simplified to (* 2e-16 t) 3.501 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.501 * [simplify]: Simplifying (* 2 1) 3.501 * * [simplify]: iters left: 2 (3 enodes) 3.504 * * [simplify]: iters left: 1 (9 enodes) 3.507 * * [simplify]: Extracting #0: cost 1 inf + 0 3.507 * * [simplify]: Extracting #1: cost 0 inf + 1 3.507 * [simplify]: Simplified to 2 3.507 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.507 * * * * [progress]: [ 29 / 38 ] simplifiying candidate # 3.508 * [simplify]: Simplifying (* 2e-16 t) 3.508 * * [simplify]: iters left: 2 (3 enodes) 3.510 * * [simplify]: iters left: 1 (10 enodes) 3.513 * * [simplify]: Extracting #0: cost 1 inf + 0 3.513 * * [simplify]: Extracting #1: cost 4 inf + 0 3.513 * * [simplify]: Extracting #2: cost 2 inf + 2 3.513 * * [simplify]: Extracting #3: cost 0 inf + 86 3.513 * [simplify]: Simplified to (* 2e-16 t) 3.513 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.513 * [simplify]: Simplifying (* 2 1) 3.513 * * [simplify]: iters left: 2 (3 enodes) 3.516 * * [simplify]: iters left: 1 (9 enodes) 3.519 * * [simplify]: Extracting #0: cost 1 inf + 0 3.519 * * [simplify]: Extracting #1: cost 0 inf + 1 3.519 * [simplify]: Simplified to 2 3.519 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.519 * * * * [progress]: [ 30 / 38 ] simplifiying candidate # 3.519 * [simplify]: Simplifying (* 2e-16 t) 3.520 * * [simplify]: iters left: 2 (3 enodes) 3.521 * * [simplify]: iters left: 1 (10 enodes) 3.524 * * [simplify]: Extracting #0: cost 1 inf + 0 3.524 * * [simplify]: Extracting #1: cost 4 inf + 0 3.524 * * [simplify]: Extracting #2: cost 2 inf + 2 3.525 * * [simplify]: Extracting #3: cost 0 inf + 86 3.525 * [simplify]: Simplified to (* 2e-16 t) 3.525 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.525 * [simplify]: Simplifying (* 2 1) 3.525 * * [simplify]: iters left: 2 (3 enodes) 3.527 * * [simplify]: iters left: 1 (9 enodes) 3.531 * * [simplify]: Extracting #0: cost 1 inf + 0 3.531 * * [simplify]: Extracting #1: cost 0 inf + 1 3.531 * [simplify]: Simplified to 2 3.531 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.531 * * * * [progress]: [ 31 / 38 ] simplifiying candidate # 3.532 * [simplify]: Simplifying (* 2e-16 t) 3.532 * * [simplify]: iters left: 2 (3 enodes) 3.535 * * [simplify]: iters left: 1 (10 enodes) 3.538 * * [simplify]: Extracting #0: cost 1 inf + 0 3.538 * * [simplify]: Extracting #1: cost 4 inf + 0 3.538 * * [simplify]: Extracting #2: cost 2 inf + 2 3.538 * * [simplify]: Extracting #3: cost 0 inf + 86 3.538 * [simplify]: Simplified to (* 2e-16 t) 3.538 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.538 * [simplify]: Simplifying (* 2 1) 3.539 * * [simplify]: iters left: 2 (3 enodes) 3.541 * * [simplify]: iters left: 1 (9 enodes) 3.544 * * [simplify]: Extracting #0: cost 1 inf + 0 3.544 * * [simplify]: Extracting #1: cost 0 inf + 1 3.544 * [simplify]: Simplified to 2 3.544 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.544 * * * * [progress]: [ 32 / 38 ] simplifiying candidate # 3.544 * * * * [progress]: [ 33 / 38 ] simplifiying candidate # 3.544 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 3.544 * * * * [progress]: [ 35 / 38 ] simplifiying candidate # 3.544 * * * * [progress]: [ 36 / 38 ] simplifiying candidate # 3.545 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.545 * * [simplify]: iters left: 3 (5 enodes) 3.548 * * [simplify]: iters left: 2 (21 enodes) 3.555 * * [simplify]: iters left: 1 (29 enodes) 3.565 * * [simplify]: Extracting #0: cost 1 inf + 0 3.565 * * [simplify]: Extracting #1: cost 6 inf + 0 3.565 * * [simplify]: Extracting #2: cost 6 inf + 43 3.565 * * [simplify]: Extracting #3: cost 0 inf + 333 3.566 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.566 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.566 * * * * [progress]: [ 37 / 38 ] simplifiying candidate # 3.566 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.566 * * [simplify]: iters left: 3 (5 enodes) 3.568 * * [simplify]: iters left: 2 (21 enodes) 3.572 * * [simplify]: iters left: 1 (29 enodes) 3.577 * * [simplify]: Extracting #0: cost 1 inf + 0 3.577 * * [simplify]: Extracting #1: cost 6 inf + 0 3.577 * * [simplify]: Extracting #2: cost 6 inf + 43 3.577 * * [simplify]: Extracting #3: cost 0 inf + 333 3.577 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.577 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.577 * * * * [progress]: [ 38 / 38 ] simplifiying candidate # 3.577 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.577 * * [simplify]: iters left: 3 (5 enodes) 3.579 * * [simplify]: iters left: 2 (21 enodes) 3.583 * * [simplify]: iters left: 1 (29 enodes) 3.589 * * [simplify]: Extracting #0: cost 1 inf + 0 3.589 * * [simplify]: Extracting #1: cost 6 inf + 0 3.589 * * [simplify]: Extracting #2: cost 6 inf + 43 3.589 * * [simplify]: Extracting #3: cost 0 inf + 333 3.590 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.590 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.590 * * * [progress]: adding candidates to table 3.861 * * [progress]: iteration 2 / 4 3.861 * * * [progress]: picking best candidate 3.867 * * * * [pick]: Picked # 3.867 * * * [progress]: localizing error 3.878 * * * [progress]: generating rewritten candidates 3.878 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.891 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.950 * * * [progress]: generating series expansions 3.950 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.950 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 3.950 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 3.950 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 3.950 * [taylor]: Taking taylor expansion of 2e-16 in t 3.950 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.950 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.950 * [taylor]: Taking taylor expansion of t in t 3.950 * [backup-simplify]: Simplify 0 into 0 3.950 * [backup-simplify]: Simplify 1 into 1 3.951 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 3.951 * [taylor]: Taking taylor expansion of 2e-16 in t 3.951 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.951 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.951 * [taylor]: Taking taylor expansion of t in t 3.951 * [backup-simplify]: Simplify 0 into 0 3.951 * [backup-simplify]: Simplify 1 into 1 3.952 * [backup-simplify]: Simplify (* 1 1) into 1 3.952 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16 3.952 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.953 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.953 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 3.953 * [backup-simplify]: Simplify 0 into 0 3.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.955 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 3.955 * [backup-simplify]: Simplify 0 into 0 3.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.958 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.958 * [backup-simplify]: Simplify 0 into 0 3.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.960 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.960 * [backup-simplify]: Simplify 0 into 0 3.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.963 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.963 * [backup-simplify]: Simplify 0 into 0 3.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.966 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.966 * [backup-simplify]: Simplify 0 into 0 3.966 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 3.967 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 3.967 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 3.967 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 3.967 * [taylor]: Taking taylor expansion of 2e-16 in t 3.967 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.967 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.967 * [taylor]: Taking taylor expansion of t in t 3.967 * [backup-simplify]: Simplify 0 into 0 3.967 * [backup-simplify]: Simplify 1 into 1 3.967 * [backup-simplify]: Simplify (* 1 1) into 1 3.968 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 3.968 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 3.968 * [taylor]: Taking taylor expansion of 2e-16 in t 3.968 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.968 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.968 * [taylor]: Taking taylor expansion of t in t 3.968 * [backup-simplify]: Simplify 0 into 0 3.968 * [backup-simplify]: Simplify 1 into 1 3.968 * [backup-simplify]: Simplify (* 1 1) into 1 3.969 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 3.969 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.969 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.970 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 3.970 * [backup-simplify]: Simplify 0 into 0 3.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.972 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.972 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.974 * [backup-simplify]: Simplify 0 into 0 3.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.977 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.982 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.982 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 3.985 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 3.985 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 3.985 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 3.985 * [taylor]: Taking taylor expansion of 2e-16 in t 3.985 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.985 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.986 * [taylor]: Taking taylor expansion of t in t 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 1 into 1 3.986 * [backup-simplify]: Simplify (* 1 1) into 1 3.986 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 3.986 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 3.987 * [taylor]: Taking taylor expansion of 2e-16 in t 3.987 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.987 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.987 * [taylor]: Taking taylor expansion of t in t 3.987 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify 1 into 1 3.987 * [backup-simplify]: Simplify (* 1 1) into 1 3.987 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 3.988 * [backup-simplify]: Simplify 2e-16 into 2e-16 3.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.989 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 3.989 * [backup-simplify]: Simplify 0 into 0 3.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.991 * [backup-simplify]: Simplify 0 into 0 3.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.994 * [backup-simplify]: Simplify 0 into 0 3.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.996 * [backup-simplify]: Simplify 0 into 0 3.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.999 * [backup-simplify]: Simplify 0 into 0 4.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.002 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.002 * [backup-simplify]: Simplify 0 into 0 4.002 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 4.002 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.002 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 4.002 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.002 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 4.002 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.003 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.003 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.003 * [taylor]: Taking taylor expansion of t in t 4.003 * [backup-simplify]: Simplify 0 into 0 4.003 * [backup-simplify]: Simplify 1 into 1 4.003 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 4.003 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.003 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.003 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.003 * [taylor]: Taking taylor expansion of t in t 4.003 * [backup-simplify]: Simplify 0 into 0 4.003 * [backup-simplify]: Simplify 1 into 1 4.003 * [backup-simplify]: Simplify (* 1 1) into 1 4.004 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.004 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.005 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.005 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 4.005 * [backup-simplify]: Simplify 0 into 0 4.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.007 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 4.007 * [backup-simplify]: Simplify 0 into 0 4.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.008 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.008 * [backup-simplify]: Simplify 0 into 0 4.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.010 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.010 * [backup-simplify]: Simplify 0 into 0 4.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.011 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.011 * [backup-simplify]: Simplify 0 into 0 4.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.013 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.013 * [backup-simplify]: Simplify 0 into 0 4.013 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.013 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 4.013 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.013 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.013 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.013 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.013 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.013 * [taylor]: Taking taylor expansion of t in t 4.013 * [backup-simplify]: Simplify 0 into 0 4.013 * [backup-simplify]: Simplify 1 into 1 4.014 * [backup-simplify]: Simplify (* 1 1) into 1 4.014 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.014 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.014 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.014 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.014 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.014 * [taylor]: Taking taylor expansion of t in t 4.014 * [backup-simplify]: Simplify 0 into 0 4.014 * [backup-simplify]: Simplify 1 into 1 4.014 * [backup-simplify]: Simplify (* 1 1) into 1 4.015 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.015 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.015 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 4.016 * [backup-simplify]: Simplify 0 into 0 4.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.018 * [backup-simplify]: Simplify 0 into 0 4.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.019 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.019 * [backup-simplify]: Simplify 0 into 0 4.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.021 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.021 * [backup-simplify]: Simplify 0 into 0 4.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.022 * [backup-simplify]: Simplify 0 into 0 4.022 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.022 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 4.022 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.022 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.022 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.022 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.022 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.022 * [taylor]: Taking taylor expansion of t in t 4.022 * [backup-simplify]: Simplify 0 into 0 4.022 * [backup-simplify]: Simplify 1 into 1 4.023 * [backup-simplify]: Simplify (* 1 1) into 1 4.023 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.023 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.023 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.023 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.023 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.023 * [taylor]: Taking taylor expansion of t in t 4.023 * [backup-simplify]: Simplify 0 into 0 4.023 * [backup-simplify]: Simplify 1 into 1 4.023 * [backup-simplify]: Simplify (* 1 1) into 1 4.024 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.024 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.024 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 4.025 * [backup-simplify]: Simplify 0 into 0 4.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.026 * [backup-simplify]: Simplify 0 into 0 4.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.027 * [backup-simplify]: Simplify 0 into 0 4.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.028 * [backup-simplify]: Simplify 0 into 0 4.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.030 * [backup-simplify]: Simplify 0 into 0 4.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.031 * [backup-simplify]: Simplify 0 into 0 4.031 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.031 * * * [progress]: simplifying candidates 4.031 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 4.032 * [simplify]: Simplifying (* t (* 2e-16 t)) 4.032 * * [simplify]: iters left: 4 (4 enodes) 4.033 * * [simplify]: iters left: 3 (14 enodes) 4.035 * * [simplify]: iters left: 2 (17 enodes) 4.038 * * [simplify]: iters left: 1 (19 enodes) 4.044 * * [simplify]: Extracting #0: cost 1 inf + 0 4.044 * * [simplify]: Extracting #1: cost 6 inf + 0 4.044 * * [simplify]: Extracting #2: cost 6 inf + 2 4.044 * * [simplify]: Extracting #3: cost 1 inf + 291 4.044 * * [simplify]: Extracting #4: cost 0 inf + 332 4.045 * [simplify]: Simplified to (* t (* t 2e-16)) 4.045 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* t (* t 2e-16)) 1))) 4.045 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 4.045 * [simplify]: Simplifying (* t (* 2e-16 t)) 4.045 * * [simplify]: iters left: 4 (4 enodes) 4.047 * * [simplify]: iters left: 3 (14 enodes) 4.051 * * [simplify]: iters left: 2 (17 enodes) 4.056 * * [simplify]: iters left: 1 (19 enodes) 4.061 * * [simplify]: Extracting #0: cost 1 inf + 0 4.061 * * [simplify]: Extracting #1: cost 6 inf + 0 4.061 * * [simplify]: Extracting #2: cost 6 inf + 2 4.061 * * [simplify]: Extracting #3: cost 1 inf + 291 4.061 * * [simplify]: Extracting #4: cost 0 inf + 332 4.062 * [simplify]: Simplified to (* t (* t 2e-16)) 4.062 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* t (* t 2e-16)) 1))) 4.062 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 4.062 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 4.062 * [simplify]: Simplifying (+ (log t) (+ (log 2e-16) (log t))) 4.062 * * [simplify]: iters left: 5 (6 enodes) 4.065 * * [simplify]: iters left: 4 (20 enodes) 4.071 * * [simplify]: iters left: 3 (23 enodes) 4.078 * * [simplify]: iters left: 2 (25 enodes) 4.084 * * [simplify]: Extracting #0: cost 1 inf + 0 4.084 * * [simplify]: Extracting #1: cost 6 inf + 0 4.084 * * [simplify]: Extracting #2: cost 12 inf + 0 4.085 * * [simplify]: Extracting #3: cost 10 inf + 2 4.085 * * [simplify]: Extracting #4: cost 0 inf + 1316 4.085 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 2e-16)) 4.085 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (+ (+ (log t) (log t)) (log 2e-16))))) 4.085 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 4.086 * [simplify]: Simplifying (+ (log t) (log (* 2e-16 t))) 4.086 * * [simplify]: iters left: 5 (6 enodes) 4.089 * * [simplify]: iters left: 4 (22 enodes) 4.095 * * [simplify]: iters left: 3 (27 enodes) 4.103 * * [simplify]: iters left: 2 (30 enodes) 4.113 * * [simplify]: Extracting #0: cost 1 inf + 0 4.113 * * [simplify]: Extracting #1: cost 6 inf + 0 4.113 * * [simplify]: Extracting #2: cost 13 inf + 0 4.113 * * [simplify]: Extracting #3: cost 10 inf + 144 4.113 * * [simplify]: Extracting #4: cost 8 inf + 257 4.114 * * [simplify]: Extracting #5: cost 1 inf + 1038 4.114 * * [simplify]: Extracting #6: cost 0 inf + 1260 4.114 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 2e-16)) 4.114 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (+ (+ (log t) (log t)) (log 2e-16))))) 4.114 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 4.115 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 4.115 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 4.115 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 4.115 * * [simplify]: iters left: 6 (8 enodes) 4.120 * * [simplify]: iters left: 5 (34 enodes) 4.133 * * [simplify]: iters left: 4 (89 enodes) 4.179 * * [simplify]: iters left: 3 (242 enodes) 4.368 * * [simplify]: Extracting #0: cost 1 inf + 0 4.368 * * [simplify]: Extracting #1: cost 43 inf + 0 4.369 * * [simplify]: Extracting #2: cost 108 inf + 573 4.373 * * [simplify]: Extracting #3: cost 51 inf + 8519 4.378 * * [simplify]: Extracting #4: cost 1 inf + 21439 4.383 * * [simplify]: Extracting #5: cost 0 inf + 21611 4.388 * [simplify]: Simplified to (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t)))) 4.388 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))))) 4.388 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 4.388 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 4.388 * * [simplify]: iters left: 6 (8 enodes) 4.391 * * [simplify]: iters left: 5 (40 enodes) 4.401 * * [simplify]: iters left: 4 (119 enodes) 4.462 * * [simplify]: iters left: 3 (302 enodes) 4.655 * * [simplify]: Extracting #0: cost 1 inf + 0 4.656 * * [simplify]: Extracting #1: cost 38 inf + 0 4.656 * * [simplify]: Extracting #2: cost 89 inf + 543 4.659 * * [simplify]: Extracting #3: cost 56 inf + 4742 4.663 * * [simplify]: Extracting #4: cost 4 inf + 18109 4.671 * * [simplify]: Extracting #5: cost 0 inf + 18828 4.679 * [simplify]: Simplified to (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t)) 4.679 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))))) 4.679 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 4.679 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 4.679 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 4.680 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 4.680 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 4.680 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 4.680 * [simplify]: Simplifying (* (cbrt t) (cbrt t)) 4.680 * * [simplify]: iters left: 3 (3 enodes) 4.682 * * [simplify]: iters left: 2 (9 enodes) 4.684 * * [simplify]: Extracting #0: cost 1 inf + 0 4.684 * * [simplify]: Extracting #1: cost 3 inf + 0 4.684 * * [simplify]: Extracting #2: cost 5 inf + 0 4.684 * * [simplify]: Extracting #3: cost 4 inf + 1 4.684 * * [simplify]: Extracting #4: cost 0 inf + 405 4.685 * [simplify]: Simplified to (* (cbrt t) (cbrt t)) 4.685 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t))))) 4.685 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 4.685 * [simplify]: Simplifying (sqrt t) 4.685 * * [simplify]: iters left: 1 (2 enodes) 4.686 * * [simplify]: Extracting #0: cost 1 inf + 0 4.686 * * [simplify]: Extracting #1: cost 3 inf + 0 4.686 * * [simplify]: Extracting #2: cost 2 inf + 1 4.686 * * [simplify]: Extracting #3: cost 0 inf + 83 4.686 * [simplify]: Simplified to (sqrt t) 4.686 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t))))) 4.686 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 4.686 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 4.686 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 4.686 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 4.687 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 4.687 * * [simplify]: iters left: 6 (5 enodes) 4.690 * * [simplify]: iters left: 5 (19 enodes) 4.697 * * [simplify]: iters left: 4 (31 enodes) 4.707 * * [simplify]: iters left: 3 (40 enodes) 4.718 * * [simplify]: Extracting #0: cost 1 inf + 0 4.718 * * [simplify]: Extracting #1: cost 9 inf + 0 4.718 * * [simplify]: Extracting #2: cost 11 inf + 43 4.719 * * [simplify]: Extracting #3: cost 2 inf + 619 4.719 * * [simplify]: Extracting #4: cost 0 inf + 742 4.720 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.720 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.720 * * * * [progress]: [ 21 / 47 ] simplifiying candidate # 4.720 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 4.720 * * [simplify]: iters left: 6 (5 enodes) 4.723 * * [simplify]: iters left: 5 (19 enodes) 4.730 * * [simplify]: iters left: 4 (31 enodes) 4.741 * * [simplify]: iters left: 3 (40 enodes) 4.753 * * [simplify]: Extracting #0: cost 1 inf + 0 4.753 * * [simplify]: Extracting #1: cost 9 inf + 0 4.753 * * [simplify]: Extracting #2: cost 11 inf + 43 4.753 * * [simplify]: Extracting #3: cost 2 inf + 619 4.754 * * [simplify]: Extracting #4: cost 0 inf + 742 4.754 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.754 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.754 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 4.755 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 4.755 * * [simplify]: iters left: 6 (5 enodes) 4.758 * * [simplify]: iters left: 5 (19 enodes) 4.766 * * [simplify]: iters left: 4 (31 enodes) 4.777 * * [simplify]: iters left: 3 (40 enodes) 4.789 * * [simplify]: Extracting #0: cost 1 inf + 0 4.789 * * [simplify]: Extracting #1: cost 9 inf + 0 4.789 * * [simplify]: Extracting #2: cost 11 inf + 43 4.790 * * [simplify]: Extracting #3: cost 2 inf + 619 4.790 * * [simplify]: Extracting #4: cost 0 inf + 742 4.791 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.791 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.791 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 4.791 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 4.791 * [simplify]: Simplifying (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t)))) 4.791 * * [simplify]: iters left: 6 (7 enodes) 4.795 * * [simplify]: iters left: 5 (25 enodes) 4.802 * * [simplify]: iters left: 4 (34 enodes) 4.808 * * [simplify]: iters left: 3 (42 enodes) 4.814 * * [simplify]: iters left: 2 (45 enodes) 4.821 * * [simplify]: Extracting #0: cost 1 inf + 0 4.821 * * [simplify]: Extracting #1: cost 9 inf + 0 4.821 * * [simplify]: Extracting #2: cost 18 inf + 0 4.821 * * [simplify]: Extracting #3: cost 15 inf + 73 4.821 * * [simplify]: Extracting #4: cost 11 inf + 548 4.821 * * [simplify]: Extracting #5: cost 1 inf + 2204 4.822 * * [simplify]: Extracting #6: cost 0 inf + 2426 4.822 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 4.822 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 4.822 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 4.822 * [simplify]: Simplifying (+ (log 2e-16) (+ (log t) (log (* 2e-16 t)))) 4.823 * * [simplify]: iters left: 6 (8 enodes) 4.825 * * [simplify]: iters left: 5 (29 enodes) 4.829 * * [simplify]: iters left: 4 (37 enodes) 4.837 * * [simplify]: iters left: 3 (46 enodes) 4.850 * * [simplify]: iters left: 2 (49 enodes) 4.863 * * [simplify]: Extracting #0: cost 1 inf + 0 4.863 * * [simplify]: Extracting #1: cost 9 inf + 0 4.863 * * [simplify]: Extracting #2: cost 19 inf + 0 4.863 * * [simplify]: Extracting #3: cost 17 inf + 73 4.863 * * [simplify]: Extracting #4: cost 9 inf + 785 4.864 * * [simplify]: Extracting #5: cost 0 inf + 2230 4.865 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 4.865 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.865 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 4.865 * [simplify]: Simplifying (+ (log 2e-16) (log (* t (* 2e-16 t)))) 4.865 * * [simplify]: iters left: 6 (7 enodes) 4.868 * * [simplify]: iters left: 5 (27 enodes) 4.873 * * [simplify]: iters left: 4 (40 enodes) 4.880 * * [simplify]: iters left: 3 (52 enodes) 4.888 * * [simplify]: iters left: 2 (61 enodes) 4.896 * * [simplify]: iters left: 1 (62 enodes) 4.906 * * [simplify]: Extracting #0: cost 1 inf + 0 4.906 * * [simplify]: Extracting #1: cost 9 inf + 0 4.906 * * [simplify]: Extracting #2: cost 21 inf + 0 4.906 * * [simplify]: Extracting #3: cost 19 inf + 225 4.906 * * [simplify]: Extracting #4: cost 10 inf + 949 4.907 * * [simplify]: Extracting #5: cost 1 inf + 2225 4.907 * * [simplify]: Extracting #6: cost 0 inf + 2336 4.908 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 4.908 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.908 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 4.908 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 4.909 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 4.909 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))) 4.909 * * [simplify]: iters left: 6 (9 enodes) 4.915 * * [simplify]: iters left: 5 (41 enodes) 4.935 * * [simplify]: iters left: 4 (131 enodes) 5.041 * * [simplify]: Extracting #0: cost 1 inf + 0 5.041 * * [simplify]: Extracting #1: cost 36 inf + 0 5.042 * * [simplify]: Extracting #2: cost 108 inf + 529 5.044 * * [simplify]: Extracting #3: cost 55 inf + 9829 5.050 * * [simplify]: Extracting #4: cost 4 inf + 18768 5.055 * * [simplify]: Extracting #5: cost 0 inf + 18236 5.061 * * [simplify]: Extracting #6: cost 0 inf + 18036 5.067 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 5.067 * [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)))))) 5.067 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 5.068 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))) 5.068 * * [simplify]: iters left: 6 (11 enodes) 5.072 * * [simplify]: iters left: 5 (54 enodes) 5.086 * * [simplify]: iters left: 4 (176 enodes) 5.226 * * [simplify]: Extracting #0: cost 1 inf + 0 5.226 * * [simplify]: Extracting #1: cost 52 inf + 0 5.226 * * [simplify]: Extracting #2: cost 131 inf + 287 5.229 * * [simplify]: Extracting #3: cost 88 inf + 7729 5.235 * * [simplify]: Extracting #4: cost 5 inf + 23303 5.243 * * [simplify]: Extracting #5: cost 0 inf + 23654 5.250 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 5.250 * [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))))) 5.250 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 5.251 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))) 5.251 * * [simplify]: iters left: 6 (9 enodes) 5.257 * * [simplify]: iters left: 5 (45 enodes) 5.279 * * [simplify]: iters left: 4 (146 enodes) 5.359 * * [simplify]: Extracting #0: cost 1 inf + 0 5.359 * * [simplify]: Extracting #1: cost 36 inf + 0 5.360 * * [simplify]: Extracting #2: cost 111 inf + 208 5.363 * * [simplify]: Extracting #3: cost 50 inf + 10858 5.369 * * [simplify]: Extracting #4: cost 2 inf + 19062 5.375 * * [simplify]: Extracting #5: cost 0 inf + 19527 5.383 * [simplify]: Simplified to (* (* (* t 2e-16) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16)))) 5.383 * [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)))))) 5.383 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 5.383 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 5.383 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 5.383 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 5.383 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 5.384 * [simplify]: Simplifying (* 2e-16 t) 5.384 * * [simplify]: iters left: 2 (3 enodes) 5.386 * * [simplify]: iters left: 1 (10 enodes) 5.389 * * [simplify]: Extracting #0: cost 1 inf + 0 5.389 * * [simplify]: Extracting #1: cost 4 inf + 0 5.389 * * [simplify]: Extracting #2: cost 2 inf + 2 5.389 * * [simplify]: Extracting #3: cost 0 inf + 86 5.389 * [simplify]: Simplified to (* 2e-16 t) 5.389 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 5.389 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 5.390 * [simplify]: Simplifying (* (cbrt 2e-16) (cbrt 2e-16)) 5.390 * * [simplify]: iters left: 3 (3 enodes) 5.392 * * [simplify]: iters left: 2 (9 enodes) 5.395 * * [simplify]: Extracting #0: cost 1 inf + 0 5.395 * * [simplify]: Extracting #1: cost 3 inf + 0 5.395 * * [simplify]: Extracting #2: cost 5 inf + 0 5.396 * * [simplify]: Extracting #3: cost 4 inf + 1 5.396 * * [simplify]: Extracting #4: cost 0 inf + 405 5.396 * [simplify]: Simplified to (* (cbrt 2e-16) (cbrt 2e-16)) 5.396 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t (* 2e-16 t))))) 5.396 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 5.396 * [simplify]: Simplifying (sqrt 2e-16) 5.396 * * [simplify]: iters left: 1 (2 enodes) 5.401 * * [simplify]: Extracting #0: cost 1 inf + 0 5.401 * * [simplify]: Extracting #1: cost 3 inf + 0 5.401 * * [simplify]: Extracting #2: cost 2 inf + 1 5.401 * * [simplify]: Extracting #3: cost 0 inf + 83 5.401 * [simplify]: Simplified to (sqrt 2e-16) 5.402 * [simplify]: Simplified (2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) 5.402 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 5.402 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 5.402 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 5.402 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 5.402 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 5.402 * * [simplify]: iters left: 3 (5 enodes) 5.406 * * [simplify]: iters left: 2 (21 enodes) 5.414 * * [simplify]: iters left: 1 (29 enodes) 5.422 * * [simplify]: Extracting #0: cost 1 inf + 0 5.422 * * [simplify]: Extracting #1: cost 6 inf + 0 5.422 * * [simplify]: Extracting #2: cost 6 inf + 43 5.422 * * [simplify]: Extracting #3: cost 0 inf + 333 5.422 * [simplify]: Simplified to (* (* t t) 2e-16) 5.422 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 5.422 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 5.422 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 5.422 * * [simplify]: iters left: 3 (5 enodes) 5.424 * * [simplify]: iters left: 2 (21 enodes) 5.428 * * [simplify]: iters left: 1 (29 enodes) 5.434 * * [simplify]: Extracting #0: cost 1 inf + 0 5.434 * * [simplify]: Extracting #1: cost 6 inf + 0 5.434 * * [simplify]: Extracting #2: cost 6 inf + 43 5.434 * * [simplify]: Extracting #3: cost 0 inf + 333 5.434 * [simplify]: Simplified to (* (* t t) 2e-16) 5.434 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 5.434 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 5.434 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 5.434 * * [simplify]: iters left: 3 (5 enodes) 5.437 * * [simplify]: iters left: 2 (21 enodes) 5.440 * * [simplify]: iters left: 1 (29 enodes) 5.446 * * [simplify]: Extracting #0: cost 1 inf + 0 5.446 * * [simplify]: Extracting #1: cost 6 inf + 0 5.446 * * [simplify]: Extracting #2: cost 6 inf + 43 5.446 * * [simplify]: Extracting #3: cost 0 inf + 333 5.446 * [simplify]: Simplified to (* (* t t) 2e-16) 5.446 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 5.446 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 5.446 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.446 * * [simplify]: iters left: 3 (5 enodes) 5.449 * * [simplify]: iters left: 2 (21 enodes) 5.456 * * [simplify]: iters left: 1 (29 enodes) 5.462 * * [simplify]: Extracting #0: cost 1 inf + 0 5.462 * * [simplify]: Extracting #1: cost 6 inf + 0 5.462 * * [simplify]: Extracting #2: cost 6 inf + 43 5.462 * * [simplify]: Extracting #3: cost 0 inf + 333 5.462 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.462 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.463 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 5.463 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.463 * * [simplify]: iters left: 3 (5 enodes) 5.465 * * [simplify]: iters left: 2 (21 enodes) 5.469 * * [simplify]: iters left: 1 (29 enodes) 5.474 * * [simplify]: Extracting #0: cost 1 inf + 0 5.474 * * [simplify]: Extracting #1: cost 6 inf + 0 5.474 * * [simplify]: Extracting #2: cost 6 inf + 43 5.474 * * [simplify]: Extracting #3: cost 0 inf + 333 5.474 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.474 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.474 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 5.474 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.474 * * [simplify]: iters left: 3 (5 enodes) 5.477 * * [simplify]: iters left: 2 (21 enodes) 5.481 * * [simplify]: iters left: 1 (29 enodes) 5.488 * * [simplify]: Extracting #0: cost 1 inf + 0 5.488 * * [simplify]: Extracting #1: cost 6 inf + 0 5.488 * * [simplify]: Extracting #2: cost 6 inf + 43 5.488 * * [simplify]: Extracting #3: cost 0 inf + 333 5.489 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.489 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.489 * * * [progress]: adding candidates to table 5.800 * * [progress]: iteration 3 / 4 5.800 * * * [progress]: picking best candidate 5.816 * * * * [pick]: Picked # 5.816 * * * [progress]: localizing error 5.828 * * * [progress]: generating rewritten candidates 5.828 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.845 * * * [progress]: generating series expansions 5.845 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.845 * [backup-simplify]: Simplify (* (* t t) 3.9999999999999997e-32) into (* 3.9999999999999997e-32 (pow t 2)) 5.845 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.845 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 5.845 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.845 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.845 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.845 * [taylor]: Taking taylor expansion of t in t 5.845 * [backup-simplify]: Simplify 0 into 0 5.845 * [backup-simplify]: Simplify 1 into 1 5.845 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 5.845 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.845 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.845 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.845 * [taylor]: Taking taylor expansion of t in t 5.845 * [backup-simplify]: Simplify 0 into 0 5.845 * [backup-simplify]: Simplify 1 into 1 5.846 * [backup-simplify]: Simplify (* 1 1) into 1 5.846 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.846 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.847 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 5.847 * [backup-simplify]: Simplify 0 into 0 5.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.848 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 5.848 * [backup-simplify]: Simplify 0 into 0 5.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.849 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.849 * [backup-simplify]: Simplify 0 into 0 5.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.851 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.851 * [backup-simplify]: Simplify 0 into 0 5.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.852 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.852 * [backup-simplify]: Simplify 0 into 0 5.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.854 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.855 * [backup-simplify]: Simplify 0 into 0 5.855 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.855 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 5.855 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.855 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.855 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.855 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.855 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.855 * [taylor]: Taking taylor expansion of t in t 5.855 * [backup-simplify]: Simplify 0 into 0 5.855 * [backup-simplify]: Simplify 1 into 1 5.855 * [backup-simplify]: Simplify (* 1 1) into 1 5.856 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.856 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.856 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.856 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.856 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.856 * [taylor]: Taking taylor expansion of t in t 5.856 * [backup-simplify]: Simplify 0 into 0 5.856 * [backup-simplify]: Simplify 1 into 1 5.856 * [backup-simplify]: Simplify (* 1 1) into 1 5.857 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.857 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.858 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 5.859 * [backup-simplify]: Simplify 0 into 0 5.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.861 * [backup-simplify]: Simplify 0 into 0 5.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.863 * [backup-simplify]: Simplify 0 into 0 5.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.865 * [backup-simplify]: Simplify 0 into 0 5.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.868 * [backup-simplify]: Simplify 0 into 0 5.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.870 * [backup-simplify]: Simplify 0 into 0 5.870 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.871 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 5.871 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.871 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.871 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.871 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.871 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.871 * [taylor]: Taking taylor expansion of t in t 5.871 * [backup-simplify]: Simplify 0 into 0 5.871 * [backup-simplify]: Simplify 1 into 1 5.871 * [backup-simplify]: Simplify (* 1 1) into 1 5.871 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.871 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.871 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.871 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.871 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.871 * [taylor]: Taking taylor expansion of t in t 5.871 * [backup-simplify]: Simplify 0 into 0 5.871 * [backup-simplify]: Simplify 1 into 1 5.872 * [backup-simplify]: Simplify (* 1 1) into 1 5.872 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.872 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.872 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 5.873 * [backup-simplify]: Simplify 0 into 0 5.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.874 * [backup-simplify]: Simplify 0 into 0 5.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.875 * [backup-simplify]: Simplify 0 into 0 5.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.877 * [backup-simplify]: Simplify 0 into 0 5.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.878 * [backup-simplify]: Simplify 0 into 0 5.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.880 * [backup-simplify]: Simplify 0 into 0 5.880 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.880 * * * [progress]: simplifying candidates 5.880 * * * * [progress]: [ 1 / 23 ] simplifiying candidate # 5.880 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 5.880 * * [simplify]: iters left: 4 (4 enodes) 5.882 * * [simplify]: iters left: 3 (15 enodes) 5.884 * * [simplify]: iters left: 2 (19 enodes) 5.887 * * [simplify]: iters left: 1 (20 enodes) 5.890 * * [simplify]: Extracting #0: cost 1 inf + 0 5.890 * * [simplify]: Extracting #1: cost 6 inf + 0 5.890 * * [simplify]: Extracting #2: cost 6 inf + 2 5.890 * * [simplify]: Extracting #3: cost 0 inf + 332 5.891 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 5.891 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 5.891 * * * * [progress]: [ 2 / 23 ] simplifiying candidate # 5.891 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 5.891 * * [simplify]: iters left: 4 (4 enodes) 5.892 * * [simplify]: iters left: 3 (15 enodes) 5.897 * * [simplify]: iters left: 2 (19 enodes) 5.902 * * [simplify]: iters left: 1 (20 enodes) 5.908 * * [simplify]: Extracting #0: cost 1 inf + 0 5.908 * * [simplify]: Extracting #1: cost 6 inf + 0 5.908 * * [simplify]: Extracting #2: cost 6 inf + 2 5.908 * * [simplify]: Extracting #3: cost 0 inf + 332 5.908 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 5.908 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 5.908 * * * * [progress]: [ 3 / 23 ] simplifiying candidate # 5.909 * * * * [progress]: [ 4 / 23 ] simplifiying candidate # 5.909 * [simplify]: Simplifying (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 5.909 * * [simplify]: iters left: 5 (6 enodes) 5.912 * * [simplify]: iters left: 4 (21 enodes) 5.919 * * [simplify]: iters left: 3 (25 enodes) 5.927 * * [simplify]: iters left: 2 (26 enodes) 5.935 * * [simplify]: Extracting #0: cost 1 inf + 0 5.936 * * [simplify]: Extracting #1: cost 6 inf + 0 5.936 * * [simplify]: Extracting #2: cost 12 inf + 0 5.936 * * [simplify]: Extracting #3: cost 10 inf + 2 5.936 * * [simplify]: Extracting #4: cost 0 inf + 1316 5.936 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 5.936 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)))) 5.937 * * * * [progress]: [ 5 / 23 ] simplifiying candidate # 5.937 * [simplify]: Simplifying (+ (log (* t t)) (log 3.9999999999999997e-32)) 5.937 * * [simplify]: iters left: 5 (6 enodes) 5.941 * * [simplify]: iters left: 4 (21 enodes) 5.948 * * [simplify]: iters left: 3 (27 enodes) 5.957 * * [simplify]: iters left: 2 (32 enodes) 5.962 * * [simplify]: Extracting #0: cost 1 inf + 0 5.963 * * [simplify]: Extracting #1: cost 6 inf + 0 5.963 * * [simplify]: Extracting #2: cost 13 inf + 0 5.963 * * [simplify]: Extracting #3: cost 12 inf + 2 5.963 * * [simplify]: Extracting #4: cost 4 inf + 913 5.963 * * [simplify]: Extracting #5: cost 0 inf + 1398 5.963 * [simplify]: Simplified to (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)) 5.963 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)))) 5.963 * * * * [progress]: [ 6 / 23 ] simplifiying candidate # 5.963 * * * * [progress]: [ 7 / 23 ] simplifiying candidate # 5.963 * * * * [progress]: [ 8 / 23 ] simplifiying candidate # 5.964 * [simplify]: Simplifying (* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 5.964 * * [simplify]: iters left: 6 (8 enodes) 5.966 * * [simplify]: iters left: 5 (37 enodes) 5.975 * * [simplify]: iters left: 4 (93 enodes) 6.002 * * [simplify]: iters left: 3 (255 enodes) 6.143 * * [simplify]: Extracting #0: cost 1 inf + 0 6.143 * * [simplify]: Extracting #1: cost 36 inf + 0 6.144 * * [simplify]: Extracting #2: cost 100 inf + 166 6.146 * * [simplify]: Extracting #3: cost 59 inf + 4959 6.150 * * [simplify]: Extracting #4: cost 15 inf + 15008 6.154 * * [simplify]: Extracting #5: cost 0 inf + 19600 6.158 * [simplify]: Simplified to (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) 6.158 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)))) 6.158 * * * * [progress]: [ 9 / 23 ] simplifiying candidate # 6.159 * [simplify]: Simplifying (* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 6.159 * * [simplify]: iters left: 6 (8 enodes) 6.162 * * [simplify]: iters left: 5 (38 enodes) 6.172 * * [simplify]: iters left: 4 (94 enodes) 6.212 * * [simplify]: iters left: 3 (259 enodes) 6.367 * * [simplify]: Extracting #0: cost 1 inf + 0 6.367 * * [simplify]: Extracting #1: cost 52 inf + 0 6.368 * * [simplify]: Extracting #2: cost 133 inf + 166 6.371 * * [simplify]: Extracting #3: cost 82 inf + 6191 6.381 * * [simplify]: Extracting #4: cost 5 inf + 26339 6.387 * * [simplify]: Extracting #5: cost 0 inf + 27550 6.392 * [simplify]: Simplified to (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))) 6.392 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))))) 6.392 * * * * [progress]: [ 10 / 23 ] simplifiying candidate # 6.393 * * * * [progress]: [ 11 / 23 ] simplifiying candidate # 6.393 * * * * [progress]: [ 12 / 23 ] simplifiying candidate # 6.393 * * * * [progress]: [ 13 / 23 ] simplifiying candidate # 6.393 * * * * [progress]: [ 14 / 23 ] simplifiying candidate # 6.393 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 6.393 * * [simplify]: iters left: 3 (4 enodes) 6.395 * * [simplify]: iters left: 2 (13 enodes) 6.397 * * [simplify]: Extracting #0: cost 1 inf + 0 6.397 * * [simplify]: Extracting #1: cost 4 inf + 0 6.397 * * [simplify]: Extracting #2: cost 5 inf + 1 6.397 * * [simplify]: Extracting #3: cost 4 inf + 2 6.397 * * [simplify]: Extracting #4: cost 0 inf + 248 6.397 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 6.397 * [simplify]: Simplified (2 1) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 6.397 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 6.397 * * [simplify]: iters left: 3 (4 enodes) 6.399 * * [simplify]: iters left: 2 (13 enodes) 6.401 * * [simplify]: Extracting #0: cost 1 inf + 0 6.401 * * [simplify]: Extracting #1: cost 4 inf + 0 6.401 * * [simplify]: Extracting #2: cost 5 inf + 1 6.401 * * [simplify]: Extracting #3: cost 4 inf + 2 6.401 * * [simplify]: Extracting #4: cost 0 inf + 248 6.401 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 6.401 * [simplify]: Simplified (2 2) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 6.401 * * * * [progress]: [ 15 / 23 ] simplifiying candidate # 6.402 * [simplify]: Simplifying (cbrt 3.9999999999999997e-32) 6.402 * * [simplify]: iters left: 1 (2 enodes) 6.403 * * [simplify]: Extracting #0: cost 1 inf + 0 6.403 * * [simplify]: Extracting #1: cost 3 inf + 0 6.403 * * [simplify]: Extracting #2: cost 2 inf + 1 6.403 * * [simplify]: Extracting #3: cost 0 inf + 163 6.403 * [simplify]: Simplified to (cbrt 3.9999999999999997e-32) 6.403 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (cbrt 3.9999999999999997e-32))) 6.403 * * * * [progress]: [ 16 / 23 ] simplifiying candidate # 6.403 * [simplify]: Simplifying (sqrt 3.9999999999999997e-32) 6.403 * * [simplify]: iters left: 1 (2 enodes) 6.405 * * [simplify]: Extracting #0: cost 1 inf + 0 6.405 * * [simplify]: Extracting #1: cost 3 inf + 0 6.405 * * [simplify]: Extracting #2: cost 2 inf + 1 6.405 * * [simplify]: Extracting #3: cost 0 inf + 83 6.405 * [simplify]: Simplified to (sqrt 3.9999999999999997e-32) 6.405 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) 6.405 * * * * [progress]: [ 17 / 23 ] simplifiying candidate # 6.405 * * * * [progress]: [ 18 / 23 ] simplifiying candidate # 6.405 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #real (real->posit16 (* (* t t) 3.9999999999999997e-32))))> 6.405 * * * * [progress]: [ 20 / 23 ] simplifiying candidate # 6.405 * * * * [progress]: [ 21 / 23 ] simplifiying candidate # 6.406 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.406 * * [simplify]: iters left: 3 (5 enodes) 6.409 * * [simplify]: iters left: 2 (21 enodes) 6.417 * * [simplify]: iters left: 1 (29 enodes) 6.427 * * [simplify]: Extracting #0: cost 1 inf + 0 6.427 * * [simplify]: Extracting #1: cost 6 inf + 0 6.427 * * [simplify]: Extracting #2: cost 6 inf + 43 6.427 * * [simplify]: Extracting #3: cost 0 inf + 333 6.427 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.427 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.427 * * * * [progress]: [ 22 / 23 ] simplifiying candidate # 6.428 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.428 * * [simplify]: iters left: 3 (5 enodes) 6.431 * * [simplify]: iters left: 2 (21 enodes) 6.438 * * [simplify]: iters left: 1 (29 enodes) 6.446 * * [simplify]: Extracting #0: cost 1 inf + 0 6.446 * * [simplify]: Extracting #1: cost 6 inf + 0 6.446 * * [simplify]: Extracting #2: cost 6 inf + 43 6.447 * * [simplify]: Extracting #3: cost 0 inf + 333 6.447 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.447 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.447 * * * * [progress]: [ 23 / 23 ] simplifiying candidate # 6.447 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.447 * * [simplify]: iters left: 3 (5 enodes) 6.451 * * [simplify]: iters left: 2 (21 enodes) 6.458 * * [simplify]: iters left: 1 (29 enodes) 6.466 * * [simplify]: Extracting #0: cost 1 inf + 0 6.466 * * [simplify]: Extracting #1: cost 6 inf + 0 6.466 * * [simplify]: Extracting #2: cost 6 inf + 43 6.466 * * [simplify]: Extracting #3: cost 0 inf + 333 6.466 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.466 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.466 * * * [progress]: adding candidates to table 6.563 * * [progress]: iteration 4 / 4 6.563 * * * [progress]: picking best candidate 6.570 * * * * [pick]: Picked # 6.570 * * * [progress]: localizing error 6.581 * * * [progress]: generating rewritten candidates 6.582 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 6.609 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.665 * * * [progress]: generating series expansions 6.665 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 6.665 * [backup-simplify]: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t) 6.665 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0 6.665 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 6.665 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.666 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.666 * [taylor]: Taking taylor expansion of t in t 6.666 * [backup-simplify]: Simplify 0 into 0 6.666 * [backup-simplify]: Simplify 1 into 1 6.666 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 6.666 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.666 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.666 * [taylor]: Taking taylor expansion of t in t 6.666 * [backup-simplify]: Simplify 0 into 0 6.666 * [backup-simplify]: Simplify 1 into 1 6.666 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0 6.666 * [backup-simplify]: Simplify 0 into 0 6.667 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32 6.667 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.668 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0 6.668 * [backup-simplify]: Simplify 0 into 0 6.669 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.669 * [backup-simplify]: Simplify 0 into 0 6.670 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.670 * [backup-simplify]: Simplify 0 into 0 6.670 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.670 * [backup-simplify]: Simplify 0 into 0 6.671 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.671 * [backup-simplify]: Simplify 0 into 0 6.672 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.673 * [backup-simplify]: Simplify 0 into 0 6.673 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t) 6.673 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t) 6.673 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0 6.673 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 6.673 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.673 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.673 * [taylor]: Taking taylor expansion of t in t 6.673 * [backup-simplify]: Simplify 0 into 0 6.673 * [backup-simplify]: Simplify 1 into 1 6.673 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.673 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 6.673 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.673 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.673 * [taylor]: Taking taylor expansion of t in t 6.673 * [backup-simplify]: Simplify 0 into 0 6.673 * [backup-simplify]: Simplify 1 into 1 6.674 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.674 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.674 * [backup-simplify]: Simplify 0 into 0 6.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.675 * [backup-simplify]: Simplify 0 into 0 6.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.675 * [backup-simplify]: Simplify 0 into 0 6.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.676 * [backup-simplify]: Simplify 0 into 0 6.677 * [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.677 * [backup-simplify]: Simplify 0 into 0 6.677 * [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.677 * [backup-simplify]: Simplify 0 into 0 6.678 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t) 6.678 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t) 6.678 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0 6.678 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 6.678 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 6.678 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 6.678 * [taylor]: Taking taylor expansion of t in t 6.678 * [backup-simplify]: Simplify 0 into 0 6.678 * [backup-simplify]: Simplify 1 into 1 6.678 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 6.678 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 6.678 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 6.678 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 6.678 * [taylor]: Taking taylor expansion of t in t 6.678 * [backup-simplify]: Simplify 0 into 0 6.678 * [backup-simplify]: Simplify 1 into 1 6.679 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 6.679 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 6.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0 6.679 * [backup-simplify]: Simplify 0 into 0 6.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.680 * [backup-simplify]: Simplify 0 into 0 6.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.680 * [backup-simplify]: Simplify 0 into 0 6.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.681 * [backup-simplify]: Simplify 0 into 0 6.682 * [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.682 * [backup-simplify]: Simplify 0 into 0 6.682 * [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.683 * [backup-simplify]: Simplify 0 into 0 6.683 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t) 6.683 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.683 * [backup-simplify]: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2)) 6.683 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.683 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.683 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.683 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.683 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.683 * [taylor]: Taking taylor expansion of t in t 6.683 * [backup-simplify]: Simplify 0 into 0 6.683 * [backup-simplify]: Simplify 1 into 1 6.683 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.683 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.683 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.683 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.683 * [taylor]: Taking taylor expansion of t in t 6.683 * [backup-simplify]: Simplify 0 into 0 6.683 * [backup-simplify]: Simplify 1 into 1 6.683 * [backup-simplify]: Simplify (* 1 1) into 1 6.684 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.684 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.684 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.684 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.685 * [backup-simplify]: Simplify 0 into 0 6.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.686 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.686 * [backup-simplify]: Simplify 0 into 0 6.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.687 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.687 * [backup-simplify]: Simplify 0 into 0 6.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.688 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.688 * [backup-simplify]: Simplify 0 into 0 6.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.690 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.690 * [backup-simplify]: Simplify 0 into 0 6.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.692 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.692 * [backup-simplify]: Simplify 0 into 0 6.692 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.692 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 6.692 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.692 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.692 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.692 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.692 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.692 * [taylor]: Taking taylor expansion of t in t 6.692 * [backup-simplify]: Simplify 0 into 0 6.692 * [backup-simplify]: Simplify 1 into 1 6.693 * [backup-simplify]: Simplify (* 1 1) into 1 6.693 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.693 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.693 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.693 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.693 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.693 * [taylor]: Taking taylor expansion of t in t 6.693 * [backup-simplify]: Simplify 0 into 0 6.693 * [backup-simplify]: Simplify 1 into 1 6.695 * [backup-simplify]: Simplify (* 1 1) into 1 6.695 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.695 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.696 * [backup-simplify]: Simplify 0 into 0 6.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.698 * [backup-simplify]: Simplify 0 into 0 6.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.699 * [backup-simplify]: Simplify 0 into 0 6.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.700 * [backup-simplify]: Simplify 0 into 0 6.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.702 * [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.702 * [backup-simplify]: Simplify 0 into 0 6.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.703 * [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.703 * [backup-simplify]: Simplify 0 into 0 6.703 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.704 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 6.704 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.704 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.704 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.704 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.704 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.704 * [taylor]: Taking taylor expansion of t in t 6.704 * [backup-simplify]: Simplify 0 into 0 6.704 * [backup-simplify]: Simplify 1 into 1 6.704 * [backup-simplify]: Simplify (* 1 1) into 1 6.704 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.704 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.704 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.704 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.704 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.704 * [taylor]: Taking taylor expansion of t in t 6.704 * [backup-simplify]: Simplify 0 into 0 6.704 * [backup-simplify]: Simplify 1 into 1 6.705 * [backup-simplify]: Simplify (* 1 1) into 1 6.705 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.705 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.705 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.706 * [backup-simplify]: Simplify 0 into 0 6.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.708 * [backup-simplify]: Simplify 0 into 0 6.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.710 * [backup-simplify]: Simplify 0 into 0 6.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.712 * [backup-simplify]: Simplify 0 into 0 6.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.715 * [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.715 * [backup-simplify]: Simplify 0 into 0 6.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.718 * [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.718 * [backup-simplify]: Simplify 0 into 0 6.718 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.718 * * * [progress]: simplifying candidates 6.718 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 6.718 * [simplify]: Simplifying (* (* 2e-16 t) 2e-16) 6.718 * * [simplify]: iters left: 4 (4 enodes) 6.721 * * [simplify]: iters left: 3 (14 enodes) 6.726 * * [simplify]: iters left: 2 (17 enodes) 6.729 * * [simplify]: iters left: 1 (19 enodes) 6.733 * * [simplify]: Extracting #0: cost 1 inf + 0 6.733 * * [simplify]: Extracting #1: cost 6 inf + 0 6.733 * * [simplify]: Extracting #2: cost 6 inf + 2 6.733 * * [simplify]: Extracting #3: cost 1 inf + 291 6.733 * * [simplify]: Extracting #4: cost 0 inf + 332 6.733 * [simplify]: Simplified to (* 2e-16 (* 2e-16 t)) 6.733 * [simplify]: Simplified (2 1 1) to (λ (t) (* (pow (* 2e-16 (* 2e-16 t)) 1) t)) 6.733 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 6.734 * [simplify]: Simplifying (* (* 2e-16 t) 2e-16) 6.734 * * [simplify]: iters left: 4 (4 enodes) 6.735 * * [simplify]: iters left: 3 (14 enodes) 6.738 * * [simplify]: iters left: 2 (17 enodes) 6.741 * * [simplify]: iters left: 1 (19 enodes) 6.744 * * [simplify]: Extracting #0: cost 1 inf + 0 6.744 * * [simplify]: Extracting #1: cost 6 inf + 0 6.744 * * [simplify]: Extracting #2: cost 6 inf + 2 6.744 * * [simplify]: Extracting #3: cost 1 inf + 291 6.744 * * [simplify]: Extracting #4: cost 0 inf + 332 6.744 * [simplify]: Simplified to (* 2e-16 (* 2e-16 t)) 6.744 * [simplify]: Simplified (2 1 1) to (λ (t) (* (pow (* 2e-16 (* 2e-16 t)) 1) t)) 6.744 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 6.744 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 6.745 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (log 2e-16)) 6.745 * * [simplify]: iters left: 5 (6 enodes) 6.747 * * [simplify]: iters left: 4 (20 enodes) 6.750 * * [simplify]: iters left: 3 (23 enodes) 6.754 * * [simplify]: iters left: 2 (25 enodes) 6.757 * * [simplify]: Extracting #0: cost 1 inf + 0 6.757 * * [simplify]: Extracting #1: cost 6 inf + 0 6.757 * * [simplify]: Extracting #2: cost 12 inf + 0 6.758 * * [simplify]: Extracting #3: cost 10 inf + 2 6.758 * * [simplify]: Extracting #4: cost 0 inf + 1316 6.758 * [simplify]: Simplified to (+ (+ (log 2e-16) (log 2e-16)) (log t)) 6.758 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (+ (+ (log 2e-16) (log 2e-16)) (log t))) t)) 6.758 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 6.758 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log 2e-16)) 6.758 * * [simplify]: iters left: 5 (6 enodes) 6.762 * * [simplify]: iters left: 4 (22 enodes) 6.768 * * [simplify]: iters left: 3 (27 enodes) 6.776 * * [simplify]: iters left: 2 (30 enodes) 6.786 * * [simplify]: Extracting #0: cost 1 inf + 0 6.786 * * [simplify]: Extracting #1: cost 6 inf + 0 6.786 * * [simplify]: Extracting #2: cost 13 inf + 0 6.786 * * [simplify]: Extracting #3: cost 12 inf + 2 6.786 * * [simplify]: Extracting #4: cost 2 inf + 926 6.787 * * [simplify]: Extracting #5: cost 0 inf + 1260 6.787 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log 2e-16)) 6.787 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (+ (log (* 2e-16 t)) (log 2e-16))) t)) 6.787 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 6.787 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 6.788 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 6.788 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) 6.788 * * [simplify]: iters left: 6 (8 enodes) 6.793 * * [simplify]: iters left: 5 (34 enodes) 6.808 * * [simplify]: iters left: 4 (88 enodes) 6.850 * * [simplify]: iters left: 3 (248 enodes) 7.018 * * [simplify]: Extracting #0: cost 1 inf + 0 7.019 * * [simplify]: Extracting #1: cost 40 inf + 0 7.019 * * [simplify]: Extracting #2: cost 117 inf + 207 7.021 * * [simplify]: Extracting #3: cost 72 inf + 5727 7.025 * * [simplify]: Extracting #4: cost 15 inf + 18723 7.029 * * [simplify]: Extracting #5: cost 0 inf + 23486 7.034 * [simplify]: Simplified to (* 2e-16 (* (* 2e-16 (* t 2e-16)) (* (* t 2e-16) (* 2e-16 (* t 2e-16))))) 7.034 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* 2e-16 (* (* 2e-16 (* t 2e-16)) (* (* t 2e-16) (* 2e-16 (* t 2e-16)))))) t)) 7.035 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 7.035 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) 7.035 * * [simplify]: iters left: 6 (8 enodes) 7.038 * * [simplify]: iters left: 5 (40 enodes) 7.052 * * [simplify]: iters left: 4 (117 enodes) 7.106 * * [simplify]: iters left: 3 (276 enodes) 7.257 * * [simplify]: Extracting #0: cost 1 inf + 0 7.257 * * [simplify]: Extracting #1: cost 49 inf + 0 7.258 * * [simplify]: Extracting #2: cost 113 inf + 3 7.258 * * [simplify]: Extracting #3: cost 96 inf + 2317 7.261 * * [simplify]: Extracting #4: cost 24 inf + 17747 7.266 * * [simplify]: Extracting #5: cost 0 inf + 22163 7.271 * * [simplify]: Extracting #6: cost 0 inf + 22123 7.276 * [simplify]: Simplified to (* (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))) (* 2e-16 (* 2e-16 t))) 7.276 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))) (* 2e-16 (* 2e-16 t)))) t)) 7.276 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 7.276 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 7.276 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 7.276 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 7.276 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 7.276 * [simplify]: Simplifying (cbrt 2e-16) 7.276 * * [simplify]: iters left: 1 (2 enodes) 7.278 * * [simplify]: Extracting #0: cost 1 inf + 0 7.278 * * [simplify]: Extracting #1: cost 3 inf + 0 7.278 * * [simplify]: Extracting #2: cost 2 inf + 1 7.278 * * [simplify]: Extracting #3: cost 0 inf + 163 7.278 * [simplify]: Simplified to (cbrt 2e-16) 7.278 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)) t)) 7.278 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 7.278 * [simplify]: Simplifying (sqrt 2e-16) 7.278 * * [simplify]: iters left: 1 (2 enodes) 7.279 * * [simplify]: Extracting #0: cost 1 inf + 0 7.279 * * [simplify]: Extracting #1: cost 3 inf + 0 7.279 * * [simplify]: Extracting #2: cost 2 inf + 1 7.279 * * [simplify]: Extracting #3: cost 0 inf + 83 7.279 * [simplify]: Simplified to (sqrt 2e-16) 7.279 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* (* (* 2e-16 t) (sqrt 2e-16)) (sqrt 2e-16)) t)) 7.279 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 7.279 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 7.279 * * * * [progress]: [ 18 / 47 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) 2e-16))) t))> 7.279 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 7.279 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 7.280 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 7.280 * * [simplify]: iters left: 6 (5 enodes) 7.281 * * [simplify]: iters left: 5 (19 enodes) 7.285 * * [simplify]: iters left: 4 (31 enodes) 7.291 * * [simplify]: iters left: 3 (39 enodes) 7.297 * * [simplify]: Extracting #0: cost 1 inf + 0 7.297 * * [simplify]: Extracting #1: cost 9 inf + 0 7.297 * * [simplify]: Extracting #2: cost 11 inf + 43 7.297 * * [simplify]: Extracting #3: cost 1 inf + 660 7.298 * * [simplify]: Extracting #4: cost 0 inf + 742 7.298 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 7.298 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 7.298 * * * * [progress]: [ 21 / 47 ] simplifiying candidate # 7.298 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 7.299 * * [simplify]: iters left: 6 (5 enodes) 7.302 * * [simplify]: iters left: 5 (19 enodes) 7.309 * * [simplify]: iters left: 4 (31 enodes) 7.320 * * [simplify]: iters left: 3 (39 enodes) 7.330 * * [simplify]: Extracting #0: cost 1 inf + 0 7.330 * * [simplify]: Extracting #1: cost 9 inf + 0 7.330 * * [simplify]: Extracting #2: cost 11 inf + 43 7.330 * * [simplify]: Extracting #3: cost 1 inf + 660 7.331 * * [simplify]: Extracting #4: cost 0 inf + 742 7.331 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 7.331 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 7.332 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 7.332 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 7.332 * * [simplify]: iters left: 6 (5 enodes) 7.335 * * [simplify]: iters left: 5 (19 enodes) 7.345 * * [simplify]: iters left: 4 (31 enodes) 7.356 * * [simplify]: iters left: 3 (39 enodes) 7.366 * * [simplify]: Extracting #0: cost 1 inf + 0 7.366 * * [simplify]: Extracting #1: cost 9 inf + 0 7.366 * * [simplify]: Extracting #2: cost 11 inf + 43 7.367 * * [simplify]: Extracting #3: cost 1 inf + 660 7.367 * * [simplify]: Extracting #4: cost 0 inf + 742 7.368 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 7.368 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 7.368 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 7.368 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 7.368 * [simplify]: Simplifying (+ (+ (+ (log 2e-16) (log t)) (log 2e-16)) (log t)) 7.368 * * [simplify]: iters left: 6 (7 enodes) 7.373 * * [simplify]: iters left: 5 (25 enodes) 7.381 * * [simplify]: iters left: 4 (34 enodes) 7.389 * * [simplify]: iters left: 3 (42 enodes) 7.395 * * [simplify]: iters left: 2 (45 enodes) 7.403 * * [simplify]: Extracting #0: cost 1 inf + 0 7.403 * * [simplify]: Extracting #1: cost 9 inf + 0 7.403 * * [simplify]: Extracting #2: cost 18 inf + 0 7.403 * * [simplify]: Extracting #3: cost 15 inf + 73 7.403 * * [simplify]: Extracting #4: cost 11 inf + 437 7.403 * * [simplify]: Extracting #5: cost 3 inf + 1871 7.404 * * [simplify]: Extracting #6: cost 0 inf + 2426 7.404 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 7.404 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 7.404 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 7.405 * [simplify]: Simplifying (+ (+ (log (* 2e-16 t)) (log 2e-16)) (log t)) 7.405 * * [simplify]: iters left: 6 (8 enodes) 7.407 * * [simplify]: iters left: 5 (29 enodes) 7.412 * * [simplify]: iters left: 4 (37 enodes) 7.418 * * [simplify]: iters left: 3 (47 enodes) 7.425 * * [simplify]: iters left: 2 (51 enodes) 7.436 * * [simplify]: Extracting #0: cost 1 inf + 0 7.436 * * [simplify]: Extracting #1: cost 9 inf + 0 7.436 * * [simplify]: Extracting #2: cost 19 inf + 0 7.436 * * [simplify]: Extracting #3: cost 18 inf + 2 7.437 * * [simplify]: Extracting #4: cost 7 inf + 1189 7.437 * * [simplify]: Extracting #5: cost 0 inf + 2230 7.438 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 7.438 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 7.438 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 7.439 * [simplify]: Simplifying (+ (log (* (* 2e-16 t) 2e-16)) (log t)) 7.439 * * [simplify]: iters left: 6 (7 enodes) 7.443 * * [simplify]: iters left: 5 (27 enodes) 7.453 * * [simplify]: iters left: 4 (40 enodes) 7.469 * * [simplify]: iters left: 3 (52 enodes) 7.484 * * [simplify]: iters left: 2 (63 enodes) 7.501 * * [simplify]: Extracting #0: cost 1 inf + 0 7.502 * * [simplify]: Extracting #1: cost 9 inf + 0 7.502 * * [simplify]: Extracting #2: cost 21 inf + 0 7.502 * * [simplify]: Extracting #3: cost 21 inf + 73 7.502 * * [simplify]: Extracting #4: cost 9 inf + 1142 7.503 * * [simplify]: Extracting #5: cost 0 inf + 2336 7.504 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 7.504 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 7.504 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 7.504 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 7.504 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 7.504 * [simplify]: Simplifying (* (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) 7.505 * * [simplify]: iters left: 6 (9 enodes) 7.510 * * [simplify]: iters left: 5 (41 enodes) 7.530 * * [simplify]: iters left: 4 (130 enodes) 7.622 * * [simplify]: Extracting #0: cost 1 inf + 0 7.622 * * [simplify]: Extracting #1: cost 34 inf + 0 7.623 * * [simplify]: Extracting #2: cost 109 inf + 327 7.624 * * [simplify]: Extracting #3: cost 69 inf + 6283 7.630 * * [simplify]: Extracting #4: cost 2 inf + 18304 7.636 * * [simplify]: Extracting #5: cost 0 inf + 18518 7.642 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 7.642 * [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)))))) 7.642 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 7.643 * [simplify]: Simplifying (* (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) 7.643 * * [simplify]: iters left: 6 (11 enodes) 7.646 * * [simplify]: iters left: 5 (54 enodes) 7.659 * * [simplify]: iters left: 4 (174 enodes) 7.760 * * [simplify]: Extracting #0: cost 1 inf + 0 7.761 * * [simplify]: Extracting #1: cost 47 inf + 0 7.761 * * [simplify]: Extracting #2: cost 123 inf + 2 7.762 * * [simplify]: Extracting #3: cost 100 inf + 3286 7.767 * * [simplify]: Extracting #4: cost 17 inf + 18012 7.773 * * [simplify]: Extracting #5: cost 0 inf + 20586 7.780 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 7.780 * [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)))))) 7.781 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 7.781 * [simplify]: Simplifying (* (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)) (* (* t t) t)) 7.781 * * [simplify]: iters left: 6 (9 enodes) 7.784 * * [simplify]: iters left: 5 (45 enodes) 7.803 * * [simplify]: iters left: 4 (145 enodes) 7.882 * * [simplify]: iters left: 3 (476 enodes) 8.493 * * [simplify]: Extracting #0: cost 1 inf + 0 8.493 * * [simplify]: Extracting #1: cost 61 inf + 0 8.495 * * [simplify]: Extracting #2: cost 183 inf + 3 8.501 * * [simplify]: Extracting #3: cost 112 inf + 14325 8.521 * * [simplify]: Extracting #4: cost 4 inf + 36148 8.543 * * [simplify]: Extracting #5: cost 0 inf + 36414 8.559 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 8.559 * [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)))))) 8.559 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 8.559 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 8.559 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 8.559 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 8.559 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 8.559 * [simplify]: Simplifying (cbrt t) 8.560 * * [simplify]: iters left: 1 (2 enodes) 8.560 * * [simplify]: Extracting #0: cost 1 inf + 0 8.560 * * [simplify]: Extracting #1: cost 3 inf + 0 8.560 * * [simplify]: Extracting #2: cost 2 inf + 1 8.560 * * [simplify]: Extracting #3: cost 0 inf + 163 8.560 * [simplify]: Simplified to (cbrt t) 8.560 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* (* 2e-16 t) 2e-16) (* (cbrt t) (cbrt t))) (cbrt t))) 8.560 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 8.560 * [simplify]: Simplifying (sqrt t) 8.560 * * [simplify]: iters left: 1 (2 enodes) 8.561 * * [simplify]: Extracting #0: cost 1 inf + 0 8.561 * * [simplify]: Extracting #1: cost 3 inf + 0 8.561 * * [simplify]: Extracting #2: cost 2 inf + 1 8.561 * * [simplify]: Extracting #3: cost 0 inf + 83 8.561 * [simplify]: Simplified to (sqrt t) 8.561 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* (* 2e-16 t) 2e-16) (sqrt t)) (sqrt t))) 8.561 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 8.561 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 8.561 * [simplify]: Simplifying (* 2e-16 t) 8.561 * * [simplify]: iters left: 2 (3 enodes) 8.563 * * [simplify]: iters left: 1 (10 enodes) 8.564 * * [simplify]: Extracting #0: cost 1 inf + 0 8.564 * * [simplify]: Extracting #1: cost 4 inf + 0 8.564 * * [simplify]: Extracting #2: cost 2 inf + 2 8.564 * * [simplify]: Extracting #3: cost 0 inf + 86 8.564 * [simplify]: Simplified to (* 2e-16 t) 8.564 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 8.565 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))> 8.565 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 8.565 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 8.565 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 8.565 * * [simplify]: iters left: 2 (3 enodes) 8.566 * * [simplify]: iters left: 1 (10 enodes) 8.567 * * [simplify]: Extracting #0: cost 1 inf + 0 8.567 * * [simplify]: Extracting #1: cost 4 inf + 0 8.567 * * [simplify]: Extracting #2: cost 2 inf + 2 8.568 * * [simplify]: Extracting #3: cost 0 inf + 86 8.568 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 8.568 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 8.568 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 8.568 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 8.568 * * [simplify]: iters left: 2 (3 enodes) 8.569 * * [simplify]: iters left: 1 (10 enodes) 8.570 * * [simplify]: Extracting #0: cost 1 inf + 0 8.570 * * [simplify]: Extracting #1: cost 4 inf + 0 8.571 * * [simplify]: Extracting #2: cost 2 inf + 2 8.571 * * [simplify]: Extracting #3: cost 0 inf + 86 8.571 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 8.571 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 8.571 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 8.571 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 8.571 * * [simplify]: iters left: 2 (3 enodes) 8.572 * * [simplify]: iters left: 1 (10 enodes) 8.574 * * [simplify]: Extracting #0: cost 1 inf + 0 8.574 * * [simplify]: Extracting #1: cost 4 inf + 0 8.574 * * [simplify]: Extracting #2: cost 2 inf + 2 8.574 * * [simplify]: Extracting #3: cost 0 inf + 86 8.574 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 8.574 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 8.574 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 8.574 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 8.574 * * [simplify]: iters left: 3 (5 enodes) 8.577 * * [simplify]: iters left: 2 (21 enodes) 8.584 * * [simplify]: iters left: 1 (29 enodes) 8.588 * * [simplify]: Extracting #0: cost 1 inf + 0 8.589 * * [simplify]: Extracting #1: cost 6 inf + 0 8.589 * * [simplify]: Extracting #2: cost 6 inf + 43 8.589 * * [simplify]: Extracting #3: cost 0 inf + 333 8.589 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 8.589 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 8.589 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 8.589 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 8.589 * * [simplify]: iters left: 3 (5 enodes) 8.591 * * [simplify]: iters left: 2 (21 enodes) 8.595 * * [simplify]: iters left: 1 (29 enodes) 8.600 * * [simplify]: Extracting #0: cost 1 inf + 0 8.600 * * [simplify]: Extracting #1: cost 6 inf + 0 8.600 * * [simplify]: Extracting #2: cost 6 inf + 43 8.600 * * [simplify]: Extracting #3: cost 0 inf + 333 8.600 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 8.600 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 8.600 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 8.600 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 8.600 * * [simplify]: iters left: 3 (5 enodes) 8.602 * * [simplify]: iters left: 2 (21 enodes) 8.606 * * [simplify]: iters left: 1 (29 enodes) 8.611 * * [simplify]: Extracting #0: cost 1 inf + 0 8.611 * * [simplify]: Extracting #1: cost 6 inf + 0 8.611 * * [simplify]: Extracting #2: cost 6 inf + 43 8.612 * * [simplify]: Extracting #3: cost 0 inf + 333 8.612 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 8.612 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 8.612 * * * [progress]: adding candidates to table 8.918 * [progress]: [Phase 3 of 3] Extracting. 8.918 * * [regime]: Finding splitpoints for: (# # # # # #) 8.919 * * * [regime-changes]: Trying 1 branch expressions: (t) 8.919 * * * * [regimes]: Trying to branch on t from (# # # # # #) 8.964 * * * [regime]: Found split indices: #