Details

analyze12.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
50%	25%	25%	50%	0%	0%	0%	2
50%	25%	25%	50%	0%	0%	0%	3
75%	37.5%	12.5%	50%	0%	0%	0%	4
75%	37.5%	12.5%	50%	0%	0%	0%	5
87.5%	43.7%	6.2%	50%	0%	0%	0%	6
87.5%	43.7%	6.2%	50%	0%	0%	0%	7
93.8%	46.8%	3.1%	50%	0%	0%	0%	8
93.8%	46.8%	3.1%	50%	0%	0%	0%	9
96.9%	48.4%	1.6%	50%	0%	0%	0%	10
96.9%	48.4%	1.6%	50%	0%	0%	0%	11
98.4%	49.2%	0.8%	50%	0%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample5.8s (34.7%)

Results

5.8s

8256×

body

256

valid

Bogosity

preprocess4.5s (26.9%)

Algorithm

2×	egg-herbie

Rules

20768×	`rational.json-simplify-41`
2338×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	13	22
2	17	22
3	25	22
4	41	22
5	85	22
6	212	22
7	613	22
8	775	22
9	779	22
10	783	22
11	787	22
12	791	22
13	795	22
14	799	22
15	803	22
16	807	22
17	811	22
18	815	22
19	819	22
20	823	22
21	827	22
22	831	22
23	2558	22
24	2562	22
25	2566	22
26	2570	22
27	2574	22
28	2578	22
29	3387	22
30	3391	22
31	3395	22
32	3399	22
33	3403	22
34	3407	22
35	3411	22
36	3415	22
37	3419	22
38	3423	22
39	3427	22
40	3431	22
41	3435	22
42	3439	22
43	3443	22
44	3447	22
45	3451	22
46	3455	22
47	3459	22
48	3463	22
49	3467	22
50	3471	22
51	3475	22
52	3479	22
53	3483	22
54	3487	22
55	3491	22
56	3495	22
57	3499	22
58	3503	22
59	3507	22
60	3511	22
61	3515	22
62	3519	22
63	3523	22
64	3527	22
65	3531	22
66	3535	22
67	3539	22
68	3543	22
69	3547	22
70	3551	22
71	3555	22
72	3559	22
73	3563	22
74	3567	22
75	3571	22
76	3575	22
77	3579	22
78	3583	22
79	3587	22
80	3591	22
81	3595	22
82	3599	22
83	3603	22
84	3607	22
85	3611	22
86	3615	22
87	3619	22
88	3623	22
89	3627	22
90	3631	22
91	3635	22
92	3639	22
93	3643	22
94	3647	22
95	3651	22
96	3655	22
97	3659	22
98	3663	22
99	3667	22
100	3671	22
101	3675	22
102	3679	22
103	3683	22
104	3687	22
105	3691	22
106	3695	22
107	3699	22
108	3703	22
109	3707	22
110	3711	22
111	3715	22
112	3719	22
113	3723	22
114	3727	22
115	3731	22
116	3735	22
117	3739	22
118	3743	22
119	3747	22
120	3751	22
121	3755	22
122	3759	22
123	3763	22
124	3767	22
125	3771	22
126	3775	22
127	3779	22
128	3783	22
129	3787	22
130	3791	22
131	3795	22
132	3799	22
133	3803	22
134	3807	22
135	3811	22
136	3815	22
137	3819	22
138	3823	22
139	3827	22
140	3831	22
141	3835	22
142	3839	22
143	3843	22
144	3847	22
145	3851	22
146	3855	22
147	3859	22
148	3863	22
149	3867	22
150	3871	22
151	3875	22
152	3879	22
153	3883	22
154	3887	22
155	3891	22
156	3895	22
157	3899	22
158	3903	22
159	3907	22
160	3911	22
161	3915	22
162	3919	22
163	3923	22
164	3927	22
165	3931	22
166	3935	22
167	3939	22
168	3943	22
169	3947	22
170	3951	22
171	3955	22
172	3959	22
173	3963	22
174	3967	22
175	3971	22
176	3975	22
177	3979	22
178	3983	22
179	3987	22
180	3991	22
181	3995	22
182	3999	22
183	4003	22
184	4007	22
185	4011	22
186	4015	22
187	4019	22
188	4023	22
189	4027	22
190	4031	22
191	4035	22
192	4039	22
193	4043	22
194	4047	22
195	4051	22
196	4055	22
197	4059	22
198	4063	22
199	4067	22
200	4071	22
201	4075	22
202	4079	22
203	4083	22
204	4087	22
205	4091	22
206	4095	22
207	4099	22
208	4103	22
209	4107	22
210	4111	22
211	4115	22
212	4119	22
213	4123	22
214	4127	22
215	4131	22
216	4135	22
217	4139	22
218	4143	22
219	4147	22
220	4151	22
221	4155	22
222	4159	22
223	4163	22
224	4167	22
225	4171	22
226	4175	22
227	4179	22
228	4183	22
229	4187	22
230	4191	22
231	4195	22
232	4199	22
233	4203	22
234	4207	22
235	4211	22
236	4215	22
237	4219	22
238	4223	22
239	4227	22
240	4231	22
241	4235	22
242	4239	22
243	4243	22
244	4247	22
245	4251	22
246	4255	22
247	4259	22
248	4263	22
249	4267	22
250	4271	22
251	4275	22
252	4279	22
253	4283	22
254	4287	22
255	4291	22
256	4295	22
257	4299	22
258	4303	22
259	4307	22
260	4311	22
261	4315	22
262	4319	22
263	4323	22
264	4327	22
265	4331	22
266	4335	22
267	4339	22
268	4343	22
269	4347	22
270	4351	22
271	4355	22
272	4359	22
273	4363	22
274	4367	22
275	4371	22
276	4375	22
277	4379	22
278	4383	22
279	4387	22
280	4391	22
281	4395	22
282	4399	22
283	4403	22
284	4407	22
285	4411	22
286	4415	22
287	4419	22
288	4423	22
289	4427	22
290	4431	22
291	4435	22
292	4439	22
293	4443	22
294	4447	22
295	4451	22
296	4455	22
297	4459	22
298	4463	22
299	4467	22
300	4471	22
301	4475	22
302	4479	22
303	4483	22
304	4487	22
305	4491	22
306	4495	22
307	4499	22
308	4503	22
309	4507	22
310	4511	22
311	4515	22
312	4519	22
313	4523	22
314	4527	22
315	4531	22
316	4535	22
317	4539	22
318	4543	22
319	4547	22
320	4551	22
321	4555	22
322	4559	22
323	4563	22
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 8 to 6 computations (25% saved)

