Details

analyze3.0ms (0%)

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
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

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample6.4s (39.2%)

Results

6.4s

8256×

body

256

valid

Bogosity

preprocess750.0ms (4.6%)

Algorithm

2×	egg-herbie

Rules

14680×	`rational.json-simplify-41`
1272×	`rational.json-simplify-1`
324×	`rational.json-simplify-35`

Iterations

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

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (+.f64 x 16) 116)

Outputs
(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify4.0s (24.2%)

Algorithm

1×	egg-herbie

Rules

14680×	`rational.json-simplify-41`
1272×	`rational.json-simplify-1`
324×	`rational.json-simplify-35`

Iterations

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

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)

Outputs
(/.f64 (+.f64 x 16) 116)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 6 to 5 computations (16.7% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

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)

rewrite236.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

3142×	`rational.json-simplify-35`
1894×	`rational.json-simplify-2`
1092×	`exponential.json-3`
1092×	`rational.json-1`
1092×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	49	13
2	121	13
3	262	13
4	521	13
5	1237	13
6	2630	13
7	3901	13
8	4633	13
9	5510	13
10	6000	13
11	6000	13
12	6518	13
13	6678	13
14	7170	13

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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 x (+.f64 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) 1/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 x (+.f64 x 32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 8 (/.f64 (+.f64 x 16) 928))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x 16) 2/29) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 16 (+.f64 x 16)) 1/1856)))) (#(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/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) 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 1/29 (.f64 (+.f64 x 16) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x 16) 1/464) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/928 (.f64 (+.f64 x 16) 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x 16) 1/4) 1/29)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (+.f64 x 16) 2/29))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/1856 (.f64 16 (+.f64 x 16)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x 16) 928) 8)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (+.f64 x 16) 1/116) 1)))))

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 x (+.f64 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) 1/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 x (+.f64 x 32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (/.f64 (+.f64 x 16) 928))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 2/29) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 16 (+.f64 x 16)) 1/1856)))) (#(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/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) 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 1/29 (*.f64 (+.f64 x 16) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 1/464) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/928 (*.f64 (+.f64 x 16) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 16) 1/4) 1/29)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 x 16) 2/29))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/1856 (*.f64 16 (+.f64 x 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x 16) 928) 8)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)))))

simplify2.4s (14.6%)

Algorithm

1×	egg-herbie

Rules

2498×	`rational.json-simplify-51`
2396×	`rational.json-simplify-2`
2186×	`rational.json-simplify-41`
1860×	`rational.json-simplify-1`
1618×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	561
1	106	561
2	198	561
3	350	561
4	568	561
5	871	561
6	994	561
7	1063	561
8	1169	561
9	1310	561
10	1438	561
11	1575	561
12	1644	561
13	1729	561
14	1826	561
15	1938	561
16	2051	561
17	2176	561
18	2314	561
19	2444	561
20	2538	561
21	3905	561
22	3962	561
23	4014	561
24	4050	561
25	4358	561
26	4640	561
27	5352	561
28	5374	561
29	5396	561
30	5418	561
31	5440	561
32	5462	561
33	5484	561
34	5506	561
35	5528	561
36	6168	561
37	7746	561
38	7781	561
39	7814	561
40	7846	561
41	7878	561

Stop Event

1×	node limit

Counts

45 → 36

Calls

Call 1

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 x (+.f64 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) 1/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 x (+.f64 x 32)))
(*.f64 8 (/.f64 (+.f64 x 16) 928))
(.f64 (.f64 (+.f64 x 16) 2/29) 1/8)
(.f64 (.f64 16 (+.f64 x 16)) 1/1856)
(.f64 1/58 (.f64 (+.f64 x 16) 1/2))
(.f64 (.f64 (+.f64 x 16) 1/232) 2)
(.f64 1/464 (.f64 (+.f64 x 16) 4))
(.f64 (.f64 (+.f64 x 16) 1/2) 1/58)
(.f64 1/4 (.f64 (+.f64 x 16) 1/29))
(.f64 1/29 (.f64 (+.f64 x 16) 1/4))
(.f64 (.f64 (+.f64 x 16) 1/464) 4)
(.f64 1/928 (.f64 (+.f64 x 16) 8))
(.f64 (.f64 (+.f64 x 16) 1/4) 1/29)
(.f64 1/8 (.f64 (+.f64 x 16) 2/29))
(.f64 1/1856 (.f64 16 (+.f64 x 16)))
(*.f64 (/.f64 (+.f64 x 16) 928) 8)
(pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)

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 x (+.f64 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) 1/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 x (+.f64 x 32)))
(*.f64 1/116 (+.f64 x 16))
(*.f64 8 (/.f64 (+.f64 x 16) 928))
(*.f64 1/116 (+.f64 x 16))
(.f64 (.f64 (+.f64 x 16) 2/29) 1/8)
(*.f64 1/116 (+.f64 x 16))
(.f64 (.f64 16 (+.f64 x 16)) 1/1856)
(*.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/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) 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 1/29 (.f64 (+.f64 x 16) 1/4))
(*.f64 1/116 (+.f64 x 16))
(.f64 (.f64 (+.f64 x 16) 1/464) 4)
(*.f64 1/116 (+.f64 x 16))
(.f64 1/928 (.f64 (+.f64 x 16) 8))
(*.f64 1/116 (+.f64 x 16))
(.f64 (.f64 (+.f64 x 16) 1/4) 1/29)
(*.f64 1/116 (+.f64 x 16))
(.f64 1/8 (.f64 (+.f64 x 16) 2/29))
(*.f64 1/116 (+.f64 x 16))
(.f64 1/1856 (.f64 16 (+.f64 x 16)))
(*.f64 1/116 (+.f64 x 16))
(*.f64 (/.f64 (+.f64 x 16) 928) 8)
(*.f64 1/116 (+.f64 x 16))
(pow.f64 (*.f64 (+.f64 x 16) 1/116) 1)
(*.f64 1/116 (+.f64 x 16))

