Details

analyze5.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
50%	25%	25%	0%	0%	50%	0%	4
75%	37.5%	12.5%	0%	0%	50%	0%	5
87.5%	43.7%	6.2%	0%	0%	50%	0%	6
93.8%	46.9%	3.1%	0%	0%	50%	0%	7
96.9%	48.4%	1.6%	0%	0%	50%	0%	8
98.4%	49.2%	0.8%	0%	0%	50%	0%	9
99.2%	49.6%	0.4%	0%	0%	50%	0%	10
99.6%	49.8%	0.2%	0%	0%	50%	0%	11
99.8%	49.9%	0.1%	0%	0%	50%	0%	12

Compiler

Compiled 15 to 14 computations (6.7% saved)

sample15.5s (58.6%)

Results

10.7s	2016×	body	512	valid
4.1s	4156×	body	1024	valid
462.0ms	457×	body	2048	valid
314.0ms	1627×	body	256	valid
0.0ms	2×	body	256	invalid

Bogosity

preprocess3.9s (14.7%)

Algorithm

2×	egg-herbie

Rules

20798×	`rational.json-simplify-41`
2308×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	41
1	22	41
2	28	41
3	38	41
4	56	41
5	103	41
6	238	41
7	611	41
8	774	41
9	780	41
10	786	41
11	792	41
12	798	41
13	804	41
14	810	41
15	816	41
16	822	41
17	828	41
18	834	41
19	840	41
20	846	41
21	852	41
22	858	41
23	2710	41
24	2716	41
25	2722	41
26	2728	41
27	2734	41
28	2740	41
29	3533	41
30	3539	41
31	3545	41
32	3551	41
33	3557	41
34	3563	41
35	3569	41
36	3575	41
37	3581	41
38	3587	41
39	3593	41
40	3599	41
41	3605	41
42	3611	41
43	3617	41
44	3623	41
45	3629	41
46	3635	41
47	3641	41
48	3647	41
49	3653	41
50	3659	41
51	3665	41
52	3671	41
53	3677	41
54	3683	41
55	3689	41
56	3695	41
57	3701	41
58	3707	41
59	3713	41
60	3719	41
61	3725	41
62	3731	41
63	3737	41
64	3743	41
65	3749	41
66	3755	41
67	3761	41
68	3767	41
69	3773	41
70	3779	41
71	3785	41
72	3791	41
73	3797	41
74	3803	41
75	3809	41
76	3815	41
77	3821	41
78	3827	41
79	3833	41
80	3839	41
81	3845	41
82	3851	41
83	3857	41
84	3863	41
85	3869	41
86	3875	41
87	3881	41
88	3887	41
89	3893	41
90	3899	41
91	3905	41
92	3911	41
93	3917	41
94	3923	41
95	3929	41
96	3935	41
97	3941	41
98	3947	41
99	3953	41
100	3959	41
101	3965	41
102	3971	41
103	3977	41
104	3983	41
105	3989	41
106	3995	41
107	4001	41
108	4007	41
109	4013	41
110	4019	41
111	4025	41
112	4031	41
113	4037	41
114	4043	41
115	4049	41
116	4055	41
117	4061	41
118	4067	41
119	4073	41
120	4079	41
121	4085	41
122	4091	41
123	4097	41
124	4103	41
125	4109	41
126	4115	41
127	4121	41
128	4127	41
129	4133	41
130	4139	41
131	4145	41
132	4151	41
133	4157	41
134	4163	41
135	4169	41
136	4175	41
137	4181	41
138	4187	41
139	4193	41
140	4199	41
141	4205	41
142	4211	41
143	4217	41
144	4223	41
145	4229	41
146	4235	41
147	4241	41
148	4247	41
149	4253	41
150	4259	41
151	4265	41
152	4271	41
153	4277	41
154	4283	41
155	4289	41
156	4295	41
157	4301	41
158	4307	41
159	4313	41
160	4319	41
161	4325	41
162	4331	41
163	4337	41
164	4343	41
165	4349	41
166	4355	41
167	4361	41
168	4367	41
169	4373	41
170	4379	41
171	4385	41
172	4391	41
173	4397	41
174	4403	41
175	4409	41
176	4415	41
177	4421	41
178	4427	41
179	4433	41
180	4439	41
181	4445	41
182	4451	41
183	4457	41
184	4463	41
185	4469	41
186	4475	41
187	4481	41
188	4487	41
189	4493	41
190	4499	41
191	4505	41
192	4511	41
193	4517	41
194	4523	41
195	4529	41
196	4535	41
197	4541	41
198	4547	41
199	4553	41
200	4559	41
201	4565	41
202	4571	41
203	4577	41
204	4583	41
205	4589	41
206	4595	41
207	4601	41
208	4607	41
209	4613	41
210	4619	41
211	4625	41
212	4631	41
213	4637	41
214	4643	41
215	4649	41
216	4655	41
217	4661	41
218	4667	41
219	4673	41
220	4679	41
221	4685	41
222	4691	41
223	4697	41
224	4703	41
225	4709	41
226	4715	41
227	4721	41
228	4727	41
229	4733	41
230	4739	41
231	4745	41
232	4751	41
233	4757	41
234	4763	41
235	4769	41
236	4775	41
237	4781	41
238	4787	41
239	4793	41
240	4799	41
241	4805	41
242	4811	41
243	4817	41
244	4823	41
245	4829	41
246	4835	41
247	4841	41
248	4847	41
249	4853	41
250	4859	41
251	4865	41
252	4871	41
253	4877	41
254	4883	41
255	4889	41
256	4895	41
257	4901	41
258	4907	41
259	4913	41
260	4919	41
261	4925	41
262	4931	41
263	4937	41
264	4943	41
265	4949	41
266	4955	41
267	4961	41
268	4967	41
269	4973	41
270	4979	41
271	4985	41
272	4991	41
273	4997	41
274	5003	41
275	5009	41
276	5015	41
277	5021	41
278	5027	41
279	5033	41
280	5039	41
281	5045	41
282	5051	41
283	5057	41
284	5063	41
285	5069	41
286	5075	41
287	5081	41
288	5087	41
289	5093	41
290	5099	41
291	5105	41
292	5111	41
293	5117	41
294	5123	41
295	5129	41
296	5135	41
297	5141	41
298	5147	41
299	5153	41
300	5159	41
301	5165	41
302	5171	41
303	5177	41
304	5183	41
305	5189	41
306	5195	41
307	5201	41
308	5207	41
309	5213	41
310	5219	41
311	5225	41
312	5231	41
313	5237	41
314	5243	41
315	5249	41
316	5255	41
317	5261	41
318	5267	41
319	5273	41
320	5279	41
321	5285	41
322	5291	41
323	5297	41
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Outputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify5.0s (18.8%)

