Details

analyze31.0ms (0.1%)

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 (55.7%)

Results

14.2s	4179×	body	1024	valid
695.0ms	2095×	body	512	valid
336.0ms	458×	body	2048	valid
228.0ms	1524×	body	256	valid
0.0ms	2×	body	256	invalid

Bogosity

preprocess4.5s (16.1%)

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)

simplify4.0s (14.2%)

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)

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

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)))
✓	5.8b	(-.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	@	inf	(sqrt.f64 (/.f64 (-.f64 1 x) 2))
1.0ms	x	@	0	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
1.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)))))

rewrite127.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1704×	`rational.json-simplify-35`
1382×	`exponential.json-3`
1382×	`rational.json-1`
1382×	`rational.json-2`
1382×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	79
1	104	79
2	205	79
3	392	79
4	723	79
5	1705	79
6	3476	79
7	5146	79
8	6908	79

Stop Event

1×	node limit

Counts

3 → 90

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 1 (+.f64 (.f64 (PI.f64) 1/2) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.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 1 (.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 (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 2 (-.f64 (.f64 (PI.f64) 1/4) (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 (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) (+.f64 (.f64 (PI.f64) 1/2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (+.f64 (.f64 2 (-.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) 1/2) 1) (-.f64 -1 (.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/4) (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) (.f64 (PI.f64) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (PI.f64) 1/4) (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)))))) (+.f64 (.f64 (PI.f64) 1/4) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) 2) -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 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 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) 1)))) (#(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 (.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8)) 1/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) 1/8) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 1/2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (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 (.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 4 (-.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 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4) (PI.f64)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 4 (-.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 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (.f64 (PI.f64) 2)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 4 (-.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 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (.f64 (PI.f64) 2))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (.f64 (PI.f64) 2)))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) 1)))) (#(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 +.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 1/8 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8))))) (#(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 (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 /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 1)))))
((#(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 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 1)))))

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 1 (+.f64 (*.f64 (PI.f64) 1/2) (-.f64 -1 (*.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (-.f64 (*.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.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 1 (*.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 (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 2 (-.f64 (*.f64 (PI.f64) 1/4) (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 (-.f64 1 (*.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) (+.f64 (*.f64 (PI.f64) 1/2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (+.f64 (*.f64 2 (-.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) 1/2) 1) (-.f64 -1 (*.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/4) (*.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) (*.f64 (PI.f64) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (PI.f64) 1/4) (-.f64 1 (*.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))) (+.f64 (*.f64 (PI.f64) 1/4) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 2 (-.f64 (*.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 2) -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 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 (*.f64 2 (-.f64 (*.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 1)))) (#(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 (*.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8)) 1/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) 1/8) (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 1/2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 (*.f64 (PI.f64) 1/4) (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 (*.f64 (PI.f64) 2) (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (-.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 (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 4) (PI.f64)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 4 (-.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 (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8) (*.f64 (PI.f64) 2)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 4 (-.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 2 (-.f64 (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8) (*.f64 (PI.f64) 2))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (-.f64 (PI.f64) (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 4)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (-.f64 (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8) (*.f64 (PI.f64) 2)))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (-.f64 (PI.f64) (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 4)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 4 (-.f64 (PI.f64) (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 4))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (-.f64 (*.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 1)))) (#(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 +.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 1/8 (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8))))) (#(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 (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 /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 1)))))

((#(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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 1)))))

simplify317.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1932×	`rational.json-simplify-35`
1812×	`rational.json-simplify-1`
1520×	`rational.json-simplify-2`
1062×	`rational.json-simplify-51`
858×	`rational.json-simplify-41`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	195	3598
1	400	3598
2	1026	3578
3	1986	3568
4	3769	3568
5	4480	3568
6	4978	3568
7	5371	3568
8	6203	3568
9	6664	3568
10	7780	3568

Stop Event

1×	node limit

Counts

118 → 118

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 1 (+.f64 (.f64 (PI.f64) 1/2) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))))
(+.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 0)
(+.f64 0 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(+.f64 -1 (+.f64 1 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (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 2 (-.f64 (.f64 (PI.f64) 1/4) (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 (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) (+.f64 (*.f64 (PI.f64) 1/2) -1))
(+.f64 -2 (+.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 2))
(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(+.f64 (-.f64 (.f64 (PI.f64) 1/4) (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) (.f64 (PI.f64) 1/4))
(+.f64 (+.f64 (.f64 (PI.f64) 1/4) (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)))))) (+.f64 (.f64 (PI.f64) 1/4) -1))
(+.f64 (+.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 2) -2)
(.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(.f64 1 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))))
(.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) 1)
(.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 (.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8)) 1/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) 1/8) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 1/2)) 4)
(/.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (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 (.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8)) 4)
(/.f64 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 4))) 8)
(/.f64 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4) (PI.f64)) -2)
(/.f64 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4)))) 16)
(/.f64 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (*.f64 (PI.f64) 2)) -4)
(/.f64 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 4))))) 32)
(/.f64 (.f64 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (.f64 (PI.f64) 2))) -8)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4)))))) 64)
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (*.f64 (PI.f64) 2)))) -16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4))))))) 128)
(pow.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 1)
(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 1/8 (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8))
(.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 1/4) 4)
(/.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 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8))))) 128)
(pow.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 1)
(+.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 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8) 8)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8))))) 128)
(pow.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 1)

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 (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 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 (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 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 (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 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 (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 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 (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 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 (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 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 (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 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 (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 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 (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 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 (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 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 (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 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 (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))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 -1/16 (.f64 (sqrt.f64 1/2) (pow.f64 x 3)))))
(+.f64 (.f64 (sqrt.f64 1/2) (+.f64 (.f64 -1/8 (pow.f64 x 2)) (.f64 x -1/2))) (+.f64 (sqrt.f64 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)) (.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 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))))
(-.f64 (.f64 1/2 (PI.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 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 0)
(-.f64 (.f64 1/2 (PI.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 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(-.f64 (.f64 1/2 (PI.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 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))))
(-.f64 (.f64 1/2 (PI.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)) (.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 1/2 (PI.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 1 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))) -1)
(-.f64 (.f64 1/2 (PI.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)) (.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 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) (+.f64 (*.f64 (PI.f64) 1/2) -1))
(-.f64 (.f64 1/2 (PI.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 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 2))
(-.f64 (.f64 1/2 (PI.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) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(-.f64 (.f64 1/2 (PI.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) (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) (.f64 (PI.f64) 1/4))
(-.f64 (.f64 1/2 (PI.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) (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)))))) (+.f64 (.f64 (PI.f64) 1/4) -1))
(-.f64 (.f64 1/2 (PI.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 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 2) -2)
(-.f64 (.f64 1/2 (PI.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)) (.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 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))))
(-.f64 (.f64 1/2 (PI.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 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))))) 1)
(-.f64 (.f64 1/2 (PI.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)) (.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)) (.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 (.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8)) 1/4)
(-.f64 (.f64 1/2 (PI.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)) (.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)) (.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/8) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 1/2)) 4)
(.f64 4 (-.f64 (.f64 (PI.f64) 1/8) (.f64 1/2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(/.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 1)
(-.f64 (.f64 1/2 (PI.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 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))) 4)) 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 (.f64 (PI.f64) 2) (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8)) 4)
(-.f64 (.f64 1/2 (PI.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 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 4))) 8)
(-.f64 (.f64 1/2 (PI.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 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4) (PI.f64)) -2)
(/.f64 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))) 4) (PI.f64)) -2)
(/.f64 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4)))) 16)
(-.f64 (.f64 1/2 (PI.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 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (*.f64 (PI.f64) 2)) -4)
(/.f64 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))) 8) (*.f64 (PI.f64) 2)) -4)
(/.f64 (.f64 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x)))) 4) (PI.f64))) -4)
(/.f64 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 4))))) 32)
(-.f64 (.f64 1/2 (PI.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 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (.f64 (PI.f64) 2))) -8)
(.f64 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))) 8) (.f64 (PI.f64) 2)) -1/4)
(.f64 (.f64 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))) 4) (PI.f64))) -1/4)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4)))))) 64)
(-.f64 (.f64 1/2 (PI.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 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8) (*.f64 (PI.f64) 2)))) -16)
(.f64 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))) 8) (.f64 (PI.f64) 2)) -1/4)
(.f64 (.f64 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))) 4) (PI.f64))) -1/4)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 4 (-.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 4))))))) 128)
(-.f64 (.f64 1/2 (PI.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))
(pow.f64 (.f64 2 (-.f64 (.f64 (PI.f64) 1/4) (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))) 1)
(-.f64 (.f64 1/2 (PI.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))
(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 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 (.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 (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 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 8)))) 64)
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2))) 8))))) 128)
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(pow.f64 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))) 1)
(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 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8) 8)
(sqrt.f64 (*.f64 1/2 (-.f64 1 x)))
(/.f64 (.f64 2 (.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8)) 16)
(sqrt.f64 (*.f64 1/2 (-.f64 1 x)))
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8))) 32)
(sqrt.f64 (*.f64 1/2 (-.f64 1 x)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 8)))) 64)
(sqrt.f64 (*.f64 1/2 (-.f64 1 x)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (-.f64 1 x) 1/2)) 8))))) 128)
(sqrt.f64 (*.f64 1/2 (-.f64 1 x)))
(pow.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)) 1)
(sqrt.f64 (*.f64 1/2 (-.f64 1 x)))