eval7.0ms (0%)

Compiler: Compiled 241 to 203 computations (15.8% saved)

prune5.0ms (0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	4	37

Error

Counts

37 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
▶	0.1b	(+.f64 4/29 (*.f64 1/116 x))
▶	31.4b	(*.f64 1/116 x)
	31.9b	4/29

Compiler

Compiled 18 to 15 computations (16.7% saved)

localize2.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 1/116 x)

Compiler

Compiled 6 to 4 computations (33.3% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

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)

rewrite245.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

2416×	`rational.json-simplify-2`
2364×	`rational.json-simplify-35`
1474×	`rational.json-simplify-1`
1110×	`exponential.json-3`
1110×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	33	7
2	78	7
3	158	7
4	278	7
5	583	7
6	1338	7
7	2831	7
8	4397	7
9	4963	7
10	6030	7
11	6737	7
12	6737	7
13	7802	7
14	7802	7

Stop Event

1×	node limit

Counts

1 → 16

Calls

Call 1

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 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/116 x) 1)))))

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 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29))))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 2/29)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/116 x) 1)))))

simplify448.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

3476×	`rational.json-simplify-51`
2910×	`rational.json-simplify-2`
2064×	`rational.json-simplify-35`
1168×	`rational.json-simplify-1`
686×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	112
1	122	112
2	214	112
3	537	112
4	1350	112
5	2639	112
6	3509	112
7	3681	112
8	3774	112
9	3845	112
10	3910	112
11	3974	112
12	4035	112
13	4095	112
14	4154	112
15	4213	112
16	4272	112
17	4331	112
18	4390	112
19	4449	112
20	7041	112
21	7181	112
22	7239	112
23	7244	112
24	7244	112

Stop Event

1×	node limit

Counts

16 → 17

Calls

Call 1

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 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 x 2/29))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29)))))) 256)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 x 2/29))))))) 512)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29)))))))) 1024)
(pow.f64 (*.f64 1/116 x) 1)

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 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 x 2/29))))) 128)
(*.f64 1/116 x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29)))))) 256)
(*.f64 1/116 x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 x 2/29))))))) 512)
(*.f64 1/116 x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 2/29)))))))) 1024)
(*.f64 1/116 x)
(pow.f64 (*.f64 1/116 x) 1)
(*.f64 1/116 x)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 4/29 (*.f64 1/116 x))
	0.1b	(*.f64 1/116 x)

Compiler

Compiled 12 to 9 computations (25% saved)

series0.0ms (0%)

Counts

1 → 3

Calls

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))

rewrite681.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