Algorithm

1×	egg-herbie

Rules

20798×	`rational.json-simplify-41`
2308×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	41
1	22	41
2	28	41
3	38	41
4	56	41
5	103	41
6	238	41
7	611	41
8	774	41
9	780	41
10	786	41
11	792	41
12	798	41
13	804	41
14	810	41
15	816	41
16	822	41
17	828	41
18	834	41
19	840	41
20	846	41
21	852	41
22	858	41
23	2710	41
24	2716	41
25	2722	41
26	2728	41
27	2734	41
28	2740	41
29	3533	41
30	3539	41
31	3545	41
32	3551	41
33	3557	41
34	3563	41
35	3569	41
36	3575	41
37	3581	41
38	3587	41
39	3593	41
40	3599	41
41	3605	41
42	3611	41
43	3617	41
44	3623	41
45	3629	41
46	3635	41
47	3641	41
48	3647	41
49	3653	41
50	3659	41
51	3665	41
52	3671	41
53	3677	41
54	3683	41
55	3689	41
56	3695	41
57	3701	41
58	3707	41
59	3713	41
60	3719	41
61	3725	41
62	3731	41
63	3737	41
64	3743	41
65	3749	41
66	3755	41
67	3761	41
68	3767	41
69	3773	41
70	3779	41
71	3785	41
72	3791	41
73	3797	41
74	3803	41
75	3809	41
76	3815	41
77	3821	41
78	3827	41
79	3833	41
80	3839	41
81	3845	41
82	3851	41
83	3857	41
84	3863	41
85	3869	41
86	3875	41
87	3881	41
88	3887	41
89	3893	41
90	3899	41
91	3905	41
92	3911	41
93	3917	41
94	3923	41
95	3929	41
96	3935	41
97	3941	41
98	3947	41
99	3953	41
100	3959	41
101	3965	41
102	3971	41
103	3977	41
104	3983	41
105	3989	41
106	3995	41
107	4001	41
108	4007	41
109	4013	41
110	4019	41
111	4025	41
112	4031	41
113	4037	41
114	4043	41
115	4049	41
116	4055	41
117	4061	41
118	4067	41
119	4073	41
120	4079	41
121	4085	41
122	4091	41
123	4097	41
124	4103	41
125	4109	41
126	4115	41
127	4121	41
128	4127	41
129	4133	41
130	4139	41
131	4145	41
132	4151	41
133	4157	41
134	4163	41
135	4169	41
136	4175	41
137	4181	41
138	4187	41
139	4193	41
140	4199	41
141	4205	41
142	4211	41
143	4217	41
144	4223	41
145	4229	41
146	4235	41
147	4241	41
148	4247	41
149	4253	41
150	4259	41
151	4265	41
152	4271	41
153	4277	41
154	4283	41
155	4289	41
156	4295	41
157	4301	41
158	4307	41
159	4313	41
160	4319	41
161	4325	41
162	4331	41
163	4337	41
164	4343	41
165	4349	41
166	4355	41
167	4361	41
168	4367	41
169	4373	41
170	4379	41
171	4385	41
172	4391	41
173	4397	41
174	4403	41
175	4409	41
176	4415	41
177	4421	41
178	4427	41
179	4433	41
180	4439	41
181	4445	41
182	4451	41
183	4457	41
184	4463	41
185	4469	41
186	4475	41
187	4481	41
188	4487	41
189	4493	41
190	4499	41
191	4505	41
192	4511	41
193	4517	41
194	4523	41
195	4529	41
196	4535	41
197	4541	41
198	4547	41
199	4553	41
200	4559	41
201	4565	41
202	4571	41
203	4577	41
204	4583	41
205	4589	41
206	4595	41
207	4601	41
208	4607	41
209	4613	41
210	4619	41
211	4625	41
212	4631	41
213	4637	41
214	4643	41
215	4649	41
216	4655	41
217	4661	41
218	4667	41
219	4673	41
220	4679	41
221	4685	41
222	4691	41
223	4697	41
224	4703	41
225	4709	41
226	4715	41
227	4721	41
228	4727	41
229	4733	41
230	4739	41
231	4745	41
232	4751	41
233	4757	41
234	4763	41
235	4769	41
236	4775	41
237	4781	41
238	4787	41
239	4793	41
240	4799	41
241	4805	41
242	4811	41
243	4817	41
244	4823	41
245	4829	41
246	4835	41
247	4841	41
248	4847	41
249	4853	41
250	4859	41
251	4865	41
252	4871	41
253	4877	41
254	4883	41
255	4889	41
256	4895	41
257	4901	41
258	4907	41
259	4913	41
260	4919	41
261	4925	41
262	4931	41
263	4937	41
264	4943	41
265	4949	41
266	4955	41
267	4961	41
268	4967	41
269	4973	41
270	4979	41
271	4985	41
272	4991	41
273	4997	41
274	5003	41
275	5009	41
276	5015	41
277	5021	41
278	5027	41
279	5033	41
280	5039	41
281	5045	41
282	5051	41
283	5057	41
284	5063	41
285	5069	41
286	5075	41
287	5081	41
288	5087	41
289	5093	41
290	5099	41
291	5105	41
292	5111	41
293	5117	41
294	5123	41
295	5129	41
296	5135	41
297	5141	41
298	5147	41
299	5153	41
300	5159	41
301	5165	41
302	5171	41
303	5177	41
304	5183	41
305	5189	41
306	5195	41
307	5201	41
308	5207	41
309	5213	41
310	5219	41
311	5225	41
312	5231	41
313	5237	41
314	5243	41
315	5249	41
316	5255	41
317	5261	41
318	5267	41
319	5273	41
320	5279	41
321	5285	41
322	5291	41
323	5297	41

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Outputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

