Details

analyze238.0ms (2.2%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	6
40.6%	40.6%	59.3%	0.1%	0%	0%	0%	7
55.6%	54.6%	43.7%	0.1%	1.6%	0%	0%	8
65.3%	63.2%	33.6%	0.1%	3.1%	0%	0%	9
75.1%	70.6%	23.4%	0.1%	5.9%	0%	0%	10
80.9%	75.1%	17.8%	0.1%	7%	0%	0%	11
86.7%	78.9%	12.1%	0.1%	8.9%	0%	0%	12

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample2.8s (25.7%)

Results

2.8s	8256×	body	256	valid
27.0ms	345×	body	256	infinite

Bogosity

preprocess494.0ms (4.5%)

Algorithm

2×	egg-herbie

Rules

11796×	`rational.json-simplify-41`
1794×	`rational.json-simplify-1`
332×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	14	26
2	20	26
3	34	26
4	64	26
5	154	26
6	404	26
7	542	26
8	548	26
9	554	26
10	560	26
11	566	26
12	1682	26
13	1688	26
14	1694	26
15	1700	26
16	1706	26
17	1712	26
18	2369	26
19	2375	26
20	2381	26
21	2387	26
22	2393	26
23	2399	26
24	2405	26
25	2411	26
26	2417	26
27	2423	26
28	2429	26
29	2435	26
30	2441	26
31	2447	26
32	2453	26
33	2459	26
34	2465	26
35	2471	26
36	2477	26
37	2483	26
38	2489	26
39	2495	26
40	2501	26
41	2507	26
42	2513	26
43	2519	26
44	2525	26
45	2531	26
46	2537	26
47	2543	26
48	2549	26
49	2555	26
50	2561	26
51	2567	26
52	2573	26
53	2579	26
54	2585	26
55	2591	26
56	2597	26
57	2603	26
58	2609	26
59	2615	26
60	2621	26
61	2627	26
62	2633	26
63	2639	26
64	2645	26
65	2651	26
66	2657	26
67	2663	26
68	2669	26
69	2675	26
70	2681	26
71	2687	26
72	2693	26
73	2699	26
74	2705	26
75	2711	26
76	2717	26
77	2723	26
78	2729	26
79	2735	26
80	2741	26
81	2747	26
82	2753	26
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) x)
(/.f64 (-.f64 y x) y)

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify6.2s (56%)

Algorithm

1×	egg-herbie

Rules

