1552122151.197 * [progress]: [Phase 1 of 3] Setting up. 1552122151.197 * * * [progress]: [1/2] Preparing points 1552122151.275 * * * [progress]: [2/2] Setting up program. 1552122151.278 * [progress]: [Phase 2 of 3] Improving. 1552122151.278 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552122151.278 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 1552122151.279 * * [simplify]: iters left: 6 (11 enodes) 1552122151.293 * * [simplify]: iters left: 5 (51 enodes) 1552122151.306 * * [simplify]: iters left: 4 (112 enodes) 1552122151.350 * * [simplify]: iters left: 3 (250 enodes) 1552122151.440 * * [simplify]: iters left: 2 (490 enodes) 1552122151.971 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122151.971 * * [simplify]: Extracting #1: cost 84 inf + 0 1552122151.973 * * [simplify]: Extracting #2: cost 310 inf + 46 1552122151.977 * * [simplify]: Extracting #3: cost 309 inf + 4101 1552122151.992 * * [simplify]: Extracting #4: cost 114 inf + 33683 1552122152.012 * * [simplify]: Extracting #5: cost 10 inf + 51462 1552122152.028 * * [simplify]: Extracting #6: cost 0 inf + 53064 1552122152.058 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1552122152.058 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1552122152.068 * * [progress]: iteration 1 / 4 1552122152.068 * * * [progress]: picking best candidate 1552122152.070 * * * * [pick]: Picked # 1552122152.070 * * * [progress]: localizing error 1552122152.081 * * * [progress]: generating rewritten candidates 1552122152.081 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1552122152.090 * * * [progress]: generating series expansions 1552122152.090 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1552122152.090 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.090 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122152.090 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1552122152.090 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.090 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.090 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.090 * [taylor]: Taking taylor expansion of t in t 1552122152.090 * [backup-simplify]: Simplify 0 into 0 1552122152.090 * [backup-simplify]: Simplify 1 into 1 1552122152.090 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1552122152.090 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.090 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.090 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.090 * [taylor]: Taking taylor expansion of t in t 1552122152.090 * [backup-simplify]: Simplify 0 into 0 1552122152.090 * [backup-simplify]: Simplify 1 into 1 1552122152.091 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.092 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.092 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.092 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.093 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1552122152.093 * [backup-simplify]: Simplify 0 into 0 1552122152.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.095 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.095 * [backup-simplify]: Simplify 0 into 0 1552122152.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.097 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.097 * [backup-simplify]: Simplify 0 into 0 1552122152.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.099 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.099 * [backup-simplify]: Simplify 0 into 0 1552122152.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.102 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.102 * [backup-simplify]: Simplify 0 into 0 1552122152.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.105 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.105 * [backup-simplify]: Simplify 0 into 0 1552122152.105 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.105 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1552122152.106 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122152.106 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122152.106 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.106 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.106 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.106 * [taylor]: Taking taylor expansion of t in t 1552122152.106 * [backup-simplify]: Simplify 0 into 0 1552122152.106 * [backup-simplify]: Simplify 1 into 1 1552122152.106 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.107 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.107 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122152.107 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.107 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.107 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.107 * [taylor]: Taking taylor expansion of t in t 1552122152.107 * [backup-simplify]: Simplify 0 into 0 1552122152.107 * [backup-simplify]: Simplify 1 into 1 1552122152.107 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.108 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.108 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.108 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122152.109 * [backup-simplify]: Simplify 0 into 0 1552122152.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.111 * [backup-simplify]: Simplify 0 into 0 1552122152.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.114 * [backup-simplify]: Simplify 0 into 0 1552122152.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.116 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.116 * [backup-simplify]: Simplify 0 into 0 1552122152.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.123 * [backup-simplify]: Simplify 0 into 0 1552122152.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.126 * [backup-simplify]: Simplify 0 into 0 1552122152.126 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.126 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1552122152.126 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122152.126 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122152.126 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.126 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.126 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.126 * [taylor]: Taking taylor expansion of t in t 1552122152.126 * [backup-simplify]: Simplify 0 into 0 1552122152.126 * [backup-simplify]: Simplify 1 into 1 1552122152.127 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.127 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.128 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122152.128 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.128 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.128 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.128 * [taylor]: Taking taylor expansion of t in t 1552122152.128 * [backup-simplify]: Simplify 0 into 0 1552122152.128 * [backup-simplify]: Simplify 1 into 1 1552122152.128 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.128 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.129 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.129 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122152.130 * [backup-simplify]: Simplify 0 into 0 1552122152.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.132 * [backup-simplify]: Simplify 0 into 0 1552122152.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.134 * [backup-simplify]: Simplify 0 into 0 1552122152.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.136 * [backup-simplify]: Simplify 0 into 0 1552122152.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.139 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.139 * [backup-simplify]: Simplify 0 into 0 1552122152.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.141 * [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 1552122152.141 * [backup-simplify]: Simplify 0 into 0 1552122152.141 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.142 * * * [progress]: simplifying candidates 1552122152.142 * * * * [progress]: [ 1 / 20 ] simplifiying candidate # 1552122152.142 * [simplify]: Simplifying (* 2e-16 t) 1552122152.142 * * [simplify]: iters left: 2 (3 enodes) 1552122152.144 * * [simplify]: iters left: 1 (10 enodes) 1552122152.147 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.147 * * [simplify]: Extracting #1: cost 4 inf + 0 1552122152.147 * * [simplify]: Extracting #2: cost 2 inf + 2 1552122152.147 * * [simplify]: Extracting #3: cost 0 inf + 86 1552122152.147 * [simplify]: Simplified to (* 2e-16 t) 1552122152.147 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1552122152.147 * [simplify]: Simplifying (+ 1 1) 1552122152.147 * * [simplify]: iters left: 2 (2 enodes) 1552122152.150 * * [simplify]: iters left: 1 (9 enodes) 1552122152.152 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.153 * * [simplify]: Extracting #1: cost 0 inf + 1 1552122152.153 * [simplify]: Simplified to 2 1552122152.153 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1552122152.153 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 1552122152.153 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1552122152.153 * * [simplify]: iters left: 4 (4 enodes) 1552122152.155 * * [simplify]: iters left: 3 (17 enodes) 1552122152.162 * * [simplify]: iters left: 2 (29 enodes) 1552122152.166 * * [simplify]: iters left: 1 (37 enodes) 1552122152.171 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.171 * * [simplify]: Extracting #1: cost 9 inf + 0 1552122152.171 * * [simplify]: Extracting #2: cost 12 inf + 2 1552122152.171 * * [simplify]: Extracting #3: cost 1 inf + 660 1552122152.172 * * [simplify]: Extracting #4: cost 0 inf + 742 1552122152.172 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1552122152.172 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1552122152.172 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 1552122152.172 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 1552122152.172 * [simplify]: Simplifying (* 2e-16 t) 1552122152.172 * * [simplify]: iters left: 2 (3 enodes) 1552122152.173 * * [simplify]: iters left: 1 (10 enodes) 1552122152.175 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.175 * * [simplify]: Extracting #1: cost 4 inf + 0 1552122152.175 * * [simplify]: Extracting #2: cost 2 inf + 2 1552122152.175 * * [simplify]: Extracting #3: cost 0 inf + 86 1552122152.175 * [simplify]: Simplified to (* 2e-16 t) 1552122152.175 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1552122152.175 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 1552122152.175 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 1552122152.175 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1552122152.175 * * [simplify]: iters left: 5 (5 enodes) 1552122152.177 * * [simplify]: iters left: 4 (19 enodes) 1552122152.180 * * [simplify]: iters left: 3 (28 enodes) 1552122152.184 * * [simplify]: iters left: 2 (40 enodes) 1552122152.190 * * [simplify]: iters left: 1 (48 enodes) 1552122152.202 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.202 * * [simplify]: Extracting #1: cost 9 inf + 0 1552122152.202 * * [simplify]: Extracting #2: cost 19 inf + 0 1552122152.202 * * [simplify]: Extracting #3: cost 18 inf + 2 1552122152.203 * * [simplify]: Extracting #4: cost 8 inf + 1077 1552122152.203 * * [simplify]: Extracting #5: cost 0 inf + 2230 1552122152.204 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1552122152.204 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1552122152.204 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 1552122152.204 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 1552122152.204 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 1552122152.205 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1552122152.205 * * [simplify]: iters left: 6 (6 enodes) 1552122152.209 * * [simplify]: iters left: 5 (30 enodes) 1552122152.221 * * [simplify]: iters left: 4 (91 enodes) 1552122152.256 * * [simplify]: iters left: 3 (249 enodes) 1552122152.463 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.463 * * [simplify]: Extracting #1: cost 47 inf + 0 1552122152.463 * * [simplify]: Extracting #2: cost 119 inf + 44 1552122152.465 * * [simplify]: Extracting #3: cost 77 inf + 7771 1552122152.471 * * [simplify]: Extracting #4: cost 9 inf + 20905 1552122152.477 * * [simplify]: Extracting #5: cost 0 inf + 20511 1552122152.484 * * [simplify]: Extracting #6: cost 0 inf + 20431 1552122152.493 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 1552122152.493 * [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)))))) 1552122152.493 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 1552122152.493 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 1552122152.493 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 1552122152.493 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 1552122152.493 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 1552122152.493 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 1552122152.494 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 1552122152.494 * * * * [progress]: [ 17 / 20 ] simplifiying candidate # 1552122152.494 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 1552122152.494 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122152.494 * * [simplify]: iters left: 3 (5 enodes) 1552122152.497 * * [simplify]: iters left: 2 (17 enodes) 1552122152.502 * * [simplify]: iters left: 1 (21 enodes) 1552122152.512 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.512 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.512 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.513 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.513 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122152.513 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122152.513 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 1552122152.513 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122152.513 * * [simplify]: iters left: 3 (5 enodes) 1552122152.516 * * [simplify]: iters left: 2 (17 enodes) 1552122152.521 * * [simplify]: iters left: 1 (21 enodes) 1552122152.528 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.528 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.528 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.528 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.529 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122152.529 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122152.529 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 1552122152.529 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122152.529 * * [simplify]: iters left: 3 (5 enodes) 1552122152.532 * * [simplify]: iters left: 2 (17 enodes) 1552122152.537 * * [simplify]: iters left: 1 (21 enodes) 1552122152.544 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.544 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.544 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.544 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.544 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122152.544 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122152.545 * * * [progress]: adding candidates to table 1552122152.664 * * [progress]: iteration 2 / 4 1552122152.664 * * * [progress]: picking best candidate 1552122152.673 * * * * [pick]: Picked # 1552122152.673 * * * [progress]: localizing error 1552122152.678 * * * [progress]: generating rewritten candidates 1552122152.678 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1552122152.681 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1552122152.682 * * * [progress]: generating series expansions 1552122152.682 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1552122152.682 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.682 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122152.682 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1552122152.682 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.682 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.682 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.682 * [taylor]: Taking taylor expansion of t in t 1552122152.682 * [backup-simplify]: Simplify 0 into 0 1552122152.682 * [backup-simplify]: Simplify 1 into 1 1552122152.682 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1552122152.682 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.682 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.682 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.682 * [taylor]: Taking taylor expansion of t in t 1552122152.682 * [backup-simplify]: Simplify 0 into 0 1552122152.682 * [backup-simplify]: Simplify 1 into 1 1552122152.683 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.683 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.683 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.684 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.684 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1552122152.684 * [backup-simplify]: Simplify 0 into 0 1552122152.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.685 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.685 * [backup-simplify]: Simplify 0 into 0 1552122152.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.686 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.686 * [backup-simplify]: Simplify 0 into 0 1552122152.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.691 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.691 * [backup-simplify]: Simplify 0 into 0 1552122152.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.693 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.693 * [backup-simplify]: Simplify 0 into 0 1552122152.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.695 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.695 * [backup-simplify]: Simplify 0 into 0 1552122152.695 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.695 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1552122152.695 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122152.695 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122152.695 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.695 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.695 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.695 * [taylor]: Taking taylor expansion of t in t 1552122152.695 * [backup-simplify]: Simplify 0 into 0 1552122152.695 * [backup-simplify]: Simplify 1 into 1 1552122152.695 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.696 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.696 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122152.696 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.696 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.696 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.696 * [taylor]: Taking taylor expansion of t in t 1552122152.696 * [backup-simplify]: Simplify 0 into 0 1552122152.696 * [backup-simplify]: Simplify 1 into 1 1552122152.696 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.696 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.696 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.697 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122152.698 * [backup-simplify]: Simplify 0 into 0 1552122152.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.700 * [backup-simplify]: Simplify 0 into 0 1552122152.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.702 * [backup-simplify]: Simplify 0 into 0 1552122152.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.704 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.704 * [backup-simplify]: Simplify 0 into 0 1552122152.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.707 * [backup-simplify]: Simplify 0 into 0 1552122152.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.709 * [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 1552122152.709 * [backup-simplify]: Simplify 0 into 0 1552122152.709 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.709 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 1552122152.710 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122152.710 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122152.710 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.710 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.710 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.710 * [taylor]: Taking taylor expansion of t in t 1552122152.710 * [backup-simplify]: Simplify 0 into 0 1552122152.710 * [backup-simplify]: Simplify 1 into 1 1552122152.710 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.711 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.711 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122152.711 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.711 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.711 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.711 * [taylor]: Taking taylor expansion of t in t 1552122152.711 * [backup-simplify]: Simplify 0 into 0 1552122152.711 * [backup-simplify]: Simplify 1 into 1 1552122152.711 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.712 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.712 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.712 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122152.713 * [backup-simplify]: Simplify 0 into 0 1552122152.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.715 * [backup-simplify]: Simplify 0 into 0 1552122152.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.717 * [backup-simplify]: Simplify 0 into 0 1552122152.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.720 * [backup-simplify]: Simplify 0 into 0 1552122152.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.722 * [backup-simplify]: Simplify 0 into 0 1552122152.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.725 * [backup-simplify]: Simplify 0 into 0 1552122152.725 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.725 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1552122152.725 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 1552122152.725 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 1552122152.725 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1552122152.725 * [taylor]: Taking taylor expansion of 2e-16 in t 1552122152.725 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.725 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.725 * [taylor]: Taking taylor expansion of t in t 1552122152.725 * [backup-simplify]: Simplify 0 into 0 1552122152.725 * [backup-simplify]: Simplify 1 into 1 1552122152.725 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1552122152.725 * [taylor]: Taking taylor expansion of 2e-16 in t 1552122152.725 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.725 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.725 * [taylor]: Taking taylor expansion of t in t 1552122152.725 * [backup-simplify]: Simplify 0 into 0 1552122152.725 * [backup-simplify]: Simplify 1 into 1 1552122152.726 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.726 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16 1552122152.726 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.726 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.727 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 1552122152.727 * [backup-simplify]: Simplify 0 into 0 1552122152.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.728 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.728 * [backup-simplify]: Simplify 0 into 0 1552122152.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.729 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.729 * [backup-simplify]: Simplify 0 into 0 1552122152.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.730 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.730 * [backup-simplify]: Simplify 0 into 0 1552122152.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.732 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.732 * [backup-simplify]: Simplify 0 into 0 1552122152.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.734 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.734 * [backup-simplify]: Simplify 0 into 0 1552122152.734 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1552122152.734 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 1552122152.734 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1552122152.734 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1552122152.734 * [taylor]: Taking taylor expansion of 2e-16 in t 1552122152.734 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.734 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.734 * [taylor]: Taking taylor expansion of t in t 1552122152.734 * [backup-simplify]: Simplify 0 into 0 1552122152.734 * [backup-simplify]: Simplify 1 into 1 1552122152.734 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.734 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1552122152.734 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1552122152.734 * [taylor]: Taking taylor expansion of 2e-16 in t 1552122152.734 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.734 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.735 * [taylor]: Taking taylor expansion of t in t 1552122152.735 * [backup-simplify]: Simplify 0 into 0 1552122152.735 * [backup-simplify]: Simplify 1 into 1 1552122152.735 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.735 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1552122152.735 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.735 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1552122152.736 * [backup-simplify]: Simplify 0 into 0 1552122152.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.737 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.737 * [backup-simplify]: Simplify 0 into 0 1552122152.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.738 * [backup-simplify]: Simplify 0 into 0 1552122152.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.739 * [backup-simplify]: Simplify 0 into 0 1552122152.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.741 * [backup-simplify]: Simplify 0 into 0 1552122152.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.743 * [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 1552122152.743 * [backup-simplify]: Simplify 0 into 0 1552122152.743 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 1552122152.743 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 1552122152.743 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1552122152.743 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1552122152.743 * [taylor]: Taking taylor expansion of 2e-16 in t 1552122152.743 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.743 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.743 * [taylor]: Taking taylor expansion of t in t 1552122152.743 * [backup-simplify]: Simplify 0 into 0 1552122152.743 * [backup-simplify]: Simplify 1 into 1 1552122152.743 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.744 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1552122152.744 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1552122152.744 * [taylor]: Taking taylor expansion of 2e-16 in t 1552122152.744 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.744 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.744 * [taylor]: Taking taylor expansion of t in t 1552122152.744 * [backup-simplify]: Simplify 0 into 0 1552122152.744 * [backup-simplify]: Simplify 1 into 1 1552122152.744 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.744 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1552122152.744 * [backup-simplify]: Simplify 2e-16 into 2e-16 1552122152.745 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1552122152.745 * [backup-simplify]: Simplify 0 into 0 1552122152.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.746 * [backup-simplify]: Simplify 0 into 0 1552122152.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.747 * [backup-simplify]: Simplify 0 into 0 1552122152.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.749 * [backup-simplify]: Simplify 0 into 0 1552122152.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122152.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122152.750 * [backup-simplify]: Simplify 0 into 0 1552122152.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122152.751 * [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 1552122152.751 * [backup-simplify]: Simplify 0 into 0 1552122152.751 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 1552122152.752 * * * [progress]: simplifying candidates 1552122152.752 * * * * [progress]: [ 1 / 26 ] simplifiying candidate # 1552122152.752 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 1552122152.752 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 1552122152.752 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 1552122152.752 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 1552122152.752 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 1552122152.752 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 1552122152.752 * * * * [progress]: [ 8 / 26 ] simplifiying candidate # 1552122152.752 * [simplify]: Simplifying (* 2e-16 t) 1552122152.752 * * [simplify]: iters left: 2 (3 enodes) 1552122152.753 * * [simplify]: iters left: 1 (10 enodes) 1552122152.756 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.756 * * [simplify]: Extracting #1: cost 4 inf + 0 1552122152.756 * * [simplify]: Extracting #2: cost 2 inf + 2 1552122152.756 * * [simplify]: Extracting #3: cost 0 inf + 86 1552122152.756 * [simplify]: Simplified to (* 2e-16 t) 1552122152.757 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1552122152.757 * * * * [progress]: [ 9 / 26 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 1552122152.757 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 19 / 26 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 1552122152.757 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 1552122152.757 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 1552122152.758 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122152.758 * * [simplify]: iters left: 3 (5 enodes) 1552122152.761 * * [simplify]: iters left: 2 (17 enodes) 1552122152.766 * * [simplify]: iters left: 1 (21 enodes) 1552122152.773 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.773 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.773 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.773 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.773 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122152.773 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122152.773 * * * * [progress]: [ 22 / 26 ] simplifiying candidate # 1552122152.774 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122152.774 * * [simplify]: iters left: 3 (5 enodes) 1552122152.777 * * [simplify]: iters left: 2 (17 enodes) 1552122152.782 * * [simplify]: iters left: 1 (21 enodes) 1552122152.788 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.788 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.788 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.789 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.789 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122152.789 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122152.789 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 1552122152.789 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122152.789 * * [simplify]: iters left: 3 (5 enodes) 1552122152.793 * * [simplify]: iters left: 2 (17 enodes) 1552122152.798 * * [simplify]: iters left: 1 (21 enodes) 1552122152.805 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.805 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.805 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.805 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.806 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122152.806 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122152.806 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 1552122152.806 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1552122152.806 * * [simplify]: iters left: 3 (5 enodes) 1552122152.809 * * [simplify]: iters left: 2 (17 enodes) 1552122152.814 * * [simplify]: iters left: 1 (21 enodes) 1552122152.826 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.826 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.826 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.826 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.826 * [simplify]: Simplified to (* (* t t) 2e-16) 1552122152.826 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1552122152.826 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 1552122152.826 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1552122152.826 * * [simplify]: iters left: 3 (5 enodes) 1552122152.828 * * [simplify]: iters left: 2 (17 enodes) 1552122152.831 * * [simplify]: iters left: 1 (21 enodes) 1552122152.834 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.834 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.834 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.834 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.834 * [simplify]: Simplified to (* (* t t) 2e-16) 1552122152.834 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1552122152.834 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 1552122152.834 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1552122152.834 * * [simplify]: iters left: 3 (5 enodes) 1552122152.836 * * [simplify]: iters left: 2 (17 enodes) 1552122152.839 * * [simplify]: iters left: 1 (21 enodes) 1552122152.842 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122152.842 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122152.842 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122152.842 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122152.842 * [simplify]: Simplified to (* (* t t) 2e-16) 1552122152.842 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1552122152.843 * * * [progress]: adding candidates to table 1552122152.965 * * [progress]: iteration 3 / 4 1552122152.965 * * * [progress]: picking best candidate 1552122152.977 * * * * [pick]: Picked # 1552122152.977 * * * [progress]: localizing error 1552122152.982 * * * [progress]: generating rewritten candidates 1552122152.982 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1552122152.989 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1552122152.992 * * * [progress]: generating series expansions 1552122152.992 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1552122152.992 * [backup-simplify]: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2)) 1552122152.992 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122152.992 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1552122152.992 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.992 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.992 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.992 * [taylor]: Taking taylor expansion of t in t 1552122152.992 * [backup-simplify]: Simplify 0 into 0 1552122152.992 * [backup-simplify]: Simplify 1 into 1 1552122152.992 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1552122152.992 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122152.992 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.992 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122152.992 * [taylor]: Taking taylor expansion of t in t 1552122152.992 * [backup-simplify]: Simplify 0 into 0 1552122152.992 * [backup-simplify]: Simplify 1 into 1 1552122152.993 * [backup-simplify]: Simplify (* 1 1) into 1 1552122152.993 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122152.993 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122152.993 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122152.994 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1552122152.994 * [backup-simplify]: Simplify 0 into 0 1552122152.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.995 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1552122152.995 * [backup-simplify]: Simplify 0 into 0 1552122152.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.996 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122152.996 * [backup-simplify]: Simplify 0 into 0 1552122152.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.998 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122152.998 * [backup-simplify]: Simplify 0 into 0 1552122153.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122153.001 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122153.001 * [backup-simplify]: Simplify 0 into 0 1552122153.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122153.005 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122153.005 * [backup-simplify]: Simplify 0 into 0 1552122153.005 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122153.005 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 1552122153.005 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122153.005 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122153.005 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.005 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.005 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.005 * [taylor]: Taking taylor expansion of t in t 1552122153.005 * [backup-simplify]: Simplify 0 into 0 1552122153.005 * [backup-simplify]: Simplify 1 into 1 1552122153.006 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.006 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.006 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122153.006 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.006 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.006 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.006 * [taylor]: Taking taylor expansion of t in t 1552122153.006 * [backup-simplify]: Simplify 0 into 0 1552122153.006 * [backup-simplify]: Simplify 1 into 1 1552122153.007 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.007 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.007 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.008 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122153.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122153.009 * [backup-simplify]: Simplify 0 into 0 1552122153.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122153.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.011 * [backup-simplify]: Simplify 0 into 0 1552122153.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122153.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.013 * [backup-simplify]: Simplify 0 into 0 1552122153.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122153.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.015 * [backup-simplify]: Simplify 0 into 0 1552122153.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122153.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.018 * [backup-simplify]: Simplify 0 into 0 1552122153.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122153.020 * [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 1552122153.020 * [backup-simplify]: Simplify 0 into 0 1552122153.020 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122153.020 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1552122153.021 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122153.021 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122153.021 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.021 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.021 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.021 * [taylor]: Taking taylor expansion of t in t 1552122153.021 * [backup-simplify]: Simplify 0 into 0 1552122153.021 * [backup-simplify]: Simplify 1 into 1 1552122153.021 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.022 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.022 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122153.022 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.022 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.022 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.022 * [taylor]: Taking taylor expansion of t in t 1552122153.022 * [backup-simplify]: Simplify 0 into 0 1552122153.022 * [backup-simplify]: Simplify 1 into 1 1552122153.022 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.023 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.023 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122153.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122153.024 * [backup-simplify]: Simplify 0 into 0 1552122153.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122153.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.026 * [backup-simplify]: Simplify 0 into 0 1552122153.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122153.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.028 * [backup-simplify]: Simplify 0 into 0 1552122153.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122153.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.031 * [backup-simplify]: Simplify 0 into 0 1552122153.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122153.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.033 * [backup-simplify]: Simplify 0 into 0 1552122153.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122153.036 * [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 1552122153.036 * [backup-simplify]: Simplify 0 into 0 1552122153.036 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122153.036 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1552122153.036 * [backup-simplify]: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t) 1552122153.036 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0 1552122153.036 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1552122153.036 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.036 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.036 * [taylor]: Taking taylor expansion of t in t 1552122153.036 * [backup-simplify]: Simplify 0 into 0 1552122153.036 * [backup-simplify]: Simplify 1 into 1 1552122153.036 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1552122153.036 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.036 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.036 * [taylor]: Taking taylor expansion of t in t 1552122153.036 * [backup-simplify]: Simplify 0 into 0 1552122153.036 * [backup-simplify]: Simplify 1 into 1 1552122153.037 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0 1552122153.037 * [backup-simplify]: Simplify 0 into 0 1552122153.038 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32 1552122153.038 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.039 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0 1552122153.039 * [backup-simplify]: Simplify 0 into 0 1552122153.041 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552122153.041 * [backup-simplify]: Simplify 0 into 0 1552122153.042 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552122153.042 * [backup-simplify]: Simplify 0 into 0 1552122153.044 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1552122153.044 * [backup-simplify]: Simplify 0 into 0 1552122153.045 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1552122153.045 * [backup-simplify]: Simplify 0 into 0 1552122153.047 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1552122153.047 * [backup-simplify]: Simplify 0 into 0 1552122153.047 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t) 1552122153.048 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t) 1552122153.048 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0 1552122153.048 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1552122153.048 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.048 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.048 * [taylor]: Taking taylor expansion of t in t 1552122153.048 * [backup-simplify]: Simplify 0 into 0 1552122153.048 * [backup-simplify]: Simplify 1 into 1 1552122153.048 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.048 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1552122153.048 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.048 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.048 * [taylor]: Taking taylor expansion of t in t 1552122153.048 * [backup-simplify]: Simplify 0 into 0 1552122153.049 * [backup-simplify]: Simplify 1 into 1 1552122153.049 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.049 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122153.050 * [backup-simplify]: Simplify 0 into 0 1552122153.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.051 * [backup-simplify]: Simplify 0 into 0 1552122153.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.052 * [backup-simplify]: Simplify 0 into 0 1552122153.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.053 * [backup-simplify]: Simplify 0 into 0 1552122153.054 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.054 * [backup-simplify]: Simplify 0 into 0 1552122153.055 * [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 1552122153.055 * [backup-simplify]: Simplify 0 into 0 1552122153.056 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t) 1552122153.056 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t) 1552122153.056 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0 1552122153.056 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1552122153.056 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 1552122153.056 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1552122153.056 * [taylor]: Taking taylor expansion of t in t 1552122153.056 * [backup-simplify]: Simplify 0 into 0 1552122153.056 * [backup-simplify]: Simplify 1 into 1 1552122153.056 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1552122153.056 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1552122153.056 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 1552122153.057 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1552122153.057 * [taylor]: Taking taylor expansion of t in t 1552122153.057 * [backup-simplify]: Simplify 0 into 0 1552122153.057 * [backup-simplify]: Simplify 1 into 1 1552122153.057 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1552122153.057 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1552122153.058 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0 1552122153.058 * [backup-simplify]: Simplify 0 into 0 1552122153.059 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.059 * [backup-simplify]: Simplify 0 into 0 1552122153.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.060 * [backup-simplify]: Simplify 0 into 0 1552122153.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.061 * [backup-simplify]: Simplify 0 into 0 1552122153.062 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.063 * [backup-simplify]: Simplify 0 into 0 1552122153.064 * [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 1552122153.064 * [backup-simplify]: Simplify 0 into 0 1552122153.064 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t) 1552122153.064 * * * [progress]: simplifying candidates 1552122153.064 * * * * [progress]: [ 1 / 26 ] simplifiying candidate # 1552122153.064 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 1552122153.064 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 1552122153.064 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 1552122153.064 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 1552122153.064 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 1552122153.064 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 1552122153.064 * * * * [progress]: [ 8 / 26 ] simplifiying candidate # 1552122153.065 * [simplify]: Simplifying (* 2e-16 t) 1552122153.065 * * [simplify]: iters left: 2 (3 enodes) 1552122153.066 * * [simplify]: iters left: 1 (10 enodes) 1552122153.067 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.067 * * [simplify]: Extracting #1: cost 4 inf + 0 1552122153.068 * * [simplify]: Extracting #2: cost 2 inf + 2 1552122153.068 * * [simplify]: Extracting #3: cost 0 inf + 86 1552122153.068 * [simplify]: Simplified to (* 2e-16 t) 1552122153.068 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1552122153.068 * * * * [progress]: [ 9 / 26 ] simplifiying candidate #real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))> 1552122153.068 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 19 / 26 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) 2e-16))) t))> 1552122153.068 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 1552122153.068 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 1552122153.068 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122153.068 * * [simplify]: iters left: 3 (5 enodes) 1552122153.070 * * [simplify]: iters left: 2 (17 enodes) 1552122153.073 * * [simplify]: iters left: 1 (21 enodes) 1552122153.076 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.077 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122153.077 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122153.077 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122153.077 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122153.077 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122153.077 * * * * [progress]: [ 22 / 26 ] simplifiying candidate # 1552122153.077 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122153.077 * * [simplify]: iters left: 3 (5 enodes) 1552122153.082 * * [simplify]: iters left: 2 (17 enodes) 1552122153.085 * * [simplify]: iters left: 1 (21 enodes) 1552122153.089 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.089 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122153.089 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122153.089 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122153.089 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122153.089 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122153.089 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 1552122153.089 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122153.089 * * [simplify]: iters left: 3 (5 enodes) 1552122153.091 * * [simplify]: iters left: 2 (17 enodes) 1552122153.094 * * [simplify]: iters left: 1 (21 enodes) 1552122153.098 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.098 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122153.098 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122153.098 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122153.098 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122153.098 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122153.098 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 1552122153.099 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 1552122153.099 * * [simplify]: iters left: 2 (3 enodes) 1552122153.101 * * [simplify]: iters left: 1 (10 enodes) 1552122153.104 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.104 * * [simplify]: Extracting #1: cost 4 inf + 0 1552122153.104 * * [simplify]: Extracting #2: cost 2 inf + 2 1552122153.104 * * [simplify]: Extracting #3: cost 0 inf + 86 1552122153.104 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 1552122153.104 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1552122153.104 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 1552122153.105 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 1552122153.105 * * [simplify]: iters left: 2 (3 enodes) 1552122153.106 * * [simplify]: iters left: 1 (10 enodes) 1552122153.109 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.110 * * [simplify]: Extracting #1: cost 4 inf + 0 1552122153.110 * * [simplify]: Extracting #2: cost 2 inf + 2 1552122153.110 * * [simplify]: Extracting #3: cost 0 inf + 86 1552122153.110 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 1552122153.110 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1552122153.110 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 1552122153.110 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 1552122153.110 * * [simplify]: iters left: 2 (3 enodes) 1552122153.112 * * [simplify]: iters left: 1 (10 enodes) 1552122153.115 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.115 * * [simplify]: Extracting #1: cost 4 inf + 0 1552122153.115 * * [simplify]: Extracting #2: cost 2 inf + 2 1552122153.115 * * [simplify]: Extracting #3: cost 0 inf + 86 1552122153.116 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 1552122153.116 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1552122153.116 * * * [progress]: adding candidates to table 1552122153.282 * * [progress]: iteration 4 / 4 1552122153.282 * * * [progress]: picking best candidate 1552122153.298 * * * * [pick]: Picked # 1552122153.299 * * * [progress]: localizing error 1552122153.304 * * * [progress]: generating rewritten candidates 1552122153.304 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1552122153.307 * * * [progress]: generating series expansions 1552122153.307 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1552122153.307 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) t) into (* 3.9999999999999997e-32 (pow t 2)) 1552122153.307 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122153.307 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1552122153.307 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.307 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.307 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.307 * [taylor]: Taking taylor expansion of t in t 1552122153.307 * [backup-simplify]: Simplify 0 into 0 1552122153.307 * [backup-simplify]: Simplify 1 into 1 1552122153.307 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1552122153.307 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.307 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.307 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.307 * [taylor]: Taking taylor expansion of t in t 1552122153.307 * [backup-simplify]: Simplify 0 into 0 1552122153.307 * [backup-simplify]: Simplify 1 into 1 1552122153.308 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.308 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.308 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.308 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122153.309 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1552122153.309 * [backup-simplify]: Simplify 0 into 0 1552122153.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122153.310 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1552122153.310 * [backup-simplify]: Simplify 0 into 0 1552122153.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122153.311 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122153.311 * [backup-simplify]: Simplify 0 into 0 1552122153.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122153.313 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122153.313 * [backup-simplify]: Simplify 0 into 0 1552122153.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122153.314 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122153.314 * [backup-simplify]: Simplify 0 into 0 1552122153.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122153.316 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122153.316 * [backup-simplify]: Simplify 0 into 0 1552122153.316 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122153.316 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 1552122153.316 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122153.316 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122153.316 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.316 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.316 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.316 * [taylor]: Taking taylor expansion of t in t 1552122153.316 * [backup-simplify]: Simplify 0 into 0 1552122153.316 * [backup-simplify]: Simplify 1 into 1 1552122153.317 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.317 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.317 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122153.317 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.317 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.317 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.317 * [taylor]: Taking taylor expansion of t in t 1552122153.317 * [backup-simplify]: Simplify 0 into 0 1552122153.317 * [backup-simplify]: Simplify 1 into 1 1552122153.317 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.317 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.318 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.318 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122153.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122153.318 * [backup-simplify]: Simplify 0 into 0 1552122153.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122153.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.319 * [backup-simplify]: Simplify 0 into 0 1552122153.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122153.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.321 * [backup-simplify]: Simplify 0 into 0 1552122153.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122153.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.322 * [backup-simplify]: Simplify 0 into 0 1552122153.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122153.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.323 * [backup-simplify]: Simplify 0 into 0 1552122153.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122153.325 * [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 1552122153.325 * [backup-simplify]: Simplify 0 into 0 1552122153.325 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122153.325 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1552122153.325 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1552122153.325 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122153.325 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.325 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.325 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.325 * [taylor]: Taking taylor expansion of t in t 1552122153.325 * [backup-simplify]: Simplify 0 into 0 1552122153.325 * [backup-simplify]: Simplify 1 into 1 1552122153.326 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.326 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.326 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1552122153.326 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1552122153.326 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.326 * [taylor]: Taking taylor expansion of (pow t 2) in t 1552122153.326 * [taylor]: Taking taylor expansion of t in t 1552122153.326 * [backup-simplify]: Simplify 0 into 0 1552122153.326 * [backup-simplify]: Simplify 1 into 1 1552122153.327 * [backup-simplify]: Simplify (* 1 1) into 1 1552122153.327 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1552122153.327 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1552122153.328 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552122153.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1552122153.329 * [backup-simplify]: Simplify 0 into 0 1552122153.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552122153.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.331 * [backup-simplify]: Simplify 0 into 0 1552122153.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552122153.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.333 * [backup-simplify]: Simplify 0 into 0 1552122153.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552122153.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.335 * [backup-simplify]: Simplify 0 into 0 1552122153.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552122153.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552122153.338 * [backup-simplify]: Simplify 0 into 0 1552122153.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552122153.340 * [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 1552122153.341 * [backup-simplify]: Simplify 0 into 0 1552122153.341 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1552122153.341 * * * [progress]: simplifying candidates 1552122153.341 * * * * [progress]: [ 1 / 13 ] simplifiying candidate # 1552122153.341 * * * * [progress]: [ 2 / 13 ] simplifiying candidate # 1552122153.341 * * * * [progress]: [ 3 / 13 ] simplifiying candidate # 1552122153.341 * * * * [progress]: [ 4 / 13 ] simplifiying candidate # 1552122153.341 * * * * [progress]: [ 5 / 13 ] simplifiying candidate # 1552122153.341 * * * * [progress]: [ 6 / 13 ] simplifiying candidate # 1552122153.341 * * * * [progress]: [ 7 / 13 ] simplifiying candidate # 1552122153.341 * * * * [progress]: [ 8 / 13 ] simplifiying candidate # 1552122153.341 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #real (real->posit16 (* (* 3.9999999999999997e-32 t) t))))> 1552122153.341 * * * * [progress]: [ 10 / 13 ] simplifiying candidate # 1552122153.342 * * * * [progress]: [ 11 / 13 ] simplifiying candidate # 1552122153.342 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122153.342 * * [simplify]: iters left: 3 (5 enodes) 1552122153.345 * * [simplify]: iters left: 2 (17 enodes) 1552122153.351 * * [simplify]: iters left: 1 (21 enodes) 1552122153.357 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.357 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122153.357 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122153.358 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122153.358 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122153.358 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122153.358 * * * * [progress]: [ 12 / 13 ] simplifiying candidate # 1552122153.358 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122153.358 * * [simplify]: iters left: 3 (5 enodes) 1552122153.361 * * [simplify]: iters left: 2 (17 enodes) 1552122153.367 * * [simplify]: iters left: 1 (21 enodes) 1552122153.373 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.373 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122153.373 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122153.374 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122153.374 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122153.374 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122153.374 * * * * [progress]: [ 13 / 13 ] simplifiying candidate # 1552122153.374 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1552122153.374 * * [simplify]: iters left: 3 (5 enodes) 1552122153.377 * * [simplify]: iters left: 2 (17 enodes) 1552122153.382 * * [simplify]: iters left: 1 (21 enodes) 1552122153.389 * * [simplify]: Extracting #0: cost 1 inf + 0 1552122153.389 * * [simplify]: Extracting #1: cost 6 inf + 0 1552122153.389 * * [simplify]: Extracting #2: cost 7 inf + 2 1552122153.389 * * [simplify]: Extracting #3: cost 0 inf + 333 1552122153.389 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1552122153.389 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1552122153.389 * * * [progress]: adding candidates to table 1552122153.451 * [progress]: [Phase 3 of 3] Extracting. 1552122153.451 * * [regime]: Finding splitpoints for: (# # # # # #) 1552122153.452 * * * [regime-changes]: Trying 1 branch expressions: (t) 1552122153.452 * * * * [regimes]: Trying to branch on t from (# # # # # #) 1552122153.478 * * * [regime]: Found split indices: #