eval69.0ms (0.2%)

Compiler: Compiled 2074 to 1816 computations (12.4% saved)

prune185.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	116	2	118
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	3	119

Error

58.2b

Counts

119 → 3

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.3b

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

▶

58.8b

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

Compiler

Compiled 42 to 40 computations (4.8% saved)

localize186.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 73 to 62 computations (15.1% saved)

series2.0ms (0%)

Counts

4 → 40

Calls

12 calls:

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

rewrite323.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1392×	`exponential.json-3`
1392×	`rational.json-1`
1392×	`rational.json-2`
1392×	`rational.json-4`
1392×	`rational.json-3`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	19	124
1	128	124
2	228	124
3	442	118
4	830	116
5	2118	116
6	4338	116
7	5780	116
8	7114	116

Stop Event

1×	node limit

Counts

4 → 108

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(-.f64 -1 (.f64 2 (asin.f64 (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 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (PI.f64) 1/2) (-.f64 -1 (.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/2) (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 2 (+.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 1/2 (+.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2) (+.f64 (PI.f64) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (+.f64 (PI.f64) 2) (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.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 2 (.f64 1/2 (+.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 2 (+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) (/.f64 (+.f64 (PI.f64) 2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (/.f64 (+.f64 (PI.f64) 2) 4) (.f64 1/2 (-.f64 -1 (.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) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (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 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 1)))))
((#(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 1/2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) (.f64 1/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 1/2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -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 2 (.f64 1/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))) 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 (.f64 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) 2)))) (#(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/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 /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 -1 (.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))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) -1) (+.f64 1 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (+.f64 1 (.f64 2 (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 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (neg.f64 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 1 (.f64 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 1/2 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) (.f64 1/2 (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 1/2 (.f64 2 (sqrt.f64 (.f64 (+.f64 -1 x) -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 2 (.f64 1/2 (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 (.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 1/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 (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 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 1)))))

simplify468.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

2086×	`rational.json-simplify-1`
1924×	`rational.json-simplify-35`
1586×	`rational.json-simplify-51`
1314×	`rational.json-simplify-52`
998×	`rational.json-simplify-41`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	224	4902
1	469	4566
2	1098	4546
3	2306	4536
4	4564	4464
5	5269	4464
6	6124	4464
7	6814	4464
8	7607	4464
9	7836	4464

Stop Event

1×	node limit

Counts

148 → 148

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)))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x))))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x))))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x))))))))
(.f64 -1 (+.f64 1 (.f64 2 (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 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 0)
(-.f64 (+.f64 (.f64 (PI.f64) 1/2) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) -1)
(-.f64 (+.f64 (.f64 (PI.f64) 1/2) (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 1)
(.f64 1/2 (.f64 2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))))
(.f64 1/2 (+.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2) (+.f64 (PI.f64) 2)))
(.f64 1/2 (+.f64 (+.f64 (PI.f64) 2) (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2)))
(.f64 1 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))))
(.f64 2 (.f64 1/2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))))
(.f64 2 (+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) (/.f64 (+.f64 (PI.f64) 2) 4)))
(.f64 2 (+.f64 (/.f64 (+.f64 (PI.f64) 2) 4) (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))
(.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 1)
(.f64 4 (/.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 4))
(.f64 (.f64 2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))) 1/2)
(.f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 4) 1/4)
(.f64 1/4 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 4))
(.f64 (.f64 1/2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))) 2)
(.f64 (/.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 4) 4)
(/.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 1)
(/.f64 (.f64 2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))) 2)
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 8)))) 64)
(pow.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 1)
(+.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 1/2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) (.f64 1/2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))
(-.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 0)
(.f64 1/2 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))
(.f64 1 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))
(.f64 2 (.f64 1/2 (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 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 8) 1/8)
(.f64 (.f64 1/2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))) 2)
(.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/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 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 8)))) 64)
(pow.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 1)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 -1 (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 0)
(+.f64 0 (-.f64 -1 (.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))))) -1)
(+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))))
(+.f64 -2 (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)
(+.f64 (+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) -1) (+.f64 1 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))
(.f64 1/2 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2))
(.f64 1 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))
(.f64 2 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))))
(.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 1)
(.f64 4 (/.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4))
(.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2) 1/2)
(.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) -1)
(.f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4) 1/4)
(.f64 1/4 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4))
(.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 2)
(.f64 (/.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 2) -2)
(.f64 (/.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4) 4)
(/.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)
(/.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))) -2) 2) 2)
(/.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) -1)
(/.f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4) 4)
(/.f64 (.f64 2 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) -2)
(/.f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 8) 8)
(/.f64 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4) -4)
(/.f64 (.f64 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 8)) 16)
(/.f64 (.f64 2 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4)) -8)
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 8))) 32)
(/.f64 (neg.f64 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4)) 4)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 8)))) 64)
(/.f64 (.f64 2 (neg.f64 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4))) 8)
(pow.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 0)
(+.f64 0 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))
(+.f64 (.f64 1/2 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) (.f64 1/2 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))
(-.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 0)
(.f64 1/2 (.f64 2 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))
(.f64 1 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))
(.f64 2 (.f64 1/2 (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 (.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 1/2 (sqrt.f64 (*.f64 (+.f64 -1 x) -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 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 8) 8)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 8)))) 64)
(pow.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 1)

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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.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 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))))
(-.f64 (.f64 1/2 (PI.f64)) (.f64 2 (asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x)))))
(asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2)))
(asin.f64 (sqrt.f64 (*.f64 1/2 (-.f64 1 x))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 (.f64 2 (asin.f64 (*.f64 (sqrt.f64 1/2) (sqrt.f64 (-.f64 1 x))))) 1))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x))))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x))))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x))))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 -1 x))))))))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.f64 1 x)))))))
(-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 1/2 (-.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 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (+.f64 (.f64 x -1/2) (*.f64 -1/8 (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 (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 (+.f64 (.f64 (sqrt.f64 1/2) (.f64 x -1/2)) (.f64 (sqrt.f64 1/2) (.f64 -1/8 (pow.f64 x 2)))) (+.f64 (.f64 (sqrt.f64 1/2) (.f64 -1/16 (pow.f64 x 3))) (sqrt.f64 1/2)))
(+.f64 (sqrt.f64 1/2) (+.f64 (.f64 (sqrt.f64 1/2) (+.f64 (.f64 -1/8 (pow.f64 x 2)) (.f64 x -1/2))) (.f64 (pow.f64 x 3) (*.f64 (sqrt.f64 1/2) -1/16))))
(+.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 1/2) (+.f64 (.f64 -1/16 (pow.f64 x 3)) (+.f64 (.f64 x -1/2) (.f64 -1/8 (pow.f64 x 2))))))
(-.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(-.f64 (+.f64 (.f64 (PI.f64) 1/2) (-.f64 -1 (.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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(-.f64 (+.f64 (.f64 (PI.f64) 1/2) (-.f64 1 (.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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 1/2 (.f64 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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 1/2 (+.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2) (+.f64 (PI.f64) 2)))
(.f64 1/2 (+.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1))))) -2) 2) (+.f64 (PI.f64) 2)))
(.f64 1/2 (+.f64 2 (+.f64 (-.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -4) 2) (PI.f64))))
(.f64 1/2 (+.f64 2 (+.f64 (PI.f64) (-.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -4) 2))))
(.f64 1/2 (+.f64 (PI.f64) (+.f64 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -4) 2))))
(.f64 1/2 (+.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -4)))
(.f64 1/2 (+.f64 (+.f64 (PI.f64) 2) (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2)))
(.f64 1/2 (+.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1))))) -2) 2) (+.f64 (PI.f64) 2)))
(.f64 1/2 (+.f64 2 (+.f64 (-.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -4) 2) (PI.f64))))
(.f64 1/2 (+.f64 2 (+.f64 (PI.f64) (-.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -4) 2))))
(.f64 1/2 (+.f64 (PI.f64) (+.f64 2 (-.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -4) 2))))
(.f64 1/2 (+.f64 (PI.f64) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -4)))
(.f64 1 (+.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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 2 (.f64 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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 2 (+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) (/.f64 (+.f64 (PI.f64) 2) 4)))
(.f64 2 (+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1))))))) (/.f64 (+.f64 (PI.f64) 2) 4)))
(.f64 2 (+.f64 (.f64 1/2 (+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))) (/.f64 (+.f64 (PI.f64) 2) 4)))
(.f64 2 (+.f64 (/.f64 (+.f64 (PI.f64) 2) 4) (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))
(.f64 2 (+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1))))))) (/.f64 (+.f64 (PI.f64) 2) 4)))
(.f64 2 (+.f64 (.f64 1/2 (+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))) (/.f64 (+.f64 (PI.f64) 2) 4)))
(.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 4 (/.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (.f64 2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))) 1/2)
(+.f64 (.f64 1/2 (PI.f64)) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 1/4 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (.f64 1/2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (/.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 8) 8)
(+.f64 (.f64 1/2 (PI.f64)) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 8)) 16)
(+.f64 (.f64 1/2 (PI.f64)) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 8))) 32)
(+.f64 (.f64 1/2 (PI.f64)) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) 8)))) 64)
(+.f64 (.f64 1/2 (PI.f64)) (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(pow.f64 (+.f64 (.f64 (PI.f64) 1/2) (neg.f64 (.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 x -1)))))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 0)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(+.f64 0 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(+.f64 (.f64 1/2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) (.f64 1/2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(-.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 0)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 1/2 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 1 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 2 (.f64 1/2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) 1)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))) 1/2)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 4 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 1/4))
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 4) 1/4)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 8) 1/8)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 (.f64 1/2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))) 2)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 1/4 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 4))
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 1/4) 4)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(.f64 1/8 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 8))
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(/.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 1)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(/.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) 2)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(/.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) 4) 4)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(/.f64 (.f64 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) 8) 8)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(/.f64 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 8)) 16)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(/.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 x -1))))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 8)))) 64)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(pow.f64 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 1)
(asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 -1 (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 0)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 0 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 (neg.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) -1)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 -2 (-.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 (+.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) -1) (+.f64 1 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 1/2 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 1 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 -1 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 2 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 1)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 4 (/.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))) -2) 2) 1/2)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) -1)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4) 1/4)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 1/4 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (.f64 1/2 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))))) 2)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(.f64 (/.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 2) -2)
(.f64 -2 (/.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))))) 2))
(.f64 (/.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4) 4)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (-.f64 (.f64 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))) -2) 2) 2)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) -1)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4) 4)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))))) -2)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 8) 8)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4) -4)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 8)) 16)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4)) -8)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 8))) 32)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (neg.f64 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))) 4)) 4)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 8)))) 64)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(/.f64 (.f64 2 (neg.f64 (.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 4))) 8)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(pow.f64 (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))) 1)
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(neg.f64 (+.f64 1 (.f64 2 (asin.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))))
(+.f64 1 (-.f64 -2 (.f64 2 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))))))
(+.f64 -1 (.f64 (asin.f64 (sqrt.f64 (.f64 -1/2 (+.f64 x -1)))) -2))
(+.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 0)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(+.f64 0 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)))
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(+.f64 (.f64 1/2 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) (.f64 1/2 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))))
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(-.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 0)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 1/2 (.f64 2 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 1 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)))
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 2 (.f64 1/2 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))))
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 1)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 4 (/.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 4))
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 (.f64 2 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 1/2)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 (.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 4) 1/4)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 1/4 (.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 4))
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 (.f64 1/2 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2))) 2)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(.f64 (/.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 4) 4)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(/.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 1)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(/.f64 (.f64 2 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2))) 2)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(/.f64 (.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 4) 4)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(/.f64 (.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 8) 8)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(/.f64 (.f64 2 (.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 8)) 16)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 (+.f64 -1 x) -1/2)) 8))) 32)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 8)))) 64)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))
(pow.f64 (sqrt.f64 (*.f64 (+.f64 -1 x) -1/2)) 1)
(sqrt.f64 (*.f64 -1/2 (+.f64 x -1)))