20920×	`rational.json-simplify-41`
2320×	`rational.json-simplify-1`
648×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	9	13
2	12	13
3	19	13
4	34	13
5	78	13
6	202	13
7	588	13
8	747	13
9	750	13
10	753	13
11	756	13
12	759	13
13	762	13
14	765	13
15	768	13
16	771	13
17	774	13
18	777	13
19	780	13
20	783	13
21	786	13
22	789	13
23	2659	13
24	2662	13
25	2665	13
26	2668	13
27	2671	13
28	2674	13
29	3471	13
30	3474	13
31	3477	13
32	3480	13
33	3483	13
34	3486	13
35	3489	13
36	3492	13
37	3495	13
38	3498	13
39	3501	13
40	3504	13
41	3507	13
42	3510	13
43	3513	13
44	3516	13
45	3519	13
46	3522	13
47	3525	13
48	3528	13
49	3531	13
50	3534	13
51	3537	13
52	3540	13
53	3543	13
54	3546	13
55	3549	13
56	3552	13
57	3555	13
58	3558	13
59	3561	13
60	3564	13
61	3567	13
62	3570	13
63	3573	13
64	3576	13
65	3579	13
66	3582	13
67	3585	13
68	3588	13
69	3591	13
70	3594	13
71	3597	13
72	3600	13
73	3603	13
74	3606	13
75	3609	13
76	3612	13
77	3615	13
78	3618	13
79	3621	13
80	3624	13
81	3627	13
82	3630	13
83	3633	13
84	3636	13
85	3639	13
86	3642	13
87	3645	13
88	3648	13
89	3651	13
90	3654	13
91	3657	13
92	3660	13
93	3663	13
94	3666	13
95	3669	13
96	3672	13
97	3675	13
98	3678	13
99	3681	13
100	3684	13
101	3687	13
102	3690	13
103	3693	13
104	3696	13
105	3699	13
106	3702	13
107	3705	13
108	3708	13
109	3711	13
110	3714	13
111	3717	13
112	3720	13
113	3723	13
114	3726	13
115	3729	13
116	3732	13
117	3735	13
118	3738	13
119	3741	13
120	3744	13
121	3747	13
122	3750	13
123	3753	13
124	3756	13
125	3759	13
126	3762	13
127	3765	13
128	3768	13
129	3771	13
130	3774	13
131	3777	13
132	3780	13
133	3783	13
134	3786	13
135	3789	13
136	3792	13
137	3795	13
138	3798	13
139	3801	13
140	3804	13
141	3807	13
142	3810	13
143	3813	13
144	3816	13
145	3819	13
146	3822	13
147	3825	13
148	3828	13
149	3831	13
150	3834	13
151	3837	13
152	3840	13
153	3843	13
154	3846	13
155	3849	13
156	3852	13
157	3855	13
158	3858	13
159	3861	13
160	3864	13
161	3867	13
162	3870	13
163	3873	13
164	3876	13
165	3879	13
166	3882	13
167	3885	13
168	3888	13
169	3891	13
170	3894	13
171	3897	13
172	3900	13
173	3903	13
174	3906	13
175	3909	13
176	3912	13
177	3915	13
178	3918	13
179	3921	13
180	3924	13
181	3927	13
182	3930	13
183	3933	13
184	3936	13
185	3939	13
186	3942	13
187	3945	13
188	3948	13
189	3951	13
190	3954	13
191	3957	13
192	3960	13
193	3963	13
194	3966	13
195	3969	13
196	3972	13
197	3975	13
198	3978	13
199	3981	13
200	3984	13
201	3987	13
202	3990	13
203	3993	13
204	3996	13
205	3999	13
206	4002	13
207	4005	13
208	4008	13
209	4011	13
210	4014	13
211	4017	13
212	4020	13
213	4023	13
214	4026	13
215	4029	13
216	4032	13
217	4035	13
218	4038	13
219	4041	13
220	4044	13
221	4047	13
222	4050	13
223	4053	13
224	4056	13
225	4059	13
226	4062	13
227	4065	13
228	4068	13
229	4071	13
230	4074	13
231	4077	13
232	4080	13
233	4083	13
234	4086	13
235	4089	13
236	4092	13
237	4095	13
238	4098	13
239	4101	13
240	4104	13
241	4107	13
242	4110	13
243	4113	13
244	4116	13
245	4119	13
246	4122	13
247	4125	13
248	4128	13
249	4131	13
250	4134	13
251	4137	13
252	4140	13
253	4143	13
254	4146	13
255	4149	13
256	4152	13
257	4155	13
258	4158	13
259	4161	13
260	4164	13
261	4167	13
262	4170	13
263	4173	13
264	4176	13
265	4179	13
266	4182	13
267	4185	13
268	4188	13
269	4191	13
270	4194	13
271	4197	13
272	4200	13
273	4203	13
274	4206	13
275	4209	13
276	4212	13
277	4215	13
278	4218	13
279	4221	13
280	4224	13
281	4227	13
282	4230	13
283	4233	13
284	4236	13
285	4239	13
286	4242	13
287	4245	13
288	4248	13
289	4251	13
290	4254	13
291	4257	13
292	4260	13
293	4263	13
294	4266	13
295	4269	13
296	4272	13
297	4275	13
298	4278	13
299	4281	13
300	4284	13
301	4287	13
302	4290	13
303	4293	13
304	4296	13
305	4299	13
306	4302	13
307	4305	13
308	4308	13
309	4311	13
310	4314	13
311	4317	13
312	4320	13
313	4323	13
314	4326	13
315	4329	13
316	4332	13
317	4335	13
318	4338	13
319	4341	13
320	4344	13
321	4347	13
322	4350	13
323	4353	13

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 7 to 4 computations (42.9% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite72.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1238×	`rational.json-1`
1238×	`rational.json-2`
1238×	`rational.json-4`
1238×	`rational.json-3`
1230×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	41	13
2	117	13
3	304	13
4	769	13
5	3195	13

Stop Event

1×	node limit

Counts

1 → 79

Calls

Call 1

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

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

Outputs

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

simplify242.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1260×	`rational.json-simplify-61`
1102×	`rational.json-simplify-44`
1084×	`rational.json-simplify-47`
860×	`rational.json-simplify-55`
816×	`rational.json-simplify-35`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	2113
1	374	1891
2	1034	1807
3	5004	1711

Stop Event

1×	node limit

Counts

103 → 99

Calls

Call 1

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

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

eval662.0ms (6%)

Compiler: Compiled 1177 to 521 computations (55.7% saved)

prune14.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	3	100

Error

Counts

100 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(-.f64 1 (/.f64 y x))
▶	38.5b	(neg.f64 (/.f64 y x))
	24.5b	1

Compiler

Compiled 16 to 12 computations (25% saved)

localize4.0ms (0%)

Compiler: Compiled 11 to 4 computations (63.6% saved)

localize5.0ms (0%)

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(-.f64 1 (/.f64 y x))
✓	38.5b	(neg.f64 (/.f64 y x))
	24.5b	1

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(-.f64 1 (/.f64 y x))
✓	38.5b	(neg.f64 (/.f64 y x))
	24.5b	1

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(-.f64 1 (/.f64 y x))
✓	38.5b	(neg.f64 (/.f64 y x))
	24.5b	1

Compiler

Compiled 16 to 12 computations (25% saved)

regimes11.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

3 calls:

4.0ms	y
4.0ms	x
3.0ms	(/.f64 (-.f64 x y) x)

Results

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

Compiler

Compiled 30 to 17 computations (43.3% saved)

regimes44.0ms (0.4%)

Accuracy

Total -49.2b remaining (-393%)

Threshold costs -49.2b (-393%)

Counts

2 → 9

Calls

Call 1

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

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

Calls

2 calls:

28.0ms	x
15.0ms	y

Results

Error	Segments	Branch
12.5b	9	`x`
15.2b	5	`y`

Compiler

Compiled 13 to 9 computations (30.8% saved)

bsearch101.0ms (0.9%)

Algorithm

8×	binary-search

Steps

Time	Left	Right
14.0ms	4179503767.494969	1.5531216101640514e+27
13.0ms	1.91799481370035e-53	4.3653952781850325e-48
12.0ms	2.863511527824564e-75	1.0744709400611774e-72
12.0ms	2.6120237002301414e-168	1.8634040708671732e-166
15.0ms	3.820765227074933e-201	2.3390836684942246e-193
14.0ms	-1.2725774868595633e-151	-1.0757785408202592e-154
6.0ms	-7558136827546251000.0	-5250205087263689000.0
14.0ms	-2.2839738007939544e+60	-9.085915024058779e+54

Results

83.0ms	1024×	body	256	valid
6.0ms	77×	body	256	infinite

Compiler

Compiled 716 to 584 computations (18.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	135

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x -9199999999999999767491544343657745651760413950001283072) 1 (if (<=.f64 x -7400000000000000000) (neg.f64 (/.f64 y x)) (if (<=.f64 x -7371020360979573/58968162887836583628774290327941701420576894069006881693378223441337877537377325813845730080900918242835443359855685076558915384842574884883772410178635875682021801984) 1 (if (<=.f64 x 4725903349047367/20547405865423334012660116730000502599806014854778022888665159777612234977722971961381509907334329887605402222094446162941482157227280483840343026447858909570137592465345486711686186554235635614340989264592896) (neg.f64 (/.f64 y x)) (if (<=.f64 x 5736290322421085/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512) 1 (if (<=.f64 x 3023725277371503/3978585891278293137243057985174566720803649206378781739523711815145275976100267004264448) (neg.f64 (/.f64 y x)) (if (<=.f64 x 5054990000090745/3369993333393829974333376885877453834204643052817571560137951281152) 1 (if (<=.f64 x 7000000000) (neg.f64 (/.f64 y x)) 1))))))))

