Details

analyze4.0ms (0.1%)

Algorithm

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
0%	0%	100%	0%	0%	0%	0%	3
62.5%	62.5%	37.5%	0%	0%	0%	0%	4
81.3%	81.2%	18.7%	0%	0%	0%	0%	5
90.6%	90.6%	9.4%	0%	0%	0%	0%	6
95.3%	95.3%	4.7%	0%	0%	0%	0%	7
97.7%	97.6%	2.3%	0%	0%	0%	0%	8
98.8%	98.8%	1.2%	0%	0%	0%	0%	9
99.4%	99.4%	0.6%	0%	0%	0%	0%	10
99.7%	99.7%	0.3%	0%	0%	0%	0%	11
99.9%	99.8%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.0s (13.8%)

Results

1.0s

8256×

body

256

valid

Bogosity

preprocess2.0s (26.4%)

Algorithm

2×	egg-herbie

Rules

10362×	`rational.json-simplify-41`
5852×	`rational.json-simplify-1`
388×	`rational.json-simplify-35`
2×	`rational.json-simplify-3`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	14	13
3	18	13
4	26	13
5	48	13
6	109	13
7	295	13
8	379	13
9	381	13
10	383	13
11	385	13
12	387	13
13	1319	13
14	1711	13
15	1713	13
16	1715	13
17	1717	13
18	1719	13
19	1721	13
20	1723	13
21	1725	13
22	1727	13
23	1729	13
24	1731	13
25	1733	13
26	1735	13
27	1737	13
28	1739	13
29	1741	13
30	1743	13
31	1745	13
32	1747	13
33	1749	13
34	1751	13
35	1753	13
36	1755	13
37	1757	13
38	1759	13
39	1761	13
40	1763	13
41	1765	13
42	1767	13
43	1769	13
44	1771	13
45	1773	13
46	1775	13
47	1777	13
48	1779	13
49	1781	13
50	1783	13
51	1785	13
52	1787	13
53	1789	13
54	1791	13
55	1793	13
56	1795	13
57	1797	13
58	1799	13
59	1801	13
60	1803	13
61	1805	13
62	1807	13
63	1809	13
64	1811	13
65	1813	13
66	1815	13
67	1817	13
68	1819	13
69	1821	13
70	1823	13
71	1825	13
72	1827	13
73	1829	13
74	1831	13
75	1833	13
76	1835	13
77	1837	13
78	1839	13
79	1841	13
80	1843	13
81	1845	13
82	1847	13
83	1849	13
84	1851	13
85	1853	13
86	1855	13
87	1857	13
88	1859	13
89	1861	13
90	1863	13
91	1865	13
92	1867	13
93	1869	13
94	1871	13
95	1873	13
96	1875	13
97	1877	13
98	1879	13
99	1881	13
100	1883	13
101	1885	13
102	1887	13
103	1889	13
104	1891	13
105	1893	13
106	1895	13
107	1897	13
108	1899	13
109	1901	13
110	1903	13
111	1905	13
112	1907	13
113	1909	13
114	1911	13
115	1913	13
116	1915	13
117	1917	13
118	1919	13
119	1921	13
120	1923	13
121	1925	13
122	1927	13
123	1929	13
124	1931	13
125	1933	13
126	1935	13
127	1937	13
128	1939	13
129	1941	13
130	1943	13
131	1945	13
132	1947	13
133	1949	13
134	1951	13
135	1953	13
136	1955	13
137	1957	13
138	1959	13
139	1961	13
140	1963	13
141	1965	13
142	1967	13
143	1969	13
144	1971	13
145	1973	13
146	1975	13
147	1977	13
148	1979	13
149	1981	13
150	1983	13
151	1985	13
152	1987	13
153	1989	13
154	1991	13
155	1993	13
156	1995	13
157	1997	13
158	1999	13
159	2001	13
160	2003	13
161	2005	13
162	2007	13
163	2009	13
164	7600	13
165	7602	13
166	7604	13
167	7606	13
168	7608	13
169	7610	13
170	7612	13
171	7614	13
172	7616	13
173	7618	13
174	7620	13
175	7622	13
176	7624	13
177	7626	13
178	7628	13
179	7630	13
180	7632	13
181	7634	13
182	7636	13
183	7638	13
184	7640	13
185	7642	13
186	7644	13
187	7646	13
188	7648	13
189	7650	13
190	7652	13
191	7654	13
192	7656	13
193	7658	13
194	7660	13
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(*.f64 100 (/.f64 (-.f64 x x) x))