localize18.0ms (0.1%)

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

rewrite271.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

2448×	`rational.json-simplify-35`
2362×	`rational.json-simplify-2`
1516×	`rational.json-simplify-1`
1136×	`exponential.json-3`
1136×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	33	9
2	81	9
3	156	9
4	267	9
5	541	9
6	1229	9
7	2650	9
8	4186	9
9	4769	9
10	5865	9
11	6590	9
12	6590	9
13	7680	9
14	7680	9

Stop Event

1×	node limit

Counts

1 → 28

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 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (asin.f64 (sqrt.f64 1/2)) 1)))))

simplify729.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

5164×	`rational.json-simplify-51`
2282×	`rational.json-simplify-35`
1652×	`rational.json-simplify-49`
1010×	`rational.json-simplify-1`
882×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	252
1	131	252
2	436	252
3	1292	252
4	2149	252
5	3043	252
6	3486	252
7	3567	252
8	3618	252
9	3652	252
10	3686	252
11	3720	252
12	3754	252
13	3788	252
14	3822	252
15	3856	252
16	3890	252
17	3924	252
18	3958	252
19	3992	252
20	4026	252
21	4060	252
22	4094	252
23	4128	252
24	4162	252
25	4196	252
26	4230	252
27	4264	252
28	4298	252
29	4332	252
30	4366	252
31	4400	252
32	4434	252
33	4434	252
34	5551	252

