0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.057 * * * [progress]: [2/2] Setting up program. 0.059 * [progress]: [Phase 2 of 3] Improving. 0.059 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.059 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 0.059 * * [simplify]: iters left: 6 (11 enodes) 0.063 * * [simplify]: iters left: 5 (51 enodes) 0.074 * * [simplify]: iters left: 4 (112 enodes) 0.114 * * [simplify]: iters left: 3 (254 enodes) 0.220 * * [simplify]: iters left: 2 (499 enodes) 0.841 * * [simplify]: Extracting #0: cost 1 inf + 0 0.841 * * [simplify]: Extracting #1: cost 68 inf + 0 0.843 * * [simplify]: Extracting #2: cost 304 inf + 128 0.848 * * [simplify]: Extracting #3: cost 306 inf + 3757 0.871 * * [simplify]: Extracting #4: cost 110 inf + 35431 0.902 * * [simplify]: Extracting #5: cost 6 inf + 50420 0.933 * * [simplify]: Extracting #6: cost 0 inf + 50764 0.965 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 0.965 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 0.971 * * [progress]: iteration 1 / 4 0.971 * * * [progress]: picking best candidate 0.973 * * * * [pick]: Picked # 0.973 * * * [progress]: localizing error 0.978 * * * [progress]: generating rewritten candidates 0.978 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.001 * * * [progress]: generating series expansions 1.001 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.001 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1.001 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.001 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1.001 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.001 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.001 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.001 * [taylor]: Taking taylor expansion of t in t 1.001 * [backup-simplify]: Simplify 0 into 0 1.001 * [backup-simplify]: Simplify 1 into 1 1.001 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1.001 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.001 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.001 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.001 * [taylor]: Taking taylor expansion of t in t 1.001 * [backup-simplify]: Simplify 0 into 0 1.001 * [backup-simplify]: Simplify 1 into 1 1.002 * [backup-simplify]: Simplify (* 1 1) into 1 1.002 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.002 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.002 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.003 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1.003 * [backup-simplify]: Simplify 0 into 0 1.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.004 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1.004 * [backup-simplify]: Simplify 0 into 0 1.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.005 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.005 * [backup-simplify]: Simplify 0 into 0 1.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.007 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.007 * [backup-simplify]: Simplify 0 into 0 1.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.008 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.009 * [backup-simplify]: Simplify 0 into 0 1.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.010 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.010 * [backup-simplify]: Simplify 0 into 0 1.010 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.010 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1.010 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.011 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.011 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.011 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.011 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.011 * [taylor]: Taking taylor expansion of t in t 1.011 * [backup-simplify]: Simplify 0 into 0 1.011 * [backup-simplify]: Simplify 1 into 1 1.011 * [backup-simplify]: Simplify (* 1 1) into 1 1.011 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.011 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.011 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.011 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.011 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.011 * [taylor]: Taking taylor expansion of t in t 1.011 * [backup-simplify]: Simplify 0 into 0 1.011 * [backup-simplify]: Simplify 1 into 1 1.011 * [backup-simplify]: Simplify (* 1 1) into 1 1.012 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.012 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.013 * [backup-simplify]: Simplify 0 into 0 1.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.014 * [backup-simplify]: Simplify 0 into 0 1.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.015 * [backup-simplify]: Simplify 0 into 0 1.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.016 * [backup-simplify]: Simplify 0 into 0 1.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.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 1.018 * [backup-simplify]: Simplify 0 into 0 1.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.019 * [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.019 * [backup-simplify]: Simplify 0 into 0 1.019 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.019 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1.019 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1.019 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.019 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.019 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.019 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.019 * [taylor]: Taking taylor expansion of t in t 1.019 * [backup-simplify]: Simplify 0 into 0 1.020 * [backup-simplify]: Simplify 1 into 1 1.020 * [backup-simplify]: Simplify (* 1 1) into 1 1.020 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.020 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1.020 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1.020 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.020 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.020 * [taylor]: Taking taylor expansion of t in t 1.020 * [backup-simplify]: Simplify 0 into 0 1.020 * [backup-simplify]: Simplify 1 into 1 1.020 * [backup-simplify]: Simplify (* 1 1) into 1 1.021 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1.021 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1.022 * [backup-simplify]: Simplify 0 into 0 1.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.023 * [backup-simplify]: Simplify 0 into 0 1.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.024 * [backup-simplify]: Simplify 0 into 0 1.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.025 * [backup-simplify]: Simplify 0 into 0 1.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.027 * [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.027 * [backup-simplify]: Simplify 0 into 0 1.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.028 * [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.028 * [backup-simplify]: Simplify 0 into 0 1.028 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1.028 * * * [progress]: simplifying candidates 1.028 * * * * [progress]: [ 1 / 38 ] simplifiying candidate # 1.029 * [simplify]: Simplifying (* 2e-16 t) 1.029 * * [simplify]: iters left: 2 (3 enodes) 1.030 * * [simplify]: iters left: 1 (10 enodes) 1.031 * * [simplify]: Extracting #0: cost 1 inf + 0 1.031 * * [simplify]: Extracting #1: cost 4 inf + 0 1.031 * * [simplify]: Extracting #2: cost 2 inf + 2 1.031 * * [simplify]: Extracting #3: cost 0 inf + 86 1.031 * [simplify]: Simplified to (* 2e-16 t) 1.031 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.031 * [simplify]: Simplifying (+ 1 1) 1.031 * * [simplify]: iters left: 2 (2 enodes) 1.033 * * [simplify]: iters left: 1 (9 enodes) 1.036 * * [simplify]: Extracting #0: cost 1 inf + 0 1.036 * * [simplify]: Extracting #1: cost 0 inf + 1 1.036 * [simplify]: Simplified to 2 1.036 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.036 * * * * [progress]: [ 2 / 38 ] simplifiying candidate # 1.036 * [simplify]: Simplifying (* 2e-16 t) 1.036 * * [simplify]: iters left: 2 (3 enodes) 1.038 * * [simplify]: iters left: 1 (10 enodes) 1.041 * * [simplify]: Extracting #0: cost 1 inf + 0 1.042 * * [simplify]: Extracting #1: cost 4 inf + 0 1.042 * * [simplify]: Extracting #2: cost 2 inf + 2 1.042 * * [simplify]: Extracting #3: cost 0 inf + 86 1.042 * [simplify]: Simplified to (* 2e-16 t) 1.042 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.042 * [simplify]: Simplifying (+ 1 1) 1.042 * * [simplify]: iters left: 2 (2 enodes) 1.044 * * [simplify]: iters left: 1 (9 enodes) 1.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1.047 * * [simplify]: Extracting #1: cost 0 inf + 1 1.047 * [simplify]: Simplified to 2 1.047 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.048 * * * * [progress]: [ 3 / 38 ] simplifiying candidate # 1.048 * [simplify]: Simplifying (* 2e-16 t) 1.048 * * [simplify]: iters left: 2 (3 enodes) 1.050 * * [simplify]: iters left: 1 (10 enodes) 1.053 * * [simplify]: Extracting #0: cost 1 inf + 0 1.053 * * [simplify]: Extracting #1: cost 4 inf + 0 1.053 * * [simplify]: Extracting #2: cost 2 inf + 2 1.053 * * [simplify]: Extracting #3: cost 0 inf + 86 1.053 * [simplify]: Simplified to (* 2e-16 t) 1.053 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.053 * [simplify]: Simplifying (+ 1 1) 1.053 * * [simplify]: iters left: 2 (2 enodes) 1.056 * * [simplify]: iters left: 1 (9 enodes) 1.059 * * [simplify]: Extracting #0: cost 1 inf + 0 1.059 * * [simplify]: Extracting #1: cost 0 inf + 1 1.059 * [simplify]: Simplified to 2 1.060 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.060 * * * * [progress]: [ 4 / 38 ] simplifiying candidate # 1.060 * [simplify]: Simplifying (* 2e-16 t) 1.060 * * [simplify]: iters left: 2 (3 enodes) 1.062 * * [simplify]: iters left: 1 (10 enodes) 1.065 * * [simplify]: Extracting #0: cost 1 inf + 0 1.065 * * [simplify]: Extracting #1: cost 4 inf + 0 1.065 * * [simplify]: Extracting #2: cost 2 inf + 2 1.065 * * [simplify]: Extracting #3: cost 0 inf + 86 1.065 * [simplify]: Simplified to (* 2e-16 t) 1.065 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.066 * [simplify]: Simplifying (+ 1 1) 1.066 * * [simplify]: iters left: 2 (2 enodes) 1.068 * * [simplify]: iters left: 1 (9 enodes) 1.071 * * [simplify]: Extracting #0: cost 1 inf + 0 1.071 * * [simplify]: Extracting #1: cost 0 inf + 1 1.071 * [simplify]: Simplified to 2 1.071 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1.071 * * * * [progress]: [ 5 / 38 ] simplifiying candidate # 1.072 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.072 * * [simplify]: iters left: 4 (4 enodes) 1.074 * * [simplify]: iters left: 3 (20 enodes) 1.077 * * [simplify]: iters left: 2 (39 enodes) 1.086 * * [simplify]: iters left: 1 (40 enodes) 1.092 * * [simplify]: Extracting #0: cost 1 inf + 0 1.092 * * [simplify]: Extracting #1: cost 9 inf + 0 1.092 * * [simplify]: Extracting #2: cost 11 inf + 43 1.092 * * [simplify]: Extracting #3: cost 1 inf + 660 1.092 * * [simplify]: Extracting #4: cost 0 inf + 742 1.093 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.093 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.093 * * * * [progress]: [ 6 / 38 ] simplifiying candidate # 1.093 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.093 * * [simplify]: iters left: 4 (4 enodes) 1.095 * * [simplify]: iters left: 3 (20 enodes) 1.098 * * [simplify]: iters left: 2 (39 enodes) 1.105 * * [simplify]: iters left: 1 (40 enodes) 1.111 * * [simplify]: Extracting #0: cost 1 inf + 0 1.111 * * [simplify]: Extracting #1: cost 9 inf + 0 1.111 * * [simplify]: Extracting #2: cost 11 inf + 43 1.112 * * [simplify]: Extracting #3: cost 1 inf + 660 1.112 * * [simplify]: Extracting #4: cost 0 inf + 742 1.113 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.113 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.113 * * * * [progress]: [ 7 / 38 ] simplifiying candidate # 1.113 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.113 * * [simplify]: iters left: 4 (4 enodes) 1.116 * * [simplify]: iters left: 3 (20 enodes) 1.124 * * [simplify]: iters left: 2 (39 enodes) 1.136 * * [simplify]: iters left: 1 (40 enodes) 1.147 * * [simplify]: Extracting #0: cost 1 inf + 0 1.147 * * [simplify]: Extracting #1: cost 9 inf + 0 1.147 * * [simplify]: Extracting #2: cost 11 inf + 43 1.148 * * [simplify]: Extracting #3: cost 1 inf + 660 1.148 * * [simplify]: Extracting #4: cost 0 inf + 742 1.149 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.149 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.149 * * * * [progress]: [ 8 / 38 ] simplifiying candidate # 1.149 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.149 * * [simplify]: iters left: 4 (4 enodes) 1.152 * * [simplify]: iters left: 3 (20 enodes) 1.160 * * [simplify]: iters left: 2 (39 enodes) 1.173 * * [simplify]: iters left: 1 (40 enodes) 1.184 * * [simplify]: Extracting #0: cost 1 inf + 0 1.184 * * [simplify]: Extracting #1: cost 9 inf + 0 1.184 * * [simplify]: Extracting #2: cost 11 inf + 43 1.184 * * [simplify]: Extracting #3: cost 1 inf + 660 1.185 * * [simplify]: Extracting #4: cost 0 inf + 742 1.185 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.185 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.185 * * * * [progress]: [ 9 / 38 ] simplifiying candidate # 1.185 * * * * [progress]: [ 10 / 38 ] simplifiying candidate # 1.185 * [simplify]: Simplifying (* 2e-16 t) 1.186 * * [simplify]: iters left: 2 (3 enodes) 1.187 * * [simplify]: iters left: 1 (10 enodes) 1.190 * * [simplify]: Extracting #0: cost 1 inf + 0 1.190 * * [simplify]: Extracting #1: cost 4 inf + 0 1.190 * * [simplify]: Extracting #2: cost 2 inf + 2 1.191 * * [simplify]: Extracting #3: cost 0 inf + 86 1.191 * [simplify]: Simplified to (* 2e-16 t) 1.191 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.191 * * * * [progress]: [ 11 / 38 ] simplifiying candidate # 1.191 * [simplify]: Simplifying (* 2e-16 t) 1.191 * * [simplify]: iters left: 2 (3 enodes) 1.193 * * [simplify]: iters left: 1 (10 enodes) 1.196 * * [simplify]: Extracting #0: cost 1 inf + 0 1.196 * * [simplify]: Extracting #1: cost 4 inf + 0 1.196 * * [simplify]: Extracting #2: cost 2 inf + 2 1.196 * * [simplify]: Extracting #3: cost 0 inf + 86 1.196 * [simplify]: Simplified to (* 2e-16 t) 1.196 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.196 * * * * [progress]: [ 12 / 38 ] simplifiying candidate # 1.196 * * * * [progress]: [ 13 / 38 ] simplifiying candidate # 1.197 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1.197 * * [simplify]: iters left: 5 (6 enodes) 1.200 * * [simplify]: iters left: 4 (23 enodes) 1.210 * * [simplify]: iters left: 3 (35 enodes) 1.220 * * [simplify]: iters left: 2 (43 enodes) 1.231 * * [simplify]: iters left: 1 (44 enodes) 1.243 * * [simplify]: Extracting #0: cost 1 inf + 0 1.243 * * [simplify]: Extracting #1: cost 9 inf + 0 1.243 * * [simplify]: Extracting #2: cost 18 inf + 0 1.243 * * [simplify]: Extracting #3: cost 13 inf + 295 1.243 * * [simplify]: Extracting #4: cost 11 inf + 437 1.244 * * [simplify]: Extracting #5: cost 1 inf + 2204 1.245 * * [simplify]: Extracting #6: cost 0 inf + 2426 1.245 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1.245 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 1.246 * * * * [progress]: [ 14 / 38 ] simplifiying candidate # 1.246 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t))) 1.246 * * [simplify]: iters left: 5 (8 enodes) 1.250 * * [simplify]: iters left: 4 (27 enodes) 1.259 * * [simplify]: iters left: 3 (37 enodes) 1.270 * * [simplify]: iters left: 2 (46 enodes) 1.282 * * [simplify]: iters left: 1 (50 enodes) 1.295 * * [simplify]: Extracting #0: cost 1 inf + 0 1.295 * * [simplify]: Extracting #1: cost 9 inf + 0 1.295 * * [simplify]: Extracting #2: cost 19 inf + 0 1.295 * * [simplify]: Extracting #3: cost 17 inf + 73 1.295 * * [simplify]: Extracting #4: cost 11 inf + 741 1.296 * * [simplify]: Extracting #5: cost 2 inf + 2006 1.297 * * [simplify]: Extracting #6: cost 0 inf + 2230 1.298 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.298 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.298 * * * * [progress]: [ 15 / 38 ] simplifiying candidate # 1.298 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t))) 1.298 * * [simplify]: iters left: 5 (8 enodes) 1.302 * * [simplify]: iters left: 4 (27 enodes) 1.311 * * [simplify]: iters left: 3 (37 enodes) 1.317 * * [simplify]: iters left: 2 (46 enodes) 1.323 * * [simplify]: iters left: 1 (49 enodes) 1.329 * * [simplify]: Extracting #0: cost 1 inf + 0 1.329 * * [simplify]: Extracting #1: cost 9 inf + 0 1.329 * * [simplify]: Extracting #2: cost 19 inf + 0 1.329 * * [simplify]: Extracting #3: cost 17 inf + 73 1.330 * * [simplify]: Extracting #4: cost 7 inf + 967 1.330 * * [simplify]: Extracting #5: cost 1 inf + 2008 1.330 * * [simplify]: Extracting #6: cost 0 inf + 2230 1.331 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.331 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.331 * * * * [progress]: [ 16 / 38 ] simplifiying candidate # 1.331 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.331 * * [simplify]: iters left: 5 (5 enodes) 1.333 * * [simplify]: iters left: 4 (19 enodes) 1.337 * * [simplify]: iters left: 3 (28 enodes) 1.342 * * [simplify]: iters left: 2 (40 enodes) 1.350 * * [simplify]: iters left: 1 (48 enodes) 1.363 * * [simplify]: Extracting #0: cost 1 inf + 0 1.363 * * [simplify]: Extracting #1: cost 9 inf + 0 1.363 * * [simplify]: Extracting #2: cost 19 inf + 0 1.363 * * [simplify]: Extracting #3: cost 18 inf + 2 1.364 * * [simplify]: Extracting #4: cost 8 inf + 1077 1.364 * * [simplify]: Extracting #5: cost 0 inf + 2230 1.365 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.365 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.365 * * * * [progress]: [ 17 / 38 ] simplifiying candidate # 1.365 * * * * [progress]: [ 18 / 38 ] simplifiying candidate # 1.365 * * * * [progress]: [ 19 / 38 ] simplifiying candidate # 1.365 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 1.365 * * [simplify]: iters left: 6 (8 enodes) 1.368 * * [simplify]: iters left: 5 (38 enodes) 1.377 * * [simplify]: iters left: 4 (140 enodes) 1.431 * * [simplify]: iters left: 3 (482 enodes) 2.025 * * [simplify]: Extracting #0: cost 1 inf + 0 2.025 * * [simplify]: Extracting #1: cost 74 inf + 0 2.027 * * [simplify]: Extracting #2: cost 255 inf + 1300 2.033 * * [simplify]: Extracting #3: cost 112 inf + 28035 2.055 * * [simplify]: Extracting #4: cost 0 inf + 55188 2.085 * * [simplify]: Extracting #5: cost 0 inf + 54508 2.122 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 2.122 * [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.123 * * * * [progress]: [ 20 / 38 ] simplifiying candidate # 2.123 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 2.123 * * [simplify]: iters left: 6 (11 enodes) 2.130 * * [simplify]: iters left: 5 (54 enodes) 2.142 * * [simplify]: iters left: 4 (171 enodes) 2.278 * * [simplify]: Extracting #0: cost 1 inf + 0 2.278 * * [simplify]: Extracting #1: cost 53 inf + 0 2.278 * * [simplify]: Extracting #2: cost 151 inf + 450 2.283 * * [simplify]: Extracting #3: cost 107 inf + 8458 2.291 * * [simplify]: Extracting #4: cost 1 inf + 30046 2.299 * * [simplify]: Extracting #5: cost 0 inf + 27018 2.308 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 2.308 * [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.308 * * * * [progress]: [ 21 / 38 ] simplifiying candidate # 2.309 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 2.309 * * [simplify]: iters left: 6 (11 enodes) 2.312 * * [simplify]: iters left: 5 (54 enodes) 2.325 * * [simplify]: iters left: 4 (170 enodes) 2.444 * * [simplify]: Extracting #0: cost 1 inf + 0 2.445 * * [simplify]: Extracting #1: cost 51 inf + 0 2.446 * * [simplify]: Extracting #2: cost 150 inf + 3 2.447 * * [simplify]: Extracting #3: cost 139 inf + 1749 2.457 * * [simplify]: Extracting #4: cost 24 inf + 21795 2.473 * * [simplify]: Extracting #5: cost 0 inf + 26323 2.488 * * [simplify]: Extracting #6: cost 0 inf + 26283 2.503 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 2.503 * [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.503 * * * * [progress]: [ 22 / 38 ] simplifiying candidate # 2.504 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 2.504 * * [simplify]: iters left: 6 (6 enodes) 2.508 * * [simplify]: iters left: 5 (35 enodes) 2.527 * * [simplify]: iters left: 4 (130 enodes) 2.640 * * [simplify]: iters left: 3 (462 enodes) 3.053 * * [simplify]: Extracting #0: cost 1 inf + 0 3.054 * * [simplify]: Extracting #1: cost 59 inf + 0 3.055 * * [simplify]: Extracting #2: cost 197 inf + 4 3.061 * * [simplify]: Extracting #3: cost 126 inf + 12107 3.080 * * [simplify]: Extracting #4: cost 16 inf + 32525 3.102 * * [simplify]: Extracting #5: cost 0 inf + 36365 3.123 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 3.123 * [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.123 * * * * [progress]: [ 23 / 38 ] simplifiying candidate # 3.124 * * * * [progress]: [ 24 / 38 ] simplifiying candidate # 3.124 * * * * [progress]: [ 25 / 38 ] simplifiying candidate # 3.124 * * * * [progress]: [ 26 / 38 ] simplifiying candidate # 3.124 * * * * [progress]: [ 27 / 38 ] simplifiying candidate # 3.124 * [simplify]: Simplifying (* 2e-16 2e-16) 3.124 * * [simplify]: iters left: 2 (2 enodes) 3.126 * * [simplify]: iters left: 1 (6 enodes) 3.128 * * [simplify]: Extracting #0: cost 1 inf + 0 3.128 * * [simplify]: Extracting #1: cost 3 inf + 0 3.128 * * [simplify]: Extracting #2: cost 2 inf + 1 3.128 * * [simplify]: Extracting #3: cost 0 inf + 83 3.128 * [simplify]: Simplified to (* 2e-16 2e-16) 3.128 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 3.128 * [simplify]: Simplifying (* t t) 3.129 * * [simplify]: iters left: 2 (2 enodes) 3.129 * * [simplify]: iters left: 1 (6 enodes) 3.130 * * [simplify]: Extracting #0: cost 1 inf + 0 3.130 * * [simplify]: Extracting #1: cost 3 inf + 0 3.130 * * [simplify]: Extracting #2: cost 2 inf + 1 3.130 * * [simplify]: Extracting #3: cost 0 inf + 83 3.130 * [simplify]: Simplified to (* t t) 3.130 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 3.130 * * * * [progress]: [ 28 / 38 ] simplifiying candidate # 3.130 * [simplify]: Simplifying (* 2e-16 t) 3.130 * * [simplify]: iters left: 2 (3 enodes) 3.131 * * [simplify]: iters left: 1 (10 enodes) 3.136 * * [simplify]: Extracting #0: cost 1 inf + 0 3.136 * * [simplify]: Extracting #1: cost 4 inf + 0 3.136 * * [simplify]: Extracting #2: cost 2 inf + 2 3.137 * * [simplify]: Extracting #3: cost 0 inf + 86 3.137 * [simplify]: Simplified to (* 2e-16 t) 3.137 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.137 * [simplify]: Simplifying (* 2 1) 3.137 * * [simplify]: iters left: 2 (3 enodes) 3.138 * * [simplify]: iters left: 1 (9 enodes) 3.140 * * [simplify]: Extracting #0: cost 1 inf + 0 3.140 * * [simplify]: Extracting #1: cost 0 inf + 1 3.140 * [simplify]: Simplified to 2 3.140 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.140 * * * * [progress]: [ 29 / 38 ] simplifiying candidate # 3.140 * [simplify]: Simplifying (* 2e-16 t) 3.140 * * [simplify]: iters left: 2 (3 enodes) 3.141 * * [simplify]: iters left: 1 (10 enodes) 3.143 * * [simplify]: Extracting #0: cost 1 inf + 0 3.143 * * [simplify]: Extracting #1: cost 4 inf + 0 3.143 * * [simplify]: Extracting #2: cost 2 inf + 2 3.143 * * [simplify]: Extracting #3: cost 0 inf + 86 3.143 * [simplify]: Simplified to (* 2e-16 t) 3.143 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.144 * [simplify]: Simplifying (* 2 1) 3.144 * * [simplify]: iters left: 2 (3 enodes) 3.145 * * [simplify]: iters left: 1 (9 enodes) 3.147 * * [simplify]: Extracting #0: cost 1 inf + 0 3.147 * * [simplify]: Extracting #1: cost 0 inf + 1 3.147 * [simplify]: Simplified to 2 3.147 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.147 * * * * [progress]: [ 30 / 38 ] simplifiying candidate # 3.147 * [simplify]: Simplifying (* 2e-16 t) 3.147 * * [simplify]: iters left: 2 (3 enodes) 3.148 * * [simplify]: iters left: 1 (10 enodes) 3.150 * * [simplify]: Extracting #0: cost 1 inf + 0 3.150 * * [simplify]: Extracting #1: cost 4 inf + 0 3.150 * * [simplify]: Extracting #2: cost 2 inf + 2 3.150 * * [simplify]: Extracting #3: cost 0 inf + 86 3.150 * [simplify]: Simplified to (* 2e-16 t) 3.150 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.150 * [simplify]: Simplifying (* 2 1) 3.150 * * [simplify]: iters left: 2 (3 enodes) 3.151 * * [simplify]: iters left: 1 (9 enodes) 3.154 * * [simplify]: Extracting #0: cost 1 inf + 0 3.154 * * [simplify]: Extracting #1: cost 0 inf + 1 3.154 * [simplify]: Simplified to 2 3.154 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.154 * * * * [progress]: [ 31 / 38 ] simplifiying candidate # 3.154 * [simplify]: Simplifying (* 2e-16 t) 3.154 * * [simplify]: iters left: 2 (3 enodes) 3.155 * * [simplify]: iters left: 1 (10 enodes) 3.156 * * [simplify]: Extracting #0: cost 1 inf + 0 3.156 * * [simplify]: Extracting #1: cost 4 inf + 0 3.157 * * [simplify]: Extracting #2: cost 2 inf + 2 3.157 * * [simplify]: Extracting #3: cost 0 inf + 86 3.157 * [simplify]: Simplified to (* 2e-16 t) 3.157 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 3.157 * [simplify]: Simplifying (* 2 1) 3.157 * * [simplify]: iters left: 2 (3 enodes) 3.158 * * [simplify]: iters left: 1 (9 enodes) 3.160 * * [simplify]: Extracting #0: cost 1 inf + 0 3.160 * * [simplify]: Extracting #1: cost 0 inf + 1 3.160 * [simplify]: Simplified to 2 3.160 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 3.160 * * * * [progress]: [ 32 / 38 ] simplifiying candidate # 3.160 * * * * [progress]: [ 33 / 38 ] simplifiying candidate # 3.160 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 3.160 * * * * [progress]: [ 35 / 38 ] simplifiying candidate # 3.160 * * * * [progress]: [ 36 / 38 ] simplifiying candidate # 3.160 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.161 * * [simplify]: iters left: 3 (5 enodes) 3.162 * * [simplify]: iters left: 2 (21 enodes) 3.166 * * [simplify]: iters left: 1 (29 enodes) 3.171 * * [simplify]: Extracting #0: cost 1 inf + 0 3.171 * * [simplify]: Extracting #1: cost 6 inf + 0 3.171 * * [simplify]: Extracting #2: cost 6 inf + 43 3.171 * * [simplify]: Extracting #3: cost 0 inf + 333 3.171 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.171 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.171 * * * * [progress]: [ 37 / 38 ] simplifiying candidate # 3.171 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.171 * * [simplify]: iters left: 3 (5 enodes) 3.173 * * [simplify]: iters left: 2 (21 enodes) 3.177 * * [simplify]: iters left: 1 (29 enodes) 3.181 * * [simplify]: Extracting #0: cost 1 inf + 0 3.181 * * [simplify]: Extracting #1: cost 6 inf + 0 3.181 * * [simplify]: Extracting #2: cost 6 inf + 43 3.182 * * [simplify]: Extracting #3: cost 0 inf + 333 3.182 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.182 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.182 * * * * [progress]: [ 38 / 38 ] simplifiying candidate # 3.182 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.182 * * [simplify]: iters left: 3 (5 enodes) 3.184 * * [simplify]: iters left: 2 (21 enodes) 3.190 * * [simplify]: iters left: 1 (29 enodes) 3.198 * * [simplify]: Extracting #0: cost 1 inf + 0 3.198 * * [simplify]: Extracting #1: cost 6 inf + 0 3.198 * * [simplify]: Extracting #2: cost 6 inf + 43 3.198 * * [simplify]: Extracting #3: cost 0 inf + 333 3.199 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.199 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.199 * * * [progress]: adding candidates to table 3.431 * * [progress]: iteration 2 / 4 3.432 * * * [progress]: picking best candidate 3.437 * * * * [pick]: Picked # 3.438 * * * [progress]: localizing error 3.443 * * * [progress]: generating rewritten candidates 3.443 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.458 * * * [progress]: generating series expansions 3.458 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.458 * [backup-simplify]: Simplify (* (* t t) 3.9999999999999997e-32) into (* 3.9999999999999997e-32 (pow t 2)) 3.458 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.458 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 3.458 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.458 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.458 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.458 * [taylor]: Taking taylor expansion of t in t 3.458 * [backup-simplify]: Simplify 0 into 0 3.458 * [backup-simplify]: Simplify 1 into 1 3.458 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 3.458 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.458 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.458 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.458 * [taylor]: Taking taylor expansion of t in t 3.458 * [backup-simplify]: Simplify 0 into 0 3.458 * [backup-simplify]: Simplify 1 into 1 3.459 * [backup-simplify]: Simplify (* 1 1) into 1 3.459 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.459 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.459 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.460 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 3.460 * [backup-simplify]: Simplify 0 into 0 3.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.461 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 3.461 * [backup-simplify]: Simplify 0 into 0 3.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.462 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.462 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.464 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.464 * [backup-simplify]: Simplify 0 into 0 3.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.465 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.465 * [backup-simplify]: Simplify 0 into 0 3.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.469 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.469 * [backup-simplify]: Simplify 0 into 0 3.469 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.470 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 3.470 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.470 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.470 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.470 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.470 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.470 * [taylor]: Taking taylor expansion of t in t 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.470 * [backup-simplify]: Simplify (* 1 1) into 1 3.470 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.470 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.470 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.470 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.470 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.470 * [taylor]: Taking taylor expansion of t in t 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.471 * [backup-simplify]: Simplify (* 1 1) into 1 3.471 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.471 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.471 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.472 * [backup-simplify]: Simplify 0 into 0 3.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.473 * [backup-simplify]: Simplify 0 into 0 3.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.476 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.478 * [backup-simplify]: Simplify 0 into 0 3.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.481 * [backup-simplify]: Simplify 0 into 0 3.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.484 * [backup-simplify]: Simplify 0 into 0 3.484 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.484 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 3.484 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.484 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.484 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.484 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.484 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.484 * [taylor]: Taking taylor expansion of t in t 3.484 * [backup-simplify]: Simplify 0 into 0 3.484 * [backup-simplify]: Simplify 1 into 1 3.485 * [backup-simplify]: Simplify (* 1 1) into 1 3.485 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.486 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.486 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.486 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.486 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.486 * [taylor]: Taking taylor expansion of t in t 3.486 * [backup-simplify]: Simplify 0 into 0 3.486 * [backup-simplify]: Simplify 1 into 1 3.486 * [backup-simplify]: Simplify (* 1 1) into 1 3.487 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.487 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.487 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.488 * [backup-simplify]: Simplify 0 into 0 3.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.490 * [backup-simplify]: Simplify 0 into 0 3.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.492 * [backup-simplify]: Simplify 0 into 0 3.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.495 * [backup-simplify]: Simplify 0 into 0 3.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.497 * [backup-simplify]: Simplify 0 into 0 3.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.500 * [backup-simplify]: Simplify 0 into 0 3.500 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.500 * * * [progress]: simplifying candidates 3.500 * * * * [progress]: [ 1 / 23 ] simplifiying candidate # 3.500 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 3.500 * * [simplify]: iters left: 4 (4 enodes) 3.503 * * [simplify]: iters left: 3 (15 enodes) 3.508 * * [simplify]: iters left: 2 (19 enodes) 3.514 * * [simplify]: iters left: 1 (20 enodes) 3.518 * * [simplify]: Extracting #0: cost 1 inf + 0 3.518 * * [simplify]: Extracting #1: cost 6 inf + 0 3.518 * * [simplify]: Extracting #2: cost 6 inf + 2 3.518 * * [simplify]: Extracting #3: cost 0 inf + 332 3.518 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 3.518 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 3.518 * * * * [progress]: [ 2 / 23 ] simplifiying candidate # 3.519 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 3.519 * * [simplify]: iters left: 4 (4 enodes) 3.520 * * [simplify]: iters left: 3 (15 enodes) 3.522 * * [simplify]: iters left: 2 (19 enodes) 3.525 * * [simplify]: iters left: 1 (20 enodes) 3.527 * * [simplify]: Extracting #0: cost 1 inf + 0 3.528 * * [simplify]: Extracting #1: cost 6 inf + 0 3.528 * * [simplify]: Extracting #2: cost 6 inf + 2 3.528 * * [simplify]: Extracting #3: cost 0 inf + 332 3.528 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 3.528 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 3.528 * * * * [progress]: [ 3 / 23 ] simplifiying candidate # 3.528 * * * * [progress]: [ 4 / 23 ] simplifiying candidate # 3.528 * [simplify]: Simplifying (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 3.528 * * [simplify]: iters left: 5 (6 enodes) 3.530 * * [simplify]: iters left: 4 (21 enodes) 3.533 * * [simplify]: iters left: 3 (25 enodes) 3.537 * * [simplify]: iters left: 2 (26 enodes) 3.541 * * [simplify]: Extracting #0: cost 1 inf + 0 3.541 * * [simplify]: Extracting #1: cost 6 inf + 0 3.541 * * [simplify]: Extracting #2: cost 12 inf + 0 3.541 * * [simplify]: Extracting #3: cost 10 inf + 2 3.541 * * [simplify]: Extracting #4: cost 0 inf + 1316 3.541 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 3.541 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)))) 3.541 * * * * [progress]: [ 5 / 23 ] simplifiying candidate # 3.541 * [simplify]: Simplifying (+ (log (* t t)) (log 3.9999999999999997e-32)) 3.541 * * [simplify]: iters left: 5 (6 enodes) 3.543 * * [simplify]: iters left: 4 (21 enodes) 3.549 * * [simplify]: iters left: 3 (27 enodes) 3.557 * * [simplify]: iters left: 2 (32 enodes) 3.566 * * [simplify]: Extracting #0: cost 1 inf + 0 3.566 * * [simplify]: Extracting #1: cost 6 inf + 0 3.566 * * [simplify]: Extracting #2: cost 13 inf + 0 3.566 * * [simplify]: Extracting #3: cost 12 inf + 2 3.567 * * [simplify]: Extracting #4: cost 4 inf + 913 3.567 * * [simplify]: Extracting #5: cost 0 inf + 1398 3.567 * [simplify]: Simplified to (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)) 3.567 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)))) 3.568 * * * * [progress]: [ 6 / 23 ] simplifiying candidate # 3.568 * * * * [progress]: [ 7 / 23 ] simplifiying candidate # 3.568 * * * * [progress]: [ 8 / 23 ] simplifiying candidate # 3.568 * [simplify]: Simplifying (* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 3.568 * * [simplify]: iters left: 6 (8 enodes) 3.573 * * [simplify]: iters left: 5 (37 enodes) 3.589 * * [simplify]: iters left: 4 (93 enodes) 3.631 * * [simplify]: iters left: 3 (255 enodes) 3.718 * * [simplify]: Extracting #0: cost 1 inf + 0 3.719 * * [simplify]: Extracting #1: cost 36 inf + 0 3.719 * * [simplify]: Extracting #2: cost 100 inf + 166 3.723 * * [simplify]: Extracting #3: cost 59 inf + 4959 3.727 * * [simplify]: Extracting #4: cost 15 inf + 15008 3.731 * * [simplify]: Extracting #5: cost 0 inf + 19600 3.735 * [simplify]: Simplified to (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) 3.735 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)))) 3.735 * * * * [progress]: [ 9 / 23 ] simplifiying candidate # 3.736 * [simplify]: Simplifying (* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 3.736 * * [simplify]: iters left: 6 (8 enodes) 3.739 * * [simplify]: iters left: 5 (38 enodes) 3.746 * * [simplify]: iters left: 4 (94 enodes) 3.769 * * [simplify]: iters left: 3 (259 enodes) 3.889 * * [simplify]: Extracting #0: cost 1 inf + 0 3.889 * * [simplify]: Extracting #1: cost 52 inf + 0 3.890 * * [simplify]: Extracting #2: cost 133 inf + 166 3.893 * * [simplify]: Extracting #3: cost 82 inf + 6191 3.903 * * [simplify]: Extracting #4: cost 5 inf + 26339 3.913 * * [simplify]: Extracting #5: cost 0 inf + 27550 3.924 * [simplify]: Simplified to (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))) 3.924 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))))) 3.924 * * * * [progress]: [ 10 / 23 ] simplifiying candidate # 3.924 * * * * [progress]: [ 11 / 23 ] simplifiying candidate # 3.924 * * * * [progress]: [ 12 / 23 ] simplifiying candidate # 3.924 * * * * [progress]: [ 13 / 23 ] simplifiying candidate # 3.924 * * * * [progress]: [ 14 / 23 ] simplifiying candidate # 3.925 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 3.925 * * [simplify]: iters left: 3 (4 enodes) 3.927 * * [simplify]: iters left: 2 (13 enodes) 3.931 * * [simplify]: Extracting #0: cost 1 inf + 0 3.932 * * [simplify]: Extracting #1: cost 4 inf + 0 3.932 * * [simplify]: Extracting #2: cost 5 inf + 1 3.932 * * [simplify]: Extracting #3: cost 4 inf + 2 3.932 * * [simplify]: Extracting #4: cost 0 inf + 248 3.932 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 3.932 * [simplify]: Simplified (2 1) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 3.932 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 3.932 * * [simplify]: iters left: 3 (4 enodes) 3.934 * * [simplify]: iters left: 2 (13 enodes) 3.936 * * [simplify]: Extracting #0: cost 1 inf + 0 3.936 * * [simplify]: Extracting #1: cost 4 inf + 0 3.936 * * [simplify]: Extracting #2: cost 5 inf + 1 3.936 * * [simplify]: Extracting #3: cost 4 inf + 2 3.936 * * [simplify]: Extracting #4: cost 0 inf + 248 3.936 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 3.936 * [simplify]: Simplified (2 2) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 3.936 * * * * [progress]: [ 15 / 23 ] simplifiying candidate # 3.936 * [simplify]: Simplifying (cbrt 3.9999999999999997e-32) 3.936 * * [simplify]: iters left: 1 (2 enodes) 3.937 * * [simplify]: Extracting #0: cost 1 inf + 0 3.937 * * [simplify]: Extracting #1: cost 3 inf + 0 3.937 * * [simplify]: Extracting #2: cost 2 inf + 1 3.937 * * [simplify]: Extracting #3: cost 0 inf + 163 3.937 * [simplify]: Simplified to (cbrt 3.9999999999999997e-32) 3.937 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (cbrt 3.9999999999999997e-32))) 3.937 * * * * [progress]: [ 16 / 23 ] simplifiying candidate # 3.937 * [simplify]: Simplifying (sqrt 3.9999999999999997e-32) 3.938 * * [simplify]: iters left: 1 (2 enodes) 3.938 * * [simplify]: Extracting #0: cost 1 inf + 0 3.938 * * [simplify]: Extracting #1: cost 3 inf + 0 3.938 * * [simplify]: Extracting #2: cost 2 inf + 1 3.938 * * [simplify]: Extracting #3: cost 0 inf + 83 3.938 * [simplify]: Simplified to (sqrt 3.9999999999999997e-32) 3.939 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) 3.939 * * * * [progress]: [ 17 / 23 ] simplifiying candidate # 3.939 * * * * [progress]: [ 18 / 23 ] simplifiying candidate # 3.939 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #real (real->posit16 (* (* t t) 3.9999999999999997e-32))))> 3.939 * * * * [progress]: [ 20 / 23 ] simplifiying candidate # 3.939 * * * * [progress]: [ 21 / 23 ] simplifiying candidate # 3.939 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.939 * * [simplify]: iters left: 3 (5 enodes) 3.943 * * [simplify]: iters left: 2 (21 enodes) 3.947 * * [simplify]: iters left: 1 (29 enodes) 3.952 * * [simplify]: Extracting #0: cost 1 inf + 0 3.952 * * [simplify]: Extracting #1: cost 6 inf + 0 3.952 * * [simplify]: Extracting #2: cost 6 inf + 43 3.952 * * [simplify]: Extracting #3: cost 0 inf + 333 3.952 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.952 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.952 * * * * [progress]: [ 22 / 23 ] simplifiying candidate # 3.952 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.952 * * [simplify]: iters left: 3 (5 enodes) 3.954 * * [simplify]: iters left: 2 (21 enodes) 3.957 * * [simplify]: iters left: 1 (29 enodes) 3.962 * * [simplify]: Extracting #0: cost 1 inf + 0 3.962 * * [simplify]: Extracting #1: cost 6 inf + 0 3.962 * * [simplify]: Extracting #2: cost 6 inf + 43 3.962 * * [simplify]: Extracting #3: cost 0 inf + 333 3.962 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.962 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.962 * * * * [progress]: [ 23 / 23 ] simplifiying candidate # 3.963 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.963 * * [simplify]: iters left: 3 (5 enodes) 3.965 * * [simplify]: iters left: 2 (21 enodes) 3.972 * * [simplify]: iters left: 1 (29 enodes) 3.980 * * [simplify]: Extracting #0: cost 1 inf + 0 3.981 * * [simplify]: Extracting #1: cost 6 inf + 0 3.981 * * [simplify]: Extracting #2: cost 6 inf + 43 3.981 * * [simplify]: Extracting #3: cost 0 inf + 333 3.981 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.981 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.981 * * * [progress]: adding candidates to table 4.078 * * [progress]: iteration 3 / 4 4.078 * * * [progress]: picking best candidate 4.095 * * * * [pick]: Picked # 4.095 * * * [progress]: localizing error 4.111 * * * [progress]: generating rewritten candidates 4.111 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.162 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 4.183 * * * [progress]: generating series expansions 4.183 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.183 * [backup-simplify]: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2)) 4.183 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.183 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 4.183 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.183 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.183 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.183 * [taylor]: Taking taylor expansion of t in t 4.183 * [backup-simplify]: Simplify 0 into 0 4.183 * [backup-simplify]: Simplify 1 into 1 4.183 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 4.183 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.183 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.183 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.183 * [taylor]: Taking taylor expansion of t in t 4.183 * [backup-simplify]: Simplify 0 into 0 4.183 * [backup-simplify]: Simplify 1 into 1 4.184 * [backup-simplify]: Simplify (* 1 1) into 1 4.185 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.185 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.185 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.186 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 4.186 * [backup-simplify]: Simplify 0 into 0 4.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.188 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 4.188 * [backup-simplify]: Simplify 0 into 0 4.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.190 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.190 * [backup-simplify]: Simplify 0 into 0 4.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.193 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.193 * [backup-simplify]: Simplify 0 into 0 4.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.196 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.196 * [backup-simplify]: Simplify 0 into 0 4.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.199 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.199 * [backup-simplify]: Simplify 0 into 0 4.199 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.199 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 4.199 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.199 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.199 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.199 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.199 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.199 * [taylor]: Taking taylor expansion of t in t 4.200 * [backup-simplify]: Simplify 0 into 0 4.200 * [backup-simplify]: Simplify 1 into 1 4.200 * [backup-simplify]: Simplify (* 1 1) into 1 4.201 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.201 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.201 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.201 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.201 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.201 * [taylor]: Taking taylor expansion of t in t 4.201 * [backup-simplify]: Simplify 0 into 0 4.201 * [backup-simplify]: Simplify 1 into 1 4.201 * [backup-simplify]: Simplify (* 1 1) into 1 4.202 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.202 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.203 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 4.203 * [backup-simplify]: Simplify 0 into 0 4.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.205 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.205 * [backup-simplify]: Simplify 0 into 0 4.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.207 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.207 * [backup-simplify]: Simplify 0 into 0 4.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.210 * [backup-simplify]: Simplify 0 into 0 4.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.212 * [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.212 * [backup-simplify]: Simplify 0 into 0 4.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.215 * [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.215 * [backup-simplify]: Simplify 0 into 0 4.215 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.216 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 4.216 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.216 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.216 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.216 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.216 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.216 * [taylor]: Taking taylor expansion of t in t 4.216 * [backup-simplify]: Simplify 0 into 0 4.216 * [backup-simplify]: Simplify 1 into 1 4.216 * [backup-simplify]: Simplify (* 1 1) into 1 4.217 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.217 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.217 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.217 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.217 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.217 * [taylor]: Taking taylor expansion of t in t 4.217 * [backup-simplify]: Simplify 0 into 0 4.217 * [backup-simplify]: Simplify 1 into 1 4.217 * [backup-simplify]: Simplify (* 1 1) into 1 4.218 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.218 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.219 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 4.220 * [backup-simplify]: Simplify 0 into 0 4.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.222 * [backup-simplify]: Simplify 0 into 0 4.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.224 * [backup-simplify]: Simplify 0 into 0 4.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.226 * [backup-simplify]: Simplify 0 into 0 4.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.229 * [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.229 * [backup-simplify]: Simplify 0 into 0 4.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.231 * [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.231 * [backup-simplify]: Simplify 0 into 0 4.231 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.232 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 4.232 * [backup-simplify]: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t) 4.232 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0 4.232 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 4.232 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.232 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.232 * [taylor]: Taking taylor expansion of t in t 4.232 * [backup-simplify]: Simplify 0 into 0 4.232 * [backup-simplify]: Simplify 1 into 1 4.232 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 4.232 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.232 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.232 * [taylor]: Taking taylor expansion of t in t 4.232 * [backup-simplify]: Simplify 0 into 0 4.232 * [backup-simplify]: Simplify 1 into 1 4.233 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0 4.233 * [backup-simplify]: Simplify 0 into 0 4.234 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32 4.234 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.235 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0 4.235 * [backup-simplify]: Simplify 0 into 0 4.236 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.237 * [backup-simplify]: Simplify 0 into 0 4.238 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.238 * [backup-simplify]: Simplify 0 into 0 4.239 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.239 * [backup-simplify]: Simplify 0 into 0 4.241 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.241 * [backup-simplify]: Simplify 0 into 0 4.243 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.243 * [backup-simplify]: Simplify 0 into 0 4.243 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t) 4.243 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t) 4.243 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0 4.243 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 4.243 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.243 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.243 * [taylor]: Taking taylor expansion of t in t 4.243 * [backup-simplify]: Simplify 0 into 0 4.243 * [backup-simplify]: Simplify 1 into 1 4.244 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.244 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 4.244 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.244 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.244 * [taylor]: Taking taylor expansion of t in t 4.244 * [backup-simplify]: Simplify 0 into 0 4.244 * [backup-simplify]: Simplify 1 into 1 4.244 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.245 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 4.246 * [backup-simplify]: Simplify 0 into 0 4.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.247 * [backup-simplify]: Simplify 0 into 0 4.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.248 * [backup-simplify]: Simplify 0 into 0 4.249 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.249 * [backup-simplify]: Simplify 0 into 0 4.250 * [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.250 * [backup-simplify]: Simplify 0 into 0 4.251 * [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.251 * [backup-simplify]: Simplify 0 into 0 4.251 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t) 4.252 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t) 4.252 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0 4.252 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 4.252 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 4.252 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 4.252 * [taylor]: Taking taylor expansion of t in t 4.252 * [backup-simplify]: Simplify 0 into 0 4.252 * [backup-simplify]: Simplify 1 into 1 4.252 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 4.252 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 4.252 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 4.252 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 4.252 * [taylor]: Taking taylor expansion of t in t 4.252 * [backup-simplify]: Simplify 0 into 0 4.252 * [backup-simplify]: Simplify 1 into 1 4.253 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 4.253 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 4.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0 4.254 * [backup-simplify]: Simplify 0 into 0 4.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.255 * [backup-simplify]: Simplify 0 into 0 4.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.256 * [backup-simplify]: Simplify 0 into 0 4.257 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.257 * [backup-simplify]: Simplify 0 into 0 4.258 * [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.258 * [backup-simplify]: Simplify 0 into 0 4.259 * [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.259 * [backup-simplify]: Simplify 0 into 0 4.260 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t) 4.260 * * * [progress]: simplifying candidates 4.260 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 4.260 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 4.260 * * [simplify]: iters left: 6 (5 enodes) 4.263 * * [simplify]: iters left: 5 (19 enodes) 4.270 * * [simplify]: iters left: 4 (31 enodes) 4.276 * * [simplify]: iters left: 3 (39 enodes) 4.281 * * [simplify]: Extracting #0: cost 1 inf + 0 4.281 * * [simplify]: Extracting #1: cost 9 inf + 0 4.281 * * [simplify]: Extracting #2: cost 11 inf + 43 4.281 * * [simplify]: Extracting #3: cost 1 inf + 660 4.282 * * [simplify]: Extracting #4: cost 0 inf + 742 4.282 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.282 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.282 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 4.282 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 4.282 * * [simplify]: iters left: 6 (5 enodes) 4.284 * * [simplify]: iters left: 5 (19 enodes) 4.287 * * [simplify]: iters left: 4 (31 enodes) 4.292 * * [simplify]: iters left: 3 (39 enodes) 4.298 * * [simplify]: Extracting #0: cost 1 inf + 0 4.299 * * [simplify]: Extracting #1: cost 9 inf + 0 4.299 * * [simplify]: Extracting #2: cost 11 inf + 43 4.299 * * [simplify]: Extracting #3: cost 1 inf + 660 4.299 * * [simplify]: Extracting #4: cost 0 inf + 742 4.299 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.299 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.299 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 4.300 * [simplify]: Simplifying (* (* (* 2e-16 t) 2e-16) t) 4.300 * * [simplify]: iters left: 6 (5 enodes) 4.301 * * [simplify]: iters left: 5 (19 enodes) 4.304 * * [simplify]: iters left: 4 (31 enodes) 4.315 * * [simplify]: iters left: 3 (39 enodes) 4.324 * * [simplify]: Extracting #0: cost 1 inf + 0 4.324 * * [simplify]: Extracting #1: cost 9 inf + 0 4.324 * * [simplify]: Extracting #2: cost 11 inf + 43 4.325 * * [simplify]: Extracting #3: cost 1 inf + 660 4.325 * * [simplify]: Extracting #4: cost 0 inf + 742 4.326 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.326 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.326 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 4.326 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 4.326 * [simplify]: Simplifying (+ (+ (+ (log 2e-16) (log t)) (log 2e-16)) (log t)) 4.326 * * [simplify]: iters left: 6 (7 enodes) 4.330 * * [simplify]: iters left: 5 (25 enodes) 4.338 * * [simplify]: iters left: 4 (34 enodes) 4.348 * * [simplify]: iters left: 3 (42 enodes) 4.353 * * [simplify]: iters left: 2 (45 enodes) 4.359 * * [simplify]: Extracting #0: cost 1 inf + 0 4.360 * * [simplify]: Extracting #1: cost 9 inf + 0 4.360 * * [simplify]: Extracting #2: cost 18 inf + 0 4.360 * * [simplify]: Extracting #3: cost 15 inf + 73 4.360 * * [simplify]: Extracting #4: cost 11 inf + 437 4.360 * * [simplify]: Extracting #5: cost 3 inf + 1871 4.361 * * [simplify]: Extracting #6: cost 0 inf + 2426 4.362 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 4.362 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 4.362 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 4.362 * [simplify]: Simplifying (+ (+ (log (* 2e-16 t)) (log 2e-16)) (log t)) 4.362 * * [simplify]: iters left: 6 (8 enodes) 4.364 * * [simplify]: iters left: 5 (29 enodes) 4.368 * * [simplify]: iters left: 4 (37 enodes) 4.374 * * [simplify]: iters left: 3 (47 enodes) 4.380 * * [simplify]: iters left: 2 (51 enodes) 4.392 * * [simplify]: Extracting #0: cost 1 inf + 0 4.392 * * [simplify]: Extracting #1: cost 9 inf + 0 4.392 * * [simplify]: Extracting #2: cost 19 inf + 0 4.392 * * [simplify]: Extracting #3: cost 18 inf + 2 4.392 * * [simplify]: Extracting #4: cost 7 inf + 1189 4.393 * * [simplify]: Extracting #5: cost 0 inf + 2230 4.394 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 4.394 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.394 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 4.395 * [simplify]: Simplifying (+ (log (* (* 2e-16 t) 2e-16)) (log t)) 4.395 * * [simplify]: iters left: 6 (7 enodes) 4.399 * * [simplify]: iters left: 5 (27 enodes) 4.409 * * [simplify]: iters left: 4 (40 enodes) 4.421 * * [simplify]: iters left: 3 (52 enodes) 4.437 * * [simplify]: iters left: 2 (63 enodes) 4.453 * * [simplify]: Extracting #0: cost 1 inf + 0 4.453 * * [simplify]: Extracting #1: cost 9 inf + 0 4.453 * * [simplify]: Extracting #2: cost 21 inf + 0 4.453 * * [simplify]: Extracting #3: cost 21 inf + 73 4.454 * * [simplify]: Extracting #4: cost 9 inf + 1142 4.454 * * [simplify]: Extracting #5: cost 0 inf + 2336 4.455 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 4.455 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.455 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 4.456 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 4.456 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 4.456 * [simplify]: Simplifying (* (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) 4.456 * * [simplify]: iters left: 6 (9 enodes) 4.462 * * [simplify]: iters left: 5 (41 enodes) 4.481 * * [simplify]: iters left: 4 (130 enodes) 4.575 * * [simplify]: Extracting #0: cost 1 inf + 0 4.576 * * [simplify]: Extracting #1: cost 34 inf + 0 4.576 * * [simplify]: Extracting #2: cost 109 inf + 327 4.578 * * [simplify]: Extracting #3: cost 69 inf + 6283 4.583 * * [simplify]: Extracting #4: cost 2 inf + 18304 4.589 * * [simplify]: Extracting #5: cost 0 inf + 18518 4.596 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 4.596 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))))) 4.596 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 4.596 * [simplify]: Simplifying (* (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) (* (* t t) t)) 4.596 * * [simplify]: iters left: 6 (11 enodes) 4.600 * * [simplify]: iters left: 5 (54 enodes) 4.612 * * [simplify]: iters left: 4 (174 enodes) 4.684 * * [simplify]: Extracting #0: cost 1 inf + 0 4.684 * * [simplify]: Extracting #1: cost 47 inf + 0 4.685 * * [simplify]: Extracting #2: cost 123 inf + 2 4.686 * * [simplify]: Extracting #3: cost 100 inf + 3286 4.691 * * [simplify]: Extracting #4: cost 17 inf + 18012 4.699 * * [simplify]: Extracting #5: cost 0 inf + 20586 4.712 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 4.712 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 4.712 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 4.712 * [simplify]: Simplifying (* (* (* (* (* 2e-16 t) 2e-16) (* (* 2e-16 t) 2e-16)) (* (* 2e-16 t) 2e-16)) (* (* t t) t)) 4.712 * * [simplify]: iters left: 6 (9 enodes) 4.718 * * [simplify]: iters left: 5 (45 enodes) 4.732 * * [simplify]: iters left: 4 (145 enodes) 4.801 * * [simplify]: iters left: 3 (476 enodes) 5.370 * * [simplify]: Extracting #0: cost 1 inf + 0 5.370 * * [simplify]: Extracting #1: cost 61 inf + 0 5.371 * * [simplify]: Extracting #2: cost 183 inf + 3 5.375 * * [simplify]: Extracting #3: cost 112 inf + 14325 5.395 * * [simplify]: Extracting #4: cost 4 inf + 36148 5.417 * * [simplify]: Extracting #5: cost 0 inf + 36414 5.444 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 5.444 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 5.445 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 5.445 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 5.445 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 5.445 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 5.445 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 5.445 * [simplify]: Simplifying (cbrt t) 5.445 * * [simplify]: iters left: 1 (2 enodes) 5.446 * * [simplify]: Extracting #0: cost 1 inf + 0 5.446 * * [simplify]: Extracting #1: cost 3 inf + 0 5.446 * * [simplify]: Extracting #2: cost 2 inf + 1 5.446 * * [simplify]: Extracting #3: cost 0 inf + 163 5.446 * [simplify]: Simplified to (cbrt t) 5.447 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* (* 2e-16 t) 2e-16) (* (cbrt t) (cbrt t))) (cbrt t))) 5.447 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 5.447 * [simplify]: Simplifying (sqrt t) 5.447 * * [simplify]: iters left: 1 (2 enodes) 5.448 * * [simplify]: Extracting #0: cost 1 inf + 0 5.448 * * [simplify]: Extracting #1: cost 3 inf + 0 5.448 * * [simplify]: Extracting #2: cost 2 inf + 1 5.448 * * [simplify]: Extracting #3: cost 0 inf + 83 5.448 * [simplify]: Simplified to (sqrt t) 5.448 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* (* 2e-16 t) 2e-16) (sqrt t)) (sqrt t))) 5.448 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 5.448 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 5.449 * [simplify]: Simplifying (* 2e-16 t) 5.449 * * [simplify]: iters left: 2 (3 enodes) 5.451 * * [simplify]: iters left: 1 (10 enodes) 5.454 * * [simplify]: Extracting #0: cost 1 inf + 0 5.454 * * [simplify]: Extracting #1: cost 4 inf + 0 5.454 * * [simplify]: Extracting #2: cost 2 inf + 2 5.454 * * [simplify]: Extracting #3: cost 0 inf + 86 5.454 * [simplify]: Simplified to (* 2e-16 t) 5.454 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 5.454 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))> 5.454 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 5.454 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 5.455 * [simplify]: Simplifying (* (* 2e-16 t) 2e-16) 5.455 * * [simplify]: iters left: 4 (4 enodes) 5.457 * * [simplify]: iters left: 3 (14 enodes) 5.462 * * [simplify]: iters left: 2 (17 enodes) 5.468 * * [simplify]: iters left: 1 (19 enodes) 5.471 * * [simplify]: Extracting #0: cost 1 inf + 0 5.471 * * [simplify]: Extracting #1: cost 6 inf + 0 5.471 * * [simplify]: Extracting #2: cost 6 inf + 2 5.471 * * [simplify]: Extracting #3: cost 1 inf + 291 5.471 * * [simplify]: Extracting #4: cost 0 inf + 332 5.471 * [simplify]: Simplified to (* 2e-16 (* 2e-16 t)) 5.471 * [simplify]: Simplified (2 1 1) to (λ (t) (* (pow (* 2e-16 (* 2e-16 t)) 1) t)) 5.471 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 5.472 * [simplify]: Simplifying (* (* 2e-16 t) 2e-16) 5.472 * * [simplify]: iters left: 4 (4 enodes) 5.473 * * [simplify]: iters left: 3 (14 enodes) 5.475 * * [simplify]: iters left: 2 (17 enodes) 5.478 * * [simplify]: iters left: 1 (19 enodes) 5.480 * * [simplify]: Extracting #0: cost 1 inf + 0 5.481 * * [simplify]: Extracting #1: cost 6 inf + 0 5.481 * * [simplify]: Extracting #2: cost 6 inf + 2 5.481 * * [simplify]: Extracting #3: cost 1 inf + 291 5.481 * * [simplify]: Extracting #4: cost 0 inf + 332 5.481 * [simplify]: Simplified to (* 2e-16 (* 2e-16 t)) 5.481 * [simplify]: Simplified (2 1 1) to (λ (t) (* (pow (* 2e-16 (* 2e-16 t)) 1) t)) 5.481 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 5.481 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 5.481 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (log 2e-16)) 5.481 * * [simplify]: iters left: 5 (6 enodes) 5.483 * * [simplify]: iters left: 4 (20 enodes) 5.486 * * [simplify]: iters left: 3 (23 enodes) 5.490 * * [simplify]: iters left: 2 (25 enodes) 5.493 * * [simplify]: Extracting #0: cost 1 inf + 0 5.493 * * [simplify]: Extracting #1: cost 6 inf + 0 5.493 * * [simplify]: Extracting #2: cost 12 inf + 0 5.493 * * [simplify]: Extracting #3: cost 10 inf + 2 5.493 * * [simplify]: Extracting #4: cost 0 inf + 1316 5.494 * [simplify]: Simplified to (+ (+ (log 2e-16) (log 2e-16)) (log t)) 5.494 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (+ (+ (log 2e-16) (log 2e-16)) (log t))) t)) 5.494 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 5.494 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log 2e-16)) 5.494 * * [simplify]: iters left: 5 (6 enodes) 5.496 * * [simplify]: iters left: 4 (22 enodes) 5.499 * * [simplify]: iters left: 3 (27 enodes) 5.503 * * [simplify]: iters left: 2 (30 enodes) 5.507 * * [simplify]: Extracting #0: cost 1 inf + 0 5.507 * * [simplify]: Extracting #1: cost 6 inf + 0 5.507 * * [simplify]: Extracting #2: cost 13 inf + 0 5.507 * * [simplify]: Extracting #3: cost 12 inf + 2 5.508 * * [simplify]: Extracting #4: cost 2 inf + 926 5.508 * * [simplify]: Extracting #5: cost 0 inf + 1260 5.508 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log 2e-16)) 5.508 * [simplify]: Simplified (2 1 1) to (λ (t) (* (exp (+ (log (* 2e-16 t)) (log 2e-16))) t)) 5.508 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 5.508 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 5.508 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 5.508 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* 2e-16 2e-16) 2e-16)) 5.508 * * [simplify]: iters left: 6 (8 enodes) 5.511 * * [simplify]: iters left: 5 (34 enodes) 5.519 * * [simplify]: iters left: 4 (88 enodes) 5.569 * * [simplify]: iters left: 3 (248 enodes) 5.721 * * [simplify]: Extracting #0: cost 1 inf + 0 5.721 * * [simplify]: Extracting #1: cost 40 inf + 0 5.722 * * [simplify]: Extracting #2: cost 117 inf + 207 5.723 * * [simplify]: Extracting #3: cost 72 inf + 5727 5.728 * * [simplify]: Extracting #4: cost 15 inf + 18723 5.732 * * [simplify]: Extracting #5: cost 0 inf + 23486 5.737 * [simplify]: Simplified to (* 2e-16 (* (* 2e-16 (* t 2e-16)) (* (* t 2e-16) (* 2e-16 (* t 2e-16))))) 5.737 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* 2e-16 (* (* 2e-16 (* t 2e-16)) (* (* t 2e-16) (* 2e-16 (* t 2e-16)))))) t)) 5.737 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 5.737 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* 2e-16 2e-16) 2e-16)) 5.737 * * [simplify]: iters left: 6 (8 enodes) 5.740 * * [simplify]: iters left: 5 (40 enodes) 5.749 * * [simplify]: iters left: 4 (117 enodes) 5.786 * * [simplify]: iters left: 3 (276 enodes) 5.965 * * [simplify]: Extracting #0: cost 1 inf + 0 5.966 * * [simplify]: Extracting #1: cost 49 inf + 0 5.966 * * [simplify]: Extracting #2: cost 113 inf + 3 5.967 * * [simplify]: Extracting #3: cost 96 inf + 2317 5.972 * * [simplify]: Extracting #4: cost 24 inf + 17747 5.981 * * [simplify]: Extracting #5: cost 0 inf + 22163 5.991 * * [simplify]: Extracting #6: cost 0 inf + 22123 6.001 * [simplify]: Simplified to (* (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))) (* 2e-16 (* 2e-16 t))) 6.001 * [simplify]: Simplified (2 1 1) to (λ (t) (* (cbrt (* (* (* 2e-16 (* 2e-16 t)) (* 2e-16 (* 2e-16 t))) (* 2e-16 (* 2e-16 t)))) t)) 6.001 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 6.001 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 6.001 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 6.002 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 6.002 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 6.002 * [simplify]: Simplifying (cbrt 2e-16) 6.002 * * [simplify]: iters left: 1 (2 enodes) 6.004 * * [simplify]: Extracting #0: cost 1 inf + 0 6.004 * * [simplify]: Extracting #1: cost 3 inf + 0 6.004 * * [simplify]: Extracting #2: cost 2 inf + 1 6.004 * * [simplify]: Extracting #3: cost 0 inf + 163 6.004 * [simplify]: Simplified to (cbrt 2e-16) 6.004 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* (* (* 2e-16 t) (* (cbrt 2e-16) (cbrt 2e-16))) (cbrt 2e-16)) t)) 6.004 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 6.004 * [simplify]: Simplifying (sqrt 2e-16) 6.004 * * [simplify]: iters left: 1 (2 enodes) 6.006 * * [simplify]: Extracting #0: cost 1 inf + 0 6.006 * * [simplify]: Extracting #1: cost 3 inf + 0 6.006 * * [simplify]: Extracting #2: cost 2 inf + 1 6.006 * * [simplify]: Extracting #3: cost 0 inf + 83 6.006 * [simplify]: Simplified to (sqrt 2e-16) 6.006 * [simplify]: Simplified (2 1 2) to (λ (t) (* (* (* (* 2e-16 t) (sqrt 2e-16)) (sqrt 2e-16)) t)) 6.006 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 6.007 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 6.007 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) 2e-16))) t))> 6.007 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 6.007 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 6.007 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.007 * * [simplify]: iters left: 3 (5 enodes) 6.011 * * [simplify]: iters left: 2 (21 enodes) 6.018 * * [simplify]: iters left: 1 (29 enodes) 6.027 * * [simplify]: Extracting #0: cost 1 inf + 0 6.027 * * [simplify]: Extracting #1: cost 6 inf + 0 6.027 * * [simplify]: Extracting #2: cost 6 inf + 43 6.027 * * [simplify]: Extracting #3: cost 0 inf + 333 6.027 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.028 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.028 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 6.028 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.028 * * [simplify]: iters left: 3 (5 enodes) 6.032 * * [simplify]: iters left: 2 (21 enodes) 6.038 * * [simplify]: iters left: 1 (29 enodes) 6.047 * * [simplify]: Extracting #0: cost 1 inf + 0 6.047 * * [simplify]: Extracting #1: cost 6 inf + 0 6.047 * * [simplify]: Extracting #2: cost 6 inf + 43 6.048 * * [simplify]: Extracting #3: cost 0 inf + 333 6.048 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.048 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.048 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 6.048 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.048 * * [simplify]: iters left: 3 (5 enodes) 6.053 * * [simplify]: iters left: 2 (21 enodes) 6.060 * * [simplify]: iters left: 1 (29 enodes) 6.069 * * [simplify]: Extracting #0: cost 1 inf + 0 6.069 * * [simplify]: Extracting #1: cost 6 inf + 0 6.069 * * [simplify]: Extracting #2: cost 6 inf + 43 6.069 * * [simplify]: Extracting #3: cost 0 inf + 333 6.069 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.069 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.069 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 6.070 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 6.070 * * [simplify]: iters left: 2 (3 enodes) 6.071 * * [simplify]: iters left: 1 (10 enodes) 6.073 * * [simplify]: Extracting #0: cost 1 inf + 0 6.073 * * [simplify]: Extracting #1: cost 4 inf + 0 6.073 * * [simplify]: Extracting #2: cost 2 inf + 2 6.074 * * [simplify]: Extracting #3: cost 0 inf + 86 6.074 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 6.074 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 6.074 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 6.074 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 6.074 * * [simplify]: iters left: 2 (3 enodes) 6.075 * * [simplify]: iters left: 1 (10 enodes) 6.076 * * [simplify]: Extracting #0: cost 1 inf + 0 6.076 * * [simplify]: Extracting #1: cost 4 inf + 0 6.076 * * [simplify]: Extracting #2: cost 2 inf + 2 6.076 * * [simplify]: Extracting #3: cost 0 inf + 86 6.077 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 6.077 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 6.077 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 6.077 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 6.077 * * [simplify]: iters left: 2 (3 enodes) 6.078 * * [simplify]: iters left: 1 (10 enodes) 6.079 * * [simplify]: Extracting #0: cost 1 inf + 0 6.079 * * [simplify]: Extracting #1: cost 4 inf + 0 6.079 * * [simplify]: Extracting #2: cost 2 inf + 2 6.079 * * [simplify]: Extracting #3: cost 0 inf + 86 6.079 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 6.079 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 6.079 * * * [progress]: adding candidates to table 6.329 * * [progress]: iteration 4 / 4 6.329 * * * [progress]: picking best candidate 6.351 * * * * [pick]: Picked # 6.352 * * * [progress]: localizing error 6.368 * * * [progress]: generating rewritten candidates 6.368 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.431 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.457 * * * [progress]: generating series expansions 6.457 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.457 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 6.457 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.457 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.457 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.457 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.457 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.458 * [taylor]: Taking taylor expansion of t in t 6.458 * [backup-simplify]: Simplify 0 into 0 6.458 * [backup-simplify]: Simplify 1 into 1 6.458 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.458 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.458 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.458 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.458 * [taylor]: Taking taylor expansion of t in t 6.458 * [backup-simplify]: Simplify 0 into 0 6.458 * [backup-simplify]: Simplify 1 into 1 6.459 * [backup-simplify]: Simplify (* 1 1) into 1 6.459 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.459 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.460 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.460 * [backup-simplify]: Simplify 0 into 0 6.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.463 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.463 * [backup-simplify]: Simplify 0 into 0 6.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.465 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.465 * [backup-simplify]: Simplify 0 into 0 6.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.467 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.467 * [backup-simplify]: Simplify 0 into 0 6.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.470 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.470 * [backup-simplify]: Simplify 0 into 0 6.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.473 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.473 * [backup-simplify]: Simplify 0 into 0 6.473 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.474 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 6.474 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.474 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.474 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.474 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.474 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.474 * [taylor]: Taking taylor expansion of t in t 6.474 * [backup-simplify]: Simplify 0 into 0 6.474 * [backup-simplify]: Simplify 1 into 1 6.474 * [backup-simplify]: Simplify (* 1 1) into 1 6.475 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.475 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.475 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.475 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.475 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.475 * [taylor]: Taking taylor expansion of t in t 6.475 * [backup-simplify]: Simplify 0 into 0 6.475 * [backup-simplify]: Simplify 1 into 1 6.475 * [backup-simplify]: Simplify (* 1 1) into 1 6.476 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.476 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.477 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.477 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.478 * [backup-simplify]: Simplify 0 into 0 6.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.479 * [backup-simplify]: Simplify 0 into 0 6.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.482 * [backup-simplify]: Simplify 0 into 0 6.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.484 * [backup-simplify]: Simplify 0 into 0 6.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.486 * [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.487 * [backup-simplify]: Simplify 0 into 0 6.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.489 * [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.489 * [backup-simplify]: Simplify 0 into 0 6.489 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.490 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 6.490 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.490 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.490 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.490 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.490 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.490 * [taylor]: Taking taylor expansion of t in t 6.490 * [backup-simplify]: Simplify 0 into 0 6.490 * [backup-simplify]: Simplify 1 into 1 6.490 * [backup-simplify]: Simplify (* 1 1) into 1 6.491 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.491 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.491 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.491 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.491 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.491 * [taylor]: Taking taylor expansion of t in t 6.491 * [backup-simplify]: Simplify 0 into 0 6.491 * [backup-simplify]: Simplify 1 into 1 6.491 * [backup-simplify]: Simplify (* 1 1) into 1 6.492 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.492 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.494 * [backup-simplify]: Simplify 0 into 0 6.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.496 * [backup-simplify]: Simplify 0 into 0 6.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.498 * [backup-simplify]: Simplify 0 into 0 6.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.500 * [backup-simplify]: Simplify 0 into 0 6.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.502 * [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.502 * [backup-simplify]: Simplify 0 into 0 6.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.505 * [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.505 * [backup-simplify]: Simplify 0 into 0 6.505 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.505 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.505 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 6.505 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 6.505 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 6.505 * [taylor]: Taking taylor expansion of 2e-16 in t 6.505 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.505 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.505 * [taylor]: Taking taylor expansion of t in t 6.505 * [backup-simplify]: Simplify 0 into 0 6.505 * [backup-simplify]: Simplify 1 into 1 6.505 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 6.505 * [taylor]: Taking taylor expansion of 2e-16 in t 6.505 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.505 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.506 * [taylor]: Taking taylor expansion of t in t 6.506 * [backup-simplify]: Simplify 0 into 0 6.506 * [backup-simplify]: Simplify 1 into 1 6.506 * [backup-simplify]: Simplify (* 1 1) into 1 6.506 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16 6.507 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.507 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.508 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 6.508 * [backup-simplify]: Simplify 0 into 0 6.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.510 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 6.510 * [backup-simplify]: Simplify 0 into 0 6.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.512 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.512 * [backup-simplify]: Simplify 0 into 0 6.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.515 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.515 * [backup-simplify]: Simplify 0 into 0 6.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.517 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.517 * [backup-simplify]: Simplify 0 into 0 6.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.519 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.519 * [backup-simplify]: Simplify 0 into 0 6.519 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 6.519 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 6.519 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 6.519 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 6.519 * [taylor]: Taking taylor expansion of 2e-16 in t 6.519 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.519 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.519 * [taylor]: Taking taylor expansion of t in t 6.519 * [backup-simplify]: Simplify 0 into 0 6.519 * [backup-simplify]: Simplify 1 into 1 6.519 * [backup-simplify]: Simplify (* 1 1) into 1 6.520 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 6.520 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 6.520 * [taylor]: Taking taylor expansion of 2e-16 in t 6.520 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.520 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.520 * [taylor]: Taking taylor expansion of t in t 6.520 * [backup-simplify]: Simplify 0 into 0 6.520 * [backup-simplify]: Simplify 1 into 1 6.520 * [backup-simplify]: Simplify (* 1 1) into 1 6.520 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 6.520 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 6.521 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.522 * [backup-simplify]: Simplify 0 into 0 6.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.524 * [backup-simplify]: Simplify 0 into 0 6.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.525 * [backup-simplify]: Simplify 0 into 0 6.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.526 * [backup-simplify]: Simplify 0 into 0 6.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.528 * [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 6.528 * [backup-simplify]: Simplify 0 into 0 6.528 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 6.528 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 6.528 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 6.528 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 6.528 * [taylor]: Taking taylor expansion of 2e-16 in t 6.528 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.528 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.528 * [taylor]: Taking taylor expansion of t in t 6.528 * [backup-simplify]: Simplify 0 into 0 6.528 * [backup-simplify]: Simplify 1 into 1 6.529 * [backup-simplify]: Simplify (* 1 1) into 1 6.529 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 6.529 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 6.529 * [taylor]: Taking taylor expansion of 2e-16 in t 6.529 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.529 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.529 * [taylor]: Taking taylor expansion of t in t 6.529 * [backup-simplify]: Simplify 0 into 0 6.529 * [backup-simplify]: Simplify 1 into 1 6.529 * [backup-simplify]: Simplify (* 1 1) into 1 6.529 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 6.530 * [backup-simplify]: Simplify 2e-16 into 2e-16 6.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 6.530 * [backup-simplify]: Simplify 0 into 0 6.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.532 * [backup-simplify]: Simplify 0 into 0 6.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.533 * [backup-simplify]: Simplify 0 into 0 6.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.534 * [backup-simplify]: Simplify 0 into 0 6.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.535 * [backup-simplify]: Simplify 0 into 0 6.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.537 * [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 6.537 * [backup-simplify]: Simplify 0 into 0 6.537 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 6.537 * * * [progress]: simplifying candidates 6.537 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 6.537 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 6.537 * * [simplify]: iters left: 6 (5 enodes) 6.539 * * [simplify]: iters left: 5 (19 enodes) 6.544 * * [simplify]: iters left: 4 (31 enodes) 6.550 * * [simplify]: iters left: 3 (40 enodes) 6.555 * * [simplify]: Extracting #0: cost 1 inf + 0 6.555 * * [simplify]: Extracting #1: cost 9 inf + 0 6.555 * * [simplify]: Extracting #2: cost 11 inf + 43 6.555 * * [simplify]: Extracting #3: cost 2 inf + 619 6.555 * * [simplify]: Extracting #4: cost 0 inf + 742 6.556 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 6.556 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 6.556 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 6.556 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 6.556 * * [simplify]: iters left: 6 (5 enodes) 6.559 * * [simplify]: iters left: 5 (19 enodes) 6.565 * * [simplify]: iters left: 4 (31 enodes) 6.576 * * [simplify]: iters left: 3 (40 enodes) 6.587 * * [simplify]: Extracting #0: cost 1 inf + 0 6.587 * * [simplify]: Extracting #1: cost 9 inf + 0 6.587 * * [simplify]: Extracting #2: cost 11 inf + 43 6.588 * * [simplify]: Extracting #3: cost 2 inf + 619 6.588 * * [simplify]: Extracting #4: cost 0 inf + 742 6.589 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 6.589 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 6.589 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 6.589 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 6.589 * * [simplify]: iters left: 6 (5 enodes) 6.592 * * [simplify]: iters left: 5 (19 enodes) 6.599 * * [simplify]: iters left: 4 (31 enodes) 6.609 * * [simplify]: iters left: 3 (40 enodes) 6.620 * * [simplify]: Extracting #0: cost 1 inf + 0 6.620 * * [simplify]: Extracting #1: cost 9 inf + 0 6.620 * * [simplify]: Extracting #2: cost 11 inf + 43 6.621 * * [simplify]: Extracting #3: cost 2 inf + 619 6.621 * * [simplify]: Extracting #4: cost 0 inf + 742 6.622 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 6.622 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 6.622 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 6.622 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 6.622 * [simplify]: Simplifying (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t)))) 6.622 * * [simplify]: iters left: 6 (7 enodes) 6.625 * * [simplify]: iters left: 5 (25 enodes) 6.630 * * [simplify]: iters left: 4 (34 enodes) 6.635 * * [simplify]: iters left: 3 (42 enodes) 6.640 * * [simplify]: iters left: 2 (45 enodes) 6.647 * * [simplify]: Extracting #0: cost 1 inf + 0 6.647 * * [simplify]: Extracting #1: cost 9 inf + 0 6.647 * * [simplify]: Extracting #2: cost 18 inf + 0 6.647 * * [simplify]: Extracting #3: cost 15 inf + 73 6.648 * * [simplify]: Extracting #4: cost 11 inf + 548 6.648 * * [simplify]: Extracting #5: cost 1 inf + 2204 6.649 * * [simplify]: Extracting #6: cost 0 inf + 2426 6.650 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 6.650 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 6.650 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 6.650 * [simplify]: Simplifying (+ (log 2e-16) (+ (log t) (log (* 2e-16 t)))) 6.650 * * [simplify]: iters left: 6 (8 enodes) 6.655 * * [simplify]: iters left: 5 (29 enodes) 6.666 * * [simplify]: iters left: 4 (37 enodes) 6.677 * * [simplify]: iters left: 3 (46 enodes) 6.689 * * [simplify]: iters left: 2 (49 enodes) 6.697 * * [simplify]: Extracting #0: cost 1 inf + 0 6.697 * * [simplify]: Extracting #1: cost 9 inf + 0 6.697 * * [simplify]: Extracting #2: cost 19 inf + 0 6.697 * * [simplify]: Extracting #3: cost 17 inf + 73 6.697 * * [simplify]: Extracting #4: cost 9 inf + 785 6.698 * * [simplify]: Extracting #5: cost 0 inf + 2230 6.698 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 6.698 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 6.698 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 6.698 * [simplify]: Simplifying (+ (log 2e-16) (log (* t (* 2e-16 t)))) 6.699 * * [simplify]: iters left: 6 (7 enodes) 6.701 * * [simplify]: iters left: 5 (27 enodes) 6.705 * * [simplify]: iters left: 4 (40 enodes) 6.711 * * [simplify]: iters left: 3 (52 enodes) 6.718 * * [simplify]: iters left: 2 (61 enodes) 6.725 * * [simplify]: iters left: 1 (62 enodes) 6.733 * * [simplify]: Extracting #0: cost 1 inf + 0 6.733 * * [simplify]: Extracting #1: cost 9 inf + 0 6.733 * * [simplify]: Extracting #2: cost 21 inf + 0 6.733 * * [simplify]: Extracting #3: cost 19 inf + 225 6.733 * * [simplify]: Extracting #4: cost 10 inf + 949 6.734 * * [simplify]: Extracting #5: cost 1 inf + 2225 6.734 * * [simplify]: Extracting #6: cost 0 inf + 2336 6.735 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 6.735 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 6.735 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 6.735 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 6.735 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 6.735 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))) 6.735 * * [simplify]: iters left: 6 (9 enodes) 6.738 * * [simplify]: iters left: 5 (41 enodes) 6.747 * * [simplify]: iters left: 4 (131 enodes) 6.845 * * [simplify]: Extracting #0: cost 1 inf + 0 6.845 * * [simplify]: Extracting #1: cost 36 inf + 0 6.846 * * [simplify]: Extracting #2: cost 108 inf + 529 6.851 * * [simplify]: Extracting #3: cost 55 inf + 9829 6.862 * * [simplify]: Extracting #4: cost 4 inf + 18768 6.874 * * [simplify]: Extracting #5: cost 0 inf + 18236 6.885 * * [simplify]: Extracting #6: cost 0 inf + 18036 6.897 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 6.898 * [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)))))) 6.898 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 6.898 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))) 6.898 * * [simplify]: iters left: 6 (11 enodes) 6.905 * * [simplify]: iters left: 5 (54 enodes) 6.929 * * [simplify]: iters left: 4 (176 enodes) 7.048 * * [simplify]: Extracting #0: cost 1 inf + 0 7.048 * * [simplify]: Extracting #1: cost 52 inf + 0 7.049 * * [simplify]: Extracting #2: cost 131 inf + 287 7.054 * * [simplify]: Extracting #3: cost 88 inf + 7729 7.060 * * [simplify]: Extracting #4: cost 5 inf + 23303 7.067 * * [simplify]: Extracting #5: cost 0 inf + 23654 7.075 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 7.075 * [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.075 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 7.075 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))) 7.075 * * [simplify]: iters left: 6 (9 enodes) 7.078 * * [simplify]: iters left: 5 (45 enodes) 7.096 * * [simplify]: iters left: 4 (146 enodes) 7.171 * * [simplify]: Extracting #0: cost 1 inf + 0 7.172 * * [simplify]: Extracting #1: cost 36 inf + 0 7.172 * * [simplify]: Extracting #2: cost 111 inf + 208 7.175 * * [simplify]: Extracting #3: cost 50 inf + 10858 7.181 * * [simplify]: Extracting #4: cost 2 inf + 19062 7.187 * * [simplify]: Extracting #5: cost 0 inf + 19527 7.193 * [simplify]: Simplified to (* (* (* t 2e-16) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16)))) 7.193 * [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.194 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 7.194 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 7.194 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 7.194 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 7.194 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 7.194 * [simplify]: Simplifying (* 2e-16 t) 7.194 * * [simplify]: iters left: 2 (3 enodes) 7.195 * * [simplify]: iters left: 1 (10 enodes) 7.197 * * [simplify]: Extracting #0: cost 1 inf + 0 7.197 * * [simplify]: Extracting #1: cost 4 inf + 0 7.197 * * [simplify]: Extracting #2: cost 2 inf + 2 7.197 * * [simplify]: Extracting #3: cost 0 inf + 86 7.197 * [simplify]: Simplified to (* 2e-16 t) 7.197 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 7.197 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 7.197 * [simplify]: Simplifying (* (cbrt 2e-16) (cbrt 2e-16)) 7.197 * * [simplify]: iters left: 3 (3 enodes) 7.198 * * [simplify]: iters left: 2 (9 enodes) 7.200 * * [simplify]: Extracting #0: cost 1 inf + 0 7.200 * * [simplify]: Extracting #1: cost 3 inf + 0 7.200 * * [simplify]: Extracting #2: cost 5 inf + 0 7.200 * * [simplify]: Extracting #3: cost 4 inf + 1 7.200 * * [simplify]: Extracting #4: cost 0 inf + 405 7.200 * [simplify]: Simplified to (* (cbrt 2e-16) (cbrt 2e-16)) 7.200 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t (* 2e-16 t))))) 7.200 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 7.201 * [simplify]: Simplifying (sqrt 2e-16) 7.201 * * [simplify]: iters left: 1 (2 enodes) 7.202 * * [simplify]: Extracting #0: cost 1 inf + 0 7.202 * * [simplify]: Extracting #1: cost 3 inf + 0 7.202 * * [simplify]: Extracting #2: cost 2 inf + 1 7.202 * * [simplify]: Extracting #3: cost 0 inf + 83 7.202 * [simplify]: Simplified to (sqrt 2e-16) 7.202 * [simplify]: Simplified (2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) 7.202 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 7.202 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 7.202 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 7.202 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 7.202 * [simplify]: Simplifying (* t (* 2e-16 t)) 7.202 * * [simplify]: iters left: 4 (4 enodes) 7.203 * * [simplify]: iters left: 3 (14 enodes) 7.206 * * [simplify]: iters left: 2 (17 enodes) 7.208 * * [simplify]: iters left: 1 (19 enodes) 7.211 * * [simplify]: Extracting #0: cost 1 inf + 0 7.211 * * [simplify]: Extracting #1: cost 6 inf + 0 7.211 * * [simplify]: Extracting #2: cost 6 inf + 2 7.211 * * [simplify]: Extracting #3: cost 1 inf + 291 7.212 * * [simplify]: Extracting #4: cost 0 inf + 332 7.212 * [simplify]: Simplified to (* t (* t 2e-16)) 7.212 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* t (* t 2e-16)) 1))) 7.212 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 7.212 * [simplify]: Simplifying (* t (* 2e-16 t)) 7.212 * * [simplify]: iters left: 4 (4 enodes) 7.213 * * [simplify]: iters left: 3 (14 enodes) 7.216 * * [simplify]: iters left: 2 (17 enodes) 7.218 * * [simplify]: iters left: 1 (19 enodes) 7.221 * * [simplify]: Extracting #0: cost 1 inf + 0 7.221 * * [simplify]: Extracting #1: cost 6 inf + 0 7.221 * * [simplify]: Extracting #2: cost 6 inf + 2 7.221 * * [simplify]: Extracting #3: cost 1 inf + 291 7.221 * * [simplify]: Extracting #4: cost 0 inf + 332 7.221 * [simplify]: Simplified to (* t (* t 2e-16)) 7.221 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* t (* t 2e-16)) 1))) 7.221 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 7.221 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 7.221 * [simplify]: Simplifying (+ (log t) (+ (log 2e-16) (log t))) 7.221 * * [simplify]: iters left: 5 (6 enodes) 7.223 * * [simplify]: iters left: 4 (20 enodes) 7.228 * * [simplify]: iters left: 3 (23 enodes) 7.232 * * [simplify]: iters left: 2 (25 enodes) 7.238 * * [simplify]: Extracting #0: cost 1 inf + 0 7.238 * * [simplify]: Extracting #1: cost 6 inf + 0 7.238 * * [simplify]: Extracting #2: cost 12 inf + 0 7.238 * * [simplify]: Extracting #3: cost 10 inf + 2 7.239 * * [simplify]: Extracting #4: cost 0 inf + 1316 7.239 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 2e-16)) 7.239 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (+ (+ (log t) (log t)) (log 2e-16))))) 7.239 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 7.240 * [simplify]: Simplifying (+ (log t) (log (* 2e-16 t))) 7.240 * * [simplify]: iters left: 5 (6 enodes) 7.243 * * [simplify]: iters left: 4 (22 enodes) 7.250 * * [simplify]: iters left: 3 (27 enodes) 7.258 * * [simplify]: iters left: 2 (30 enodes) 7.266 * * [simplify]: Extracting #0: cost 1 inf + 0 7.266 * * [simplify]: Extracting #1: cost 6 inf + 0 7.266 * * [simplify]: Extracting #2: cost 13 inf + 0 7.267 * * [simplify]: Extracting #3: cost 10 inf + 144 7.267 * * [simplify]: Extracting #4: cost 8 inf + 257 7.267 * * [simplify]: Extracting #5: cost 1 inf + 1038 7.267 * * [simplify]: Extracting #6: cost 0 inf + 1260 7.268 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 2e-16)) 7.268 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (+ (+ (log t) (log t)) (log 2e-16))))) 7.268 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 7.268 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 7.268 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 7.268 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 7.269 * * [simplify]: iters left: 6 (8 enodes) 7.273 * * [simplify]: iters left: 5 (34 enodes) 7.282 * * [simplify]: iters left: 4 (89 enodes) 7.307 * * [simplify]: iters left: 3 (242 enodes) 7.470 * * [simplify]: Extracting #0: cost 1 inf + 0 7.471 * * [simplify]: Extracting #1: cost 43 inf + 0 7.472 * * [simplify]: Extracting #2: cost 108 inf + 573 7.476 * * [simplify]: Extracting #3: cost 51 inf + 8519 7.485 * * [simplify]: Extracting #4: cost 1 inf + 21439 7.493 * * [simplify]: Extracting #5: cost 0 inf + 21611 7.505 * [simplify]: Simplified to (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t)))) 7.505 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))))) 7.505 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 7.505 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 7.505 * * [simplify]: iters left: 6 (8 enodes) 7.508 * * [simplify]: iters left: 5 (40 enodes) 7.516 * * [simplify]: iters left: 4 (119 enodes) 7.554 * * [simplify]: iters left: 3 (302 enodes) 7.702 * * [simplify]: Extracting #0: cost 1 inf + 0 7.702 * * [simplify]: Extracting #1: cost 38 inf + 0 7.703 * * [simplify]: Extracting #2: cost 89 inf + 543 7.706 * * [simplify]: Extracting #3: cost 56 inf + 4742 7.711 * * [simplify]: Extracting #4: cost 4 inf + 18109 7.715 * * [simplify]: Extracting #5: cost 0 inf + 18828 7.719 * [simplify]: Simplified to (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t)) 7.719 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))))) 7.719 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 7.719 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 7.719 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 7.719 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 7.719 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 7.719 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 7.720 * [simplify]: Simplifying (* (cbrt t) (cbrt t)) 7.720 * * [simplify]: iters left: 3 (3 enodes) 7.720 * * [simplify]: iters left: 2 (9 enodes) 7.721 * * [simplify]: Extracting #0: cost 1 inf + 0 7.721 * * [simplify]: Extracting #1: cost 3 inf + 0 7.721 * * [simplify]: Extracting #2: cost 5 inf + 0 7.721 * * [simplify]: Extracting #3: cost 4 inf + 1 7.721 * * [simplify]: Extracting #4: cost 0 inf + 405 7.722 * [simplify]: Simplified to (* (cbrt t) (cbrt t)) 7.722 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t))))) 7.722 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 7.722 * [simplify]: Simplifying (sqrt t) 7.722 * * [simplify]: iters left: 1 (2 enodes) 7.722 * * [simplify]: Extracting #0: cost 1 inf + 0 7.722 * * [simplify]: Extracting #1: cost 3 inf + 0 7.722 * * [simplify]: Extracting #2: cost 2 inf + 1 7.722 * * [simplify]: Extracting #3: cost 0 inf + 83 7.722 * [simplify]: Simplified to (sqrt t) 7.722 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t))))) 7.722 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 7.722 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 7.723 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 7.723 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 7.723 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 7.723 * * [simplify]: iters left: 3 (5 enodes) 7.725 * * [simplify]: iters left: 2 (21 enodes) 7.728 * * [simplify]: iters left: 1 (29 enodes) 7.733 * * [simplify]: Extracting #0: cost 1 inf + 0 7.733 * * [simplify]: Extracting #1: cost 6 inf + 0 7.733 * * [simplify]: Extracting #2: cost 6 inf + 43 7.733 * * [simplify]: Extracting #3: cost 0 inf + 333 7.733 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 7.733 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 7.733 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 7.733 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 7.733 * * [simplify]: iters left: 3 (5 enodes) 7.735 * * [simplify]: iters left: 2 (21 enodes) 7.739 * * [simplify]: iters left: 1 (29 enodes) 7.747 * * [simplify]: Extracting #0: cost 1 inf + 0 7.747 * * [simplify]: Extracting #1: cost 6 inf + 0 7.747 * * [simplify]: Extracting #2: cost 6 inf + 43 7.747 * * [simplify]: Extracting #3: cost 0 inf + 333 7.747 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 7.747 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 7.747 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 7.748 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 7.748 * * [simplify]: iters left: 3 (5 enodes) 7.751 * * [simplify]: iters left: 2 (21 enodes) 7.758 * * [simplify]: iters left: 1 (29 enodes) 7.767 * * [simplify]: Extracting #0: cost 1 inf + 0 7.767 * * [simplify]: Extracting #1: cost 6 inf + 0 7.767 * * [simplify]: Extracting #2: cost 6 inf + 43 7.767 * * [simplify]: Extracting #3: cost 0 inf + 333 7.768 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 7.768 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 7.768 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 7.768 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 7.768 * * [simplify]: iters left: 3 (5 enodes) 7.772 * * [simplify]: iters left: 2 (21 enodes) 7.779 * * [simplify]: iters left: 1 (29 enodes) 7.788 * * [simplify]: Extracting #0: cost 1 inf + 0 7.788 * * [simplify]: Extracting #1: cost 6 inf + 0 7.788 * * [simplify]: Extracting #2: cost 6 inf + 43 7.788 * * [simplify]: Extracting #3: cost 0 inf + 333 7.788 * [simplify]: Simplified to (* (* t t) 2e-16) 7.789 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 7.789 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 7.789 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 7.789 * * [simplify]: iters left: 3 (5 enodes) 7.791 * * [simplify]: iters left: 2 (21 enodes) 7.795 * * [simplify]: iters left: 1 (29 enodes) 7.799 * * [simplify]: Extracting #0: cost 1 inf + 0 7.799 * * [simplify]: Extracting #1: cost 6 inf + 0 7.799 * * [simplify]: Extracting #2: cost 6 inf + 43 7.799 * * [simplify]: Extracting #3: cost 0 inf + 333 7.799 * [simplify]: Simplified to (* (* t t) 2e-16) 7.799 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 7.799 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 7.799 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 7.800 * * [simplify]: iters left: 3 (5 enodes) 7.801 * * [simplify]: iters left: 2 (21 enodes) 7.805 * * [simplify]: iters left: 1 (29 enodes) 7.809 * * [simplify]: Extracting #0: cost 1 inf + 0 7.809 * * [simplify]: Extracting #1: cost 6 inf + 0 7.809 * * [simplify]: Extracting #2: cost 6 inf + 43 7.809 * * [simplify]: Extracting #3: cost 0 inf + 333 7.809 * [simplify]: Simplified to (* (* t t) 2e-16) 7.809 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 7.809 * * * [progress]: adding candidates to table 8.074 * [progress]: [Phase 3 of 3] Extracting. 8.074 * * [regime]: Finding splitpoints for: (# # # # # # # #) 8.076 * * * [regime-changes]: Trying 1 branch expressions: (t) 8.076 * * * * [regimes]: Trying to branch on t from (# # # # # # # #) 8.135 * * * [regime]: Found split indices: #