eval0.0ms (0%)

Compiler: Compiled 14 to 13 computations (7.1% saved)

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

59.6b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	59.6b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Compiler

Compiled 14 to 13 computations (7.1% saved)

localize30.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (/.f64 (-.f64 1 x) 2))
✓	1.0b	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
✓	4.2b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Compiler

Compiled 51 to 42 computations (17.6% saved)

series3.0ms (0%)

Counts

3 → 28

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
1.0ms	x	@	inf	(sqrt.f64 (/.f64 (-.f64 1 x) 2))
0.0ms	x	@	0	(sqrt.f64 (/.f64 (-.f64 1 x) 2))
0.0ms	x	@	inf	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
0.0ms	x	@	-inf	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

rewrite98.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1632×	`bool.json-1`
1632×	`bool.json-2`
1580×	`rational.json-1`
1580×	`rational.json-2`
1580×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	79
1	150	79
2	380	79
3	732	79
4	1472	79
5	3335	79
6	6384	79

Stop Event

1×	node limit

Counts

3 → 76

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
(sqrt.f64 (/.f64 (-.f64 1 x) 2))

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

Outputs

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

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

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

simplify253.0ms (1%)

Algorithm

1×	egg-herbie

Rules

2046×	`rational.json-simplify-1`
1910×	`rational.json-simplify-35`
1174×	`rational.json-simplify-48`
1172×	`rational.json-simplify-2`
1074×	`rational.json-simplify-52`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	166	3354
1	313	3258
2	763	3238
3	1749	3222
4	3186	3222
5	4109	3222
6	4736	3222
7	5919	3222
8	7065	3222
9	7453	3222
10	7462	3222

