Details

analyze40.0ms (0.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
18.8%	18.7%	81.2%	0.1%	0%	0%	0%	5
46.9%	46.8%	53.1%	0.1%	0%	0%	0%	6
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
71.1%	71%	28.9%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
85%	84.9%	15%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
92.3%	92.2%	7.7%	0.1%	0%	0%	0%	12

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample3.2s (51.6%)

Results

3.2s

8256×

body

256

valid

Bogosity

preprocess886.0ms (14.4%)

Algorithm

2×	egg-herbie

Rules

16680×	`rational.json-simplify-41`
1624×	`rational.json-simplify-1`
648×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	14	26
2	23	26
3	44	26
4	106	26
5	311	26
6	419	26
7	424	26
8	429	26
9	434	26
10	439	26
11	1540	26
12	1545	26
13	1550	26
14	1555	26
15	1560	26
16	1565	26
17	2187	26
18	2192	26
19	2197	26
20	2202	26
21	2207	26
22	2212	26
23	2217	26
24	2222	26
25	2227	26
26	2232	26
27	2237	26
28	2242	26
29	2247	26
30	2252	26
31	2257	26
32	2262	26
33	2267	26
34	2272	26
35	2277	26
36	2282	26
37	2287	26
38	2292	26
39	2297	26
40	2302	26
41	2307	26
42	2312	26
43	2317	26
44	2322	26
45	2327	26
46	2332	26
47	2337	26
48	2342	26
49	2347	26
50	2352	26
51	2357	26
52	2362	26
53	2367	26
54	2372	26
55	2377	26
56	2382	26
57	2387	26
58	2392	26
59	2397	26
60	2402	26
61	2407	26
62	2412	26
63	2417	26
64	2422	26
65	2427	26
66	2432	26
67	2437	26
68	2442	26
69	2447	26
70	2452	26
71	2457	26
72	2462	26
73	2467	26
74	2472	26
75	2477	26
76	2482	26
77	2487	26
78	2492	26
79	2497	26
80	2502	26
81	2507	26
82	2512	26
83	2517	26
84	2522	26
85	2527	26
86	2532	26
87	2537	26
88	2542	26
89	2547	26
90	2552	26
91	2557	26
92	2562	26
93	2567	26
94	2572	26
95	2577	26
96	2582	26
97	2587	26
98	2592	26
99	2597	26
100	2602	26
101	2607	26
102	2612	26
103	2617	26
104	2622	26
105	2627	26
106	2632	26
107	2637	26
108	2642	26
109	2647	26
110	2652	26
111	2657	26
112	2662	26
113	2667	26
114	2672	26
115	2677	26
116	2682	26
117	2687	26
118	2692	26
119	2697	26
120	2702	26
121	2707	26
122	2712	26
123	2717	26
124	2722	26
125	2727	26
126	2732	26
127	2737	26
128	2742	26
129	2747	26
130	2752	26
131	2757	26
132	2762	26
133	2767	26
134	2772	26
135	2777	26
136	2782	26
137	2787	26
138	2792	26
139	2797	26
140	2802	26
141	2807	26
142	2812	26
143	2817	26
144	2822	26
145	2827	26
146	2832	26
147	2837	26
148	2842	26
149	2847	26
150	2852	26
151	2857	26
152	2862	26
153	2867	26
154	2872	26
155	2877	26
156	2882	26
157	2887	26
158	2892	26
159	2897	26
160	2902	26
161	2907	26
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(/.f64 x (+.f64 x y))
(/.f64 y (+.f64 y x))

Outputs
(/.f64 x (+.f64 x y))
(/.f64 y (+.f64 y x))
(/.f64 y (+.f64 x y))

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify1.2s (19.7%)

Algorithm

1×	egg-herbie

Rules

16288×	`rational.json-simplify-41`
1458×	`rational.json-simplify-1`
324×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	10	13
2	17	13
3	35	13
4	88	13
5	269	13
6	363	13
7	366	13
8	369	13
9	372	13
10	375	13
11	1346	13
12	1349	13
13	1352	13
14	1355	13
15	1358	13
16	1361	13
17	1914	13
18	1917	13
19	1920	13
20	1923	13
21	1926	13
22	1929	13
23	1932	13
24	1935	13
25	1938	13
26	1941	13
27	1944	13
28	1947	13
29	1950	13
30	1953	13
31	1956	13
32	1959	13
33	1962	13
34	1965	13
35	1968	13
36	1971	13
37	1974	13
38	1977	13
39	1980	13
40	1983	13
41	1986	13
42	1989	13
43	1992	13
44	1995	13
45	1998	13
46	2001	13
47	2004	13
48	2007	13
49	2010	13
50	2013	13
51	2016	13
52	2019	13
53	2022	13
54	2025	13
55	2028	13
56	2031	13
57	2034	13
58	2037	13
59	2040	13
60	2043	13
61	2046	13
62	2049	13
63	2052	13
64	2055	13
65	2058	13
66	2061	13
67	2064	13
68	2067	13
69	2070	13
70	2073	13
71	2076	13
72	2079	13
73	2082	13
74	2085	13
75	2088	13
76	2091	13
77	2094	13
78	2097	13
79	2100	13
80	2103	13
81	2106	13
82	2109	13
83	2112	13
84	2115	13
85	2118	13
86	2121	13
87	2124	13
88	2127	13
89	2130	13
90	2133	13
91	2136	13
92	2139	13
93	2142	13
94	2145	13
95	2148	13
96	2151	13
97	2154	13
98	2157	13
99	2160	13
100	2163	13
101	2166	13
102	2169	13
103	2172	13
104	2175	13
105	2178	13
106	2181	13
107	2184	13
108	2187	13
109	2190	13
110	2193	13
111	2196	13
112	2199	13
113	2202	13
114	2205	13
115	2208	13
116	2211	13
117	2214	13
118	2217	13
119	2220	13
120	2223	13
121	2226	13
122	2229	13
123	2232	13
124	2235	13
125	2238	13
126	2241	13
127	2244	13
128	2247	13
129	2250	13
130	2253	13
131	2256	13
132	2259	13
133	2262	13
134	2265	13
135	2268	13
136	2271	13
137	2274	13
138	2277	13
139	2280	13
140	2283	13
141	2286	13
142	2289	13
143	2292	13
144	2295	13
145	2298	13
146	2301	13
147	2304	13
148	2307	13
149	2310	13
150	2313	13
151	2316	13
152	2319	13
153	2322	13
154	2325	13
155	2328	13
156	2331	13
157	2334	13
158	2337	13
159	2340	13
160	2343	13
161	2346	13

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 x (+.f64 x y))

Outputs
(/.f64 x (+.f64 x y))

eval0.0ms (0%)

Compiler: Compiled 7 to 4 computations (42.9% 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 x (+.f64 x y))

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/.f64 x (+.f64 x y))
0.0ms	x	@	inf	(/.f64 x (+.f64 x y))
0.0ms	y	@	inf	(/.f64 x (+.f64 x y))
0.0ms	x	@	-inf	(/.f64 x (+.f64 x y))
0.0ms	y	@	-inf	(/.f64 x (+.f64 x y))

rewrite125.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1324×	`rational.json-1`
1324×	`rational.json-2`
1324×	`rational.json-4`
1324×	`rational.json-3`
1316×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	42	13
2	120	13
3	318	13
4	843	13
5	3544	13

Stop Event

1×	node limit

Counts

1 → 70

Calls

Call 1