Stop Event

1×	node limit

Counts

28 → 29

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 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))))) 256)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))))))) 512)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))))))) 1024)
(pow.f64 (asin.f64 (sqrt.f64 1/2)) 1)

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 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))))) 128)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))))) 256)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (asin.f64 (sqrt.f64 1/2)) 8))))))) 512)
(asin.f64 (sqrt.f64 1/2))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (asin.f64 (sqrt.f64 1/2)) 8)))))))) 1024)
(asin.f64 (sqrt.f64 1/2))
(pow.f64 (asin.f64 (sqrt.f64 1/2)) 1)
(asin.f64 (sqrt.f64 1/2))

eval257.0ms (0.9%)

Compiler: Compiled 3501 to 3159 computations (9.8% saved)

prune24.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	176	1	177
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	176	4	180

Error

58.2b

Counts

180 → 4

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.3b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))
✓	58.8b	(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
▶	60.6b	(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 1/2)))))

Compiler

Compiled 56 to 54 computations (3.6% saved)

localize612.0ms (2.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 44 to 41 computations (6.8% saved)

eval11.0ms (0%)

Compiler: Compiled 552 to 524 computations (5.1% saved)

prune8.0ms (0%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	29	4	33

Error

58.2b

Counts

33 → 4

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.3b	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))
✓	58.8b	(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
✓	60.6b	(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 1/2)))))

