Details

analyze71.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
0%	0%	99.9%	0.1%	0%	0%	0%	5
15.6%	15.6%	84.3%	0.1%	0%	0%	0%	6
39.1%	39%	60.9%	0.1%	0%	0%	0%	7
51.6%	51.5%	48.4%	0.1%	0%	0%	0%	8
66%	66%	34%	0.1%	0%	0%	0%	9
73.8%	73.8%	26.1%	0.1%	0%	0%	0%	10
82.1%	82%	17.9%	0.1%	0%	0%	0%	11
86.4%	86.3%	13.6%	0.1%	0%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample7.4s (64.8%)

Results

7.4s

8256×

body

256

valid

Bogosity

preprocess921.0ms (8%)

Algorithm

2×	egg-herbie

Rules

16374×	`rational.json-simplify-41`
1646×	`rational.json-simplify-1`
648×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	16	38
2	25	38
3	48	38
4	109	38
5	319	38
6	430	38
7	435	38
8	440	38
9	445	38
10	450	38
11	1623	38
12	1628	38
13	1633	38
14	1638	38
15	1643	38
16	1648	38
17	2279	38
18	2284	38
19	2289	38
20	2294	38
21	2299	38
22	2304	38
23	2309	38
24	2314	38
25	2319	38
26	2324	38
27	2329	38
28	2334	38
29	2339	38
30	2344	38
31	2349	38
32	2354	38
33	2359	38
34	2364	38
35	2369	38
36	2374	38
37	2379	38
38	2384	38
39	2389	38
40	2394	38
41	2399	38
42	2404	38
43	2409	38
44	2414	38
45	2419	38
46	2424	38
47	2429	38
48	2434	38
49	2439	38
50	2444	38
51	2449	38
52	2454	38
53	2459	38
54	2464	38
55	2469	38
56	2474	38
57	2479	38
58	2484	38
59	2489	38
60	2494	38
61	2499	38
62	2504	38
63	2509	38
64	2514	38
65	2519	38
66	2524	38
67	2529	38
68	2534	38
69	2539	38
70	2544	38
71	2549	38
72	2554	38
73	2559	38
74	2564	38
75	2569	38
76	2574	38
77	2579	38
78	2584	38
79	2589	38
80	2594	38
81	2599	38
82	2604	38
83	2609	38
84	2614	38
85	2619	38
86	2624	38
87	2629	38
88	2634	38
89	2639	38
90	2644	38
91	2649	38
92	2654	38
93	2659	38
94	2664	38
95	2669	38
96	2674	38
97	2679	38
98	2684	38
99	2689	38
100	2694	38
101	2699	38
102	2704	38
103	2709	38
104	2714	38
105	2719	38
106	2724	38
107	2729	38
108	2734	38
109	2739	38
110	2744	38
111	2749	38
112	2754	38
113	2759	38
114	2764	38
115	2769	38
116	2774	38
117	2779	38
118	2784	38
119	2789	38
120	2794	38
121	2799	38
122	2804	38
123	2809	38
124	2814	38
125	2819	38
126	2824	38
127	2829	38
128	2834	38
129	2839	38
130	2844	38
131	2849	38
132	2854	38
133	2859	38
134	2864	38
135	2869	38
136	2874	38
137	2879	38
138	2884	38
139	2889	38
140	2894	38
141	2899	38
142	2904	38
143	2909	38
144	2914	38
145	2919	38
146	2924	38
147	2929	38
148	2934	38
149	2939	38
150	2944	38
151	2949	38
152	2954	38
153	2959	38
154	2964	38
155	2969	38
156	2974	38
157	2979	38
158	2984	38
159	2989	38
160	2994	38
161	2999	38
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify1.2s (10.5%)

Algorithm

1×	egg-herbie

Rules