Inputs
(/.f64 x (+.f64 x y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 x (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (/.f64 x (neg.f64 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (/.f64 1/2 (+.f64 x y))) (.f64 x (/.f64 1/2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 x (neg.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (.f64 1/2 (/.f64 2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x y) (/.f64 (/.f64 1 x) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 x (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x x) (/.f64 1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x x) (+.f64 (/.f64 1 (.f64 (+.f64 x y) 4)) (/.f64 1 (.f64 (+.f64 x y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 x (/.f64 1/2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 x 1/2) (+.f64 x y)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x 4) (/.f64 1 (.f64 (+.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x 4) (.f64 (/.f64 1 (+.f64 x y)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x 4) (.f64 1/2 (/.f64 1/2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 x y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 x y)) (/.f64 1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 x) (/.f64 -1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x y) x) (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x y) x) (/.f64 2 (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 x (neg.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) (/.f64 2 x)) (/.f64 1 (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) (/.f64 2 x)) (/.f64 1/2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 x (.f64 (+.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (/.f64 x (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 x (+.f64 x y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x 8) (/.f64 1 (.f64 (+.f64 x y) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (/.f64 (/.f64 x 1/2) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (+.f64 x y)) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 x) (/.f64 (+.f64 x y) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x -2) (/.f64 -1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x -2) (/.f64 1 (.f64 (+.f64 x y) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (/.f64 1 (+.f64 x y))) (.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x (neg.f64 (+.f64 x y))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 x) (/.f64 (.f64 (+.f64 x y) 2) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x (/.f64 1/2 (+.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) (/.f64 1/2 x)) (/.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 (+.f64 x y)) (.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (/.f64 x (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 (+.f64 x y) 4)) (.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1 (+.f64 x y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x 1/2) (.f64 2 (/.f64 1 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x 1/2) (/.f64 2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1 x) (/.f64 (+.f64 x y) (neg.f64 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 x) (/.f64 (+.f64 x y) (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 1 (+.f64 x y)) 1/4) (.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (/.f64 2 (+.f64 x y))) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 (+.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (+.f64 x y) 2) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (.f64 (+.f64 x y) (/.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 1 x)) (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x y) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x y) (neg.f64 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 -1 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 x) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (.f64 (+.f64 x y) (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 (+.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x (.f64 (+.f64 x y) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (/.f64 1/2 (+.f64 x y))) (.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1/2 (+.f64 x y)) (.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (.f64 (+.f64 x y) (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x y) (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 x (+.f64 x y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 (+.f64 x y) 8)) (.f64 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 (+.f64 x y) -2)) (.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 x (neg.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (/.f64 (+.f64 x y) x) (neg.f64 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 x (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (/.f64 x (neg.f64 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (/.f64 1/2 (+.f64 x y))) (*.f64 x (/.f64 1/2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 x (neg.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 1/2 (/.f64 2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) (/.f64 (/.f64 1 x) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 x (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (/.f64 1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (+.f64 (/.f64 1 (*.f64 (+.f64 x y) 4)) (/.f64 1 (*.f64 (+.f64 x y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 x (/.f64 1/2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 x 1/2) (+.f64 x y)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 4) (/.f64 1 (*.f64 (+.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 4) (*.f64 (/.f64 1 (+.f64 x y)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 4) (*.f64 1/2 (/.f64 1/2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 x) (/.f64 -1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) x) (/.f64 1 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) x) (/.f64 2 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 x (neg.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) (/.f64 2 x)) (/.f64 1 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) (/.f64 2 x)) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 x (*.f64 (+.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (/.f64 x (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x (+.f64 x y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 8) (/.f64 1 (*.f64 (+.f64 x y) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (/.f64 (/.f64 x 1/2) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (+.f64 x y)) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x -2) (/.f64 -1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x -2) (/.f64 1 (*.f64 (+.f64 x y) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 1 (+.f64 x y))) (*.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (neg.f64 (+.f64 x y))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 x) (/.f64 (*.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (/.f64 1/2 (+.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) (/.f64 1/2 x)) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (+.f64 x y)) (*.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (/.f64 x (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (+.f64 x y) 4)) (*.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (+.f64 x y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) (*.f64 2 (/.f64 1 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) (/.f64 2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 x) (/.f64 (+.f64 x y) (neg.f64 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 x) (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (+.f64 x y)) 1/4) (*.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (/.f64 2 (+.f64 x y))) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 (+.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (*.f64 (+.f64 x y) (/.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 1 x)) (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) (neg.f64 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 -1 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 x) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (*.f64 (+.f64 x y) (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 (+.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 (+.f64 x y) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (/.f64 1/2 (+.f64 x y))) (*.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1/2 (+.f64 x y)) (*.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (*.f64 (+.f64 x y) (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 x (+.f64 x y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (+.f64 x y) 8)) (*.f64 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (+.f64 x y) -2)) (*.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 x (neg.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (/.f64 (+.f64 x y) x) (neg.f64 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))))))

simplify99.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1128×	`rational.json-simplify-41`
1018×	`rational.json-simplify-2`
928×	`rational.json-simplify-39`
684×	`rational.json-simplify-1`
682×	`rational.json-simplify-55`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	170	2158
1	363	2092
2	866	2062
3	3132	2032
4	6039	2026

Stop Event

1×	node limit

Counts

94 → 105

Calls

Call 1

Inputs
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (/.f64 x (+.f64 x y)) 0)
(+.f64 0 (/.f64 x (+.f64 x y)))
(+.f64 -1 (-.f64 1 (/.f64 x (neg.f64 (+.f64 x y)))))
(+.f64 (.f64 x (/.f64 1/2 (+.f64 x y))) (.f64 x (/.f64 1/2 (+.f64 x y))))
(-.f64 (/.f64 x (+.f64 x y)) 0)
(-.f64 0 (/.f64 x (neg.f64 (+.f64 x y))))
(*.f64 x (/.f64 1 (+.f64 x y)))
(.f64 x (.f64 1/2 (/.f64 2 (+.f64 x y))))
(.f64 (+.f64 x y) (/.f64 (/.f64 1 x) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(*.f64 (/.f64 x (+.f64 x y)) 1)
(*.f64 1 (/.f64 x (+.f64 x y)))
(*.f64 (+.f64 x x) (/.f64 1/2 (+.f64 x y)))
(.f64 (+.f64 x x) (+.f64 (/.f64 1 (.f64 (+.f64 x y) 4)) (/.f64 1 (*.f64 (+.f64 x y) 4))))
(.f64 2 (.f64 x (/.f64 1/2 (+.f64 x y))))
(*.f64 (/.f64 (/.f64 x 1/2) (+.f64 x y)) 1/2)
(.f64 (.f64 x 4) (/.f64 1 (*.f64 (+.f64 x y) 4)))
(.f64 (.f64 x 4) (*.f64 (/.f64 1 (+.f64 x y)) 1/4))
(.f64 (.f64 x 4) (*.f64 1/2 (/.f64 1/2 (+.f64 x y))))
(*.f64 (/.f64 1 (+.f64 x y)) x)
(*.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 (/.f64 1 x)))
(*.f64 (neg.f64 x) (/.f64 -1 (+.f64 x y)))
(.f64 (/.f64 (+.f64 x y) x) (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(.f64 (/.f64 (+.f64 x y) x) (/.f64 2 (.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(*.f64 -1 (/.f64 x (neg.f64 (+.f64 x y))))
(.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (/.f64 1 (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(.f64 4 (/.f64 x (.f64 (+.f64 x y) 4)))
(*.f64 4 (/.f64 (/.f64 x (+.f64 x y)) 4))
(.f64 (.f64 (/.f64 x (+.f64 x y)) 4) 1/4)
(.f64 (.f64 x 8) (/.f64 1 (*.f64 (+.f64 x y) 8)))
(*.f64 1/2 (/.f64 (/.f64 x 1/2) (+.f64 x y)))
(*.f64 (/.f64 1/2 (+.f64 x y)) (+.f64 x x))
(.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(.f64 (.f64 x -2) (/.f64 -1/2 (+.f64 x y)))
(.f64 (.f64 x -2) (/.f64 1 (*.f64 (+.f64 x y) -2)))
(.f64 (.f64 2 (/.f64 1 (+.f64 x y))) (*.f64 x 1/2))
(*.f64 (/.f64 x (neg.f64 (+.f64 x y))) -1)
(.f64 (/.f64 1/2 x) (/.f64 (.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(.f64 (.f64 x (/.f64 1/2 (+.f64 x y))) 2)
(.f64 (.f64 (+.f64 x y) (/.f64 1/2 x)) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(.f64 (/.f64 2 (+.f64 x y)) (.f64 x 1/2))
(.f64 1/4 (.f64 (/.f64 x (+.f64 x y)) 4))
(.f64 (/.f64 1 (.f64 (+.f64 x y) 4)) (*.f64 x 4))
(*.f64 (/.f64 -1 (+.f64 x y)) (neg.f64 x))
(.f64 (.f64 x 1/2) (*.f64 2 (/.f64 1 (+.f64 x y))))
(.f64 (.f64 x 1/2) (/.f64 2 (+.f64 x y)))
(.f64 (/.f64 -1 x) (/.f64 (+.f64 x y) (neg.f64 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(.f64 (/.f64 2 x) (/.f64 (+.f64 x y) (.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(.f64 (.f64 (/.f64 1 (+.f64 x y)) 1/4) (*.f64 x 4))
(.f64 (.f64 1/2 (/.f64 2 (+.f64 x y))) x)
(.f64 (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 (+.f64 x y) x))
(.f64 (/.f64 (.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 1/2 x))
(.f64 (/.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (*.f64 (+.f64 x y) (/.f64 1/2 x)))
(*.f64 (/.f64 1 (/.f64 1 x)) (/.f64 1 (+.f64 x y)))
(.f64 (/.f64 (+.f64 x y) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 1 x))
(.f64 (/.f64 (+.f64 x y) (neg.f64 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 -1 x))
(.f64 (/.f64 (/.f64 1 x) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (+.f64 x y))
(.f64 (/.f64 1 (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (.f64 (+.f64 x y) (/.f64 2 x)))
(.f64 (/.f64 2 (.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 (+.f64 x y) x))
(.f64 (/.f64 x (.f64 (+.f64 x y) 4)) 4)
(.f64 (.f64 1/2 (/.f64 1/2 (+.f64 x y))) (*.f64 x 4))
(.f64 (/.f64 -1/2 (+.f64 x y)) (.f64 x -2))
(.f64 (/.f64 1/2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (*.f64 (+.f64 x y) (/.f64 2 x)))
(.f64 (/.f64 (+.f64 x y) (.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 2 x))
(*.f64 (/.f64 (/.f64 x (+.f64 x y)) 4) 4)
(.f64 (/.f64 1 (.f64 (+.f64 x y) 8)) (*.f64 x 8))
(.f64 (/.f64 1 (.f64 (+.f64 x y) -2)) (*.f64 x -2))
(pow.f64 (/.f64 x (+.f64 x y)) 1)
(neg.f64 (/.f64 x (neg.f64 (+.f64 x y))))
(neg.f64 (/.f64 (/.f64 (+.f64 x y) x) (neg.f64 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))

Outputs
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (/.f64 x y) (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (neg.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (neg.f64 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (neg.f64 (/.f64 y x)))
(-.f64 1 (/.f64 y x))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (*.f64 -1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 1 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 1 (+.f64 (neg.f64 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 y x)) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (-.f64 1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (neg.f64 (/.f64 y x)))
(-.f64 1 (/.f64 y x))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (*.f64 -1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 1 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 1 (+.f64 (neg.f64 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 y x)) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (-.f64 1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (neg.f64 (/.f64 y x)))
(-.f64 1 (/.f64 y x))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (*.f64 -1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 1 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 1 (+.f64 (neg.f64 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 y x)) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (-.f64 1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)))))
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (/.f64 x y) (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (neg.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (neg.f64 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (/.f64 x y) (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (neg.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (neg.f64 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 (/.f64 x (+.f64 x y)) 0)
(/.f64 x (+.f64 x y))
(+.f64 0 (/.f64 x (+.f64 x y)))
(/.f64 x (+.f64 x y))
(+.f64 -1 (-.f64 1 (/.f64 x (neg.f64 (+.f64 x y)))))
(/.f64 x (+.f64 x y))
(+.f64 (.f64 x (/.f64 1/2 (+.f64 x y))) (.f64 x (/.f64 1/2 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(-.f64 (/.f64 x (+.f64 x y)) 0)
(/.f64 x (+.f64 x y))
(-.f64 0 (/.f64 x (neg.f64 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(*.f64 x (/.f64 1 (+.f64 x y)))
(/.f64 x (+.f64 x y))
(.f64 x (.f64 1/2 (/.f64 2 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(.f64 (+.f64 x y) (/.f64 (/.f64 1 x) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 x (+.f64 x y)) 1)
(/.f64 x (+.f64 x y))
(*.f64 1 (/.f64 x (+.f64 x y)))
(/.f64 x (+.f64 x y))
(*.f64 (+.f64 x x) (/.f64 1/2 (+.f64 x y)))
(/.f64 x (+.f64 x y))
(.f64 (+.f64 x x) (+.f64 (/.f64 1 (.f64 (+.f64 x y) 4)) (/.f64 1 (*.f64 (+.f64 x y) 4))))
(/.f64 x (+.f64 x y))
(.f64 2 (.f64 x (/.f64 1/2 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 (/.f64 x 1/2) (+.f64 x y)) 1/2)
(/.f64 x (+.f64 x y))
(.f64 (.f64 x 4) (/.f64 1 (*.f64 (+.f64 x y) 4)))
(/.f64 x (+.f64 x y))
(.f64 (.f64 x 4) (*.f64 (/.f64 1 (+.f64 x y)) 1/4))
(/.f64 x (+.f64 x y))
(.f64 (.f64 x 4) (*.f64 1/2 (/.f64 1/2 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 1 (+.f64 x y)) x)
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 (/.f64 1 x)))
(/.f64 x (+.f64 x y))
(*.f64 (neg.f64 x) (/.f64 -1 (+.f64 x y)))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 (+.f64 x y) x) (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(*.f64 (/.f64 (+.f64 x y) x) (/.f64 x (/.f64 (+.f64 x y) (/.f64 1 (/.f64 (+.f64 x y) x)))))
(*.f64 (/.f64 (+.f64 x y) x) (/.f64 (/.f64 x (+.f64 x y)) (/.f64 (+.f64 x y) x)))
(.f64 (/.f64 (+.f64 x y) x) (/.f64 2 (.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(.f64 (/.f64 (+.f64 x y) x) (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(*.f64 (/.f64 (+.f64 x y) x) (/.f64 x (/.f64 (+.f64 x y) (/.f64 1 (/.f64 (+.f64 x y) x)))))
(*.f64 (/.f64 (+.f64 x y) x) (/.f64 (/.f64 x (+.f64 x y)) (/.f64 (+.f64 x y) x)))
(*.f64 -1 (/.f64 x (neg.f64 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (/.f64 1 (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(/.f64 x (+.f64 x y))
(.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(.f64 4 (/.f64 x (.f64 (+.f64 x y) 4)))
(/.f64 x (+.f64 x y))
(*.f64 4 (/.f64 (/.f64 x (+.f64 x y)) 4))
(/.f64 x (+.f64 x y))
(.f64 (.f64 (/.f64 x (+.f64 x y)) 4) 1/4)
(/.f64 x (+.f64 x y))
(.f64 (.f64 x 8) (/.f64 1 (*.f64 (+.f64 x y) 8)))
(.f64 (.f64 x 8) (/.f64 1/8 (+.f64 x y)))
(.f64 x (.f64 8 (/.f64 1/8 (+.f64 x y))))
(*.f64 1/2 (/.f64 (/.f64 x 1/2) (+.f64 x y)))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 1/2 (+.f64 x y)) (+.f64 x x))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 1 x) (/.f64 (+.f64 x y) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(.f64 (.f64 x -2) (/.f64 -1/2 (+.f64 x y)))
(.f64 x (.f64 -2 (/.f64 -1/2 (+.f64 x y))))
(.f64 -2 (.f64 x (/.f64 -1/2 (+.f64 x y))))
(.f64 (.f64 x -2) (/.f64 1 (*.f64 (+.f64 x y) -2)))
(.f64 (.f64 x -2) (/.f64 -1/2 (+.f64 x y)))
(.f64 x (.f64 -2 (/.f64 -1/2 (+.f64 x y))))
(.f64 -2 (.f64 x (/.f64 -1/2 (+.f64 x y))))
(.f64 (.f64 2 (/.f64 1 (+.f64 x y))) (*.f64 x 1/2))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 x (neg.f64 (+.f64 x y))) -1)
(/.f64 x (+.f64 x y))
(.f64 (/.f64 1/2 x) (/.f64 (.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(.f64 (.f64 x (/.f64 1/2 (+.f64 x y))) 2)
(/.f64 x (+.f64 x y))
(.f64 (.f64 (+.f64 x y) (/.f64 1/2 x)) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 2 (+.f64 x y)) (.f64 x 1/2))
(/.f64 x (+.f64 x y))
(.f64 1/4 (.f64 (/.f64 x (+.f64 x y)) 4))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 1 (.f64 (+.f64 x y) 4)) (*.f64 x 4))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 -1 (+.f64 x y)) (neg.f64 x))
(/.f64 x (+.f64 x y))
(.f64 (.f64 x 1/2) (*.f64 2 (/.f64 1 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(.f64 (.f64 x 1/2) (/.f64 2 (+.f64 x y)))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 -1 x) (/.f64 (+.f64 x y) (neg.f64 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 2 x) (/.f64 (+.f64 x y) (.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(/.f64 x (+.f64 x y))
(.f64 (.f64 (/.f64 1 (+.f64 x y)) 1/4) (*.f64 x 4))
(/.f64 x (+.f64 x y))
(.f64 (.f64 1/2 (/.f64 2 (+.f64 x y))) x)
(/.f64 x (+.f64 x y))
(.f64 (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 (+.f64 x y) x))
(.f64 (/.f64 (+.f64 x y) x) (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(*.f64 (/.f64 (+.f64 x y) x) (/.f64 x (/.f64 (+.f64 x y) (/.f64 1 (/.f64 (+.f64 x y) x)))))
(*.f64 (/.f64 (+.f64 x y) x) (/.f64 (/.f64 x (+.f64 x y)) (/.f64 (+.f64 x y) x)))
(.f64 (/.f64 (.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 1/2 x))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (*.f64 (+.f64 x y) (/.f64 1/2 x)))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 1 (/.f64 1 x)) (/.f64 1 (+.f64 x y)))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 (+.f64 x y) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (/.f64 1 x))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 (+.f64 x y) (neg.f64 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 -1 x))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 (/.f64 1 x) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (+.f64 x y))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 1 (.f64 2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (.f64 (+.f64 x y) (/.f64 2 x)))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 2 (.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 (+.f64 x y) x))
(.f64 (/.f64 (+.f64 x y) x) (/.f64 1 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(*.f64 (/.f64 (+.f64 x y) x) (/.f64 x (/.f64 (+.f64 x y) (/.f64 1 (/.f64 (+.f64 x y) x)))))
(*.f64 (/.f64 (+.f64 x y) x) (/.f64 (/.f64 x (+.f64 x y)) (/.f64 (+.f64 x y) x)))
(.f64 (/.f64 x (.f64 (+.f64 x y) 4)) 4)
(/.f64 x (+.f64 x y))
(.f64 (.f64 1/2 (/.f64 1/2 (+.f64 x y))) (*.f64 x 4))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 -1/2 (+.f64 x y)) (.f64 x -2))
(.f64 (.f64 x -2) (/.f64 -1/2 (+.f64 x y)))
(.f64 x (.f64 -2 (/.f64 -1/2 (+.f64 x y))))
(.f64 -2 (.f64 x (/.f64 -1/2 (+.f64 x y))))
(.f64 (/.f64 1/2 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))) (*.f64 (+.f64 x y) (/.f64 2 x)))
(/.f64 x (+.f64 x y))
(.f64 (/.f64 (+.f64 x y) (.f64 2 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))) (/.f64 2 x))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 (/.f64 x (+.f64 x y)) 4) 4)
(/.f64 x (+.f64 x y))
(.f64 (/.f64 1 (.f64 (+.f64 x y) 8)) (*.f64 x 8))
(.f64 (.f64 x 8) (/.f64 1 (*.f64 (+.f64 x y) 8)))
(.f64 (.f64 x 8) (/.f64 1/8 (+.f64 x y)))
(.f64 x (.f64 8 (/.f64 1/8 (+.f64 x y))))
(.f64 (/.f64 1 (.f64 (+.f64 x y) -2)) (*.f64 x -2))
(.f64 (.f64 x -2) (/.f64 -1/2 (+.f64 x y)))
(.f64 x (.f64 -2 (/.f64 -1/2 (+.f64 x y))))
(.f64 -2 (.f64 x (/.f64 -1/2 (+.f64 x y))))
(pow.f64 (/.f64 x (+.f64 x y)) 1)
(/.f64 x (+.f64 x y))
(neg.f64 (/.f64 x (neg.f64 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(neg.f64 (/.f64 (/.f64 (+.f64 x y) x) (neg.f64 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))
(/.f64 x (+.f64 x y))

eval47.0ms (0.8%)

Compiler: Compiled 1480 to 713 computations (51.8% saved)

prune21.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	101	5	106

Error

Counts

106 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 x (+.f64 x y))
▶	29.2b	(/.f64 x y)
▶	34.7b	(-.f64 1 (/.f64 y x))
▶	0.2b	(*.f64 (/.f64 1 (+.f64 x y)) x)
	34.1b	1

Compiler

Compiled 31 to 21 computations (32.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (+.f64 x y))
✓	0.2b	(*.f64 (/.f64 1 (+.f64 x y)) x)

Compiler

Compiled 20 to 9 computations (55% saved)

series2.0ms (0%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(/.f64 1 (+.f64 x y))
0.0ms	x	@	0	(/.f64 1 (+.f64 x y))
0.0ms	y	@	0	(/.f64 1 (+.f64 x y))
0.0ms	y	@	inf	(/.f64 1 (+.f64 x y))
0.0ms	x	@	-inf	(/.f64 1 (+.f64 x y))

rewrite85.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1486×	`rational.json-1`
1486×	`rational.json-2`
1486×	`rational.json-4`
1486×	`rational.json-3`
1468×	`exponential.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	65	26
2	157	26
3	335	26
4	771	26
5	2499	26
6	6073	26

Stop Event

1×	node limit

Counts

2 → 91

Calls

Call 1

Inputs
(*.f64 (/.f64 1 (+.f64 x y)) x)
(/.f64 1 (+.f64 x y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 x (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 x 1/2) (+.f64 x y)) (/.f64 (.f64 x 1/2) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 x (neg.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (/.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (.f64 (+.f64 x y) (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (/.f64 2 (+.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (.f64 4 (/.f64 (+.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (+.f64 x y)) (/.f64 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x x) (.f64 (+.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 (+.f64 x y) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (/.f64 (+.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (/.f64 4 (+.f64 x y))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (/.f64 (.f64 (+.f64 x y) 8) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 4 (+.f64 x y)) (+.f64 (/.f64 2 x) (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (neg.f64 (.f64 (+.f64 x y) (/.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (+.f64 (/.f64 (+.f64 x y) (neg.f64 x)) (/.f64 (+.f64 x y) (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (+.f64 (neg.f64 (/.f64 (+.f64 x y) x)) (neg.f64 (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 4) (.f64 (+.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (.f64 (+.f64 x y) (/.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 x) (neg.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) x) (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (.f64 (/.f64 (+.f64 x y) x) (.f64 (+.f64 x y) (/.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (+.f64 (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x))) (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (+.f64 (/.f64 (.f64 (+.f64 x y) 8) x) (/.f64 (.f64 (+.f64 x y) 8) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (+.f64 (neg.f64 (.f64 (+.f64 x y) (/.f64 2 x))) (neg.f64 (.f64 (+.f64 x y) (/.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (neg.f64 (.f64 4 (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 x (+.f64 x y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x -2) (.f64 (+.f64 x y) -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 8) (.f64 (+.f64 x y) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 4 (/.f64 (+.f64 x y) x)) (.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (.f64 (+.f64 x y) (/.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 4 (/.f64 (+.f64 x y) x)) (+.f64 (.f64 (/.f64 (+.f64 x y) x) (.f64 (+.f64 x y) (/.f64 2 x))) (.f64 (/.f64 (+.f64 x y) x) (.f64 (+.f64 x y) (/.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 x 1/2) (+.f64 x y)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 1/2) (.f64 (+.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 1/2) (/.f64 (.f64 (+.f64 x y) (+.f64 x y)) (.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 x -2)) (.f64 (neg.f64 (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 x 8)) (.f64 2 (.f64 (+.f64 x y) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 x 8) (+.f64 x y)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x (neg.f64 (+.f64 x y))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/2 (neg.f64 (.f64 (+.f64 x y) (/.f64 1/2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 x 8)) (neg.f64 (.f64 (+.f64 x y) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x (.f64 (+.f64 x y) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (+.f64 x y) x)) (neg.f64 (.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 x 4)) (neg.f64 (.f64 (+.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 x -2)) (.f64 (+.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (.f64 x 4)) (neg.f64 (.f64 x 4))) (.f64 2 (neg.f64 (.f64 (+.f64 x y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8)) (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 x -2)) (.f64 2 (.f64 x -2))) (.f64 2 (.f64 (neg.f64 (+.f64 x y)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 (.f64 x 8) (+.f64 x y)) (/.f64 (.f64 x 8) (+.f64 x y))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 x (neg.f64 (+.f64 x y))) (/.f64 x (neg.f64 (+.f64 x y)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (.f64 x -2)) (neg.f64 (.f64 x -2))) (.f64 (+.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 2 (+.f64 x y))) (neg.f64 (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (neg.f64 (.f64 x 4))) (.f64 (+.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (neg.f64 (.f64 x 4))) (neg.f64 (neg.f64 (.f64 (+.f64 x y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 2 (.f64 x -2))) (neg.f64 (.f64 (neg.f64 (+.f64 x y)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (neg.f64 (.f64 x -2))) (.f64 (+.f64 x y) -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 (+.f64 x y))) (neg.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 x 1/2)) (neg.f64 (*.f64 (+.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 x (neg.f64 (+.f64 x y))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1/2 (+.f64 x y)) (/.f64 1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 -1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x y) (/.f64 1 (.f64 (+.f64 x y) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) 2) (/.f64 1/2 (.f64 (+.f64 x y) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (/.f64 1 (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 (+.f64 x y)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 4 (+.f64 x y)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (/.f64 2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (+.f64 x y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) 1/2) (/.f64 2 (.f64 (+.f64 x y) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (/.f64 4 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 (+.f64 x y) (+.f64 x y))) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 (.f64 (+.f64 x y) (+.f64 x y))) (.f64 (+.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 (+.f64 x y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1 (+.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (+.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -1 (+.f64 x y)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 x (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 x 1/2) (+.f64 x y)) (/.f64 (*.f64 x 1/2) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 x (neg.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (*.f64 (+.f64 x y) (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (/.f64 2 (+.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (*.f64 4 (/.f64 (+.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (+.f64 x y)) (/.f64 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x x) (*.f64 (+.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 (+.f64 x y) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (/.f64 (+.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (/.f64 4 (+.f64 x y))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (*.f64 2 (*.f64 4 (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (/.f64 (*.f64 (+.f64 x y) 8) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 4 (+.f64 x y)) (+.f64 (/.f64 2 x) (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (neg.f64 (*.f64 (+.f64 x y) (/.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (+.f64 (/.f64 (+.f64 x y) (neg.f64 x)) (/.f64 (+.f64 x y) (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (+.f64 (neg.f64 (/.f64 (+.f64 x y) x)) (neg.f64 (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 4) (*.f64 (+.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (*.f64 (+.f64 x y) (/.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 x) (neg.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) x) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) (/.f64 2 x)) (*.f64 (/.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (/.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (+.f64 (*.f64 2 (*.f64 4 (/.f64 (+.f64 x y) x))) (*.f64 2 (*.f64 4 (/.f64 (+.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (+.f64 (/.f64 (*.f64 (+.f64 x y) 8) x) (/.f64 (*.f64 (+.f64 x y) 8) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (+.f64 (neg.f64 (*.f64 (+.f64 x y) (/.f64 2 x))) (neg.f64 (*.f64 (+.f64 x y) (/.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (neg.f64 (*.f64 4 (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x (+.f64 x y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -2) (*.f64 (+.f64 x y) -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 8) (*.f64 (+.f64 x y) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (/.f64 (+.f64 x y) x)) (*.f64 (*.f64 (+.f64 x y) (/.f64 2 x)) (*.f64 (+.f64 x y) (/.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (/.f64 (+.f64 x y) x)) (+.f64 (*.f64 (/.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (/.f64 2 x))) (*.f64 (/.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (/.f64 2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x 1/2) (+.f64 x y)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 1/2) (*.f64 (+.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 1/2) (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (/.f64 x (+.f64 x y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 x -2)) (*.f64 (neg.f64 (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 x 8)) (*.f64 2 (*.f64 (+.f64 x y) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x 8) (+.f64 x y)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x (neg.f64 (+.f64 x y))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/2 (neg.f64 (*.f64 (+.f64 x y) (/.f64 1/2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x 8)) (neg.f64 (*.f64 (+.f64 x y) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x (*.f64 (+.f64 x y) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (+.f64 x y) x)) (neg.f64 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x 4)) (neg.f64 (*.f64 (+.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x -2)) (*.f64 (+.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 x 4)) (neg.f64 (*.f64 x 4))) (*.f64 2 (neg.f64 (*.f64 (+.f64 x y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (/.f64 x (+.f64 x y)) 8)) (*.f64 2 (*.f64 (/.f64 x (+.f64 x y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 x -2)) (*.f64 2 (*.f64 x -2))) (*.f64 2 (*.f64 (neg.f64 (+.f64 x y)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 (*.f64 x 8) (+.f64 x y)) (/.f64 (*.f64 x 8) (+.f64 x y))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 x (neg.f64 (+.f64 x y))) (/.f64 x (neg.f64 (+.f64 x y)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 x -2)) (neg.f64 (*.f64 x -2))) (*.f64 (+.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 2 (+.f64 x y))) (neg.f64 (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (neg.f64 (*.f64 x 4))) (*.f64 (+.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (neg.f64 (*.f64 x 4))) (neg.f64 (neg.f64 (*.f64 (+.f64 x y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (*.f64 x -2))) (neg.f64 (*.f64 (neg.f64 (+.f64 x y)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (neg.f64 (*.f64 x -2))) (*.f64 (+.f64 x y) -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 (+.f64 x y))) (neg.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x 1/2)) (neg.f64 (*.f64 (+.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 x (neg.f64 (+.f64 x y))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1/2 (+.f64 x y)) (/.f64 1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 -1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) (/.f64 1 (*.f64 (+.f64 x y) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) 2) (/.f64 1/2 (*.f64 (+.f64 x y) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (/.f64 1 (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (+.f64 x y)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 (+.f64 x y)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (/.f64 2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (+.f64 x y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) 1/2) (/.f64 2 (*.f64 (+.f64 x y) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (/.f64 4 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (+.f64 x y) (+.f64 x y))) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (+.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 x y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (+.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (+.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -1 (+.f64 x y)))))))

simplify107.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1530×	`rational.json-simplify-35`
1400×	`rational.json-simplify-61`
1030×	`rational.json-simplify-49`
966×	`rational.json-simplify-46`
964×	`rational.json-simplify-41`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	3361
1	697	3253
2	1891	3247
3	5958	3211

Stop Event

1×	node limit

Counts

139 → 142

Calls

Call 1

Inputs
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(/.f64 1 y)
(+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2)))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(/.f64 1 x)
(+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2))))))
(/.f64 1 x)
(+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2))))))
(/.f64 1 x)
(+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2))))))
(/.f64 1 y)
(+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2)))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(/.f64 1 y)
(+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2)))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (/.f64 x (+.f64 x y)) 0)
(+.f64 0 (/.f64 x (+.f64 x y)))
(+.f64 (/.f64 (.f64 x 1/2) (+.f64 x y)) (/.f64 (.f64 x 1/2) (+.f64 x y)))
(-.f64 (/.f64 x (+.f64 x y)) 0)
(-.f64 0 (/.f64 x (neg.f64 (+.f64 x y))))
(/.f64 1 (/.f64 (+.f64 x y) x))
(/.f64 x (+.f64 x y))
(/.f64 x (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)))
(/.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 x))
(/.f64 (/.f64 x (+.f64 x y)) 1)
(/.f64 2 (*.f64 (+.f64 x y) (/.f64 2 x)))
(/.f64 (*.f64 x (/.f64 2 (+.f64 x y))) 2)
(/.f64 4 (*.f64 4 (/.f64 (+.f64 x y) x)))
(/.f64 (/.f64 2 (+.f64 x y)) (/.f64 2 x))
(/.f64 (+.f64 x x) (*.f64 (+.f64 x y) 2))
(/.f64 -1 (/.f64 (+.f64 x y) (neg.f64 x)))
(/.f64 -1 (neg.f64 (/.f64 (+.f64 x y) x)))
(/.f64 (*.f64 x (/.f64 4 (+.f64 x y))) 4)
(/.f64 8 (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x))))
(/.f64 8 (/.f64 (*.f64 (+.f64 x y) 8) x))
(/.f64 (/.f64 4 (+.f64 x y)) (+.f64 (/.f64 2 x) (/.f64 2 x)))
(/.f64 -2 (neg.f64 (*.f64 (+.f64 x y) (/.f64 2 x))))
(/.f64 -2 (+.f64 (/.f64 (+.f64 x y) (neg.f64 x)) (/.f64 (+.f64 x y) (neg.f64 x))))
(/.f64 -2 (+.f64 (neg.f64 (/.f64 (+.f64 x y) x)) (neg.f64 (/.f64 (+.f64 x y) x))))
(/.f64 (.f64 x 4) (.f64 (+.f64 x y) 4))
(/.f64 1/2 (*.f64 (+.f64 x y) (/.f64 1/2 x)))
(/.f64 (neg.f64 x) (neg.f64 (+.f64 x y)))
(/.f64 (/.f64 (+.f64 x y) x) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))
(/.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (.f64 (/.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (/.f64 2 x))))
(/.f64 16 (+.f64 (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x))) (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x)))))
(/.f64 16 (+.f64 (/.f64 (.f64 (+.f64 x y) 8) x) (/.f64 (.f64 (+.f64 x y) 8) x)))
(/.f64 -4 (+.f64 (neg.f64 (.f64 (+.f64 x y) (/.f64 2 x))) (neg.f64 (.f64 (+.f64 x y) (/.f64 2 x)))))
(/.f64 -4 (neg.f64 (*.f64 4 (/.f64 (+.f64 x y) x))))
(/.f64 (*.f64 (/.f64 x (+.f64 x y)) 8) 8)
(/.f64 (.f64 x -2) (.f64 (+.f64 x y) -2))
(/.f64 (.f64 x 8) (.f64 (+.f64 x y) 8))
(/.f64 (.f64 4 (/.f64 (+.f64 x y) x)) (.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (.f64 (+.f64 x y) (/.f64 2 x))))
(/.f64 (.f64 4 (/.f64 (+.f64 x y) x)) (+.f64 (.f64 (/.f64 (+.f64 x y) x) (.f64 (+.f64 x y) (/.f64 2 x))) (.f64 (/.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (/.f64 2 x)))))
(/.f64 (/.f64 (*.f64 x 1/2) (+.f64 x y)) 1/2)
(/.f64 (.f64 x 1/2) (.f64 (+.f64 x y) 1/2))
(/.f64 (.f64 x 1/2) (/.f64 (.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) 2)))
(/.f64 (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8)) 16)
(/.f64 (.f64 2 (.f64 x -2)) (*.f64 (neg.f64 (+.f64 x y)) 4))
(/.f64 (.f64 2 (.f64 x 8)) (.f64 2 (.f64 (+.f64 x y) 8)))
(/.f64 (/.f64 (*.f64 x 8) (+.f64 x y)) 8)
(/.f64 (/.f64 x (neg.f64 (+.f64 x y))) -1)
(/.f64 -1/2 (neg.f64 (*.f64 (+.f64 x y) (/.f64 1/2 x))))
(/.f64 (neg.f64 (.f64 x 8)) (neg.f64 (.f64 (+.f64 x y) 8)))
(/.f64 (/.f64 x (*.f64 (+.f64 x y) 4)) 1/4)
(/.f64 (neg.f64 (/.f64 (+.f64 x y) x)) (neg.f64 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(/.f64 (neg.f64 (.f64 x 4)) (neg.f64 (.f64 (+.f64 x y) 4)))
(/.f64 (neg.f64 (.f64 x -2)) (.f64 (+.f64 x y) 2))
(/.f64 (+.f64 (neg.f64 (.f64 x 4)) (neg.f64 (.f64 x 4))) (.f64 2 (neg.f64 (.f64 (+.f64 x y) 4))))
(/.f64 (+.f64 (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8)) (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 x -2)) (.f64 2 (.f64 x -2))) (.f64 2 (.f64 (neg.f64 (+.f64 x y)) 4)))
(/.f64 (+.f64 (/.f64 (.f64 x 8) (+.f64 x y)) (/.f64 (.f64 x 8) (+.f64 x y))) 16)
(/.f64 (+.f64 (/.f64 x (neg.f64 (+.f64 x y))) (/.f64 x (neg.f64 (+.f64 x y)))) -2)
(/.f64 (+.f64 (neg.f64 (.f64 x -2)) (neg.f64 (.f64 x -2))) (*.f64 (+.f64 x y) 4))
(/.f64 (neg.f64 (/.f64 2 (+.f64 x y))) (neg.f64 (/.f64 2 x)))
(/.f64 (neg.f64 (neg.f64 (.f64 x 4))) (.f64 (+.f64 x y) 4))
(/.f64 (neg.f64 (neg.f64 (.f64 x 4))) (neg.f64 (neg.f64 (.f64 (+.f64 x y) 4))))
(/.f64 (neg.f64 (.f64 2 (.f64 x -2))) (neg.f64 (*.f64 (neg.f64 (+.f64 x y)) 4)))
(/.f64 (neg.f64 (neg.f64 (.f64 x -2))) (.f64 (+.f64 x y) -2))
(/.f64 (neg.f64 (/.f64 1 (+.f64 x y))) (neg.f64 (/.f64 1 x)))
(/.f64 (neg.f64 (.f64 x 1/2)) (neg.f64 (.f64 (+.f64 x y) 1/2)))
(pow.f64 (/.f64 x (+.f64 x y)) 1)
(neg.f64 (/.f64 x (neg.f64 (+.f64 x y))))
(+.f64 (/.f64 1 (+.f64 x y)) 0)
(+.f64 0 (/.f64 1 (+.f64 x y)))
(+.f64 (/.f64 1/2 (+.f64 x y)) (/.f64 1/2 (+.f64 x y)))
(-.f64 (/.f64 1 (+.f64 x y)) 0)
(-.f64 0 (/.f64 -1 (+.f64 x y)))
(*.f64 1 (/.f64 1 (+.f64 x y)))
(.f64 (+.f64 x y) (/.f64 1 (.f64 (+.f64 x y) (+.f64 x y))))
(*.f64 (/.f64 1 (+.f64 x y)) 1)
(*.f64 2 (/.f64 1/2 (+.f64 x y)))
(.f64 (.f64 (+.f64 x y) 2) (/.f64 1/2 (*.f64 (+.f64 x y) (+.f64 x y))))
(*.f64 4 (/.f64 (/.f64 1 (+.f64 x y)) 4))
(*.f64 (/.f64 2 (+.f64 x y)) 1/2)
(*.f64 (/.f64 4 (+.f64 x y)) 1/4)
(*.f64 1/2 (/.f64 2 (+.f64 x y)))
(*.f64 (/.f64 1/2 (+.f64 x y)) 2)
(.f64 (.f64 (+.f64 x y) 1/2) (/.f64 2 (*.f64 (+.f64 x y) (+.f64 x y))))
(*.f64 1/4 (/.f64 4 (+.f64 x y)))
(.f64 (/.f64 1 (.f64 (+.f64 x y) (+.f64 x y))) (+.f64 x y))
(.f64 (/.f64 2 (.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (+.f64 x y) 1/2))
(*.f64 (/.f64 (/.f64 1 (+.f64 x y)) 4) 4)
(*.f64 (/.f64 -1 (+.f64 x y)) -1)
(.f64 (/.f64 1/2 (.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (+.f64 x y) 2))
(pow.f64 (/.f64 1 (+.f64 x y)) 1)
(neg.f64 (/.f64 -1 (+.f64 x y)))

Outputs
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (/.f64 x y) (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))) (neg.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))
(+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (/.f64 x y) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (neg.f64 (/.f64 y x)))
(-.f64 1 (/.f64 y x))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (*.f64 -1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) 1))
(+.f64 1 (+.f64 (neg.f64 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 y x)) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (*.f64 -1 (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 y x))) (+.f64 1 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (-.f64 1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (neg.f64 (/.f64 y x)))
(-.f64 1 (/.f64 y x))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (*.f64 -1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) 1))
(+.f64 1 (+.f64 (neg.f64 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 y x)) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (*.f64 -1 (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 y x))) (+.f64 1 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (-.f64 1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (neg.f64 (/.f64 y x)))
(-.f64 1 (/.f64 y x))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (/.f64 y x))))
(+.f64 1 (+.f64 (*.f64 -1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) 1))
(+.f64 1 (+.f64 (neg.f64 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (-.f64 1 (/.f64 y x)) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (.f64 -1 (/.f64 y x)))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 y x)) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (*.f64 -1 (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 3)) (/.f64 y x))) (+.f64 1 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 1 (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 -1 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
(+.f64 (neg.f64 (/.f64 y x)) (+.f64 (-.f64 1 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (/.f64 x y) (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))) (neg.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))
(+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (/.f64 x y) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(/.f64 x y)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 x y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (/.f64 x y) (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (.f64 -1 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 (+.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))) (neg.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))
(+.f64 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (/.f64 x y) (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(/.f64 1 y)
(+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 1 y) (neg.f64 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2)))))
(+.f64 (/.f64 1 y) (+.f64 (*.f64 -1 (/.f64 x (pow.f64 y 2))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 x (pow.f64 y 2))) (+.f64 (/.f64 1 y) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (/.f64 1 y) (+.f64 (neg.f64 (/.f64 x (pow.f64 y 2))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (/.f64 1 y) (+.f64 (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (/.f64 x (pow.f64 y 2)))) (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (/.f64 1 y)))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (+.f64 (/.f64 x (pow.f64 y 2)) (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (neg.f64 (+.f64 (/.f64 x (pow.f64 y 2)) (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (+.f64 (/.f64 1 y) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(/.f64 1 x)
(+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))) (/.f64 (pow.f64 y 2) (pow.f64 x 3)))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2))))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2)))) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4)))))
(+.f64 (/.f64 1 x) (+.f64 (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4)))))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(/.f64 1 x)
(+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))) (/.f64 (pow.f64 y 2) (pow.f64 x 3)))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2))))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2)))) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4)))))
(+.f64 (/.f64 1 x) (+.f64 (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4)))))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(/.f64 1 x)
(+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 y (pow.f64 x 2))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 1 x) (*.f64 -1 (/.f64 y (pow.f64 x 2)))) (/.f64 (pow.f64 y 2) (pow.f64 x 3)))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3))))
(+.f64 (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2))))))
(+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (+.f64 (+.f64 (/.f64 1 x) (.f64 -1 (/.f64 y (pow.f64 x 2)))) (.f64 -1 (/.f64 (pow.f64 y 3) (pow.f64 x 4)))))
(+.f64 (/.f64 1 x) (+.f64 (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4)))))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 3)) (neg.f64 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(/.f64 1 y)
(+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 1 y) (neg.f64 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2)))))
(+.f64 (/.f64 1 y) (+.f64 (*.f64 -1 (/.f64 x (pow.f64 y 2))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 x (pow.f64 y 2))) (+.f64 (/.f64 1 y) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (/.f64 1 y) (+.f64 (neg.f64 (/.f64 x (pow.f64 y 2))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (/.f64 1 y) (+.f64 (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (/.f64 x (pow.f64 y 2)))) (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (/.f64 1 y)))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (+.f64 (/.f64 x (pow.f64 y 2)) (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (neg.f64 (+.f64 (/.f64 x (pow.f64 y 2)) (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (+.f64 (/.f64 1 y) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(/.f64 1 y)
(+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 1 y) (neg.f64 (/.f64 x (pow.f64 y 2))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (/.f64 x (pow.f64 y 2)))))
(+.f64 (/.f64 1 y) (+.f64 (*.f64 -1 (/.f64 x (pow.f64 y 2))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (neg.f64 (/.f64 x (pow.f64 y 2))) (+.f64 (/.f64 1 y) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (/.f64 1 y) (+.f64 (neg.f64 (/.f64 x (pow.f64 y 2))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (/.f64 1 y) (+.f64 (+.f64 (.f64 -1 (/.f64 x (pow.f64 y 2))) (.f64 -1 (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (*.f64 -1 (+.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 4)) (/.f64 x (pow.f64 y 2)))) (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (/.f64 1 y)))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (+.f64 (/.f64 1 y) (*.f64 -1 (+.f64 (/.f64 x (pow.f64 y 2)) (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (neg.f64 (+.f64 (/.f64 x (pow.f64 y 2)) (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (+.f64 (/.f64 1 y) (/.f64 (pow.f64 x 2) (pow.f64 y 3))))
(+.f64 (/.f64 x (+.f64 x y)) 0)
(/.f64 x (+.f64 x y))
(+.f64 0 (/.f64 x (+.f64 x y)))
(/.f64 x (+.f64 x y))
(+.f64 (/.f64 (.f64 x 1/2) (+.f64 x y)) (/.f64 (.f64 x 1/2) (+.f64 x y)))
(/.f64 x (+.f64 x y))
(-.f64 (/.f64 x (+.f64 x y)) 0)
(/.f64 x (+.f64 x y))
(-.f64 0 (/.f64 x (neg.f64 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(/.f64 1 (/.f64 (+.f64 x y) x))
(/.f64 x (+.f64 x y))
(/.f64 x (+.f64 x y))
(/.f64 x (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)))
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 x))
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 x (+.f64 x y)) 1)
(/.f64 x (+.f64 x y))
(/.f64 2 (*.f64 (+.f64 x y) (/.f64 2 x)))
(/.f64 x (+.f64 x y))
(/.f64 (*.f64 x (/.f64 2 (+.f64 x y))) 2)
(/.f64 x (+.f64 x y))
(/.f64 4 (*.f64 4 (/.f64 (+.f64 x y) x)))
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 2 (+.f64 x y)) (/.f64 2 x))
(/.f64 x (+.f64 x y))
(/.f64 (+.f64 x x) (*.f64 (+.f64 x y) 2))
(/.f64 x (+.f64 x y))
(/.f64 -1 (/.f64 (+.f64 x y) (neg.f64 x)))
(/.f64 x (+.f64 x y))
(/.f64 -1 (neg.f64 (/.f64 (+.f64 x y) x)))
(/.f64 x (+.f64 x y))
(/.f64 (*.f64 x (/.f64 4 (+.f64 x y))) 4)
(/.f64 x (+.f64 x y))
(/.f64 8 (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(/.f64 8 (/.f64 (*.f64 (+.f64 x y) 8) x))
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 4 (+.f64 x y)) (+.f64 (/.f64 2 x) (/.f64 2 x)))
(/.f64 x (+.f64 x y))
(/.f64 -2 (neg.f64 (*.f64 (+.f64 x y) (/.f64 2 x))))
(/.f64 x (+.f64 x y))
(/.f64 -2 (+.f64 (/.f64 (+.f64 x y) (neg.f64 x)) (/.f64 (+.f64 x y) (neg.f64 x))))
(/.f64 x (+.f64 x y))
(/.f64 -2 (+.f64 (neg.f64 (/.f64 (+.f64 x y) x)) (neg.f64 (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(/.f64 (.f64 x 4) (.f64 (+.f64 x y) 4))
(/.f64 x (+.f64 x y))
(/.f64 1/2 (*.f64 (+.f64 x y) (/.f64 1/2 x)))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 x) (neg.f64 (+.f64 x y)))
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 (+.f64 x y) x) (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x)))
(/.f64 x (+.f64 x y))
(/.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (.f64 (/.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (/.f64 2 x))))
(/.f64 x (+.f64 x y))
(/.f64 16 (+.f64 (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x))) (.f64 2 (.f64 4 (/.f64 (+.f64 x y) x)))))
(/.f64 x (+.f64 x y))
(/.f64 16 (+.f64 (/.f64 (.f64 (+.f64 x y) 8) x) (/.f64 (.f64 (+.f64 x y) 8) x)))
(/.f64 x (+.f64 x y))
(/.f64 -4 (+.f64 (neg.f64 (.f64 (+.f64 x y) (/.f64 2 x))) (neg.f64 (.f64 (+.f64 x y) (/.f64 2 x)))))
(/.f64 x (+.f64 x y))
(/.f64 -4 (neg.f64 (*.f64 4 (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(/.f64 (*.f64 (/.f64 x (+.f64 x y)) 8) 8)
(/.f64 x (+.f64 x y))
(/.f64 (.f64 x -2) (.f64 (+.f64 x y) -2))
(/.f64 x (+.f64 x y))
(/.f64 (.f64 x 8) (.f64 (+.f64 x y) 8))
(/.f64 x (+.f64 x y))
(/.f64 (.f64 4 (/.f64 (+.f64 x y) x)) (.f64 (.f64 (+.f64 x y) (/.f64 2 x)) (.f64 (+.f64 x y) (/.f64 2 x))))
(/.f64 x (+.f64 x y))
(/.f64 (.f64 4 (/.f64 (+.f64 x y) x)) (+.f64 (.f64 (/.f64 (+.f64 x y) x) (.f64 (+.f64 x y) (/.f64 2 x))) (.f64 (/.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (/.f64 2 x)))))
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 (*.f64 x 1/2) (+.f64 x y)) 1/2)
(/.f64 x (+.f64 x y))
(/.f64 (.f64 x 1/2) (.f64 (+.f64 x y) 1/2))
(/.f64 x (+.f64 x y))
(/.f64 (.f64 x 1/2) (/.f64 (.f64 (+.f64 x y) (+.f64 x y)) (*.f64 (+.f64 x y) 2)))
(/.f64 x (+.f64 x y))
(/.f64 (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8)) 16)
(/.f64 x (+.f64 x y))
(/.f64 (.f64 2 (.f64 x -2)) (*.f64 (neg.f64 (+.f64 x y)) 4))
(/.f64 x (+.f64 x y))
(/.f64 (.f64 2 (.f64 x 8)) (.f64 2 (.f64 (+.f64 x y) 8)))
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 (*.f64 x 8) (+.f64 x y)) 8)
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 x (neg.f64 (+.f64 x y))) -1)
(/.f64 x (+.f64 x y))
(/.f64 -1/2 (neg.f64 (*.f64 (+.f64 x y) (/.f64 1/2 x))))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (.f64 x 8)) (neg.f64 (.f64 (+.f64 x y) 8)))
(/.f64 x (+.f64 x y))
(/.f64 (/.f64 x (*.f64 (+.f64 x y) 4)) 1/4)
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (/.f64 (+.f64 x y) x)) (neg.f64 (*.f64 (/.f64 (+.f64 x y) x) (/.f64 (+.f64 x y) x))))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (.f64 x 4)) (neg.f64 (.f64 (+.f64 x y) 4)))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (.f64 x -2)) (.f64 (+.f64 x y) 2))
(/.f64 x (+.f64 x y))
(/.f64 (+.f64 (neg.f64 (.f64 x 4)) (neg.f64 (.f64 x 4))) (.f64 2 (neg.f64 (.f64 (+.f64 x y) 4))))
(/.f64 x (+.f64 x y))
(/.f64 (+.f64 (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8)) (.f64 2 (.f64 (/.f64 x (+.f64 x y)) 8))) 32)
(/.f64 x (+.f64 x y))
(/.f64 (+.f64 (.f64 2 (.f64 x -2)) (.f64 2 (.f64 x -2))) (.f64 2 (.f64 (neg.f64 (+.f64 x y)) 4)))
(/.f64 x (+.f64 x y))
(/.f64 (+.f64 (/.f64 (.f64 x 8) (+.f64 x y)) (/.f64 (.f64 x 8) (+.f64 x y))) 16)
(/.f64 x (+.f64 x y))
(/.f64 (+.f64 (/.f64 x (neg.f64 (+.f64 x y))) (/.f64 x (neg.f64 (+.f64 x y)))) -2)
(/.f64 x (+.f64 x y))
(/.f64 (+.f64 (neg.f64 (.f64 x -2)) (neg.f64 (.f64 x -2))) (*.f64 (+.f64 x y) 4))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (/.f64 2 (+.f64 x y))) (neg.f64 (/.f64 2 x)))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (neg.f64 (.f64 x 4))) (.f64 (+.f64 x y) 4))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (neg.f64 (.f64 x 4))) (neg.f64 (neg.f64 (.f64 (+.f64 x y) 4))))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (.f64 2 (.f64 x -2))) (neg.f64 (*.f64 (neg.f64 (+.f64 x y)) 4)))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (neg.f64 (.f64 x -2))) (.f64 (+.f64 x y) -2))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (/.f64 1 (+.f64 x y))) (neg.f64 (/.f64 1 x)))
(/.f64 x (+.f64 x y))
(/.f64 (neg.f64 (.f64 x 1/2)) (neg.f64 (.f64 (+.f64 x y) 1/2)))
(/.f64 x (+.f64 x y))
(pow.f64 (/.f64 x (+.f64 x y)) 1)
(/.f64 x (+.f64 x y))
(neg.f64 (/.f64 x (neg.f64 (+.f64 x y))))
(/.f64 x (+.f64 x y))
(+.f64 (/.f64 1 (+.f64 x y)) 0)
(/.f64 1 (+.f64 x y))
(+.f64 0 (/.f64 1 (+.f64 x y)))
(/.f64 1 (+.f64 x y))
(+.f64 (/.f64 1/2 (+.f64 x y)) (/.f64 1/2 (+.f64 x y)))
(-.f64 (/.f64 1 (+.f64 x y)) 0)
(/.f64 1 (+.f64 x y))
(-.f64 0 (/.f64 -1 (+.f64 x y)))
(/.f64 1 (+.f64 x y))
(*.f64 1 (/.f64 1 (+.f64 x y)))
(/.f64 1 (+.f64 x y))
(.f64 (+.f64 x y) (/.f64 1 (.f64 (+.f64 x y) (+.f64 x y))))
(/.f64 1 (+.f64 x y))
(*.f64 (/.f64 1 (+.f64 x y)) 1)
(/.f64 1 (+.f64 x y))
(*.f64 2 (/.f64 1/2 (+.f64 x y)))
(.f64 (.f64 (+.f64 x y) 2) (/.f64 1/2 (*.f64 (+.f64 x y) (+.f64 x y))))
(/.f64 1 (+.f64 x y))
(*.f64 4 (/.f64 (/.f64 1 (+.f64 x y)) 4))
(/.f64 1 (+.f64 x y))
(*.f64 (/.f64 2 (+.f64 x y)) 1/2)
(*.f64 1/2 (/.f64 2 (+.f64 x y)))
(*.f64 (/.f64 4 (+.f64 x y)) 1/4)
(*.f64 1/4 (/.f64 4 (+.f64 x y)))
(*.f64 1/2 (/.f64 2 (+.f64 x y)))
(*.f64 (/.f64 1/2 (+.f64 x y)) 2)
(*.f64 2 (/.f64 1/2 (+.f64 x y)))
(.f64 (.f64 (+.f64 x y) 1/2) (/.f64 2 (*.f64 (+.f64 x y) (+.f64 x y))))
(.f64 (+.f64 x y) (.f64 1/2 (/.f64 2 (*.f64 (+.f64 x y) (+.f64 x y)))))
(*.f64 1/4 (/.f64 4 (+.f64 x y)))
(*.f64 (/.f64 4 (+.f64 x y)) 1/4)
(.f64 (/.f64 1 (.f64 (+.f64 x y) (+.f64 x y))) (+.f64 x y))
(/.f64 1 (+.f64 x y))
(.f64 (/.f64 2 (.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (+.f64 x y) 1/2))
(.f64 (.f64 (+.f64 x y) 1/2) (/.f64 2 (*.f64 (+.f64 x y) (+.f64 x y))))
(.f64 (+.f64 x y) (.f64 1/2 (/.f64 2 (*.f64 (+.f64 x y) (+.f64 x y)))))
(*.f64 (/.f64 (/.f64 1 (+.f64 x y)) 4) 4)
(/.f64 1 (+.f64 x y))
(*.f64 (/.f64 -1 (+.f64 x y)) -1)
(/.f64 1 (+.f64 x y))
(.f64 (/.f64 1/2 (.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (+.f64 x y) 2))
(/.f64 1 (+.f64 x y))
(pow.f64 (/.f64 1 (+.f64 x y)) 1)
(/.f64 1 (+.f64 x y))
(neg.f64 (/.f64 -1 (+.f64 x y)))
(/.f64 1 (+.f64 x y))

localize6.0ms (0.1%)

Compiler: Compiled 13 to 6 computations (53.8% saved)

localize3.0ms (0%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

eval35.0ms (0.6%)

Compiler: Compiled 2056 to 1186 computations (42.3% saved)

prune21.0ms (0.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	142	5	147

Error

Counts

147 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 x (+.f64 x y))
✓	29.2b	(/.f64 x y)
✓	34.7b	(-.f64 1 (/.f64 y x))
✓	0.2b	(*.f64 (/.f64 1 (+.f64 x y)) x)
	34.1b	1

Compiler

Compiled 31 to 21 computations (32.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 x (+.f64 x y))
✓	29.2b	(/.f64 x y)
✓	34.7b	(-.f64 1 (/.f64 y x))
✓	0.2b	(*.f64 (/.f64 1 (+.f64 x y)) x)
	34.1b	1

Compiler

Compiled 31 to 21 computations (32.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 x (+.f64 x y))
✓	29.2b	(/.f64 x y)
✓	34.7b	(-.f64 1 (/.f64 y x))
✓	0.2b	(*.f64 (/.f64 1 (+.f64 x y)) x)
	34.1b	1

Compiler

Compiled 31 to 21 computations (32.3% saved)

regimes14.0ms (0.2%)

Counts

5 → 1

Calls

Call 1

Inputs
1
(/.f64 x y)
(-.f64 1 (/.f64 y x))
(/.f64 x (+.f64 x y))
(*.f64 (/.f64 1 (+.f64 x y)) x)

Outputs
(/.f64 x (+.f64 x y))

Calls

3 calls:

6.0ms	y
4.0ms	x
3.0ms	(/.f64 x (+.f64 x y))

Results

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

Compiler

Compiled 36 to 20 computations (44.4% saved)

regimes83.0ms (1.3%)

Accuracy

Total -48.4b remaining (-339.2%)

Threshold costs -48.4b (-339.2%)

Counts

3 → 3

Calls

Call 1

Inputs
1
(/.f64 x y)
(-.f64 1 (/.f64 y x))

Outputs
(/.f64 x y)
1
(/.f64 x y)

Calls

2 calls:

68.0ms	y
14.0ms	x

Results

Error	Segments	Branch
15.3b	5	`x`
14.3b	3	`y`

Compiler

Compiled 17 to 11 computations (35.3% saved)

bsearch88.0ms (1.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	1.3432783163784087e-38	2.4856947340251043e-36
78.0ms	-200635062758561020.0	-3593596224398.0566

Results

85.0ms

240×

body

256

valid

Compiler

Compiled 162 to 128 computations (21% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	47

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 x (+.f64 x y))
(if (<=.f64 y -1200000000000000) (/.f64 x y) (if (<=.f64 y 8141382560850035/95780971304118053647396689196894323976171195136475136) 1 (/.f64 x y)))
1

Outputs
(/.f64 x (+.f64 x y))
(if (<=.f64 y -1200000000000000) (/.f64 x y) (if (<=.f64 y 8141382560850035/95780971304118053647396689196894323976171195136475136) 1 (/.f64 x y)))
1

Compiler

Compiled 27 to 17 computations (37% saved)

soundness0.0ms (0%)

end81.0ms (1.3%)

Compiler: Compiled 23 to 13 computations (43.5% saved)

Details

analyze40.0ms (0.6%)

sample3.2s (51.6%)

preprocess886.0ms (14.4%)

simplify1.2s (19.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series2.0ms (0%)

rewrite125.0ms (2%)

simplify99.0ms (1.6%)

eval47.0ms (0.8%)

prune21.0ms (0.3%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite85.0ms (1.4%)

simplify107.0ms (1.7%)

localize6.0ms (0.1%)

localize3.0ms (0%)

eval35.0ms (0.6%)

prune21.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes14.0ms (0.2%)

regimes83.0ms (1.3%)

bsearch88.0ms (1.4%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end81.0ms (1.3%)

Profiling