simplify6.3s (38%)

Algorithm

1×	egg-herbie

Rules

21024×	`rational.json-simplify-41`
2290×	`rational.json-simplify-1`
648×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	13	11
3	20	11
4	35	11
5	78	11
6	206	11
7	587	11
8	744	11
9	747	11
10	750	11
11	753	11
12	756	11
13	759	11
14	762	11
15	765	11
16	768	11
17	771	11
18	774	11
19	777	11
20	780	11
21	783	11
22	786	11
23	2590	11
24	2593	11
25	2596	11
26	2599	11
27	2602	11
28	2605	11
29	3391	11
30	3394	11
31	3397	11
32	3400	11
33	3403	11
34	3406	11
35	3409	11
36	3412	11
37	3415	11
38	3418	11
39	3421	11
40	3424	11
41	3427	11
42	3430	11
43	3433	11
44	3436	11
45	3439	11
46	3442	11
47	3445	11
48	3448	11
49	3451	11
50	3454	11
51	3457	11
52	3460	11
53	3463	11
54	3466	11
55	3469	11
56	3472	11
57	3475	11
58	3478	11
59	3481	11
60	3484	11
61	3487	11
62	3490	11
63	3493	11
64	3496	11
65	3499	11
66	3502	11
67	3505	11
68	3508	11
69	3511	11
70	3514	11
71	3517	11
72	3520	11
73	3523	11
74	3526	11
75	3529	11
76	3532	11
77	3535	11
78	3538	11
79	3541	11
80	3544	11
81	3547	11
82	3550	11
83	3553	11
84	3556	11
85	3559	11
86	3562	11
87	3565	11
88	3568	11
89	3571	11
90	3574	11
91	3577	11
92	3580	11
93	3583	11
94	3586	11
95	3589	11
96	3592	11
97	3595	11
98	3598	11
99	3601	11
100	3604	11
101	3607	11
102	3610	11
103	3613	11
104	3616	11
105	3619	11
106	3622	11
107	3625	11
108	3628	11
109	3631	11
110	3634	11
111	3637	11
112	3640	11
113	3643	11
114	3646	11
115	3649	11
116	3652	11
117	3655	11
118	3658	11
119	3661	11
120	3664	11
121	3667	11
122	3670	11
123	3673	11
124	3676	11
125	3679	11
126	3682	11
127	3685	11
128	3688	11
129	3691	11
130	3694	11
131	3697	11
132	3700	11
133	3703	11
134	3706	11
135	3709	11
136	3712	11
137	3715	11
138	3718	11
139	3721	11
140	3724	11
141	3727	11
142	3730	11
143	3733	11
144	3736	11
145	3739	11
146	3742	11
147	3745	11
148	3748	11
149	3751	11
150	3754	11
151	3757	11
152	3760	11
153	3763	11
154	3766	11
155	3769	11
156	3772	11
157	3775	11
158	3778	11
159	3781	11
160	3784	11
161	3787	11
162	3790	11
163	3793	11
164	3796	11
165	3799	11
166	3802	11
167	3805	11
168	3808	11
169	3811	11
170	3814	11
171	3817	11
172	3820	11
173	3823	11
174	3826	11
175	3829	11
176	3832	11
177	3835	11
178	3838	11
179	3841	11
180	3844	11
181	3847	11
182	3850	11
183	3853	11
184	3856	11
185	3859	11
186	3862	11
187	3865	11
188	3868	11
189	3871	11
190	3874	11
191	3877	11
192	3880	11
193	3883	11
194	3886	11
195	3889	11
196	3892	11
197	3895	11
198	3898	11
199	3901	11
200	3904	11
201	3907	11
202	3910	11
203	3913	11
204	3916	11
205	3919	11
206	3922	11
207	3925	11
208	3928	11
209	3931	11
210	3934	11
211	3937	11
212	3940	11
213	3943	11
214	3946	11
215	3949	11
216	3952	11
217	3955	11
218	3958	11
219	3961	11
220	3964	11
221	3967	11
222	3970	11
223	3973	11
224	3976	11
225	3979	11
226	3982	11
227	3985	11
228	3988	11
229	3991	11
230	3994	11
231	3997	11
232	4000	11
233	4003	11
234	4006	11
235	4009	11
236	4012	11
237	4015	11
238	4018	11
239	4021	11
240	4024	11
241	4027	11
242	4030	11
243	4033	11
244	4036	11
245	4039	11
246	4042	11
247	4045	11
248	4048	11
249	4051	11
250	4054	11
251	4057	11
252	4060	11
253	4063	11
254	4066	11
255	4069	11
256	4072	11
257	4075	11
258	4078	11
259	4081	11
260	4084	11
261	4087	11
262	4090	11
263	4093	11
264	4096	11
265	4099	11
266	4102	11
267	4105	11
268	4108	11
269	4111	11
270	4114	11
271	4117	11
272	4120	11
273	4123	11
274	4126	11
275	4129	11
276	4132	11
277	4135	11
278	4138	11
279	4141	11
280	4144	11
281	4147	11
282	4150	11
283	4153	11
284	4156	11
285	4159	11
286	4162	11
287	4165	11
288	4168	11
289	4171	11
290	4174	11
291	4177	11
292	4180	11
293	4183	11
294	4186	11
295	4189	11
296	4192	11
297	4195	11
298	4198	11
299	4201	11
300	4204	11
301	4207	11
302	4210	11
303	4213	11
304	4216	11
305	4219	11
306	4222	11
307	4225	11
308	4228	11
309	4231	11
310	4234	11
311	4237	11
312	4240	11
313	4243	11
314	4246	11
315	4249	11
316	4252	11
317	4255	11
318	4258	11
319	4261	11
320	4264	11
321	4267	11
322	4270	11
323	4273	11

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 6 to 4 computations (33.3% 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

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(atan.f64 (/.f64 y x))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize4.0ms (0%)

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(atan.f64 (/.f64 y x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

soundness0.0ms (0%)

end50.0ms (0.3%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

Details

analyze12.0ms (0.1%)

sample5.8s (34.7%)

preprocess4.5s (26.9%)

simplify6.3s (38%)

eval0.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end50.0ms (0.3%)

Profiling