14546×	`rational.json-simplify-41`
1432×	`rational.json-simplify-1`
324×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	11	19
2	18	19
3	37	19
4	92	19
5	284	19
6	375	19
7	378	19
8	381	19
9	384	19
10	387	19
11	1365	19
12	1368	19
13	1371	19
14	1374	19
15	1377	19
16	1380	19
17	1922	19
18	1925	19
19	1928	19
20	1931	19
21	1934	19
22	1937	19
23	1940	19
24	1943	19
25	1946	19
26	1949	19
27	1952	19
28	1955	19
29	1958	19
30	1961	19
31	1964	19
32	1967	19
33	1970	19
34	1973	19
35	1976	19
36	1979	19
37	1982	19
38	1985	19
39	1988	19
40	1991	19
41	1994	19
42	1997	19
43	2000	19
44	2003	19
45	2006	19
46	2009	19
47	2012	19
48	2015	19
49	2018	19
50	2021	19
51	2024	19
52	2027	19
53	2030	19
54	2033	19
55	2036	19
56	2039	19
57	2042	19
58	2045	19
59	2048	19
60	2051	19
61	2054	19
62	2057	19
63	2060	19
64	2063	19
65	2066	19
66	2069	19
67	2072	19
68	2075	19
69	2078	19
70	2081	19
71	2084	19
72	2087	19
73	2090	19
74	2093	19
75	2096	19
76	2099	19
77	2102	19
78	2105	19
79	2108	19
80	2111	19
81	2114	19
82	2117	19
83	2120	19
84	2123	19
85	2126	19
86	2129	19
87	2132	19
88	2135	19
89	2138	19
90	2141	19
91	2144	19
92	2147	19
93	2150	19
94	2153	19
95	2156	19
96	2159	19
97	2162	19
98	2165	19
99	2168	19
100	2171	19
101	2174	19
102	2177	19
103	2180	19
104	2183	19
105	2186	19
106	2189	19
107	2192	19
108	2195	19
109	2198	19
110	2201	19
111	2204	19
112	2207	19
113	2210	19
114	2213	19
115	2216	19
116	2219	19
117	2222	19
118	2225	19
119	2228	19
120	2231	19
121	2234	19
122	2237	19
123	2240	19
124	2243	19
125	2246	19
126	2249	19
127	2252	19
128	2255	19
129	2258	19
130	2261	19
131	2264	19
132	2267	19
133	2270	19
134	2273	19
135	2276	19
136	2279	19
137	2282	19
138	2285	19
139	2288	19
140	2291	19
141	2294	19
142	2297	19
143	2300	19
144	2303	19
145	2306	19
146	2309	19
147	2312	19
148	2315	19
149	2318	19
150	2321	19
151	2324	19
152	2327	19
153	2330	19
154	2333	19
155	2336	19
156	2339	19
157	2342	19
158	2345	19
159	2348	19
160	2351	19
161	2354	19

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 5 computations (70.6% saved)

series4.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite85.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1894×	`bool.json-1`
1894×	`bool.json-2`
1858×	`rational.json-1`
1592×	`bool.json-3`
556×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	72	19
2	232	19
3	597	19
4	1504	19
5	5092	19

Stop Event

1×	node limit

Counts

1 → 53

Calls

Call 1

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

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

Outputs

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

simplify171.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1366×	`rational.json-simplify-2`
846×	`rational.json-simplify-53`
762×	`rational.json-simplify-35`
728×	`rational.json-simplify-61`
704×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	199	2585
1	487	2497
2	1175	2441
3	4503	2333

Stop Event

1×	node limit

Counts

77 → 137

Calls

Call 1

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

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

eval144.0ms (1.3%)

Compiler: Compiled 2478 to 1155 computations (53.4% saved)

prune87.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	133	4	137
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	133	5	138

Error

Counts

138 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
▶	32.4b	(-.f64 (*.f64 2 (/.f64 x y)) 1)
▶	0.0b	(*.f64 1/2 (/.f64 2 (/.f64 (+.f64 x y) (-.f64 x y))))
	31.4b	1
	32.9b	-1

Compiler

Compiled 37 to 27 computations (27% saved)

localize61.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 39 to 13 computations (66.7% saved)