Compiler

Compiled 56 to 54 computations (3.6% saved)

regimes22.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

7 calls:

5.0ms	(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))
4.0ms	x
2.0ms	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))
2.0ms	(*.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))
2.0ms	(sqrt.f64 (/.f64 (-.f64 1 x) 2))

Results

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

Compiler

Compiled 104 to 92 computations (11.5% saved)

regimes26.0ms (0.1%)

Counts

3 → 3

Calls

Call 1

Inputs

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

(+.f64 (+.f64 (*.f64 (PI.f64) 1/2) 1) (-.f64 -1 (*.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)))))

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

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

Calls

7 calls:

12.0ms	x
3.0ms	(sqrt.f64 (/.f64 (-.f64 1 x) 2))
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	(asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))

Results

Error	Segments	Branch
58.2b	3	`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 87 to 77 computations (11.5% saved)

bsearch115.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
23.0ms	3.53205114809829e-18	6.339507393088835e-17
92.0ms	-7.059733572665074e-162	-4.963406524597625e-175

Results

89.0ms	160×	body	1024	valid
21.0ms	112×	body	256	valid

Compiler

Compiled 528 to 509 computations (3.6% saved)

regimes4.0ms (0%)

Accuracy

Total -1.4b remaining (-2.4%)

Threshold costs -1.4b (-2.4%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
60.6b	1	`x`

Compiler

Compiled 25 to 23 computations (8% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	264

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(if (<=.f64 x -6686231141263319/4052261297735344686047273304385899561535592023674254785152009111026028136145418111718463914987406049109568248643848426935932764722081811824108276205189417663145685354884286644224) (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))) (if (<=.f64 x 8924260225606735/162259276829213363391578010288128) (+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 1/2))))) (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))))
(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 1/2)))))
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Outputs
(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 (*.f64 (-.f64 1 x) 1/2))))))
(if (<=.f64 x -6686231141263319/4052261297735344686047273304385899561535592023674254785152009111026028136145418111718463914987406049109568248643848426935932764722081811824108276205189417663145685354884286644224) (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2))))) (if (<=.f64 x 8924260225606735/162259276829213363391578010288128) (+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 1/2))))) (-.f64 (/.f64 (PI.f64) 2) (.f64 2 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 x) 2)))))))
(+.f64 (+.f64 (.f64 (PI.f64) 1/2) 1) (-.f64 -1 (.f64 2 (asin.f64 (sqrt.f64 1/2)))))
(-.f64 (/.f64 (PI.f64) 2) (*.f64 2 (asin.f64 (sqrt.f64 1/2))))

Compiler

Compiled 90 to 83 computations (7.8% saved)

soundness0.0ms (0%)

end58.0ms (0.2%)

Compiler: Compiled 87 to 77 computations (11.5% saved)

Details

analyze31.0ms (0.1%)

sample15.5s (55.7%)

preprocess4.5s (16.1%)

simplify4.0s (14.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize30.0ms (0.1%)

series3.0ms (0%)

rewrite127.0ms (0.5%)

simplify317.0ms (1.1%)

eval69.0ms (0.2%)

prune185.0ms (0.7%)

localize186.0ms (0.7%)

series2.0ms (0%)

rewrite323.0ms (1.2%)

simplify468.0ms (1.7%)

localize18.0ms (0.1%)

series0.0ms (0%)

rewrite271.0ms (1%)

simplify729.0ms (2.6%)

eval257.0ms (0.9%)

prune24.0ms (0.1%)

localize612.0ms (2.2%)

eval11.0ms (0%)

prune8.0ms (0%)

regimes22.0ms (0.1%)

regimes26.0ms (0.1%)

bsearch115.0ms (0.4%)

regimes4.0ms (0%)

simplify4.0ms (0%)

soundness0.0ms (0%)

end58.0ms (0.2%)

Profiling