Time bar (total: 16.1s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 1 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 2 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 3 |
| 75% | 75% | 25% | 0% | 0% | 0% | 0% | 4 |
| 87.5% | 87.5% | 12.5% | 0% | 0% | 0% | 0% | 5 |
| 93.8% | 93.7% | 6.2% | 0% | 0% | 0% | 0% | 6 |
| 96.9% | 96.8% | 3.1% | 0% | 0% | 0% | 0% | 7 |
| 98.4% | 98.4% | 1.6% | 0% | 0% | 0% | 0% | 8 |
| 99.2% | 99.2% | 0.8% | 0% | 0% | 0% | 0% | 9 |
| 99.6% | 99.6% | 0.4% | 0% | 0% | 0% | 0% | 10 |
| 99.8% | 99.8% | 0.2% | 0% | 0% | 0% | 0% | 11 |
| 99.9% | 99.9% | 0.1% | 0% | 0% | 0% | 0% | 12 |
Compiled 7 to 6 computations (14.3% saved)
| 10.7s | 8256× | body | 256 | valid |
| 2× | egg-herbie |
| 14680× | rational.json-simplify-41 |
| 1272× | rational.json-simplify-1 |
| 324× | rational.json-simplify-35 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 1 | 12 | 13 |
| 2 | 20 | 13 |
| 3 | 39 | 13 |
| 4 | 87 | 13 |
| 5 | 246 | 13 |
| 6 | 330 | 13 |
| 7 | 334 | 13 |
| 8 | 338 | 13 |
| 9 | 342 | 13 |
| 10 | 346 | 13 |
| 11 | 1317 | 13 |
| 12 | 1801 | 13 |
| 13 | 1805 | 13 |
| 14 | 1809 | 13 |
| 15 | 1813 | 13 |
| 16 | 1817 | 13 |
| 17 | 1821 | 13 |
| 18 | 1825 | 13 |
| 19 | 1829 | 13 |
| 20 | 1833 | 13 |
| 21 | 1837 | 13 |
| 22 | 1841 | 13 |
| 23 | 1845 | 13 |
| 24 | 1849 | 13 |
| 25 | 1853 | 13 |
| 26 | 1857 | 13 |
| 27 | 1861 | 13 |
| 28 | 1865 | 13 |
| 29 | 1869 | 13 |
| 30 | 1873 | 13 |
| 31 | 1877 | 13 |
| 32 | 1881 | 13 |
| 33 | 1885 | 13 |
| 34 | 1889 | 13 |
| 35 | 1893 | 13 |
| 36 | 1897 | 13 |
| 37 | 1901 | 13 |
| 38 | 1905 | 13 |
| 39 | 1909 | 13 |
| 40 | 1913 | 13 |
| 41 | 1917 | 13 |
| 42 | 1921 | 13 |
| 43 | 1925 | 13 |
| 44 | 1929 | 13 |
| 45 | 1933 | 13 |
| 46 | 1937 | 13 |
| 47 | 1941 | 13 |
| 48 | 1945 | 13 |
| 49 | 1949 | 13 |
| 50 | 1953 | 13 |
| 51 | 1957 | 13 |
| 52 | 1961 | 13 |
| 53 | 1965 | 13 |
| 54 | 1969 | 13 |
| 55 | 1973 | 13 |
| 56 | 1977 | 13 |
| 57 | 1981 | 13 |
| 58 | 1985 | 13 |
| 59 | 1989 | 13 |
| 60 | 1993 | 13 |
| 61 | 1997 | 13 |
| 62 | 2001 | 13 |
| 63 | 2005 | 13 |
| 64 | 2009 | 13 |
| 65 | 2013 | 13 |
| 66 | 2017 | 13 |
| 67 | 2021 | 13 |
| 68 | 2025 | 13 |
| 69 | 2029 | 13 |
| 70 | 2033 | 13 |
| 71 | 2037 | 13 |
| 72 | 2041 | 13 |
| 73 | 2045 | 13 |
| 74 | 2049 | 13 |
| 75 | 2053 | 13 |
| 76 | 2057 | 13 |
| 77 | 2061 | 13 |
| 78 | 2065 | 13 |
| 79 | 2069 | 13 |
| 80 | 2073 | 13 |
| 81 | 2077 | 13 |
| 82 | 2081 | 13 |
| 83 | 2085 | 13 |
| 84 | 2089 | 13 |
| 85 | 2093 | 13 |
| 86 | 2097 | 13 |
| 87 | 2101 | 13 |
| 88 | 2105 | 13 |
| 89 | 2109 | 13 |
| 90 | 2113 | 13 |
| 91 | 2117 | 13 |
| 92 | 2121 | 13 |
| 93 | 2125 | 13 |
| 94 | 2129 | 13 |
| 95 | 2133 | 13 |
| 96 | 2137 | 13 |
| 97 | 2141 | 13 |
| 98 | 2145 | 13 |
| 99 | 2149 | 13 |
| 100 | 2153 | 13 |
| 101 | 2157 | 13 |
| 102 | 2161 | 13 |
| 103 | 2165 | 13 |
| 104 | 2169 | 13 |
| 105 | 2173 | 13 |
| 106 | 2177 | 13 |
| 107 | 2181 | 13 |
| 108 | 2185 | 13 |
| 109 | 2189 | 13 |
| 110 | 2193 | 13 |
| 111 | 2197 | 13 |
| 112 | 2201 | 13 |
| 113 | 2205 | 13 |
| 114 | 2209 | 13 |
| 115 | 2213 | 13 |
| 116 | 2217 | 13 |
| 117 | 2221 | 13 |
| 118 | 2225 | 13 |
| 119 | 2229 | 13 |
| 120 | 2233 | 13 |
| 121 | 2237 | 13 |
| 122 | 2241 | 13 |
| 123 | 2245 | 13 |
| 124 | 2249 | 13 |
| 125 | 2253 | 13 |
| 126 | 2257 | 13 |
| 127 | 2261 | 13 |
| 128 | 2265 | 13 |
| 129 | 2269 | 13 |
| 130 | 2273 | 13 |
| 131 | 2277 | 13 |
| 132 | 2281 | 13 |
| 133 | 2285 | 13 |
| 134 | 2289 | 13 |
| 135 | 2293 | 13 |
| 136 | 2297 | 13 |
| 137 | 2301 | 13 |
| 138 | 2305 | 13 |
| 139 | 2309 | 13 |
| 140 | 2313 | 13 |
| 141 | 2317 | 13 |
| 142 | 2321 | 13 |
| 143 | 2325 | 13 |
| 144 | 2329 | 13 |
| 145 | 2333 | 13 |
| 146 | 2337 | 13 |
| 147 | 2341 | 13 |
| 148 | 2345 | 13 |
| 149 | 2349 | 13 |
| 150 | 2353 | 13 |
| 151 | 2357 | 13 |
| 152 | 2361 | 13 |
| 153 | 2365 | 13 |
| 154 | 2369 | 13 |
| 155 | 2373 | 13 |
| 156 | 2377 | 13 |
| 157 | 2381 | 13 |
| 158 | 2385 | 13 |
| 159 | 2389 | 13 |
| 160 | 2393 | 13 |
| 161 | 2397 | 13 |
| 0 | 1 | 1 |
| 1× | saturated |
| 1× | node limit |
| Inputs |
|---|
0 |
| Outputs |
|---|
0 |
| Inputs |
|---|
(/.f64 (+.f64 x 16) 116) |
| Outputs |
|---|
(/.f64 (+.f64 x 16) 116) |
Compiled 7 to 6 computations (14.3% saved)
| 1× | egg-herbie |
| 14680× | rational.json-simplify-41 |
| 1272× | rational.json-simplify-1 |
| 324× | rational.json-simplify-35 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 1 | 12 | 13 |
| 2 | 20 | 13 |
| 3 | 39 | 13 |
| 4 | 87 | 13 |
| 5 | 246 | 13 |
| 6 | 330 | 13 |
| 7 | 334 | 13 |
| 8 | 338 | 13 |
| 9 | 342 | 13 |
| 10 | 346 | 13 |
| 11 | 1317 | 13 |
| 12 | 1801 | 13 |
| 13 | 1805 | 13 |
| 14 | 1809 | 13 |
| 15 | 1813 | 13 |
| 16 | 1817 | 13 |
| 17 | 1821 | 13 |
| 18 | 1825 | 13 |
| 19 | 1829 | 13 |
| 20 | 1833 | 13 |
| 21 | 1837 | 13 |
| 22 | 1841 | 13 |
| 23 | 1845 | 13 |
| 24 | 1849 | 13 |
| 25 | 1853 | 13 |
| 26 | 1857 | 13 |
| 27 | 1861 | 13 |
| 28 | 1865 | 13 |
| 29 | 1869 | 13 |
| 30 | 1873 | 13 |
| 31 | 1877 | 13 |
| 32 | 1881 | 13 |
| 33 | 1885 | 13 |
| 34 | 1889 | 13 |
| 35 | 1893 | 13 |
| 36 | 1897 | 13 |
| 37 | 1901 | 13 |
| 38 | 1905 | 13 |
| 39 | 1909 | 13 |
| 40 | 1913 | 13 |
| 41 | 1917 | 13 |
| 42 | 1921 | 13 |
| 43 | 1925 | 13 |
| 44 | 1929 | 13 |
| 45 | 1933 | 13 |
| 46 | 1937 | 13 |
| 47 | 1941 | 13 |
| 48 | 1945 | 13 |
| 49 | 1949 | 13 |
| 50 | 1953 | 13 |
| 51 | 1957 | 13 |
| 52 | 1961 | 13 |
| 53 | 1965 | 13 |
| 54 | 1969 | 13 |
| 55 | 1973 | 13 |
| 56 | 1977 | 13 |
| 57 | 1981 | 13 |
| 58 | 1985 | 13 |
| 59 | 1989 | 13 |
| 60 | 1993 | 13 |
| 61 | 1997 | 13 |
| 62 | 2001 | 13 |
| 63 | 2005 | 13 |
| 64 | 2009 | 13 |
| 65 | 2013 | 13 |
| 66 | 2017 | 13 |
| 67 | 2021 | 13 |
| 68 | 2025 | 13 |
| 69 | 2029 | 13 |
| 70 | 2033 | 13 |
| 71 | 2037 | 13 |
| 72 | 2041 | 13 |
| 73 | 2045 | 13 |
| 74 | 2049 | 13 |
| 75 | 2053 | 13 |
| 76 | 2057 | 13 |
| 77 | 2061 | 13 |
| 78 | 2065 | 13 |
| 79 | 2069 | 13 |
| 80 | 2073 | 13 |
| 81 | 2077 | 13 |
| 82 | 2081 | 13 |
| 83 | 2085 | 13 |
| 84 | 2089 | 13 |
| 85 | 2093 | 13 |
| 86 | 2097 | 13 |
| 87 | 2101 | 13 |
| 88 | 2105 | 13 |
| 89 | 2109 | 13 |
| 90 | 2113 | 13 |
| 91 | 2117 | 13 |
| 92 | 2121 | 13 |
| 93 | 2125 | 13 |
| 94 | 2129 | 13 |
| 95 | 2133 | 13 |
| 96 | 2137 | 13 |
| 97 | 2141 | 13 |
| 98 | 2145 | 13 |
| 99 | 2149 | 13 |
| 100 | 2153 | 13 |
| 101 | 2157 | 13 |
| 102 | 2161 | 13 |
| 103 | 2165 | 13 |
| 104 | 2169 | 13 |
| 105 | 2173 | 13 |
| 106 | 2177 | 13 |
| 107 | 2181 | 13 |
| 108 | 2185 | 13 |
| 109 | 2189 | 13 |
| 110 | 2193 | 13 |
| 111 | 2197 | 13 |
| 112 | 2201 | 13 |
| 113 | 2205 | 13 |
| 114 | 2209 | 13 |
| 115 | 2213 | 13 |
| 116 | 2217 | 13 |
| 117 | 2221 | 13 |
| 118 | 2225 | 13 |
| 119 | 2229 | 13 |
| 120 | 2233 | 13 |
| 121 | 2237 | 13 |
| 122 | 2241 | 13 |
| 123 | 2245 | 13 |
| 124 | 2249 | 13 |
| 125 | 2253 | 13 |
| 126 | 2257 | 13 |
| 127 | 2261 | 13 |
| 128 | 2265 | 13 |
| 129 | 2269 | 13 |
| 130 | 2273 | 13 |
| 131 | 2277 | 13 |
| 132 | 2281 | 13 |
| 133 | 2285 | 13 |
| 134 | 2289 | 13 |
| 135 | 2293 | 13 |
| 136 | 2297 | 13 |
| 137 | 2301 | 13 |
| 138 | 2305 | 13 |
| 139 | 2309 | 13 |
| 140 | 2313 | 13 |
| 141 | 2317 | 13 |
| 142 | 2321 | 13 |
| 143 | 2325 | 13 |
| 144 | 2329 | 13 |
| 145 | 2333 | 13 |
| 146 | 2337 | 13 |
| 147 | 2341 | 13 |
| 148 | 2345 | 13 |
| 149 | 2349 | 13 |
| 150 | 2353 | 13 |
| 151 | 2357 | 13 |
| 152 | 2361 | 13 |
| 153 | 2365 | 13 |
| 154 | 2369 | 13 |
| 155 | 2373 | 13 |
| 156 | 2377 | 13 |
| 157 | 2381 | 13 |
| 158 | 2385 | 13 |
| 159 | 2389 | 13 |
| 160 | 2393 | 13 |
| 161 | 2397 | 13 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (+.f64 x 16) 116) |
| Outputs |
|---|
(/.f64 (+.f64 x 16) 116) |
Compiled 6 to 5 computations (16.7% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0.0b | (/.f64 (+.f64 x 16) 116) |
Compiled 6 to 5 computations (16.7% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (/.f64 (+.f64 x 16) 116) |
Compiled 12 to 9 computations (25% saved)
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | x | @ | inf | (/.f64 (+.f64 x 16) 116) |
| 0.0ms | x | @ | -inf | (/.f64 (+.f64 x 16) 116) |
| 0.0ms | x | @ | 0 | (/.f64 (+.f64 x 16) 116) |
| 1× | batch-egg-rewrite |
| 1854× | bool.json-1 |
| 1854× | bool.json-2 |
| 1264× | rational.json-simplify-35 |
| 1150× | rational.json-1 |
| 1150× | rational.json-2 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 1 | 73 | 13 |
| 2 | 221 | 13 |
| 3 | 489 | 13 |
| 4 | 1038 | 13 |
| 5 | 2368 | 13 |
| 6 | 4750 | 13 |
| 7 | 7393 | 13 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (+.f64 x 16) 116) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x 16) 1/116) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 x 16) 1/116))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x 16) 1/232) (*.f64 (+.f64 x 16) 1/232))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x 16) 1/116) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x 16) 1/116)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 1/116) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (+.f64 x 16) 1/116))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 x x) 32) 1/232)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 x 16) 1/232))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 1/58) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 4) 1/464)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/116 (+.f64 x 16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 x 16) 464))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 1/29) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 8) 1/928)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x 16) 1/58))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/232 (+.f64 (+.f64 x x) 32))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/58 (*.f64 (+.f64 x 16) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 1/2) 1/58)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 x 16) 1/29))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 1/232) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/464 (*.f64 (+.f64 x 16) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x 16) 464) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/928 (*.f64 (+.f64 x 16) 8))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (+.f64 x 16) 1/116)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (+.f64 x 16) 1/116) (*.f64 (+.f64 x 16) 1/116))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (+.f64 x 16) 1/116) (*.f64 (+.f64 x 16) 1/116)))))) |
| 1× | egg-herbie |
| 2730× | rational.json-simplify-2 |
| 2302× | rational.json-simplify-41 |
| 2282× | rational.json-simplify-51 |
| 1924× | rational.json-simplify-1 |
| 1876× | rational.json-simplify-35 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 444 |
| 1 | 77 | 444 |
| 2 | 120 | 444 |
| 3 | 200 | 444 |
| 4 | 312 | 444 |
| 5 | 576 | 444 |
| 6 | 692 | 444 |
| 7 | 751 | 444 |
| 8 | 842 | 444 |
| 9 | 938 | 444 |
| 10 | 1019 | 444 |
| 11 | 1096 | 444 |
| 12 | 1203 | 444 |
| 13 | 1282 | 444 |
| 14 | 1372 | 444 |
| 15 | 1467 | 444 |
| 16 | 1570 | 444 |
| 17 | 1673 | 444 |
| 18 | 1780 | 444 |
| 19 | 1892 | 444 |
| 20 | 1977 | 444 |
| 21 | 3364 | 444 |
| 22 | 3409 | 444 |
| 23 | 3454 | 444 |
| 24 | 3487 | 444 |
| 25 | 3505 | 444 |
| 26 | 3522 | 444 |
| 27 | 5005 | 444 |
| 28 | 5022 | 444 |
| 29 | 5039 | 444 |
| 30 | 5056 | 444 |
| 31 | 5073 | 444 |
| 32 | 5090 | 444 |
| 33 | 5724 | 444 |
| 34 | 5741 | 444 |
| 35 | 6734 | 444 |
| 36 | 6778 | 444 |
| 37 | 6807 | 444 |
| 38 | 7192 | 444 |
| 39 | 7222 | 444 |
| 40 | 7251 | 444 |
| 41 | 7280 | 444 |
| 42 | 7309 | 444 |
| 43 | 7338 | 444 |
| 44 | 7685 | 444 |
| 45 | 7714 | 444 |
| 46 | 7743 | 444 |
| 47 | 7772 | 444 |
| 48 | 7801 | 444 |
| 49 | 7830 | 444 |
| 50 | 7859 | 444 |
| 51 | 7888 | 444 |
| 52 | 7917 | 444 |
| 53 | 7946 | 444 |
| 54 | 7975 | 444 |
| 1× | node limit |
| Inputs |
|---|
4/29 |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 1/116 x) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 1/116 x) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 (*.f64 (+.f64 x 16) 1/116) 0) |
(+.f64 0 (*.f64 (+.f64 x 16) 1/116)) |
(+.f64 (*.f64 (+.f64 x 16) 1/232) (*.f64 (+.f64 x 16) 1/232)) |
(-.f64 (*.f64 (+.f64 x 16) 1/116) 0) |
(*.f64 (+.f64 x 16) 1/116) |
(*.f64 (*.f64 (+.f64 x 16) 1/116) 1) |
(*.f64 1 (*.f64 (+.f64 x 16) 1/116)) |
(*.f64 (+.f64 (+.f64 x x) 32) 1/232) |
(*.f64 2 (*.f64 (+.f64 x 16) 1/232)) |
(*.f64 (*.f64 (+.f64 x 16) 1/58) 1/2) |
(*.f64 (*.f64 (+.f64 x 16) 4) 1/464) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 4 (/.f64 (+.f64 x 16) 464)) |
(*.f64 (*.f64 (+.f64 x 16) 1/29) 1/4) |
(*.f64 (*.f64 (+.f64 x 16) 8) 1/928) |
(*.f64 1/2 (*.f64 (+.f64 x 16) 1/58)) |
(*.f64 1/232 (+.f64 (+.f64 x x) 32)) |
(*.f64 1/58 (*.f64 (+.f64 x 16) 1/2)) |
(*.f64 (*.f64 (+.f64 x 16) 1/2) 1/58) |
(*.f64 1/4 (*.f64 (+.f64 x 16) 1/29)) |
(*.f64 (*.f64 (+.f64 x 16) 1/232) 2) |
(*.f64 1/464 (*.f64 (+.f64 x 16) 4)) |
(*.f64 (/.f64 (+.f64 x 16) 464) 4) |
(*.f64 1/928 (*.f64 (+.f64 x 16) 8)) |
| Outputs |
|---|
4/29 |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 1/116 x) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 1/116 x) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(+.f64 (*.f64 (+.f64 x 16) 1/116) 0) |
(*.f64 1/116 (+.f64 x 16)) |
(+.f64 0 (*.f64 (+.f64 x 16) 1/116)) |
(*.f64 1/116 (+.f64 x 16)) |
(+.f64 (*.f64 (+.f64 x 16) 1/232) (*.f64 (+.f64 x 16) 1/232)) |
(*.f64 1/116 (+.f64 x 16)) |
(-.f64 (*.f64 (+.f64 x 16) 1/116) 0) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (+.f64 x 16) 1/116) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (*.f64 (+.f64 x 16) 1/116) 1) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 1 (*.f64 (+.f64 x 16) 1/116)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (+.f64 (+.f64 x x) 32) 1/232) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 2 (*.f64 (+.f64 x 16) 1/232)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (*.f64 (+.f64 x 16) 1/58) 1/2) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (*.f64 (+.f64 x 16) 4) 1/464) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 4 (/.f64 (+.f64 x 16) 464)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (*.f64 (+.f64 x 16) 1/29) 1/4) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (*.f64 (+.f64 x 16) 8) 1/928) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 1/2 (*.f64 (+.f64 x 16) 1/58)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 1/232 (+.f64 (+.f64 x x) 32)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 1/58 (*.f64 (+.f64 x 16) 1/2)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (*.f64 (+.f64 x 16) 1/2) 1/58) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 1/4 (*.f64 (+.f64 x 16) 1/29)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (*.f64 (+.f64 x 16) 1/232) 2) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 1/464 (*.f64 (+.f64 x 16) 4)) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 (/.f64 (+.f64 x 16) 464) 4) |
(*.f64 1/116 (+.f64 x 16)) |
(*.f64 1/928 (*.f64 (+.f64 x 16) 8)) |
(*.f64 1/116 (+.f64 x 16)) |
Compiled 178 to 148 computations (16.9% saved)
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 24 | 3 | 27 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 24 | 4 | 28 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0.0b | (/.f64 (+.f64 x 16) 116) |
| ▶ | 0.0b | (+.f64 4/29 (*.f64 1/116 x)) |
| ▶ | 30.3b | (*.f64 1/116 x) |
| 32.8b | 4/29 |
Compiled 18 to 15 computations (16.7% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.1b | (*.f64 1/116 x) |
Compiled 6 to 4 computations (33.3% saved)
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | x | @ | -inf | (*.f64 1/116 x) |
| 0.0ms | x | @ | inf | (*.f64 1/116 x) |
| 0.0ms | x | @ | 0 | (*.f64 1/116 x) |
| 1× | batch-egg-rewrite |
| 1622× | rational.json-simplify-35 |
| 1348× | bool.json-1 |
| 1348× | bool.json-2 |
| 1290× | rational.json-1 |
| 1290× | rational.json-2 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 7 |
| 1 | 51 | 7 |
| 2 | 154 | 7 |
| 3 | 326 | 7 |
| 4 | 651 | 7 |
| 5 | 1362 | 7 |
| 6 | 3149 | 7 |
| 7 | 5751 | 7 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 1/116 x) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/116 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/116 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 1/232) (*.f64 x 1/232))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/116 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/116 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 1/58) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 1/29) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 2/29) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 x 2/29)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 x 2/29))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 1/116 x) (*.f64 1/116 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 1/116 x) (*.f64 1/116 x)))))) |
| 1× | egg-herbie |
| 8912× | rational.json-simplify-41 |
| 2270× | rational.json-simplify-35 |
| 1370× | rational.json-simplify-2 |
| 866× | rational.json-simplify-1 |
| 646× | rational.json-simplify-51 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 38 | 84 |
| 1 | 88 | 84 |
| 2 | 158 | 84 |
| 3 | 362 | 84 |
| 4 | 864 | 84 |
| 5 | 2614 | 84 |
| 6 | 3500 | 84 |
| 7 | 3601 | 84 |
| 8 | 3651 | 84 |
| 9 | 3696 | 84 |
| 10 | 3738 | 84 |
| 11 | 3778 | 84 |
| 12 | 3850 | 84 |
| 13 | 3889 | 84 |
| 14 | 3928 | 84 |
| 15 | 3967 | 84 |
| 16 | 4006 | 84 |
| 17 | 4045 | 84 |
| 18 | 4084 | 84 |
| 19 | 4123 | 84 |
| 20 | 4162 | 84 |
| 21 | 4201 | 84 |
| 22 | 4240 | 84 |
| 23 | 4279 | 84 |
| 24 | 4318 | 84 |
| 25 | 4357 | 84 |
| 26 | 4396 | 84 |
| 27 | 4435 | 84 |
| 28 | 4474 | 84 |
| 29 | 4513 | 84 |
| 30 | 4552 | 84 |
| 31 | 4552 | 84 |
| 32 | 4591 | 84 |
| 33 | 4630 | 84 |
| 34 | 4669 | 84 |
| 35 | 4708 | 84 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 (*.f64 1/116 x) 0) |
(+.f64 0 (*.f64 1/116 x)) |
(+.f64 (*.f64 x 1/232) (*.f64 x 1/232)) |
(-.f64 (*.f64 1/116 x) 0) |
(/.f64 (*.f64 1/116 x) 1) |
(/.f64 (*.f64 x 1/58) 2) |
(/.f64 (*.f64 x 1/29) 4) |
(/.f64 (*.f64 x 2/29) 8) |
(/.f64 (*.f64 2 (*.f64 x 2/29)) 16) |
(/.f64 (*.f64 2 (*.f64 2 (*.f64 x 2/29))) 32) |
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29)))) 64) |
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29))))) 128) |
| Outputs |
|---|
(+.f64 (*.f64 1/116 x) 0) |
(*.f64 1/116 x) |
(+.f64 0 (*.f64 1/116 x)) |
(*.f64 1/116 x) |
(+.f64 (*.f64 x 1/232) (*.f64 x 1/232)) |
(*.f64 1/116 x) |
(-.f64 (*.f64 1/116 x) 0) |
(*.f64 1/116 x) |
(/.f64 (*.f64 1/116 x) 1) |
(*.f64 1/116 x) |
(/.f64 (*.f64 x 1/58) 2) |
(*.f64 1/116 x) |
(/.f64 (*.f64 x 1/29) 4) |
(*.f64 1/116 x) |
(/.f64 (*.f64 x 2/29) 8) |
(*.f64 1/116 x) |
(/.f64 (*.f64 2 (*.f64 x 2/29)) 16) |
(*.f64 1/116 x) |
(/.f64 (*.f64 2 (*.f64 2 (*.f64 x 2/29))) 32) |
(*.f64 1/116 x) |
(/.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29)))) 64) |
(*.f64 1/116 x) |
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29))))) 128) |
(*.f64 1/116 x) |
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (+.f64 4/29 (*.f64 1/116 x)) |
| 0.1b | (*.f64 1/116 x) |
Compiled 12 to 9 computations (25% saved)
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | x | @ | inf | (+.f64 4/29 (*.f64 1/116 x)) |
| 0.0ms | x | @ | 0 | (+.f64 4/29 (*.f64 1/116 x)) |
| 0.0ms | x | @ | -inf | (+.f64 4/29 (*.f64 1/116 x)) |
| 1× | batch-egg-rewrite |
| 1884× | bool.json-1 |
| 1884× | bool.json-2 |
| 1122× | rational.json-1 |
| 1122× | rational.json-2 |
| 1122× | rational.json-4 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 1 | 70 | 13 |
| 2 | 190 | 13 |
| 3 | 387 | 13 |
| 4 | 794 | 13 |
| 5 | 1706 | 13 |
| 6 | 4125 | 13 |
| 7 | 7263 | 13 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 4/29 (*.f64 1/116 x)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 4/29 (*.f64 1/116 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 4/29 (*.f64 1/116 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 4/29 (*.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x 1/58) 8/29) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 x 1/58) 8/29))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 4/29 (*.f64 1/116 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x 1/58) 8/29) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 4/29 (*.f64 1/116 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 4/29 (*.f64 1/116 x)) (+.f64 4/29 (*.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 4/29 (*.f64 1/116 x)) (+.f64 4/29 (*.f64 1/116 x))))))) |
| 1× | egg-herbie |
| 6638× | rational.json-simplify-51 |
| 2628× | rational.json-simplify-35 |
| 1426× | rational.json-simplify-2 |
| 1306× | rational.json-simplify-49 |
| 1232× | rational.json-simplify-1 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 48 | 262 |
| 1 | 93 | 262 |
| 2 | 255 | 262 |
| 3 | 724 | 262 |
| 4 | 1259 | 262 |
| 5 | 2743 | 262 |
| 6 | 3506 | 262 |
| 7 | 3568 | 262 |
| 8 | 3606 | 262 |
| 9 | 3631 | 262 |
| 10 | 4088 | 262 |
| 11 | 4243 | 262 |
| 12 | 4302 | 262 |
| 13 | 4359 | 262 |
| 14 | 4400 | 262 |
| 15 | 4441 | 262 |
| 16 | 4482 | 262 |
| 17 | 4523 | 262 |
| 18 | 4564 | 262 |
| 19 | 5472 | 262 |
| 20 | 5516 | 262 |
| 21 | 5553 | 262 |
| 22 | 5588 | 262 |
| 23 | 5622 | 262 |
| 24 | 5656 | 262 |
| 25 | 5920 | 262 |
| 26 | 5954 | 262 |
| 27 | 5988 | 262 |
| 28 | 6022 | 262 |
| 29 | 6056 | 262 |
| 30 | 6090 | 262 |
| 31 | 6124 | 262 |
| 32 | 6158 | 262 |
| 33 | 6192 | 262 |
| 34 | 6226 | 262 |
| 35 | 6226 | 262 |
| 36 | 6260 | 262 |
| 1× | node limit |
| Inputs |
|---|
4/29 |
(*.f64 1/116 x) |
(*.f64 1/116 x) |
(-.f64 (+.f64 4/29 (*.f64 1/116 x)) 0) |
(*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1) |
(*.f64 1 (+.f64 4/29 (*.f64 1/116 x))) |
(*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/2)) |
(*.f64 (+.f64 (*.f64 x 1/58) 8/29) 1/2) |
(*.f64 4 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/4)) |
(*.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4) 1/4) |
(*.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8) 1/8) |
(*.f64 1/2 (+.f64 (*.f64 x 1/58) 8/29)) |
(*.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/2) 2) |
(*.f64 1/4 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4)) |
(*.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/4) 4) |
(/.f64 (+.f64 4/29 (*.f64 1/116 x)) 1) |
(/.f64 (+.f64 (*.f64 x 1/58) 8/29) 2) |
(/.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4) 4) |
(/.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8) 8) |
(/.f64 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)) 16) |
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))) 32) |
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))) 64) |
| Outputs |
|---|
4/29 |
(*.f64 1/116 x) |
(*.f64 1/116 x) |
(-.f64 (+.f64 4/29 (*.f64 1/116 x)) 0) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 1 (+.f64 4/29 (*.f64 1/116 x))) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/2)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 (+.f64 (*.f64 x 1/58) 8/29) 1/2) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 4 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/4)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4) 1/4) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8) 1/8) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 1/2 (+.f64 (*.f64 x 1/58) 8/29)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/2) 2) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 1/4 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4)) |
(+.f64 4/29 (*.f64 1/116 x)) |
(*.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 1/4) 4) |
(+.f64 4/29 (*.f64 1/116 x)) |
(/.f64 (+.f64 4/29 (*.f64 1/116 x)) 1) |
(+.f64 4/29 (*.f64 1/116 x)) |
(/.f64 (+.f64 (*.f64 x 1/58) 8/29) 2) |
(+.f64 4/29 (*.f64 1/116 x)) |
(/.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 4) 4) |
(+.f64 4/29 (*.f64 1/116 x)) |
(/.f64 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8) 8) |
(+.f64 4/29 (*.f64 1/116 x)) |
(/.f64 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)) 16) |
(+.f64 4/29 (*.f64 1/116 x)) |
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))) 32) |
(+.f64 4/29 (*.f64 1/116 x)) |
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))) 64) |
(+.f64 4/29 (*.f64 1/116 x)) |
Compiled 401 to 349 computations (13% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 48 | 0 | 48 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 48 | 4 | 52 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0.0b | (/.f64 (+.f64 x 16) 116) |
| ✓ | 0.0b | (+.f64 4/29 (*.f64 1/116 x)) |
| ✓ | 30.3b | (*.f64 1/116 x) |
| 32.8b | 4/29 |
Compiled 18 to 15 computations (16.7% saved)
Compiled 1 to 1 computations (0% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 3 | 3 |
| Total | 0 | 4 | 4 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0.0b | (/.f64 (+.f64 x 16) 116) |
| ✓ | 0.0b | (+.f64 4/29 (*.f64 1/116 x)) |
| ✓ | 30.3b | (*.f64 1/116 x) |
| 32.8b | 4/29 |
Compiled 18 to 15 computations (16.7% saved)
Compiled 1 to 1 computations (0% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 3 | 3 |
| Total | 0 | 4 | 4 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0.0b | (/.f64 (+.f64 x 16) 116) |
| ✓ | 0.0b | (+.f64 4/29 (*.f64 1/116 x)) |
| ✓ | 30.3b | (*.f64 1/116 x) |
| 32.8b | 4/29 |
Compiled 18 to 15 computations (16.7% saved)
| Inputs |
|---|
4/29 |
(*.f64 1/116 x) |
(+.f64 4/29 (*.f64 1/116 x)) |
(/.f64 (+.f64 x 16) 116) |
| Outputs |
|---|
(/.f64 (+.f64 x 16) 116) |
3 calls:
| 4.0ms | x |
| 3.0ms | (/.f64 (+.f64 x 16) 116) |
| 3.0ms | (+.f64 x 16) |
| Error | Segments | Branch |
|---|---|---|
| 0.0b | 1 | x |
| 0.0b | 1 | (/.f64 (+.f64 x 16) 116) |
| 0.0b | 1 | (+.f64 x 16) |
Compiled 27 to 21 computations (22.2% saved)
| Inputs |
|---|
4/29 |
(*.f64 1/116 x) |
(+.f64 4/29 (*.f64 1/116 x)) |
| Outputs |
|---|
(+.f64 4/29 (*.f64 1/116 x)) |
1 calls:
| 3.0ms | x |
| Error | Segments | Branch |
|---|---|---|
| 0.0b | 1 | x |
Compiled 12 to 9 computations (25% saved)
Total -60.9b remaining (-5733%)
Threshold costs -60.9b (-5733%)
| Inputs |
|---|
4/29 |
(*.f64 1/116 x) |
| Outputs |
|---|
(*.f64 1/116 x) |
4/29 |
(*.f64 1/116 x) |
1 calls:
| 9.0ms | x |
| Error | Segments | Branch |
|---|---|---|
| 1.1b | 3 | x |
Compiled 7 to 5 computations (28.6% saved)
| 2× | binary-search |
| Time | Left | Right |
|---|---|---|
| 15.0ms | 0.6682571328058488 | 180849204180975900.0 |
| 14.0ms | -2261.1628400366367 | -0.002210021736400799 |
| 25.0ms | 304× | body | 256 | valid |
Compiled 162 to 141 computations (13% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 60 |
| 1× | fuel |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (+.f64 x 16) 116) |
(+.f64 4/29 (*.f64 1/116 x)) |
(if (<=.f64 x -16) (*.f64 1/116 x) (if (<=.f64 x 16) 4/29 (*.f64 1/116 x))) |
4/29 |
| Outputs |
|---|
(/.f64 (+.f64 x 16) 116) |
(+.f64 4/29 (*.f64 1/116 x)) |
(if (<=.f64 x -16) (*.f64 1/116 x) (if (<=.f64 x 16) 4/29 (*.f64 1/116 x))) |
4/29 |
Compiled 30 to 24 computations (20% saved)
Compiled 27 to 21 computations (22.2% saved)
Loading profile data...