series3.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite89.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

2080×	`bool.json-1`
2080×	`bool.json-2`
1144×	`rational.json-simplify-35`
866×	`rational.json-1`
866×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	44
1	100	44
2	356	44
3	989	44
4	2910	44
5	6858	44

Stop Event

1×	node limit

Counts

2 → 63

Calls

Call 1

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

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

Outputs

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

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

simplify104.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

990×	`rational.json-simplify-43`
890×	`rational.json-simplify-35`
888×	`rational.json-simplify-44`
876×	`rational.json-simplify-47`
782×	`rational.json-simplify-53`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	237	3759
1	537	3599
2	1103	3527
3	2142	3445
4	6401	3443

Stop Event

1×	node limit

Counts

111 → 192

Calls

Call 1

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

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

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 2 (/.f64 x y)) 1)
✓	0.0b	(*.f64 2 (/.f64 x y))

Compiler

Compiled 21 to 11 computations (47.6% saved)

series3.0ms (0%)

Counts

2 → 6

Calls

12 calls:

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

rewrite98.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1922×	`bool.json-1`
1922×	`bool.json-2`
1882×	`rational.json-1`
1616×	`bool.json-3`
610×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	99	32
2	304	32
3	656	32
4	1560	32
5	5312	32

Stop Event

1×	node limit

Counts

2 → 142

Calls

Call 1

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

Outputs

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

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

simplify113.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1488×	`rational.json-simplify-35`
1124×	`rational.json-simplify-2`
976×	`rational.json-simplify-41`
688×	`rational.json-simplify-61`
686×	`rational.json-simplify-44`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	301	2116
1	1168	2002
2	4362	2002
3	6509	2002

Stop Event

1×	node limit

Counts

148 → 146

Calls

Call 1

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

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

eval197.0ms (1.7%)

Compiler: Compiled 5988 to 3501 computations (41.5% saved)