Stop Event

1×	node limit

Counts

104 → 100

Calls

Call 1

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

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

eval39.0ms (0.1%)

Compiler: Compiled 1776 to 1552 computations (12.6% saved)

prune88.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	99	2	101

Error

59.6b

Counts

101 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	59.6b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
▶	61.5b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Compiler

Compiled 24 to 23 computations (4.2% saved)

localize496.0ms (1.9%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	1.0b	(asin.f64 (sqrt.f64 1/2))

Compiler

Compiled 26 to 24 computations (7.7% saved)

series0.0ms (0%)

Counts: 1 → 0

rewrite122.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1964×	`bool.json-1`
1654×	`rational.json-simplify-35`
1330×	`bool.json-2`
1292×	`rational.json-1`
1292×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	51	9
2	160	9
3	330	9
4	644	9
5	1327	9
6	3045	9
7	5599	9
8	7966	9

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

Inputs
(asin.f64 (sqrt.f64 1/2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (asin.f64 (sqrt.f64 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (asin.f64 (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))) (.f64 1/2 (asin.f64 (sqrt.f64 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (asin.f64 (sqrt.f64 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (asin.f64 (sqrt.f64 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (asin.f64 (sqrt.f64 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (asin.f64 (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (asin.f64 (sqrt.f64 1/2)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (asin.f64 (sqrt.f64 1/2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (asin.f64 (sqrt.f64 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (asin.f64 (sqrt.f64 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (asin.f64 (sqrt.f64 1/2)) (asin.f64 (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (asin.f64 (sqrt.f64 1/2)) (asin.f64 (sqrt.f64 1/2)))))))

Outputs

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

simplify860.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

4920×	`rational.json-simplify-51`
2968×	`rational.json-simplify-35`
1076×	`rational.json-simplify-49`
930×	`rational.json-simplify-1`
912×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	216
1	100	216
2	364	216
3	844	216
4	1329	216
5	1983	216
6	2337	216
7	2414	216
8	2465	216
9	2497	216
10	2528	216
11	2559	216
12	2590	216
13	2621	216
14	2652	216
15	2683	216
16	2714	216
17	2745	216
18	2776	216
19	3519	216
20	3583	216
21	3645	216
22	3705	216
23	3763	216
24	3820	216
25	4048	216
26	4105	216
27	4162	216
28	4219	216
29	4219	216
30	4276	216
31	4333	216
32	4390	216
33	4447	216
34	4504	216
35	7805	216
36	7857	216
37	7886	216
38	7915	216
39	7944	216
40	7973	216

Stop Event

1×	node limit

Counts

24 → 25

Calls

Call 1

Inputs
(+.f64 (asin.f64 (sqrt.f64 1/2)) 0)
(+.f64 0 (asin.f64 (sqrt.f64 1/2)))
(+.f64 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))) (.f64 1/2 (asin.f64 (sqrt.f64 1/2))))
(-.f64 (asin.f64 (sqrt.f64 1/2)) 0)
(.f64 1/2 (.f64 (asin.f64 (sqrt.f64 1/2)) 2))
(*.f64 (asin.f64 (sqrt.f64 1/2)) 1)
(*.f64 1 (asin.f64 (sqrt.f64 1/2)))
(.f64 2 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))))
(.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 2) 1/2)
(.f64 4 (.f64 (asin.f64 (sqrt.f64 1/2)) 1/4))
(.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 4) 1/4)
(.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 8) 1/8)
(.f64 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))) 2)
(.f64 1/4 (.f64 (asin.f64 (sqrt.f64 1/2)) 4))
(.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 1/4) 4)
(.f64 1/8 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))
(/.f64 (asin.f64 (sqrt.f64 1/2)) 1)
(/.f64 (*.f64 (asin.f64 (sqrt.f64 1/2)) 2) 2)
(/.f64 (*.f64 (asin.f64 (sqrt.f64 1/2)) 4) 4)
(/.f64 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8) 8)
(/.f64 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))))) 128)

