0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.042 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 0.042 * * [simplify]: iters left: 6 (11 enodes) 0.046 * * [simplify]: iters left: 5 (51 enodes) 0.068 * * [simplify]: iters left: 4 (112 enodes) 0.093 * * [simplify]: iters left: 3 (254 enodes) 0.178 * * [simplify]: iters left: 2 (499 enodes) 0.797 * * [simplify]: Extracting #0: cost 1 inf + 0 0.797 * * [simplify]: Extracting #1: cost 68 inf + 0 0.798 * * [simplify]: Extracting #2: cost 304 inf + 128 0.800 * * [simplify]: Extracting #3: cost 306 inf + 3757 0.809 * * [simplify]: Extracting #4: cost 110 inf + 35431 0.836 * * [simplify]: Extracting #5: cost 6 inf + 50420 0.856 * * [simplify]: Extracting #6: cost 0 inf + 50764 0.876 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 0.876 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 0.886 * * [progress]: iteration 1 / 4 0.886 * * * [progress]: picking best candidate 0.889 * * * * [pick]: Picked # 0.889 * * * [progress]: localizing error 0.903 * * * [progress]: generating rewritten candidates 0.903 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.931 * * * [progress]: generating series expansions 0.931 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.931 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 0.931 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.931 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.931 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.931 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.931 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.931 * [taylor]: Taking taylor expansion of t in t 0.931 * [backup-simplify]: Simplify 0 into 0 0.931 * [backup-simplify]: Simplify 1 into 1 0.931 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 0.931 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.931 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.931 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.932 * [taylor]: Taking taylor expansion of t in t 0.932 * [backup-simplify]: Simplify 0 into 0 0.932 * [backup-simplify]: Simplify 1 into 1 0.932 * [backup-simplify]: Simplify (* 1 1) into 1 0.932 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.932 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.933 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.933 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 0.933 * [backup-simplify]: Simplify 0 into 0 0.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.934 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 0.934 * [backup-simplify]: Simplify 0 into 0 0.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.935 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.936 * [backup-simplify]: Simplify 0 into 0 0.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.937 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.937 * [backup-simplify]: Simplify 0 into 0 0.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.939 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.939 * [backup-simplify]: Simplify 0 into 0 0.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.940 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.940 * [backup-simplify]: Simplify 0 into 0 0.941 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 0.941 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 0.941 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.941 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.941 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.941 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.941 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.941 * [taylor]: Taking taylor expansion of t in t 0.941 * [backup-simplify]: Simplify 0 into 0 0.941 * [backup-simplify]: Simplify 1 into 1 0.941 * [backup-simplify]: Simplify (* 1 1) into 1 0.941 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.941 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.941 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.941 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.941 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.941 * [taylor]: Taking taylor expansion of t in t 0.941 * [backup-simplify]: Simplify 0 into 0 0.941 * [backup-simplify]: Simplify 1 into 1 0.942 * [backup-simplify]: Simplify (* 1 1) into 1 0.942 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.942 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.943 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.944 * [backup-simplify]: Simplify 0 into 0 0.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.945 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.947 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.947 * [backup-simplify]: Simplify 0 into 0 0.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.950 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.950 * [backup-simplify]: Simplify 0 into 0 0.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.952 * [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 0.953 * [backup-simplify]: Simplify 0 into 0 0.953 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 0.953 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 0.953 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 0.953 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.953 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.953 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.953 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.953 * [taylor]: Taking taylor expansion of t in t 0.953 * [backup-simplify]: Simplify 0 into 0 0.953 * [backup-simplify]: Simplify 1 into 1 0.954 * [backup-simplify]: Simplify (* 1 1) into 1 0.954 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.954 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 0.954 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 0.954 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.954 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.954 * [taylor]: Taking taylor expansion of t in t 0.954 * [backup-simplify]: Simplify 0 into 0 0.954 * [backup-simplify]: Simplify 1 into 1 0.955 * [backup-simplify]: Simplify (* 1 1) into 1 0.955 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 0.955 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 0.956 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.957 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.959 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.959 * [backup-simplify]: Simplify 0 into 0 0.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.961 * [backup-simplify]: Simplify 0 into 0 0.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.962 * [backup-simplify]: Simplify 0 into 0 0.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.964 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.964 * [backup-simplify]: Simplify 0 into 0 0.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.965 * [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 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 0.965 * * * [progress]: simplifying candidates 0.965 * * * * [progress]: [ 1 / 38 ] simplifiying candidate # 0.965 * [simplify]: Simplifying (* 2e-16 t) 0.965 * * [simplify]: iters left: 2 (3 enodes) 0.966 * * [simplify]: iters left: 1 (10 enodes) 0.968 * * [simplify]: Extracting #0: cost 1 inf + 0 0.968 * * [simplify]: Extracting #1: cost 4 inf + 0 0.968 * * [simplify]: Extracting #2: cost 2 inf + 2 0.968 * * [simplify]: Extracting #3: cost 0 inf + 86 0.968 * [simplify]: Simplified to (* 2e-16 t) 0.968 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 0.968 * [simplify]: Simplifying (+ 1 1) 0.968 * * [simplify]: iters left: 2 (2 enodes) 0.969 * * [simplify]: iters left: 1 (9 enodes) 0.971 * * [simplify]: Extracting #0: cost 1 inf + 0 0.971 * * [simplify]: Extracting #1: cost 0 inf + 1 0.971 * [simplify]: Simplified to 2 0.971 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 0.971 * * * * [progress]: [ 2 / 38 ] simplifiying candidate # 0.971 * [simplify]: Simplifying (* 2e-16 t) 0.971 * * [simplify]: iters left: 2 (3 enodes) 0.972 * * [simplify]: iters left: 1 (10 enodes) 0.974 * * [simplify]: Extracting #0: cost 1 inf + 0 0.974 * * [simplify]: Extracting #1: cost 4 inf + 0 0.974 * * [simplify]: Extracting #2: cost 2 inf + 2 0.974 * * [simplify]: Extracting #3: cost 0 inf + 86 0.974 * [simplify]: Simplified to (* 2e-16 t) 0.974 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 0.974 * [simplify]: Simplifying (+ 1 1) 0.974 * * [simplify]: iters left: 2 (2 enodes) 0.975 * * [simplify]: iters left: 1 (9 enodes) 0.977 * * [simplify]: Extracting #0: cost 1 inf + 0 0.977 * * [simplify]: Extracting #1: cost 0 inf + 1 0.977 * [simplify]: Simplified to 2 0.977 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 0.977 * * * * [progress]: [ 3 / 38 ] simplifiying candidate # 0.977 * [simplify]: Simplifying (* 2e-16 t) 0.977 * * [simplify]: iters left: 2 (3 enodes) 0.978 * * [simplify]: iters left: 1 (10 enodes) 0.980 * * [simplify]: Extracting #0: cost 1 inf + 0 0.980 * * [simplify]: Extracting #1: cost 4 inf + 0 0.980 * * [simplify]: Extracting #2: cost 2 inf + 2 0.980 * * [simplify]: Extracting #3: cost 0 inf + 86 0.980 * [simplify]: Simplified to (* 2e-16 t) 0.980 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 0.980 * [simplify]: Simplifying (+ 1 1) 0.980 * * [simplify]: iters left: 2 (2 enodes) 0.982 * * [simplify]: iters left: 1 (9 enodes) 0.984 * * [simplify]: Extracting #0: cost 1 inf + 0 0.984 * * [simplify]: Extracting #1: cost 0 inf + 1 0.984 * [simplify]: Simplified to 2 0.984 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 0.984 * * * * [progress]: [ 4 / 38 ] simplifiying candidate # 0.984 * [simplify]: Simplifying (* 2e-16 t) 0.984 * * [simplify]: iters left: 2 (3 enodes) 0.987 * * [simplify]: iters left: 1 (10 enodes) 0.989 * * [simplify]: Extracting #0: cost 1 inf + 0 0.989 * * [simplify]: Extracting #1: cost 4 inf + 0 0.989 * * [simplify]: Extracting #2: cost 2 inf + 2 0.989 * * [simplify]: Extracting #3: cost 0 inf + 86 0.989 * [simplify]: Simplified to (* 2e-16 t) 0.989 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 0.989 * [simplify]: Simplifying (+ 1 1) 0.990 * * [simplify]: iters left: 2 (2 enodes) 0.992 * * [simplify]: iters left: 1 (9 enodes) 0.995 * * [simplify]: Extracting #0: cost 1 inf + 0 0.995 * * [simplify]: Extracting #1: cost 0 inf + 1 0.995 * [simplify]: Simplified to 2 0.995 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 0.995 * * * * [progress]: [ 5 / 38 ] simplifiying candidate # 0.996 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 0.996 * * [simplify]: iters left: 4 (4 enodes) 0.999 * * [simplify]: iters left: 3 (20 enodes) 1.007 * * [simplify]: iters left: 2 (39 enodes) 1.014 * * [simplify]: iters left: 1 (40 enodes) 1.020 * * [simplify]: Extracting #0: cost 1 inf + 0 1.020 * * [simplify]: Extracting #1: cost 9 inf + 0 1.020 * * [simplify]: Extracting #2: cost 11 inf + 43 1.020 * * [simplify]: Extracting #3: cost 1 inf + 660 1.020 * * [simplify]: Extracting #4: cost 0 inf + 742 1.021 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.021 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.021 * * * * [progress]: [ 6 / 38 ] simplifiying candidate # 1.021 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.021 * * [simplify]: iters left: 4 (4 enodes) 1.022 * * [simplify]: iters left: 3 (20 enodes) 1.026 * * [simplify]: iters left: 2 (39 enodes) 1.033 * * [simplify]: iters left: 1 (40 enodes) 1.038 * * [simplify]: Extracting #0: cost 1 inf + 0 1.038 * * [simplify]: Extracting #1: cost 9 inf + 0 1.038 * * [simplify]: Extracting #2: cost 11 inf + 43 1.039 * * [simplify]: Extracting #3: cost 1 inf + 660 1.039 * * [simplify]: Extracting #4: cost 0 inf + 742 1.039 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.039 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.039 * * * * [progress]: [ 7 / 38 ] simplifiying candidate # 1.039 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.039 * * [simplify]: iters left: 4 (4 enodes) 1.041 * * [simplify]: iters left: 3 (20 enodes) 1.048 * * [simplify]: iters left: 2 (39 enodes) 1.061 * * [simplify]: iters left: 1 (40 enodes) 1.068 * * [simplify]: Extracting #0: cost 1 inf + 0 1.068 * * [simplify]: Extracting #1: cost 9 inf + 0 1.069 * * [simplify]: Extracting #2: cost 11 inf + 43 1.069 * * [simplify]: Extracting #3: cost 1 inf + 660 1.069 * * [simplify]: Extracting #4: cost 0 inf + 742 1.069 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.069 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.069 * * * * [progress]: [ 8 / 38 ] simplifiying candidate # 1.069 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1.069 * * [simplify]: iters left: 4 (4 enodes) 1.071 * * [simplify]: iters left: 3 (20 enodes) 1.075 * * [simplify]: iters left: 2 (39 enodes) 1.081 * * [simplify]: iters left: 1 (40 enodes) 1.089 * * [simplify]: Extracting #0: cost 1 inf + 0 1.089 * * [simplify]: Extracting #1: cost 9 inf + 0 1.089 * * [simplify]: Extracting #2: cost 11 inf + 43 1.089 * * [simplify]: Extracting #3: cost 1 inf + 660 1.090 * * [simplify]: Extracting #4: cost 0 inf + 742 1.090 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1.090 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1.090 * * * * [progress]: [ 9 / 38 ] simplifiying candidate # 1.090 * * * * [progress]: [ 10 / 38 ] simplifiying candidate # 1.090 * [simplify]: Simplifying (* 2e-16 t) 1.090 * * [simplify]: iters left: 2 (3 enodes) 1.091 * * [simplify]: iters left: 1 (10 enodes) 1.093 * * [simplify]: Extracting #0: cost 1 inf + 0 1.093 * * [simplify]: Extracting #1: cost 4 inf + 0 1.093 * * [simplify]: Extracting #2: cost 2 inf + 2 1.093 * * [simplify]: Extracting #3: cost 0 inf + 86 1.093 * [simplify]: Simplified to (* 2e-16 t) 1.093 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.093 * * * * [progress]: [ 11 / 38 ] simplifiying candidate # 1.093 * [simplify]: Simplifying (* 2e-16 t) 1.093 * * [simplify]: iters left: 2 (3 enodes) 1.095 * * [simplify]: iters left: 1 (10 enodes) 1.098 * * [simplify]: Extracting #0: cost 1 inf + 0 1.098 * * [simplify]: Extracting #1: cost 4 inf + 0 1.098 * * [simplify]: Extracting #2: cost 2 inf + 2 1.098 * * [simplify]: Extracting #3: cost 0 inf + 86 1.098 * [simplify]: Simplified to (* 2e-16 t) 1.098 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1.098 * * * * [progress]: [ 12 / 38 ] simplifiying candidate # 1.098 * * * * [progress]: [ 13 / 38 ] simplifiying candidate # 1.099 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1.099 * * [simplify]: iters left: 5 (6 enodes) 1.102 * * [simplify]: iters left: 4 (23 enodes) 1.110 * * [simplify]: iters left: 3 (35 enodes) 1.120 * * [simplify]: iters left: 2 (43 enodes) 1.127 * * [simplify]: iters left: 1 (44 enodes) 1.133 * * [simplify]: Extracting #0: cost 1 inf + 0 1.133 * * [simplify]: Extracting #1: cost 9 inf + 0 1.133 * * [simplify]: Extracting #2: cost 18 inf + 0 1.133 * * [simplify]: Extracting #3: cost 13 inf + 295 1.133 * * [simplify]: Extracting #4: cost 11 inf + 437 1.133 * * [simplify]: Extracting #5: cost 1 inf + 2204 1.134 * * [simplify]: Extracting #6: cost 0 inf + 2426 1.134 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 1.134 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 1.134 * * * * [progress]: [ 14 / 38 ] simplifiying candidate # 1.135 * [simplify]: Simplifying (+ (+ (log 2e-16) (log t)) (log (* 2e-16 t))) 1.135 * * [simplify]: iters left: 5 (8 enodes) 1.137 * * [simplify]: iters left: 4 (27 enodes) 1.141 * * [simplify]: iters left: 3 (37 enodes) 1.147 * * [simplify]: iters left: 2 (46 enodes) 1.153 * * [simplify]: iters left: 1 (50 enodes) 1.166 * * [simplify]: Extracting #0: cost 1 inf + 0 1.166 * * [simplify]: Extracting #1: cost 9 inf + 0 1.166 * * [simplify]: Extracting #2: cost 19 inf + 0 1.166 * * [simplify]: Extracting #3: cost 17 inf + 73 1.166 * * [simplify]: Extracting #4: cost 11 inf + 741 1.167 * * [simplify]: Extracting #5: cost 2 inf + 2006 1.168 * * [simplify]: Extracting #6: cost 0 inf + 2230 1.168 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.169 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.169 * * * * [progress]: [ 15 / 38 ] simplifiying candidate # 1.169 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (+ (log 2e-16) (log t))) 1.169 * * [simplify]: iters left: 5 (8 enodes) 1.173 * * [simplify]: iters left: 4 (27 enodes) 1.182 * * [simplify]: iters left: 3 (37 enodes) 1.192 * * [simplify]: iters left: 2 (46 enodes) 1.208 * * [simplify]: iters left: 1 (49 enodes) 1.217 * * [simplify]: Extracting #0: cost 1 inf + 0 1.217 * * [simplify]: Extracting #1: cost 9 inf + 0 1.217 * * [simplify]: Extracting #2: cost 19 inf + 0 1.217 * * [simplify]: Extracting #3: cost 17 inf + 73 1.217 * * [simplify]: Extracting #4: cost 7 inf + 967 1.218 * * [simplify]: Extracting #5: cost 1 inf + 2008 1.218 * * [simplify]: Extracting #6: cost 0 inf + 2230 1.218 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.218 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.219 * * * * [progress]: [ 16 / 38 ] simplifiying candidate # 1.219 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.219 * * [simplify]: iters left: 5 (5 enodes) 1.220 * * [simplify]: iters left: 4 (19 enodes) 1.223 * * [simplify]: iters left: 3 (28 enodes) 1.228 * * [simplify]: iters left: 2 (40 enodes) 1.234 * * [simplify]: iters left: 1 (48 enodes) 1.240 * * [simplify]: Extracting #0: cost 1 inf + 0 1.241 * * [simplify]: Extracting #1: cost 9 inf + 0 1.241 * * [simplify]: Extracting #2: cost 19 inf + 0 1.241 * * [simplify]: Extracting #3: cost 18 inf + 2 1.241 * * [simplify]: Extracting #4: cost 8 inf + 1077 1.241 * * [simplify]: Extracting #5: cost 0 inf + 2230 1.242 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1.242 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1.242 * * * * [progress]: [ 17 / 38 ] simplifiying candidate # 1.242 * * * * [progress]: [ 18 / 38 ] simplifiying candidate # 1.242 * * * * [progress]: [ 19 / 38 ] simplifiying candidate # 1.242 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 1.242 * * [simplify]: iters left: 6 (8 enodes) 1.245 * * [simplify]: iters left: 5 (38 enodes) 1.254 * * [simplify]: iters left: 4 (140 enodes) 1.320 * * [simplify]: iters left: 3 (482 enodes) 1.884 * * [simplify]: Extracting #0: cost 1 inf + 0 1.884 * * [simplify]: Extracting #1: cost 74 inf + 0 1.886 * * [simplify]: Extracting #2: cost 255 inf + 1300 1.896 * * [simplify]: Extracting #3: cost 112 inf + 28035 1.922 * * [simplify]: Extracting #4: cost 0 inf + 55188 1.941 * * [simplify]: Extracting #5: cost 0 inf + 54508 1.960 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 1.960 * [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))))) 1.960 * * * * [progress]: [ 20 / 38 ] simplifiying candidate # 1.961 * [simplify]: Simplifying (* (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1.961 * * [simplify]: iters left: 6 (11 enodes) 1.968 * * [simplify]: iters left: 5 (54 enodes) 1.992 * * [simplify]: iters left: 4 (171 enodes) 2.115 * * [simplify]: Extracting #0: cost 1 inf + 0 2.115 * * [simplify]: Extracting #1: cost 53 inf + 0 2.115 * * [simplify]: Extracting #2: cost 151 inf + 450 2.118 * * [simplify]: Extracting #3: cost 107 inf + 8458 2.125 * * [simplify]: Extracting #4: cost 1 inf + 30046 2.134 * * [simplify]: Extracting #5: cost 0 inf + 27018 2.143 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 2.143 * [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.144 * * * * [progress]: [ 21 / 38 ] simplifiying candidate # 2.144 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 2.144 * * [simplify]: iters left: 6 (11 enodes) 2.151 * * [simplify]: iters left: 5 (54 enodes) 2.176 * * [simplify]: iters left: 4 (170 enodes) 2.307 * * [simplify]: Extracting #0: cost 1 inf + 0 2.307 * * [simplify]: Extracting #1: cost 51 inf + 0 2.308 * * [simplify]: Extracting #2: cost 150 inf + 3 2.309 * * [simplify]: Extracting #3: cost 139 inf + 1749 2.313 * * [simplify]: Extracting #4: cost 24 inf + 21795 2.324 * * [simplify]: Extracting #5: cost 0 inf + 26323 2.339 * * [simplify]: Extracting #6: cost 0 inf + 26283 2.354 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 2.354 * [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.355 * * * * [progress]: [ 22 / 38 ] simplifiying candidate # 2.355 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 2.355 * * [simplify]: iters left: 6 (6 enodes) 2.359 * * [simplify]: iters left: 5 (35 enodes) 2.377 * * [simplify]: iters left: 4 (130 enodes) 2.460 * * [simplify]: iters left: 3 (462 enodes) 2.885 * * [simplify]: Extracting #0: cost 1 inf + 0 2.885 * * [simplify]: Extracting #1: cost 59 inf + 0 2.886 * * [simplify]: Extracting #2: cost 197 inf + 4 2.889 * * [simplify]: Extracting #3: cost 126 inf + 12107 2.899 * * [simplify]: Extracting #4: cost 16 inf + 32525 2.912 * * [simplify]: Extracting #5: cost 0 inf + 36365 2.932 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 2.932 * [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.932 * * * * [progress]: [ 23 / 38 ] simplifiying candidate # 2.933 * * * * [progress]: [ 24 / 38 ] simplifiying candidate # 2.933 * * * * [progress]: [ 25 / 38 ] simplifiying candidate # 2.933 * * * * [progress]: [ 26 / 38 ] simplifiying candidate # 2.933 * * * * [progress]: [ 27 / 38 ] simplifiying candidate # 2.933 * [simplify]: Simplifying (* 2e-16 2e-16) 2.933 * * [simplify]: iters left: 2 (2 enodes) 2.934 * * [simplify]: iters left: 1 (6 enodes) 2.935 * * [simplify]: Extracting #0: cost 1 inf + 0 2.935 * * [simplify]: Extracting #1: cost 3 inf + 0 2.935 * * [simplify]: Extracting #2: cost 2 inf + 1 2.935 * * [simplify]: Extracting #3: cost 0 inf + 83 2.935 * [simplify]: Simplified to (* 2e-16 2e-16) 2.935 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 2.936 * [simplify]: Simplifying (* t t) 2.936 * * [simplify]: iters left: 2 (2 enodes) 2.936 * * [simplify]: iters left: 1 (6 enodes) 2.937 * * [simplify]: Extracting #0: cost 1 inf + 0 2.937 * * [simplify]: Extracting #1: cost 3 inf + 0 2.937 * * [simplify]: Extracting #2: cost 2 inf + 1 2.937 * * [simplify]: Extracting #3: cost 0 inf + 83 2.937 * [simplify]: Simplified to (* t t) 2.937 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 2.937 * * * * [progress]: [ 28 / 38 ] simplifiying candidate # 2.937 * [simplify]: Simplifying (* 2e-16 t) 2.937 * * [simplify]: iters left: 2 (3 enodes) 2.939 * * [simplify]: iters left: 1 (10 enodes) 2.940 * * [simplify]: Extracting #0: cost 1 inf + 0 2.940 * * [simplify]: Extracting #1: cost 4 inf + 0 2.940 * * [simplify]: Extracting #2: cost 2 inf + 2 2.940 * * [simplify]: Extracting #3: cost 0 inf + 86 2.941 * [simplify]: Simplified to (* 2e-16 t) 2.941 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 2.941 * [simplify]: Simplifying (* 2 1) 2.941 * * [simplify]: iters left: 2 (3 enodes) 2.942 * * [simplify]: iters left: 1 (9 enodes) 2.944 * * [simplify]: Extracting #0: cost 1 inf + 0 2.944 * * [simplify]: Extracting #1: cost 0 inf + 1 2.944 * [simplify]: Simplified to 2 2.944 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 2.944 * * * * [progress]: [ 29 / 38 ] simplifiying candidate # 2.944 * [simplify]: Simplifying (* 2e-16 t) 2.944 * * [simplify]: iters left: 2 (3 enodes) 2.945 * * [simplify]: iters left: 1 (10 enodes) 2.946 * * [simplify]: Extracting #0: cost 1 inf + 0 2.946 * * [simplify]: Extracting #1: cost 4 inf + 0 2.946 * * [simplify]: Extracting #2: cost 2 inf + 2 2.947 * * [simplify]: Extracting #3: cost 0 inf + 86 2.947 * [simplify]: Simplified to (* 2e-16 t) 2.947 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 2.947 * [simplify]: Simplifying (* 2 1) 2.947 * * [simplify]: iters left: 2 (3 enodes) 2.948 * * [simplify]: iters left: 1 (9 enodes) 2.950 * * [simplify]: Extracting #0: cost 1 inf + 0 2.950 * * [simplify]: Extracting #1: cost 0 inf + 1 2.950 * [simplify]: Simplified to 2 2.950 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 2.950 * * * * [progress]: [ 30 / 38 ] simplifiying candidate # 2.950 * [simplify]: Simplifying (* 2e-16 t) 2.950 * * [simplify]: iters left: 2 (3 enodes) 2.951 * * [simplify]: iters left: 1 (10 enodes) 2.953 * * [simplify]: Extracting #0: cost 1 inf + 0 2.953 * * [simplify]: Extracting #1: cost 4 inf + 0 2.953 * * [simplify]: Extracting #2: cost 2 inf + 2 2.953 * * [simplify]: Extracting #3: cost 0 inf + 86 2.953 * [simplify]: Simplified to (* 2e-16 t) 2.953 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 2.953 * [simplify]: Simplifying (* 2 1) 2.953 * * [simplify]: iters left: 2 (3 enodes) 2.955 * * [simplify]: iters left: 1 (9 enodes) 2.959 * * [simplify]: Extracting #0: cost 1 inf + 0 2.959 * * [simplify]: Extracting #1: cost 0 inf + 1 2.959 * [simplify]: Simplified to 2 2.959 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 2.959 * * * * [progress]: [ 31 / 38 ] simplifiying candidate # 2.959 * [simplify]: Simplifying (* 2e-16 t) 2.959 * * [simplify]: iters left: 2 (3 enodes) 2.961 * * [simplify]: iters left: 1 (10 enodes) 2.964 * * [simplify]: Extracting #0: cost 1 inf + 0 2.964 * * [simplify]: Extracting #1: cost 4 inf + 0 2.964 * * [simplify]: Extracting #2: cost 2 inf + 2 2.964 * * [simplify]: Extracting #3: cost 0 inf + 86 2.964 * [simplify]: Simplified to (* 2e-16 t) 2.964 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (* 2 1))) 2.965 * [simplify]: Simplifying (* 2 1) 2.965 * * [simplify]: iters left: 2 (3 enodes) 2.967 * * [simplify]: iters left: 1 (9 enodes) 2.970 * * [simplify]: Extracting #0: cost 1 inf + 0 2.970 * * [simplify]: Extracting #1: cost 0 inf + 1 2.970 * [simplify]: Simplified to 2 2.970 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 2.970 * * * * [progress]: [ 32 / 38 ] simplifiying candidate # 2.970 * * * * [progress]: [ 33 / 38 ] simplifiying candidate # 2.970 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 2.970 * * * * [progress]: [ 35 / 38 ] simplifiying candidate # 2.970 * * * * [progress]: [ 36 / 38 ] simplifiying candidate # 2.971 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 2.971 * * [simplify]: iters left: 3 (5 enodes) 2.974 * * [simplify]: iters left: 2 (21 enodes) 2.981 * * [simplify]: iters left: 1 (29 enodes) 2.988 * * [simplify]: Extracting #0: cost 1 inf + 0 2.988 * * [simplify]: Extracting #1: cost 6 inf + 0 2.988 * * [simplify]: Extracting #2: cost 6 inf + 43 2.988 * * [simplify]: Extracting #3: cost 0 inf + 333 2.988 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 2.988 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 2.988 * * * * [progress]: [ 37 / 38 ] simplifiying candidate # 2.988 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 2.988 * * [simplify]: iters left: 3 (5 enodes) 2.990 * * [simplify]: iters left: 2 (21 enodes) 2.994 * * [simplify]: iters left: 1 (29 enodes) 2.998 * * [simplify]: Extracting #0: cost 1 inf + 0 2.998 * * [simplify]: Extracting #1: cost 6 inf + 0 2.998 * * [simplify]: Extracting #2: cost 6 inf + 43 2.999 * * [simplify]: Extracting #3: cost 0 inf + 333 2.999 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 2.999 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 2.999 * * * * [progress]: [ 38 / 38 ] simplifiying candidate # 2.999 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 2.999 * * [simplify]: iters left: 3 (5 enodes) 3.001 * * [simplify]: iters left: 2 (21 enodes) 3.004 * * [simplify]: iters left: 1 (29 enodes) 3.009 * * [simplify]: Extracting #0: cost 1 inf + 0 3.009 * * [simplify]: Extracting #1: cost 6 inf + 0 3.009 * * [simplify]: Extracting #2: cost 6 inf + 43 3.009 * * [simplify]: Extracting #3: cost 0 inf + 333 3.009 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.009 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.009 * * * [progress]: adding candidates to table 3.231 * * [progress]: iteration 2 / 4 3.231 * * * [progress]: picking best candidate 3.236 * * * * [pick]: Picked # 3.236 * * * [progress]: localizing error 3.242 * * * [progress]: generating rewritten candidates 3.242 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.264 * * * [progress]: generating series expansions 3.264 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.264 * [backup-simplify]: Simplify (* (* t t) 3.9999999999999997e-32) into (* 3.9999999999999997e-32 (pow t 2)) 3.264 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.264 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 3.264 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.264 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.264 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.264 * [taylor]: Taking taylor expansion of t in t 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 1 into 1 3.264 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 3.264 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.264 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.264 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.264 * [taylor]: Taking taylor expansion of t in t 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 1 into 1 3.265 * [backup-simplify]: Simplify (* 1 1) into 1 3.265 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.266 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.266 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 3.266 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.267 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 3.267 * [backup-simplify]: Simplify 0 into 0 3.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.269 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.269 * [backup-simplify]: Simplify 0 into 0 3.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.270 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.270 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.272 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.274 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.274 * [backup-simplify]: Simplify 0 into 0 3.274 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.274 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 3.274 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.274 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.274 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.274 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.274 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.274 * [taylor]: Taking taylor expansion of t in t 3.274 * [backup-simplify]: Simplify 0 into 0 3.274 * [backup-simplify]: Simplify 1 into 1 3.274 * [backup-simplify]: Simplify (* 1 1) into 1 3.274 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.274 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.274 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.274 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.275 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.275 * [taylor]: Taking taylor expansion of t in t 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify 1 into 1 3.275 * [backup-simplify]: Simplify (* 1 1) into 1 3.275 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.275 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.276 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.276 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.276 * [backup-simplify]: Simplify 0 into 0 3.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.277 * [backup-simplify]: Simplify 0 into 0 3.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.278 * [backup-simplify]: Simplify 0 into 0 3.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.281 * [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.281 * [backup-simplify]: Simplify 0 into 0 3.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.282 * [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.282 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.283 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 3.283 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 3.283 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.283 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.283 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.283 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.283 * [taylor]: Taking taylor expansion of t in t 3.283 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify 1 into 1 3.283 * [backup-simplify]: Simplify (* 1 1) into 1 3.283 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.283 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 3.283 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 3.283 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.283 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.284 * [taylor]: Taking taylor expansion of t in t 3.284 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify 1 into 1 3.284 * [backup-simplify]: Simplify (* 1 1) into 1 3.284 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 3.284 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 3.285 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 3.285 * [backup-simplify]: Simplify 0 into 0 3.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.286 * [backup-simplify]: Simplify 0 into 0 3.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.287 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.289 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.290 * [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.290 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 3.292 * [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.292 * [backup-simplify]: Simplify 0 into 0 3.292 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 3.292 * * * [progress]: simplifying candidates 3.292 * * * * [progress]: [ 1 / 23 ] simplifiying candidate # 3.292 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 3.292 * * [simplify]: iters left: 4 (4 enodes) 3.294 * * [simplify]: iters left: 3 (15 enodes) 3.296 * * [simplify]: iters left: 2 (19 enodes) 3.299 * * [simplify]: iters left: 1 (20 enodes) 3.302 * * [simplify]: Extracting #0: cost 1 inf + 0 3.302 * * [simplify]: Extracting #1: cost 6 inf + 0 3.302 * * [simplify]: Extracting #2: cost 6 inf + 2 3.302 * * [simplify]: Extracting #3: cost 0 inf + 332 3.302 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 3.302 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 3.302 * * * * [progress]: [ 2 / 23 ] simplifiying candidate # 3.302 * [simplify]: Simplifying (* (* t t) 3.9999999999999997e-32) 3.303 * * [simplify]: iters left: 4 (4 enodes) 3.304 * * [simplify]: iters left: 3 (15 enodes) 3.306 * * [simplify]: iters left: 2 (19 enodes) 3.309 * * [simplify]: iters left: 1 (20 enodes) 3.314 * * [simplify]: Extracting #0: cost 1 inf + 0 3.314 * * [simplify]: Extracting #1: cost 6 inf + 0 3.314 * * [simplify]: Extracting #2: cost 6 inf + 2 3.314 * * [simplify]: Extracting #3: cost 0 inf + 332 3.315 * [simplify]: Simplified to (* 3.9999999999999997e-32 (* t t)) 3.315 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1)) 3.315 * * * * [progress]: [ 3 / 23 ] simplifiying candidate # 3.315 * * * * [progress]: [ 4 / 23 ] simplifiying candidate # 3.315 * [simplify]: Simplifying (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 3.315 * * [simplify]: iters left: 5 (6 enodes) 3.318 * * [simplify]: iters left: 4 (21 enodes) 3.325 * * [simplify]: iters left: 3 (25 enodes) 3.332 * * [simplify]: iters left: 2 (26 enodes) 3.340 * * [simplify]: Extracting #0: cost 1 inf + 0 3.340 * * [simplify]: Extracting #1: cost 6 inf + 0 3.340 * * [simplify]: Extracting #2: cost 12 inf + 0 3.340 * * [simplify]: Extracting #3: cost 10 inf + 2 3.340 * * [simplify]: Extracting #4: cost 0 inf + 1316 3.341 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 3.341 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)))) 3.341 * * * * [progress]: [ 5 / 23 ] simplifiying candidate # 3.341 * [simplify]: Simplifying (+ (log (* t t)) (log 3.9999999999999997e-32)) 3.341 * * [simplify]: iters left: 5 (6 enodes) 3.344 * * [simplify]: iters left: 4 (21 enodes) 3.351 * * [simplify]: iters left: 3 (27 enodes) 3.359 * * [simplify]: iters left: 2 (32 enodes) 3.371 * * [simplify]: Extracting #0: cost 1 inf + 0 3.371 * * [simplify]: Extracting #1: cost 6 inf + 0 3.371 * * [simplify]: Extracting #2: cost 13 inf + 0 3.371 * * [simplify]: Extracting #3: cost 12 inf + 2 3.371 * * [simplify]: Extracting #4: cost 4 inf + 913 3.372 * * [simplify]: Extracting #5: cost 0 inf + 1398 3.372 * [simplify]: Simplified to (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)) 3.372 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log 3.9999999999999997e-32)) (log t)))) 3.372 * * * * [progress]: [ 6 / 23 ] simplifiying candidate # 3.373 * * * * [progress]: [ 7 / 23 ] simplifiying candidate # 3.373 * * * * [progress]: [ 8 / 23 ] simplifiying candidate # 3.373 * [simplify]: Simplifying (* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 3.373 * * [simplify]: iters left: 6 (8 enodes) 3.378 * * [simplify]: iters left: 5 (37 enodes) 3.394 * * [simplify]: iters left: 4 (93 enodes) 3.439 * * [simplify]: iters left: 3 (255 enodes) 3.615 * * [simplify]: Extracting #0: cost 1 inf + 0 3.616 * * [simplify]: Extracting #1: cost 36 inf + 0 3.616 * * [simplify]: Extracting #2: cost 100 inf + 166 3.620 * * [simplify]: Extracting #3: cost 59 inf + 4959 3.627 * * [simplify]: Extracting #4: cost 15 inf + 15008 3.635 * * [simplify]: Extracting #5: cost 0 inf + 19600 3.643 * [simplify]: Simplified to (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) 3.643 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)))) 3.643 * * * * [progress]: [ 9 / 23 ] simplifiying candidate # 3.643 * [simplify]: Simplifying (* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) 3.644 * * [simplify]: iters left: 6 (8 enodes) 3.649 * * [simplify]: iters left: 5 (38 enodes) 3.664 * * [simplify]: iters left: 4 (94 enodes) 3.706 * * [simplify]: iters left: 3 (259 enodes) 3.811 * * [simplify]: Extracting #0: cost 1 inf + 0 3.811 * * [simplify]: Extracting #1: cost 52 inf + 0 3.812 * * [simplify]: Extracting #2: cost 133 inf + 166 3.813 * * [simplify]: Extracting #3: cost 82 inf + 6191 3.818 * * [simplify]: Extracting #4: cost 5 inf + 26339 3.823 * * [simplify]: Extracting #5: cost 0 inf + 27550 3.830 * [simplify]: Simplified to (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))) 3.831 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* t (* 3.9999999999999997e-32 t)) (* t (* 3.9999999999999997e-32 t))) (* t (* 3.9999999999999997e-32 t))))) 3.831 * * * * [progress]: [ 10 / 23 ] simplifiying candidate # 3.831 * * * * [progress]: [ 11 / 23 ] simplifiying candidate # 3.831 * * * * [progress]: [ 12 / 23 ] simplifiying candidate # 3.831 * * * * [progress]: [ 13 / 23 ] simplifiying candidate # 3.831 * * * * [progress]: [ 14 / 23 ] simplifiying candidate # 3.831 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 3.831 * * [simplify]: iters left: 3 (4 enodes) 3.833 * * [simplify]: iters left: 2 (13 enodes) 3.835 * * [simplify]: Extracting #0: cost 1 inf + 0 3.835 * * [simplify]: Extracting #1: cost 4 inf + 0 3.835 * * [simplify]: Extracting #2: cost 5 inf + 1 3.835 * * [simplify]: Extracting #3: cost 4 inf + 2 3.835 * * [simplify]: Extracting #4: cost 0 inf + 248 3.835 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 3.835 * [simplify]: Simplified (2 1) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 3.835 * [simplify]: Simplifying (* t (sqrt 3.9999999999999997e-32)) 3.835 * * [simplify]: iters left: 3 (4 enodes) 3.837 * * [simplify]: iters left: 2 (13 enodes) 3.839 * * [simplify]: Extracting #0: cost 1 inf + 0 3.839 * * [simplify]: Extracting #1: cost 4 inf + 0 3.839 * * [simplify]: Extracting #2: cost 5 inf + 1 3.839 * * [simplify]: Extracting #3: cost 4 inf + 2 3.839 * * [simplify]: Extracting #4: cost 0 inf + 248 3.839 * [simplify]: Simplified to (* t (sqrt 3.9999999999999997e-32)) 3.839 * [simplify]: Simplified (2 2) to (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)))) 3.839 * * * * [progress]: [ 15 / 23 ] simplifiying candidate # 3.839 * [simplify]: Simplifying (cbrt 3.9999999999999997e-32) 3.839 * * [simplify]: iters left: 1 (2 enodes) 3.840 * * [simplify]: Extracting #0: cost 1 inf + 0 3.840 * * [simplify]: Extracting #1: cost 3 inf + 0 3.840 * * [simplify]: Extracting #2: cost 2 inf + 1 3.840 * * [simplify]: Extracting #3: cost 0 inf + 163 3.840 * [simplify]: Simplified to (cbrt 3.9999999999999997e-32) 3.840 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (cbrt 3.9999999999999997e-32))) 3.840 * * * * [progress]: [ 16 / 23 ] simplifiying candidate # 3.841 * [simplify]: Simplifying (sqrt 3.9999999999999997e-32) 3.841 * * [simplify]: iters left: 1 (2 enodes) 3.842 * * [simplify]: Extracting #0: cost 1 inf + 0 3.842 * * [simplify]: Extracting #1: cost 3 inf + 0 3.842 * * [simplify]: Extracting #2: cost 2 inf + 1 3.842 * * [simplify]: Extracting #3: cost 0 inf + 83 3.842 * [simplify]: Simplified to (sqrt 3.9999999999999997e-32) 3.842 * [simplify]: Simplified (2 2) to (λ (t) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) 3.842 * * * * [progress]: [ 17 / 23 ] simplifiying candidate # 3.842 * * * * [progress]: [ 18 / 23 ] simplifiying candidate # 3.842 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #real (real->posit16 (* (* t t) 3.9999999999999997e-32))))> 3.842 * * * * [progress]: [ 20 / 23 ] simplifiying candidate # 3.842 * * * * [progress]: [ 21 / 23 ] simplifiying candidate # 3.842 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.842 * * [simplify]: iters left: 3 (5 enodes) 3.844 * * [simplify]: iters left: 2 (21 enodes) 3.847 * * [simplify]: iters left: 1 (29 enodes) 3.854 * * [simplify]: Extracting #0: cost 1 inf + 0 3.854 * * [simplify]: Extracting #1: cost 6 inf + 0 3.854 * * [simplify]: Extracting #2: cost 6 inf + 43 3.854 * * [simplify]: Extracting #3: cost 0 inf + 333 3.855 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.855 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.855 * * * * [progress]: [ 22 / 23 ] simplifiying candidate # 3.855 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.855 * * [simplify]: iters left: 3 (5 enodes) 3.858 * * [simplify]: iters left: 2 (21 enodes) 3.865 * * [simplify]: iters left: 1 (29 enodes) 3.873 * * [simplify]: Extracting #0: cost 1 inf + 0 3.873 * * [simplify]: Extracting #1: cost 6 inf + 0 3.873 * * [simplify]: Extracting #2: cost 6 inf + 43 3.874 * * [simplify]: Extracting #3: cost 0 inf + 333 3.874 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.874 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.874 * * * * [progress]: [ 23 / 23 ] simplifiying candidate # 3.874 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 3.874 * * [simplify]: iters left: 3 (5 enodes) 3.878 * * [simplify]: iters left: 2 (21 enodes) 3.884 * * [simplify]: iters left: 1 (29 enodes) 3.892 * * [simplify]: Extracting #0: cost 1 inf + 0 3.892 * * [simplify]: Extracting #1: cost 6 inf + 0 3.892 * * [simplify]: Extracting #2: cost 6 inf + 43 3.893 * * [simplify]: Extracting #3: cost 0 inf + 333 3.893 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 3.893 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 3.893 * * * [progress]: adding candidates to table 3.999 * * [progress]: iteration 3 / 4 3.999 * * * [progress]: picking best candidate 4.005 * * * * [pick]: Picked # 4.005 * * * [progress]: localizing error 4.017 * * * [progress]: generating rewritten candidates 4.017 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.075 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 4.092 * * * [progress]: generating series expansions 4.092 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.092 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 4.092 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.092 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 4.092 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.092 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.092 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.092 * [taylor]: Taking taylor expansion of t in t 4.092 * [backup-simplify]: Simplify 0 into 0 4.092 * [backup-simplify]: Simplify 1 into 1 4.092 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 4.092 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.092 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.092 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.092 * [taylor]: Taking taylor expansion of t in t 4.092 * [backup-simplify]: Simplify 0 into 0 4.092 * [backup-simplify]: Simplify 1 into 1 4.093 * [backup-simplify]: Simplify (* 1 1) into 1 4.093 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.093 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.093 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.094 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 4.094 * [backup-simplify]: Simplify 0 into 0 4.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.095 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 4.095 * [backup-simplify]: Simplify 0 into 0 4.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.096 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.096 * [backup-simplify]: Simplify 0 into 0 4.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.098 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.098 * [backup-simplify]: Simplify 0 into 0 4.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.099 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.099 * [backup-simplify]: Simplify 0 into 0 4.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.101 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.101 * [backup-simplify]: Simplify 0 into 0 4.101 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.101 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 4.102 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.102 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.102 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.102 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.102 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.102 * [taylor]: Taking taylor expansion of t in t 4.102 * [backup-simplify]: Simplify 0 into 0 4.102 * [backup-simplify]: Simplify 1 into 1 4.102 * [backup-simplify]: Simplify (* 1 1) into 1 4.102 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.102 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.102 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.102 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.102 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.102 * [taylor]: Taking taylor expansion of t in t 4.102 * [backup-simplify]: Simplify 0 into 0 4.102 * [backup-simplify]: Simplify 1 into 1 4.103 * [backup-simplify]: Simplify (* 1 1) into 1 4.103 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.103 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.104 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 4.104 * [backup-simplify]: Simplify 0 into 0 4.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.105 * [backup-simplify]: Simplify 0 into 0 4.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.106 * [backup-simplify]: Simplify 0 into 0 4.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.107 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.107 * [backup-simplify]: Simplify 0 into 0 4.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.109 * [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.109 * [backup-simplify]: Simplify 0 into 0 4.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.110 * [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.110 * [backup-simplify]: Simplify 0 into 0 4.110 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.111 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 4.111 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 4.111 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.111 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.111 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.111 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.111 * [taylor]: Taking taylor expansion of t in t 4.111 * [backup-simplify]: Simplify 0 into 0 4.111 * [backup-simplify]: Simplify 1 into 1 4.111 * [backup-simplify]: Simplify (* 1 1) into 1 4.111 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.111 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 4.111 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 4.111 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.111 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.111 * [taylor]: Taking taylor expansion of t in t 4.111 * [backup-simplify]: Simplify 0 into 0 4.111 * [backup-simplify]: Simplify 1 into 1 4.112 * [backup-simplify]: Simplify (* 1 1) into 1 4.112 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 4.112 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 4.112 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 4.113 * [backup-simplify]: Simplify 0 into 0 4.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.114 * [backup-simplify]: Simplify 0 into 0 4.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.115 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.115 * [backup-simplify]: Simplify 0 into 0 4.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.116 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.116 * [backup-simplify]: Simplify 0 into 0 4.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.118 * [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.118 * [backup-simplify]: Simplify 0 into 0 4.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.119 * [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.119 * [backup-simplify]: Simplify 0 into 0 4.119 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 4.119 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 4.119 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 4.119 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 4.120 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 4.120 * [taylor]: Taking taylor expansion of 2e-16 in t 4.120 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.120 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.120 * [taylor]: Taking taylor expansion of t in t 4.120 * [backup-simplify]: Simplify 0 into 0 4.120 * [backup-simplify]: Simplify 1 into 1 4.120 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 4.120 * [taylor]: Taking taylor expansion of 2e-16 in t 4.120 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.120 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.120 * [taylor]: Taking taylor expansion of t in t 4.120 * [backup-simplify]: Simplify 0 into 0 4.120 * [backup-simplify]: Simplify 1 into 1 4.120 * [backup-simplify]: Simplify (* 1 1) into 1 4.120 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16 4.120 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.121 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.121 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 4.121 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.122 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 4.122 * [backup-simplify]: Simplify 0 into 0 4.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.124 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.124 * [backup-simplify]: Simplify 0 into 0 4.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.125 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.125 * [backup-simplify]: Simplify 0 into 0 4.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.127 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.127 * [backup-simplify]: Simplify 0 into 0 4.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.128 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.128 * [backup-simplify]: Simplify 0 into 0 4.128 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 4.129 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 4.129 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 4.129 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 4.129 * [taylor]: Taking taylor expansion of 2e-16 in t 4.129 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.129 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.129 * [taylor]: Taking taylor expansion of t in t 4.129 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify 1 into 1 4.129 * [backup-simplify]: Simplify (* 1 1) into 1 4.129 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 4.129 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 4.129 * [taylor]: Taking taylor expansion of 2e-16 in t 4.129 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.129 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.129 * [taylor]: Taking taylor expansion of t in t 4.129 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify 1 into 1 4.130 * [backup-simplify]: Simplify (* 1 1) into 1 4.130 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 4.130 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.130 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 4.131 * [backup-simplify]: Simplify 0 into 0 4.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.132 * [backup-simplify]: Simplify 0 into 0 4.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.133 * [backup-simplify]: Simplify 0 into 0 4.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.134 * [backup-simplify]: Simplify 0 into 0 4.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.136 * [backup-simplify]: Simplify 0 into 0 4.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.137 * [backup-simplify]: Simplify 0 into 0 4.137 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 4.137 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 4.137 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 4.137 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 4.137 * [taylor]: Taking taylor expansion of 2e-16 in t 4.137 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.137 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.137 * [taylor]: Taking taylor expansion of t in t 4.137 * [backup-simplify]: Simplify 0 into 0 4.137 * [backup-simplify]: Simplify 1 into 1 4.138 * [backup-simplify]: Simplify (* 1 1) into 1 4.138 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 4.138 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 4.138 * [taylor]: Taking taylor expansion of 2e-16 in t 4.138 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.138 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.138 * [taylor]: Taking taylor expansion of t in t 4.138 * [backup-simplify]: Simplify 0 into 0 4.138 * [backup-simplify]: Simplify 1 into 1 4.138 * [backup-simplify]: Simplify (* 1 1) into 1 4.139 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 4.139 * [backup-simplify]: Simplify 2e-16 into 2e-16 4.139 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.139 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 4.140 * [backup-simplify]: Simplify 0 into 0 4.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.141 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.141 * [backup-simplify]: Simplify 0 into 0 4.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.142 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.142 * [backup-simplify]: Simplify 0 into 0 4.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.143 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.143 * [backup-simplify]: Simplify 0 into 0 4.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.144 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.144 * [backup-simplify]: Simplify 0 into 0 4.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.146 * [backup-simplify]: Simplify 0 into 0 4.146 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 4.146 * * * [progress]: simplifying candidates 4.146 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 4.146 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 4.146 * * [simplify]: iters left: 6 (5 enodes) 4.148 * * [simplify]: iters left: 5 (19 enodes) 4.151 * * [simplify]: iters left: 4 (31 enodes) 4.157 * * [simplify]: iters left: 3 (40 enodes) 4.163 * * [simplify]: Extracting #0: cost 1 inf + 0 4.163 * * [simplify]: Extracting #1: cost 9 inf + 0 4.163 * * [simplify]: Extracting #2: cost 11 inf + 43 4.163 * * [simplify]: Extracting #3: cost 2 inf + 619 4.163 * * [simplify]: Extracting #4: cost 0 inf + 742 4.163 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.163 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.163 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 4.164 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 4.164 * * [simplify]: iters left: 6 (5 enodes) 4.167 * * [simplify]: iters left: 5 (19 enodes) 4.171 * * [simplify]: iters left: 4 (31 enodes) 4.177 * * [simplify]: iters left: 3 (40 enodes) 4.182 * * [simplify]: Extracting #0: cost 1 inf + 0 4.183 * * [simplify]: Extracting #1: cost 9 inf + 0 4.183 * * [simplify]: Extracting #2: cost 11 inf + 43 4.183 * * [simplify]: Extracting #3: cost 2 inf + 619 4.183 * * [simplify]: Extracting #4: cost 0 inf + 742 4.183 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.183 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.183 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 4.184 * [simplify]: Simplifying (* 2e-16 (* t (* 2e-16 t))) 4.184 * * [simplify]: iters left: 6 (5 enodes) 4.185 * * [simplify]: iters left: 5 (19 enodes) 4.189 * * [simplify]: iters left: 4 (31 enodes) 4.194 * * [simplify]: iters left: 3 (40 enodes) 4.202 * * [simplify]: Extracting #0: cost 1 inf + 0 4.202 * * [simplify]: Extracting #1: cost 9 inf + 0 4.202 * * [simplify]: Extracting #2: cost 11 inf + 43 4.202 * * [simplify]: Extracting #3: cost 2 inf + 619 4.203 * * [simplify]: Extracting #4: cost 0 inf + 742 4.203 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 4.203 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 4.203 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 4.204 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 4.204 * [simplify]: Simplifying (+ (log 2e-16) (+ (log t) (+ (log 2e-16) (log t)))) 4.204 * * [simplify]: iters left: 6 (7 enodes) 4.208 * * [simplify]: iters left: 5 (25 enodes) 4.216 * * [simplify]: iters left: 4 (34 enodes) 4.227 * * [simplify]: iters left: 3 (42 enodes) 4.238 * * [simplify]: iters left: 2 (45 enodes) 4.250 * * [simplify]: Extracting #0: cost 1 inf + 0 4.250 * * [simplify]: Extracting #1: cost 9 inf + 0 4.250 * * [simplify]: Extracting #2: cost 18 inf + 0 4.250 * * [simplify]: Extracting #3: cost 15 inf + 73 4.250 * * [simplify]: Extracting #4: cost 11 inf + 548 4.251 * * [simplify]: Extracting #5: cost 1 inf + 2204 4.251 * * [simplify]: Extracting #6: cost 0 inf + 2426 4.252 * [simplify]: Simplified to (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))) 4.252 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log 2e-16) (log t)) (+ (log 2e-16) (log t))))) 4.252 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 4.253 * [simplify]: Simplifying (+ (log 2e-16) (+ (log t) (log (* 2e-16 t)))) 4.253 * * [simplify]: iters left: 6 (8 enodes) 4.257 * * [simplify]: iters left: 5 (29 enodes) 4.266 * * [simplify]: iters left: 4 (37 enodes) 4.277 * * [simplify]: iters left: 3 (46 enodes) 4.289 * * [simplify]: iters left: 2 (49 enodes) 4.296 * * [simplify]: Extracting #0: cost 1 inf + 0 4.296 * * [simplify]: Extracting #1: cost 9 inf + 0 4.296 * * [simplify]: Extracting #2: cost 19 inf + 0 4.296 * * [simplify]: Extracting #3: cost 17 inf + 73 4.296 * * [simplify]: Extracting #4: cost 9 inf + 785 4.297 * * [simplify]: Extracting #5: cost 0 inf + 2230 4.297 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 4.297 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.297 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 4.297 * [simplify]: Simplifying (+ (log 2e-16) (log (* t (* 2e-16 t)))) 4.297 * * [simplify]: iters left: 6 (7 enodes) 4.300 * * [simplify]: iters left: 5 (27 enodes) 4.304 * * [simplify]: iters left: 4 (40 enodes) 4.311 * * [simplify]: iters left: 3 (52 enodes) 4.318 * * [simplify]: iters left: 2 (61 enodes) 4.331 * * [simplify]: iters left: 1 (62 enodes) 4.344 * * [simplify]: Extracting #0: cost 1 inf + 0 4.344 * * [simplify]: Extracting #1: cost 9 inf + 0 4.344 * * [simplify]: Extracting #2: cost 21 inf + 0 4.344 * * [simplify]: Extracting #3: cost 19 inf + 225 4.345 * * [simplify]: Extracting #4: cost 10 inf + 949 4.345 * * [simplify]: Extracting #5: cost 1 inf + 2225 4.346 * * [simplify]: Extracting #6: cost 0 inf + 2336 4.347 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 4.347 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 4.347 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 4.347 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 4.347 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 4.347 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t)))) 4.347 * * [simplify]: iters left: 6 (9 enodes) 4.353 * * [simplify]: iters left: 5 (41 enodes) 4.369 * * [simplify]: iters left: 4 (131 enodes) 4.428 * * [simplify]: Extracting #0: cost 1 inf + 0 4.429 * * [simplify]: Extracting #1: cost 36 inf + 0 4.429 * * [simplify]: Extracting #2: cost 108 inf + 529 4.432 * * [simplify]: Extracting #3: cost 55 inf + 9829 4.437 * * [simplify]: Extracting #4: cost 4 inf + 18768 4.453 * * [simplify]: Extracting #5: cost 0 inf + 18236 4.465 * * [simplify]: Extracting #6: cost 0 inf + 18036 4.471 * [simplify]: Simplified to (* (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16)))) 4.471 * [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.471 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 4.471 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)))) 4.472 * * [simplify]: iters left: 6 (11 enodes) 4.475 * * [simplify]: iters left: 5 (54 enodes) 4.488 * * [simplify]: iters left: 4 (176 enodes) 4.604 * * [simplify]: Extracting #0: cost 1 inf + 0 4.604 * * [simplify]: Extracting #1: cost 52 inf + 0 4.604 * * [simplify]: Extracting #2: cost 131 inf + 287 4.606 * * [simplify]: Extracting #3: cost 88 inf + 7729 4.613 * * [simplify]: Extracting #4: cost 5 inf + 23303 4.620 * * [simplify]: Extracting #5: cost 0 inf + 23654 4.635 * [simplify]: Simplified to (* (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* t 2e-16))) 4.636 * [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.636 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 4.636 * [simplify]: Simplifying (* (* (* 2e-16 2e-16) 2e-16) (* (* (* t (* 2e-16 t)) (* t (* 2e-16 t))) (* t (* 2e-16 t)))) 4.636 * * [simplify]: iters left: 6 (9 enodes) 4.643 * * [simplify]: iters left: 5 (45 enodes) 4.661 * * [simplify]: iters left: 4 (146 enodes) 4.728 * * [simplify]: Extracting #0: cost 1 inf + 0 4.728 * * [simplify]: Extracting #1: cost 36 inf + 0 4.729 * * [simplify]: Extracting #2: cost 111 inf + 208 4.732 * * [simplify]: Extracting #3: cost 50 inf + 10858 4.738 * * [simplify]: Extracting #4: cost 2 inf + 19062 4.746 * * [simplify]: Extracting #5: cost 0 inf + 19527 4.759 * [simplify]: Simplified to (* (* (* t 2e-16) (* t 2e-16)) (* (* (* t 2e-16) (* t 2e-16)) (* (* t 2e-16) (* t 2e-16)))) 4.759 * [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.759 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 4.759 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 4.759 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 4.759 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 4.759 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 4.759 * [simplify]: Simplifying (* 2e-16 t) 4.760 * * [simplify]: iters left: 2 (3 enodes) 4.762 * * [simplify]: iters left: 1 (10 enodes) 4.765 * * [simplify]: Extracting #0: cost 1 inf + 0 4.765 * * [simplify]: Extracting #1: cost 4 inf + 0 4.765 * * [simplify]: Extracting #2: cost 2 inf + 2 4.765 * * [simplify]: Extracting #3: cost 0 inf + 86 4.765 * [simplify]: Simplified to (* 2e-16 t) 4.765 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 4.765 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 4.766 * [simplify]: Simplifying (* (cbrt 2e-16) (cbrt 2e-16)) 4.766 * * [simplify]: iters left: 3 (3 enodes) 4.768 * * [simplify]: iters left: 2 (9 enodes) 4.770 * * [simplify]: Extracting #0: cost 1 inf + 0 4.771 * * [simplify]: Extracting #1: cost 3 inf + 0 4.771 * * [simplify]: Extracting #2: cost 5 inf + 0 4.771 * * [simplify]: Extracting #3: cost 4 inf + 1 4.771 * * [simplify]: Extracting #4: cost 0 inf + 405 4.771 * [simplify]: Simplified to (* (cbrt 2e-16) (cbrt 2e-16)) 4.771 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt 2e-16) (cbrt 2e-16)) (* (cbrt 2e-16) (* t (* 2e-16 t))))) 4.771 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 4.771 * [simplify]: Simplifying (sqrt 2e-16) 4.771 * * [simplify]: iters left: 1 (2 enodes) 4.772 * * [simplify]: Extracting #0: cost 1 inf + 0 4.772 * * [simplify]: Extracting #1: cost 3 inf + 0 4.772 * * [simplify]: Extracting #2: cost 2 inf + 1 4.772 * * [simplify]: Extracting #3: cost 0 inf + 83 4.772 * [simplify]: Simplified to (sqrt 2e-16) 4.772 * [simplify]: Simplified (2 1) to (λ (t) (* (sqrt 2e-16) (* (sqrt 2e-16) (* t (* 2e-16 t))))) 4.772 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 4.772 * * * * [progress]: [ 21 / 47 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 4.772 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 4.772 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 4.773 * [simplify]: Simplifying (* t (* 2e-16 t)) 4.773 * * [simplify]: iters left: 4 (4 enodes) 4.774 * * [simplify]: iters left: 3 (14 enodes) 4.776 * * [simplify]: iters left: 2 (17 enodes) 4.779 * * [simplify]: iters left: 1 (19 enodes) 4.781 * * [simplify]: Extracting #0: cost 1 inf + 0 4.782 * * [simplify]: Extracting #1: cost 6 inf + 0 4.782 * * [simplify]: Extracting #2: cost 6 inf + 2 4.782 * * [simplify]: Extracting #3: cost 1 inf + 291 4.782 * * [simplify]: Extracting #4: cost 0 inf + 332 4.782 * [simplify]: Simplified to (* t (* t 2e-16)) 4.782 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* t (* t 2e-16)) 1))) 4.782 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 4.782 * [simplify]: Simplifying (* t (* 2e-16 t)) 4.782 * * [simplify]: iters left: 4 (4 enodes) 4.783 * * [simplify]: iters left: 3 (14 enodes) 4.786 * * [simplify]: iters left: 2 (17 enodes) 4.788 * * [simplify]: iters left: 1 (19 enodes) 4.791 * * [simplify]: Extracting #0: cost 1 inf + 0 4.791 * * [simplify]: Extracting #1: cost 6 inf + 0 4.791 * * [simplify]: Extracting #2: cost 6 inf + 2 4.791 * * [simplify]: Extracting #3: cost 1 inf + 291 4.791 * * [simplify]: Extracting #4: cost 0 inf + 332 4.792 * [simplify]: Simplified to (* t (* t 2e-16)) 4.792 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (pow (* t (* t 2e-16)) 1))) 4.792 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 4.792 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 4.792 * [simplify]: Simplifying (+ (log t) (+ (log 2e-16) (log t))) 4.792 * * [simplify]: iters left: 5 (6 enodes) 4.794 * * [simplify]: iters left: 4 (20 enodes) 4.797 * * [simplify]: iters left: 3 (23 enodes) 4.800 * * [simplify]: iters left: 2 (25 enodes) 4.807 * * [simplify]: Extracting #0: cost 1 inf + 0 4.807 * * [simplify]: Extracting #1: cost 6 inf + 0 4.807 * * [simplify]: Extracting #2: cost 12 inf + 0 4.807 * * [simplify]: Extracting #3: cost 10 inf + 2 4.808 * * [simplify]: Extracting #4: cost 0 inf + 1316 4.808 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 2e-16)) 4.808 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (+ (+ (log t) (log t)) (log 2e-16))))) 4.808 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 4.809 * [simplify]: Simplifying (+ (log t) (log (* 2e-16 t))) 4.809 * * [simplify]: iters left: 5 (6 enodes) 4.812 * * [simplify]: iters left: 4 (22 enodes) 4.823 * * [simplify]: iters left: 3 (27 enodes) 4.831 * * [simplify]: iters left: 2 (30 enodes) 4.840 * * [simplify]: Extracting #0: cost 1 inf + 0 4.840 * * [simplify]: Extracting #1: cost 6 inf + 0 4.840 * * [simplify]: Extracting #2: cost 13 inf + 0 4.840 * * [simplify]: Extracting #3: cost 10 inf + 144 4.840 * * [simplify]: Extracting #4: cost 8 inf + 257 4.841 * * [simplify]: Extracting #5: cost 1 inf + 1038 4.841 * * [simplify]: Extracting #6: cost 0 inf + 1260 4.842 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 2e-16)) 4.842 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (exp (+ (+ (log t) (log t)) (log 2e-16))))) 4.842 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 4.842 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 4.842 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 4.843 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* 2e-16 2e-16) 2e-16) (* (* t t) t))) 4.843 * * [simplify]: iters left: 6 (8 enodes) 4.848 * * [simplify]: iters left: 5 (34 enodes) 4.862 * * [simplify]: iters left: 4 (89 enodes) 4.911 * * [simplify]: iters left: 3 (242 enodes) 5.051 * * [simplify]: Extracting #0: cost 1 inf + 0 5.051 * * [simplify]: Extracting #1: cost 43 inf + 0 5.052 * * [simplify]: Extracting #2: cost 108 inf + 573 5.057 * * [simplify]: Extracting #3: cost 51 inf + 8519 5.065 * * [simplify]: Extracting #4: cost 1 inf + 21439 5.074 * * [simplify]: Extracting #5: cost 0 inf + 21611 5.083 * [simplify]: Simplified to (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t)))) 5.083 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* 2e-16 (* t t)) (* (* 2e-16 (* t t)) (* 2e-16 (* t t))))))) 5.083 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 5.083 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 5.083 * * [simplify]: iters left: 6 (8 enodes) 5.088 * * [simplify]: iters left: 5 (40 enodes) 5.110 * * [simplify]: iters left: 4 (119 enodes) 5.179 * * [simplify]: iters left: 3 (302 enodes) 5.344 * * [simplify]: Extracting #0: cost 1 inf + 0 5.345 * * [simplify]: Extracting #1: cost 38 inf + 0 5.346 * * [simplify]: Extracting #2: cost 89 inf + 543 5.349 * * [simplify]: Extracting #3: cost 56 inf + 4742 5.354 * * [simplify]: Extracting #4: cost 4 inf + 18109 5.358 * * [simplify]: Extracting #5: cost 0 inf + 18828 5.362 * [simplify]: Simplified to (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t)) 5.362 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (cbrt (* (* (* (* 2e-16 t) t) (* (* 2e-16 t) t)) (* (* 2e-16 t) t))))) 5.362 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 5.362 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 5.362 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 5.362 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 5.362 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 5.362 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 5.363 * [simplify]: Simplifying (* (cbrt t) (cbrt t)) 5.363 * * [simplify]: iters left: 3 (3 enodes) 5.363 * * [simplify]: iters left: 2 (9 enodes) 5.364 * * [simplify]: Extracting #0: cost 1 inf + 0 5.364 * * [simplify]: Extracting #1: cost 3 inf + 0 5.365 * * [simplify]: Extracting #2: cost 5 inf + 0 5.365 * * [simplify]: Extracting #3: cost 4 inf + 1 5.365 * * [simplify]: Extracting #4: cost 0 inf + 405 5.365 * [simplify]: Simplified to (* (cbrt t) (cbrt t)) 5.365 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* 2e-16 t))))) 5.365 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 5.365 * [simplify]: Simplifying (sqrt t) 5.365 * * [simplify]: iters left: 1 (2 enodes) 5.365 * * [simplify]: Extracting #0: cost 1 inf + 0 5.365 * * [simplify]: Extracting #1: cost 3 inf + 0 5.365 * * [simplify]: Extracting #2: cost 2 inf + 1 5.366 * * [simplify]: Extracting #3: cost 0 inf + 83 5.366 * [simplify]: Simplified to (sqrt t) 5.366 * [simplify]: Simplified (2 2 1) to (λ (t) (* 2e-16 (* (sqrt t) (* (sqrt t) (* 2e-16 t))))) 5.366 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 5.366 * * * * [progress]: [ 40 / 47 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 5.366 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 5.366 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 5.366 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.366 * * [simplify]: iters left: 3 (5 enodes) 5.368 * * [simplify]: iters left: 2 (21 enodes) 5.372 * * [simplify]: iters left: 1 (29 enodes) 5.376 * * [simplify]: Extracting #0: cost 1 inf + 0 5.376 * * [simplify]: Extracting #1: cost 6 inf + 0 5.376 * * [simplify]: Extracting #2: cost 6 inf + 43 5.377 * * [simplify]: Extracting #3: cost 0 inf + 333 5.377 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.377 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.377 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 5.377 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.377 * * [simplify]: iters left: 3 (5 enodes) 5.379 * * [simplify]: iters left: 2 (21 enodes) 5.383 * * [simplify]: iters left: 1 (29 enodes) 5.392 * * [simplify]: Extracting #0: cost 1 inf + 0 5.393 * * [simplify]: Extracting #1: cost 6 inf + 0 5.393 * * [simplify]: Extracting #2: cost 6 inf + 43 5.393 * * [simplify]: Extracting #3: cost 0 inf + 333 5.393 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.393 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.393 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 5.393 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 5.394 * * [simplify]: iters left: 3 (5 enodes) 5.397 * * [simplify]: iters left: 2 (21 enodes) 5.405 * * [simplify]: iters left: 1 (29 enodes) 5.412 * * [simplify]: Extracting #0: cost 1 inf + 0 5.412 * * [simplify]: Extracting #1: cost 6 inf + 0 5.412 * * [simplify]: Extracting #2: cost 6 inf + 43 5.412 * * [simplify]: Extracting #3: cost 0 inf + 333 5.412 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 5.413 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 5.413 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 5.413 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 5.413 * * [simplify]: iters left: 3 (5 enodes) 5.415 * * [simplify]: iters left: 2 (21 enodes) 5.418 * * [simplify]: iters left: 1 (29 enodes) 5.423 * * [simplify]: Extracting #0: cost 1 inf + 0 5.423 * * [simplify]: Extracting #1: cost 6 inf + 0 5.423 * * [simplify]: Extracting #2: cost 6 inf + 43 5.423 * * [simplify]: Extracting #3: cost 0 inf + 333 5.424 * [simplify]: Simplified to (* (* t t) 2e-16) 5.424 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 5.424 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 5.424 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 5.424 * * [simplify]: iters left: 3 (5 enodes) 5.426 * * [simplify]: iters left: 2 (21 enodes) 5.430 * * [simplify]: iters left: 1 (29 enodes) 5.435 * * [simplify]: Extracting #0: cost 1 inf + 0 5.435 * * [simplify]: Extracting #1: cost 6 inf + 0 5.435 * * [simplify]: Extracting #2: cost 6 inf + 43 5.435 * * [simplify]: Extracting #3: cost 0 inf + 333 5.435 * [simplify]: Simplified to (* (* t t) 2e-16) 5.435 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 5.435 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 5.436 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 5.436 * * [simplify]: iters left: 3 (5 enodes) 5.441 * * [simplify]: iters left: 2 (21 enodes) 5.448 * * [simplify]: iters left: 1 (29 enodes) 5.457 * * [simplify]: Extracting #0: cost 1 inf + 0 5.457 * * [simplify]: Extracting #1: cost 6 inf + 0 5.457 * * [simplify]: Extracting #2: cost 6 inf + 43 5.458 * * [simplify]: Extracting #3: cost 0 inf + 333 5.458 * [simplify]: Simplified to (* (* t t) 2e-16) 5.458 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 5.458 * * * [progress]: adding candidates to table 5.735 * * [progress]: iteration 4 / 4 5.735 * * * [progress]: picking best candidate 5.743 * * * * [pick]: Picked # 5.743 * * * [progress]: localizing error 5.748 * * * [progress]: generating rewritten candidates 5.748 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.761 * * * [progress]: generating series expansions 5.761 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.761 * [backup-simplify]: Simplify (* t (* t 3.9999999999999997e-32)) into (* 3.9999999999999997e-32 (pow t 2)) 5.761 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.761 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 5.761 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.761 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.761 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.761 * [taylor]: Taking taylor expansion of t in t 5.761 * [backup-simplify]: Simplify 0 into 0 5.761 * [backup-simplify]: Simplify 1 into 1 5.761 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 5.761 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.761 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.761 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.761 * [taylor]: Taking taylor expansion of t in t 5.761 * [backup-simplify]: Simplify 0 into 0 5.761 * [backup-simplify]: Simplify 1 into 1 5.762 * [backup-simplify]: Simplify (* 1 1) into 1 5.762 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.762 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.763 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.764 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 5.764 * [backup-simplify]: Simplify 0 into 0 5.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.766 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 5.766 * [backup-simplify]: Simplify 0 into 0 5.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.768 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.768 * [backup-simplify]: Simplify 0 into 0 5.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.770 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.770 * [backup-simplify]: Simplify 0 into 0 5.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.773 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.773 * [backup-simplify]: Simplify 0 into 0 5.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.776 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.776 * [backup-simplify]: Simplify 0 into 0 5.776 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.776 * [backup-simplify]: Simplify (* (/ 1 t) (* (/ 1 t) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2)) 5.776 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.776 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.776 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.776 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.776 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.776 * [taylor]: Taking taylor expansion of t in t 5.776 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify 1 into 1 5.777 * [backup-simplify]: Simplify (* 1 1) into 1 5.777 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.777 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.777 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.777 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.777 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.777 * [taylor]: Taking taylor expansion of t in t 5.777 * [backup-simplify]: Simplify 0 into 0 5.778 * [backup-simplify]: Simplify 1 into 1 5.778 * [backup-simplify]: Simplify (* 1 1) into 1 5.778 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.778 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.779 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 5.780 * [backup-simplify]: Simplify 0 into 0 5.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.782 * [backup-simplify]: Simplify 0 into 0 5.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.784 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.784 * [backup-simplify]: Simplify 0 into 0 5.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.790 * [backup-simplify]: Simplify 0 into 0 5.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.793 * [backup-simplify]: Simplify 0 into 0 5.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.795 * [backup-simplify]: Simplify 0 into 0 5.796 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.796 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* (/ 1 (- t)) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2)) 5.796 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.796 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.796 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.796 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.796 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.796 * [taylor]: Taking taylor expansion of t in t 5.796 * [backup-simplify]: Simplify 0 into 0 5.796 * [backup-simplify]: Simplify 1 into 1 5.796 * [backup-simplify]: Simplify (* 1 1) into 1 5.797 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.797 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.797 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.797 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.797 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.797 * [taylor]: Taking taylor expansion of t in t 5.797 * [backup-simplify]: Simplify 0 into 0 5.797 * [backup-simplify]: Simplify 1 into 1 5.797 * [backup-simplify]: Simplify (* 1 1) into 1 5.798 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.798 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 5.800 * [backup-simplify]: Simplify 0 into 0 5.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.801 * [backup-simplify]: Simplify 0 into 0 5.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.803 * [backup-simplify]: Simplify 0 into 0 5.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.805 * [backup-simplify]: Simplify 0 into 0 5.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.808 * [backup-simplify]: Simplify 0 into 0 5.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.810 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.810 * [backup-simplify]: Simplify 0 into 0 5.810 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.810 * * * [progress]: simplifying candidates 5.810 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 5.810 * [simplify]: Simplifying (* t (* t 3.9999999999999997e-32)) 5.810 * * [simplify]: iters left: 4 (4 enodes) 5.812 * * [simplify]: iters left: 3 (16 enodes) 5.814 * * [simplify]: iters left: 2 (19 enodes) 5.817 * * [simplify]: Extracting #0: cost 1 inf + 0 5.817 * * [simplify]: Extracting #1: cost 6 inf + 0 5.817 * * [simplify]: Extracting #2: cost 6 inf + 2 5.817 * * [simplify]: Extracting #3: cost 0 inf + 332 5.817 * [simplify]: Simplified to (* t (* t 3.9999999999999997e-32)) 5.817 * [simplify]: Simplified (2 1) to (λ (t) (pow (* t (* t 3.9999999999999997e-32)) 1)) 5.817 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 5.817 * [simplify]: Simplifying (* t (* t 3.9999999999999997e-32)) 5.817 * * [simplify]: iters left: 4 (4 enodes) 5.819 * * [simplify]: iters left: 3 (16 enodes) 5.821 * * [simplify]: iters left: 2 (19 enodes) 5.824 * * [simplify]: Extracting #0: cost 1 inf + 0 5.824 * * [simplify]: Extracting #1: cost 6 inf + 0 5.824 * * [simplify]: Extracting #2: cost 6 inf + 2 5.824 * * [simplify]: Extracting #3: cost 0 inf + 332 5.824 * [simplify]: Simplified to (* t (* t 3.9999999999999997e-32)) 5.824 * [simplify]: Simplified (2 1) to (λ (t) (pow (* t (* t 3.9999999999999997e-32)) 1)) 5.824 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 5.824 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 5.824 * [simplify]: Simplifying (+ (log t) (+ (log t) (log 3.9999999999999997e-32))) 5.825 * * [simplify]: iters left: 5 (6 enodes) 5.826 * * [simplify]: iters left: 4 (22 enodes) 5.830 * * [simplify]: iters left: 3 (25 enodes) 5.834 * * [simplify]: Extracting #0: cost 1 inf + 0 5.834 * * [simplify]: Extracting #1: cost 6 inf + 0 5.834 * * [simplify]: Extracting #2: cost 12 inf + 0 5.834 * * [simplify]: Extracting #3: cost 10 inf + 2 5.834 * * [simplify]: Extracting #4: cost 0 inf + 1316 5.834 * [simplify]: Simplified to (+ (log t) (+ (log t) (log 3.9999999999999997e-32))) 5.834 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log t) (+ (log t) (log 3.9999999999999997e-32))))) 5.834 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 5.834 * [simplify]: Simplifying (+ (log t) (log (* t 3.9999999999999997e-32))) 5.835 * * [simplify]: iters left: 5 (6 enodes) 5.836 * * [simplify]: iters left: 4 (22 enodes) 5.840 * * [simplify]: iters left: 3 (27 enodes) 5.844 * * [simplify]: iters left: 2 (30 enodes) 5.849 * * [simplify]: Extracting #0: cost 1 inf + 0 5.849 * * [simplify]: Extracting #1: cost 6 inf + 0 5.849 * * [simplify]: Extracting #2: cost 13 inf + 0 5.849 * * [simplify]: Extracting #3: cost 10 inf + 144 5.849 * * [simplify]: Extracting #4: cost 8 inf + 257 5.849 * * [simplify]: Extracting #5: cost 1 inf + 1038 5.849 * * [simplify]: Extracting #6: cost 0 inf + 1260 5.849 * [simplify]: Simplified to (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) 5.849 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)))) 5.850 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 5.850 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 5.850 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 5.850 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32))) 5.850 * * [simplify]: iters left: 6 (8 enodes) 5.852 * * [simplify]: iters left: 5 (36 enodes) 5.860 * * [simplify]: iters left: 4 (102 enodes) 5.909 * * [simplify]: iters left: 3 (250 enodes) 6.035 * * [simplify]: Extracting #0: cost 1 inf + 0 6.036 * * [simplify]: Extracting #1: cost 38 inf + 0 6.040 * * [simplify]: Extracting #2: cost 101 inf + 289 6.043 * * [simplify]: Extracting #3: cost 52 inf + 7138 6.052 * * [simplify]: Extracting #4: cost 3 inf + 19860 6.060 * * [simplify]: Extracting #5: cost 0 inf + 20618 6.069 * [simplify]: Simplified to (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t))) 6.069 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t))))) 6.069 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 6.069 * [simplify]: Simplifying (* (* (* t t) t) (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32))) 6.070 * * [simplify]: iters left: 6 (8 enodes) 6.075 * * [simplify]: iters left: 5 (40 enodes) 6.092 * * [simplify]: iters left: 4 (119 enodes) 6.164 * * [simplify]: iters left: 3 (322 enodes) 6.383 * * [simplify]: Extracting #0: cost 1 inf + 0 6.383 * * [simplify]: Extracting #1: cost 33 inf + 0 6.384 * * [simplify]: Extracting #2: cost 91 inf + 411 6.385 * * [simplify]: Extracting #3: cost 53 inf + 5244 6.389 * * [simplify]: Extracting #4: cost 0 inf + 18599 6.393 * * [simplify]: Extracting #5: cost 0 inf + 18559 6.397 * [simplify]: Simplified to (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)) 6.397 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t)))) 6.398 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 6.398 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 6.398 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 6.398 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 6.398 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 6.398 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 6.399 * [simplify]: Simplifying (* (cbrt t) (cbrt t)) 6.399 * * [simplify]: iters left: 3 (3 enodes) 6.399 * * [simplify]: iters left: 2 (9 enodes) 6.400 * * [simplify]: Extracting #0: cost 1 inf + 0 6.400 * * [simplify]: Extracting #1: cost 3 inf + 0 6.401 * * [simplify]: Extracting #2: cost 5 inf + 0 6.401 * * [simplify]: Extracting #3: cost 4 inf + 1 6.401 * * [simplify]: Extracting #4: cost 0 inf + 405 6.401 * [simplify]: Simplified to (* (cbrt t) (cbrt t)) 6.401 * [simplify]: Simplified (2 1) to (λ (t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* t 3.9999999999999997e-32)))) 6.401 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 6.401 * [simplify]: Simplifying (sqrt t) 6.401 * * [simplify]: iters left: 1 (2 enodes) 6.401 * * [simplify]: Extracting #0: cost 1 inf + 0 6.401 * * [simplify]: Extracting #1: cost 3 inf + 0 6.401 * * [simplify]: Extracting #2: cost 2 inf + 1 6.401 * * [simplify]: Extracting #3: cost 0 inf + 83 6.401 * [simplify]: Simplified to (sqrt t) 6.401 * [simplify]: Simplified (2 1) to (λ (t) (* (sqrt t) (* (sqrt t) (* t 3.9999999999999997e-32)))) 6.402 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 6.402 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (* t (* t 3.9999999999999997e-32)))))> 6.402 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 6.402 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 6.402 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.402 * * [simplify]: iters left: 3 (5 enodes) 6.406 * * [simplify]: iters left: 2 (21 enodes) 6.409 * * [simplify]: iters left: 1 (29 enodes) 6.414 * * [simplify]: Extracting #0: cost 1 inf + 0 6.414 * * [simplify]: Extracting #1: cost 6 inf + 0 6.414 * * [simplify]: Extracting #2: cost 6 inf + 43 6.414 * * [simplify]: Extracting #3: cost 0 inf + 333 6.414 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.414 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.415 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 6.415 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.415 * * [simplify]: iters left: 3 (5 enodes) 6.417 * * [simplify]: iters left: 2 (21 enodes) 6.421 * * [simplify]: iters left: 1 (29 enodes) 6.425 * * [simplify]: Extracting #0: cost 1 inf + 0 6.425 * * [simplify]: Extracting #1: cost 6 inf + 0 6.426 * * [simplify]: Extracting #2: cost 6 inf + 43 6.426 * * [simplify]: Extracting #3: cost 0 inf + 333 6.426 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.426 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.426 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 6.426 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 6.426 * * [simplify]: iters left: 3 (5 enodes) 6.428 * * [simplify]: iters left: 2 (21 enodes) 6.432 * * [simplify]: iters left: 1 (29 enodes) 6.439 * * [simplify]: Extracting #0: cost 1 inf + 0 6.439 * * [simplify]: Extracting #1: cost 6 inf + 0 6.439 * * [simplify]: Extracting #2: cost 6 inf + 43 6.440 * * [simplify]: Extracting #3: cost 0 inf + 333 6.440 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 6.440 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 6.440 * * * [progress]: adding candidates to table 6.553 * [progress]: [Phase 3 of 3] Extracting. 6.553 * * [regime]: Finding splitpoints for: (# # # # # # #) 6.554 * * * [regime-changes]: Trying 1 branch expressions: (t) 6.554 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 6.591 * * * [regime]: Found split indices: #