prune123.0ms (1.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	338	0	338
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	338	5	343

Error

Counts

343 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
✓	32.4b	(-.f64 (*.f64 2 (/.f64 x y)) 1)
✓	0.0b	(*.f64 1/2 (/.f64 2 (/.f64 (+.f64 x y) (-.f64 x y))))
	31.4b	1
	32.9b	-1

Compiler

Compiled 37 to 27 computations (27% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	3	3
Total	5	5

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
✓	32.4b	(-.f64 (*.f64 2 (/.f64 x y)) 1)
✓	0.0b	(*.f64 1/2 (/.f64 2 (/.f64 (+.f64 x y) (-.f64 x y))))
	31.4b	1
	32.9b	-1

Compiler

Compiled 37 to 27 computations (27% saved)

eval0.0ms (0%)

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

prune71.0ms (0.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	3	3
Total	5	5

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
✓	32.4b	(-.f64 (*.f64 2 (/.f64 x y)) 1)
✓	0.0b	(*.f64 1/2 (/.f64 2 (/.f64 (+.f64 x y) (-.f64 x y))))
	31.4b	1
	32.9b	-1

Compiler

Compiled 37 to 27 computations (27% saved)

regimes12.0ms (0.1%)

Counts

5 → 1

Calls

Call 1

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

Outputs
(*.f64 1/2 (/.f64 2 (/.f64 (+.f64 x y) (-.f64 x y))))

Calls

3 calls:

4.0ms	x
4.0ms	y
2.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

Results

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

Compiler

Compiled 44 to 26 computations (40.9% saved)

regimes11.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

3 calls:

4.0ms	y
4.0ms	x
2.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

Results

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

regimes93.0ms (0.8%)

Counts

3 → 3

Calls

Call 1

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

Outputs
1
(-.f64 (*.f64 2 (/.f64 x y)) 1)
1

Calls

2 calls:

83.0ms	y
9.0ms	x

Results

Error	Segments	Branch
14.6b	3	`x`
14.9b	3	`y`

Compiler

Compiled 17 to 13 computations (23.5% saved)

bsearch25.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	6.026151807516219e+48	4.3639484564807135e+56
10.0ms	-7.430059031336316e-87	-1.79575293015583e-87

Results

22.0ms

240×

body

256

valid

Compiler

Compiled 224 to 189 computations (15.6% saved)

regimes78.0ms (0.7%)

Accuracy

Total -48.1b remaining (-322.9%)

Threshold costs -48.1b (-322.9%)

Counts

2 → 3

Calls

Call 1

Inputs
-1
1

Outputs
1
-1
1

Calls

2 calls:

65.0ms	x
12.0ms	y

Results

Error	Segments	Branch
14.9b	3	`x`
15.1b	3	`y`

Compiler

Compiled 10 to 8 computations (20% saved)

bsearch23.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
8.0ms	2.2534190759770301e-13	1.5547152546767562
14.0ms	-3.417265742102553e-113	-1.1839955483122959e-122

Results

20.0ms

224×

body

256

valid

Compiler

Compiled 126 to 121 computations (4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	111

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 1/2 (/.f64 2 (/.f64 (+.f64 x y) (-.f64 x y))))
(/.f64 (-.f64 x y) (+.f64 x y))
(if (<=.f64 x -7839106597622315/1119872371088902105278721140284222139060822748617324767449994550481895935590080472690438746635803557888) 1 (if (<=.f64 x 1150000000000000025434790870138768995526141215244288) (-.f64 (*.f64 2 (/.f64 x y)) 1) 1))
(if (<=.f64 x -2772669694120815/86645927941275464361825443254471365732388658605494267974077486894206915868925800719999200190754361815543475342543861619655442432) 1 (if (<=.f64 x 6189700196426901/618970019642690137449562112) -1 1))
-1

Outputs
(*.f64 1/2 (/.f64 2 (/.f64 (+.f64 x y) (-.f64 x y))))
(/.f64 (-.f64 x y) (+.f64 x y))
(if (<=.f64 x -7839106597622315/1119872371088902105278721140284222139060822748617324767449994550481895935590080472690438746635803557888) 1 (if (<=.f64 x 1150000000000000025434790870138768995526141215244288) (-.f64 (*.f64 2 (/.f64 x y)) 1) 1))
(if (<=.f64 x -2772669694120815/86645927941275464361825443254471365732388658605494267974077486894206915868925800719999200190754361815543475342543861619655442432) 1 (if (<=.f64 x 6189700196426901/618970019642690137449562112) -1 1))
-1

Compiler

Compiled 57 to 43 computations (24.6% saved)

soundness197.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1366×	`rational.json-simplify-2`
846×	`rational.json-simplify-53`
762×	`rational.json-simplify-35`
728×	`rational.json-simplify-61`
704×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	199	2585
1	487	2497
2	1175	2441
3	4503	2333

Stop Event

1×	node limit

Compiler

Compiled 155 to 76 computations (51% saved)

end34.0ms (0.3%)

Compiler: Compiled 49 to 33 computations (32.7% saved)

Details

analyze71.0ms (0.6%)

sample7.4s (64.8%)

preprocess921.0ms (8%)

simplify1.2s (10.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series4.0ms (0%)

rewrite85.0ms (0.7%)

simplify171.0ms (1.5%)

eval144.0ms (1.3%)

prune87.0ms (0.8%)

localize61.0ms (0.5%)

series3.0ms (0%)

rewrite89.0ms (0.8%)

simplify104.0ms (0.9%)

localize8.0ms (0.1%)

series3.0ms (0%)

rewrite98.0ms (0.9%)

simplify113.0ms (1%)

eval197.0ms (1.7%)

prune123.0ms (1.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune71.0ms (0.6%)

regimes12.0ms (0.1%)

regimes11.0ms (0.1%)

regimes93.0ms (0.8%)

bsearch25.0ms (0.2%)

regimes78.0ms (0.7%)

bsearch23.0ms (0.2%)

simplify3.0ms (0%)

soundness197.0ms (1.7%)

end34.0ms (0.3%)

Profiling