Outputs
(*.f64 100 (/.f64 (-.f64 x x) x))
(*.f64 100 (/.f64 0 x))

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify2.0s (26.4%)

Algorithm

1×	egg-herbie

Rules

10362×	`rational.json-simplify-41`
5852×	`rational.json-simplify-1`
388×	`rational.json-simplify-35`
2×	`rational.json-simplify-3`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	14	13
3	18	13
4	26	13
5	48	13
6	109	13
7	295	13
8	379	13
9	381	13
10	383	13
11	385	13
12	387	13
13	1319	13
14	1711	13
15	1713	13
16	1715	13
17	1717	13
18	1719	13
19	1721	13
20	1723	13
21	1725	13
22	1727	13
23	1729	13
24	1731	13
25	1733	13
26	1735	13
27	1737	13
28	1739	13
29	1741	13
30	1743	13
31	1745	13
32	1747	13
33	1749	13
34	1751	13
35	1753	13
36	1755	13
37	1757	13
38	1759	13
39	1761	13
40	1763	13
41	1765	13
42	1767	13
43	1769	13
44	1771	13
45	1773	13
46	1775	13
47	1777	13
48	1779	13
49	1781	13
50	1783	13
51	1785	13
52	1787	13
53	1789	13
54	1791	13
55	1793	13
56	1795	13
57	1797	13
58	1799	13
59	1801	13
60	1803	13
61	1805	13
62	1807	13
63	1809	13
64	1811	13
65	1813	13
66	1815	13
67	1817	13
68	1819	13
69	1821	13
70	1823	13
71	1825	13
72	1827	13
73	1829	13
74	1831	13
75	1833	13
76	1835	13
77	1837	13
78	1839	13
79	1841	13
80	1843	13
81	1845	13
82	1847	13
83	1849	13
84	1851	13
85	1853	13
86	1855	13
87	1857	13
88	1859	13
89	1861	13
90	1863	13
91	1865	13
92	1867	13
93	1869	13
94	1871	13
95	1873	13
96	1875	13
97	1877	13
98	1879	13
99	1881	13
100	1883	13
101	1885	13
102	1887	13
103	1889	13
104	1891	13
105	1893	13
106	1895	13
107	1897	13
108	1899	13
109	1901	13
110	1903	13
111	1905	13
112	1907	13
113	1909	13
114	1911	13
115	1913	13
116	1915	13
117	1917	13
118	1919	13
119	1921	13
120	1923	13
121	1925	13
122	1927	13
123	1929	13
124	1931	13
125	1933	13
126	1935	13
127	1937	13
128	1939	13
129	1941	13
130	1943	13
131	1945	13
132	1947	13
133	1949	13
134	1951	13
135	1953	13
136	1955	13
137	1957	13
138	1959	13
139	1961	13
140	1963	13
141	1965	13
142	1967	13
143	1969	13
144	1971	13
145	1973	13
146	1975	13
147	1977	13
148	1979	13
149	1981	13
150	1983	13
151	1985	13
152	1987	13
153	1989	13
154	1991	13
155	1993	13
156	1995	13
157	1997	13
158	1999	13
159	2001	13
160	2003	13
161	2005	13
162	2007	13
163	2009	13
164	7600	13
165	7602	13
166	7604	13
167	7606	13
168	7608	13
169	7610	13
170	7612	13
171	7614	13
172	7616	13
173	7618	13
174	7620	13
175	7622	13
176	7624	13
177	7626	13
178	7628	13
179	7630	13
180	7632	13
181	7634	13
182	7636	13
183	7638	13
184	7640	13
185	7642	13
186	7644	13
187	7646	13
188	7648	13
189	7650	13
190	7652	13
191	7654	13
192	7656	13
193	7658	13
194	7660	13

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 100 (/.f64 (-.f64 x x) x))

Outputs
(*.f64 100 (/.f64 (-.f64 x x) x))
(*.f64 100 (/.f64 0 x))