Outputs
(+.f64 (asin.f64 (sqrt.f64 1/2)) 0)
(asin.f64 (sqrt.f64 1/2))
(+.f64 0 (asin.f64 (sqrt.f64 1/2)))
(asin.f64 (sqrt.f64 1/2))
(+.f64 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))) (.f64 1/2 (asin.f64 (sqrt.f64 1/2))))
(asin.f64 (sqrt.f64 1/2))
(-.f64 (asin.f64 (sqrt.f64 1/2)) 0)
(asin.f64 (sqrt.f64 1/2))
(.f64 1/2 (.f64 (asin.f64 (sqrt.f64 1/2)) 2))
(asin.f64 (sqrt.f64 1/2))
(*.f64 (asin.f64 (sqrt.f64 1/2)) 1)
(asin.f64 (sqrt.f64 1/2))
(*.f64 1 (asin.f64 (sqrt.f64 1/2)))
(asin.f64 (sqrt.f64 1/2))
(.f64 2 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))))
(asin.f64 (sqrt.f64 1/2))
(.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 2) 1/2)
(asin.f64 (sqrt.f64 1/2))
(.f64 4 (.f64 (asin.f64 (sqrt.f64 1/2)) 1/4))
(asin.f64 (sqrt.f64 1/2))
(.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 4) 1/4)
(asin.f64 (sqrt.f64 1/2))
(.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 8) 1/8)
(asin.f64 (sqrt.f64 1/2))
(.f64 (.f64 1/2 (asin.f64 (sqrt.f64 1/2))) 2)
(asin.f64 (sqrt.f64 1/2))
(.f64 1/4 (.f64 (asin.f64 (sqrt.f64 1/2)) 4))
(asin.f64 (sqrt.f64 1/2))
(.f64 (.f64 (asin.f64 (sqrt.f64 1/2)) 1/4) 4)
(asin.f64 (sqrt.f64 1/2))
(.f64 1/8 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))
(asin.f64 (sqrt.f64 1/2))
(/.f64 (asin.f64 (sqrt.f64 1/2)) 1)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (*.f64 (asin.f64 (sqrt.f64 1/2)) 2) 2)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (*.f64 (asin.f64 (sqrt.f64 1/2)) 4) 4)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8) 8)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)) 16)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (.f64 2 (.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))) 32)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))) 64)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))))) 128)
(asin.f64 (sqrt.f64 1/2))

eval10.0ms (0%)

Compiler: Compiled 344 to 320 computations (7% saved)

prune4.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	25	2	27

Error

59.6b

Counts

27 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	59.6b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
✓	61.5b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Compiler

Compiled 24 to 23 computations (4.2% saved)

regimes58.0ms (0.2%)

Accuracy

Total -1.9b remaining (-3.2%)

Threshold costs -1.9b (-3.2%)

Counts

2 → 1

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Outputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))

Calls

7 calls:

44.0ms	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
3.0ms	x
2.0ms	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
2.0ms	(*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
2.0ms	(/.f64 (-.f64 1 x) 2)

Results

Error	Segments	Branch
59.6b	1	`x`
59.6b	1	`(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))`
59.6b	1	`(*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))`
59.6b	1	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))`
59.6b	1	`(sqrt.f64 (/.f64 (-.f64 1 x) 2))`
59.6b	1	`(/.f64 (-.f64 1 x) 2)`
59.6b	1	`(-.f64 1 x)`

Compiler

Compiled 74 to 65 computations (12.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Outputs
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Compiler

Compiled 24 to 23 computations (4.2% saved)

soundness0.0ms (0%)

end22.0ms (0.1%)

Compiler: Compiled 23 to 21 computations (8.7% saved)

Details

analyze5.0ms (0%)

sample15.5s (58.6%)

preprocess3.9s (14.7%)

simplify5.0s (18.8%)

eval0.0ms (0%)

prune2.0ms (0%)

localize30.0ms (0.1%)

series3.0ms (0%)

rewrite98.0ms (0.4%)

simplify253.0ms (1%)

eval39.0ms (0.1%)

prune88.0ms (0.3%)

localize496.0ms (1.9%)

series0.0ms (0%)

rewrite122.0ms (0.5%)

simplify860.0ms (3.2%)

eval10.0ms (0%)

prune4.0ms (0%)

regimes58.0ms (0.2%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end22.0ms (0.1%)

Profiling