2604×	`rational.json-simplify-35`
2048×	`rational.json-simplify-2`
1208×	`rational.json-simplify-1`
1194×	`exponential.json-3`
1194×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	96	13
3	190	13
4	351	13
5	764	13
6	1893	13
7	3202	13
8	3876	13
9	4716	13
10	5614	13
11	6141	13
12	6141	13
13	6990	13
14	6990	13
15	7535	13

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

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 1/8 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))))) (#(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 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 4/29 (*.f64 1/116 x)) 1)))))

simplify558.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

3464×	`rational.json-simplify-51`
3086×	`rational.json-simplify-2`
1564×	`rational.json-simplify-35`
1560×	`rational.json-simplify-1`
1096×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	340
1	141	340
2	406	340
3	1414	340
4	2472	340
5	3807	340
6	4381	340
7	4460	340
8	4511	340
9	4545	340
10	4579	340
11	4613	340
12	4647	340
13	4681	340
14	4715	340
15	4749	340
16	4783	340
17	4817	340
18	4851	340
19	4885	340
20	7148	340
21	7243	340
22	7283	340
23	7321	340
24	7351	340
25	7381	340

Stop Event

1×	node limit

Counts

28 → 28

Calls

Call 1

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 1/8 (.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))
(/.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 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (.f64 1/116 x)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))))) 256)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (.f64 1/116 x)) 8))))))) 512)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))))))) 1024)
(pow.f64 (+.f64 4/29 (*.f64 1/116 x)) 1)

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 1/8 (.f64 (+.f64 4/29 (*.f64 1/116 x)) 8))
(+.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 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))) 64)
(+.f64 4/29 (*.f64 1/116 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (.f64 1/116 x)) 8))))) 128)
(+.f64 4/29 (*.f64 1/116 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))))) 256)
(+.f64 4/29 (*.f64 1/116 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (.f64 1/116 x)) 8))))))) 512)
(+.f64 4/29 (*.f64 1/116 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 4/29 (*.f64 1/116 x)) 8)))))))) 1024)
(+.f64 4/29 (*.f64 1/116 x))
(pow.f64 (+.f64 4/29 (*.f64 1/116 x)) 1)
(+.f64 4/29 (*.f64 1/116 x))

eval548.0ms (3.4%)

Compiler: Compiled 619 to 554 computations (10.5% saved)

prune8.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	62	4	66

Error

Counts

66 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
✓	0.1b	(+.f64 4/29 (*.f64 1/116 x))
✓	31.4b	(*.f64 1/116 x)
	31.9b	4/29

Compiler

Compiled 18 to 15 computations (16.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
✓	0.1b	(+.f64 4/29 (*.f64 1/116 x))
✓	31.4b	(*.f64 1/116 x)
	31.9b	4/29

Compiler

Compiled 18 to 15 computations (16.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
✓	0.1b	(+.f64 4/29 (*.f64 1/116 x))
✓	31.4b	(*.f64 1/116 x)
	31.9b	4/29

Compiler

Compiled 18 to 15 computations (16.7% saved)

regimes13.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

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)

Calls

3 calls:

5.0ms	(+.f64 x 16)
4.0ms	x
3.0ms	(/.f64 (+.f64 x 16) 116)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(/.f64 (+.f64 x 16) 116)`
0.0b	1	`(+.f64 x 16)`

Compiler

Compiled 27 to 21 computations (22.2% saved)

regimes4.0ms (0%)

Counts

3 → 1

Calls

Call 1

Inputs
4/29
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))

Outputs
(+.f64 4/29 (*.f64 1/116 x))

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
0.1b	1	`x`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes9.0ms (0.1%)

Accuracy

Total -60.3b remaining (-3972.5%)

Threshold costs -60.3b (-3972.5%)

Counts

2 → 3

Calls

Call 1

Inputs
4/29
(*.f64 1/116 x)

Outputs
(*.f64 1/116 x)
4/29
(*.f64 1/116 x)

Calls

1 calls:

9.0ms

Results

Error	Segments	Branch
1.5b	3	`x`

Compiler

Compiled 7 to 5 computations (28.6% saved)

bsearch25.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	1.0689930560069171e-7	27.434380967864094
12.0ms	-62.41347299000895	-0.001144453717381607

Results

21.0ms

272×

body

256

valid

Compiler

Compiled 146 to 127 computations (13% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	60

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

Compiler

Compiled 30 to 24 computations (20% saved)

soundness0.0ms (0%)

end27.0ms (0.2%)

Compiler: Compiled 27 to 21 computations (22.2% saved)

Details

analyze3.0ms (0%)

sample6.4s (39.2%)

preprocess750.0ms (4.6%)

simplify4.0s (24.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0%)

series1.0ms (0%)

rewrite236.0ms (1.4%)

simplify2.4s (14.6%)

eval7.0ms (0%)

prune5.0ms (0%)

localize2.0ms (0%)

series1.0ms (0%)

rewrite245.0ms (1.5%)

simplify448.0ms (2.7%)

localize5.0ms (0%)

series0.0ms (0%)

rewrite681.0ms (4.2%)

simplify558.0ms (3.4%)

eval548.0ms (3.4%)

prune8.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes13.0ms (0.1%)

regimes4.0ms (0%)

regimes9.0ms (0.1%)

bsearch25.0ms (0.2%)

simplify4.0ms (0%)

soundness0.0ms (0%)

end27.0ms (0.2%)

Profiling