eval0.0ms (0%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(*.f64 100 (/.f64 0 x))

Compiler

Compiled 6 to 5 computations (16.7% saved)

localize5.0ms (0.1%)

Compiler: Compiled 12 to 9 computations (25% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(*.f64 100 (/.f64 0 x))

Compiler

Compiled 6 to 5 computations (16.7% saved)

regimes6.0ms (0.1%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 100 (/.f64 0 x))
(*.f64 100 (/.f64 (-.f64 x x) x))

Outputs
(*.f64 100 (/.f64 0 x))

Calls

3 calls:

2.0ms	x
2.0ms	(*.f64 100 (/.f64 (-.f64 x x) x))
2.0ms	(/.f64 (-.f64 x x) x)

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`(*.f64 100 (/.f64 (-.f64 x x) x))`
0b	1	`(/.f64 (-.f64 x x) x)`

Compiler

Compiled 29 to 18 computations (37.9% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 100 (/.f64 0 x))

Outputs
(*.f64 100 (/.f64 0 x))

Compiler

Compiled 6 to 5 computations (16.7% saved)

soundness2.5s (33%)

Algorithm

1×	egg-herbie

Rules

10362×	`rational.json-simplify-41`
5852×	`rational.json-simplify-1`
388×	`rational.json-simplify-35`
2×	`rational.json-simplify-3`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	12	13
2	14	13
3	18	13
4	26	13
5	48	13
6	109	13
7	295	13
8	379	13
9	381	13
10	383	13
11	385	13
12	387	13
13	1319	13
14	1711	13
15	1713	13
16	1715	13
17	1717	13
18	1719	13
19	1721	13
20	1723	13
21	1725	13
22	1727	13
23	1729	13
24	1731	13
25	1733	13
26	1735	13
27	1737	13
28	1739	13
29	1741	13
30	1743	13
31	1745	13
32	1747	13
33	1749	13
34	1751	13
35	1753	13
36	1755	13
37	1757	13
38	1759	13
39	1761	13
40	1763	13
41	1765	13
42	1767	13
43	1769	13
44	1771	13
45	1773	13
46	1775	13
47	1777	13
48	1779	13
49	1781	13
50	1783	13
51	1785	13
52	1787	13
53	1789	13
54	1791	13
55	1793	13
56	1795	13
57	1797	13
58	1799	13
59	1801	13
60	1803	13
61	1805	13
62	1807	13
63	1809	13
64	1811	13
65	1813	13
66	1815	13
67	1817	13
68	1819	13
69	1821	13
70	1823	13
71	1825	13
72	1827	13
73	1829	13
74	1831	13
75	1833	13
76	1835	13
77	1837	13
78	1839	13
79	1841	13
80	1843	13
81	1845	13
82	1847	13
83	1849	13
84	1851	13
85	1853	13
86	1855	13
87	1857	13
88	1859	13
89	1861	13
90	1863	13
91	1865	13
92	1867	13
93	1869	13
94	1871	13
95	1873	13
96	1875	13
97	1877	13
98	1879	13
99	1881	13
100	1883	13
101	1885	13
102	1887	13
103	1889	13
104	1891	13
105	1893	13
106	1895	13
107	1897	13
108	1899	13
109	1901	13
110	1903	13
111	1905	13
112	1907	13
113	1909	13
114	1911	13
115	1913	13
116	1915	13
117	1917	13
118	1919	13
119	1921	13
120	1923	13
121	1925	13
122	1927	13
123	1929	13
124	1931	13
125	1933	13
126	1935	13
127	1937	13
128	1939	13
129	1941	13
130	1943	13
131	1945	13
132	1947	13
133	1949	13
134	1951	13
135	1953	13
136	1955	13
137	1957	13
138	1959	13
139	1961	13
140	1963	13
141	1965	13
142	1967	13
143	1969	13
144	1971	13
145	1973	13
146	1975	13
147	1977	13
148	1979	13
149	1981	13
150	1983	13
151	1985	13
152	1987	13
153	1989	13
154	1991	13
155	1993	13
156	1995	13
157	1997	13
158	1999	13
159	2001	13
160	2003	13
161	2005	13
162	2007	13
163	2009	13
164	7600	13
165	7602	13
166	7604	13
167	7606	13
168	7608	13
169	7610	13
170	7612	13
171	7614	13
172	7616	13
173	7618	13
174	7620	13
175	7622	13
176	7624	13
177	7626	13
178	7628	13
179	7630	13
180	7632	13
181	7634	13
182	7636	13
183	7638	13
184	7640	13
185	7642	13
186	7644	13
187	7646	13
188	7648	13
189	7650	13
190	7652	13
191	7654	13
192	7656	13
193	7658	13
194	7660	13

Stop Event

1×	node limit

Compiler

Compiled 13 to 9 computations (30.8% saved)

end11.0ms (0.1%)

Compiler: Compiled 6 to 5 computations (16.7% saved)

Details

analyze4.0ms (0.1%)

sample1.0s (13.8%)

preprocess2.0s (26.4%)

simplify2.0s (26.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes6.0ms (0.1%)

simplify1.0ms (0%)

soundness2.5s (33%)

end11.0ms (0.1%)

Profiling