Outputs

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

(if (<=.f64 x -9199999999999999767491544343657745651760413950001283072) 1 (if (<=.f64 x -7400000000000000000) (neg.f64 (/.f64 y x)) (if (<=.f64 x -7371020360979573/58968162887836583628774290327941701420576894069006881693378223441337877537377325813845730080900918242835443359855685076558915384842574884883772410178635875682021801984) 1 (if (<=.f64 x 4725903349047367/20547405865423334012660116730000502599806014854778022888665159777612234977722971961381509907334329887605402222094446162941482157227280483840343026447858909570137592465345486711686186554235635614340989264592896) (neg.f64 (/.f64 y x)) (if (<=.f64 x 5736290322421085/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512) 1 (if (<=.f64 x 3023725277371503/3978585891278293137243057985174566720803649206378781739523711815145275976100267004264448) (neg.f64 (/.f64 y x)) (if (<=.f64 x 5054990000090745/3369993333393829974333376885877453834204643052817571560137951281152) 1 (if (<=.f64 x 7000000000) (neg.f64 (/.f64 y x)) 1))))))))

Compiler

Compiled 65 to 41 computations (36.9% saved)

soundness79.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1260×	`rational.json-simplify-61`
1102×	`rational.json-simplify-44`
1084×	`rational.json-simplify-47`
860×	`rational.json-simplify-55`
816×	`rational.json-simplify-35`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	2113
1	374	1891
2	1034	1807
3	5004	1711

Stop Event

1×	node limit

Compiler

Compiled 48 to 28 computations (41.7% saved)

end29.0ms (0.3%)

Compiler: Compiled 61 to 36 computations (41% saved)

Details

analyze238.0ms (2.2%)

sample2.8s (25.7%)

preprocess494.0ms (4.5%)

simplify6.2s (56%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0%)

series2.0ms (0%)

rewrite72.0ms (0.6%)

simplify242.0ms (2.2%)

eval662.0ms (6%)

prune14.0ms (0.1%)

localize4.0ms (0%)

localize5.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes11.0ms (0.1%)

regimes44.0ms (0.4%)

bsearch101.0ms (0.9%)

simplify4.0ms (0%)

soundness79.0ms (0.7%)

end29.0ms (0.3%)

Profiling