Details

analyze397.0ms (1.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
0%	0%	50%	50%	0%	0%	0%	2
0%	0%	50%	50%	0%	0%	0%	3
0%	0%	50%	50%	0%	0%	0%	4
6.3%	3.1%	46.8%	50%	0%	0%	0%	5
9.4%	4.7%	45.3%	50%	0%	0%	0%	6
10.9%	5.5%	44.5%	50%	0%	0%	0%	7
11.7%	5.9%	44.1%	50%	0%	0%	0%	8
12.1%	6%	43.9%	50%	0%	0%	0%	9
12.3%	6.1%	43.8%	50%	0%	0%	0%	10
12.4%	6.2%	43.8%	50%	0%	0%	0%	11
12.5%	6.2%	43.7%	50%	0%	0%	0%	12

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample6.5s (30.4%)

Results

4.2s	4127×	body	1024	valid
1.2s	1999×	body	512	valid
638.0ms	448×	body	2048	valid
477.0ms	1682×	body	256	valid

Bogosity

preprocess6.4s (30%)

Algorithm

2×	egg-herbie

Rules

20848×	`rational.json-simplify-41`
2328×	`rational.json-simplify-1`
648×	`rational.json-simplify-35`
2×	`rational.json-simplify-17`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Outputs
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify6.4s (29.9%)

Algorithm

1×	egg-herbie

Rules

20848×	`rational.json-simplify-41`
2328×	`rational.json-simplify-1`
648×	`rational.json-simplify-35`
2×	`rational.json-simplify-17`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Outputs
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

eval0.0ms (0%)

Compiler: Compiled 10 to 8 computations (20% 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

62.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	62.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Compiler

Compiled 10 to 8 computations (20% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
✓	7.0b	(log.f64 (-.f64 1 x))
✓	7.0b	(log.f64 (+.f64 1 x))

Compiler

Compiled 26 to 19 computations (26.9% saved)

series5.0ms (0%)

Counts

3 → 36

Calls

9 calls:

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

rewrite91.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1434×	`rational.json-1`
1434×	`rational.json-2`
1434×	`rational.json-3`
1408×	`rational.json-4`
1400×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	49
1	77	49
2	186	49
3	407	49
4	987	49
5	3788	49

Stop Event

1×	node limit

Counts

3 → 159

Calls

Call 1

Inputs
(log.f64 (+.f64 1 x))
(log.f64 (-.f64 1 x))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

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

Outputs

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

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

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

simplify163.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1076×	`rational.json-simplify-55`
766×	`rational.json-simplify-50`
596×	`rational.json-simplify-43`
590×	`rational.json-simplify-44`
574×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	418	8497
1	921	8299
2	4147	7679
3	6581	7497

Stop Event

1×	node limit

Counts

195 → 292

Calls

Call 1

Inputs
x
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) x)
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/3 (pow.f64 x 3)) x))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (*.f64 -1/4 (pow.f64 x 4)) x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 1 x))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 1 x)) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 x))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 1 x)))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 1 x))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 x)))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(*.f64 -1 x)
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (*.f64 -1 x)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1 x) (.f64 -1/4 (pow.f64 x 4)))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (/.f64 1 x))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (/.f64 1 x)))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 x))))
(*.f64 -1 (log.f64 (/.f64 -1 x)))
(-.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (/.f64 1 x))
(-.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (/.f64 1 x)))
(-.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 x))))
-1
(-.f64 (*.f64 -1 x) 1)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -1 x) (*.f64 -5/12 (pow.f64 x 3)))) 1)
(.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x))))
(-.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (/.f64 2 (.f64 (log.f64 (/.f64 1 x)) x))) (/.f64 (log.f64 -1) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) x)))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) x))) (+.f64 (.f64 1/2 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)))) (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))))) (+.f64 (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)))) (+.f64 (/.f64 (log.f64 -1) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) x)) (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (*.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) (pow.f64 x 2)))))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) x))) (+.f64 (.f64 1/2 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)))) (+.f64 (.f64 1/3 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 3)))) (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x))))))) (+.f64 (.f64 1/2 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 3)))) (+.f64 (.f64 1/3 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) (pow.f64 x 3)))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) (pow.f64 x 2)))) (+.f64 (.f64 -1 (/.f64 (-.f64 (.f64 1/2 (/.f64 1 (log.f64 (/.f64 1 x)))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (log.f64 (/.f64 1 x)))))) (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 3)))) (+.f64 (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)))) (/.f64 (log.f64 -1) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) x))))))))
(.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x)))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 1/2 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 1/2 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x)) (.f64 -1 (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))) (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))))))) (pow.f64 x 3))))))
(+.f64 (log.f64 (+.f64 1 x)) 0)
(+.f64 0 (log.f64 (+.f64 1 x)))
(+.f64 -1 (-.f64 1 (neg.f64 (log.f64 (+.f64 1 x)))))
(+.f64 (.f64 (log.f64 (+.f64 1 x)) 1/2) (.f64 (log.f64 (+.f64 1 x)) 1/2))
(-.f64 (log.f64 (+.f64 1 x)) 0)
(-.f64 0 (neg.f64 (log.f64 (+.f64 1 x))))
(*.f64 1 (log.f64 (+.f64 1 x)))
(*.f64 (log.f64 (+.f64 1 x)) 1)
(*.f64 -1 (neg.f64 (log.f64 (+.f64 1 x))))
(.f64 (.f64 (log.f64 (+.f64 1 x)) 2) 1/2)
(.f64 2 (.f64 (log.f64 (+.f64 1 x)) 1/2))
(*.f64 2 (log.f64 (pow.f64 (+.f64 1 x) 1/2)))
(*.f64 4 (/.f64 (log.f64 (+.f64 1 x)) 4))
(.f64 (.f64 (log.f64 (+.f64 1 x)) 4) 1/4)
(*.f64 (neg.f64 (log.f64 (+.f64 1 x))) -1)
(.f64 (.f64 (log.f64 (+.f64 1 x)) 8) 1/8)
(.f64 1/2 (.f64 (log.f64 (+.f64 1 x)) 2))
(.f64 1/4 (.f64 (log.f64 (+.f64 1 x)) 4))
(.f64 (.f64 (log.f64 (+.f64 1 x)) 1/2) 2)
(.f64 1/8 (.f64 (log.f64 (+.f64 1 x)) 8))
(*.f64 (/.f64 (log.f64 (+.f64 1 x)) 4) 4)
(*.f64 (log.f64 (pow.f64 (+.f64 1 x) 1/2)) 2)
(/.f64 1 (/.f64 1 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (+.f64 1 x)) 1)
(/.f64 -1 (/.f64 -1 (log.f64 (+.f64 1 x))))
(/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) 2)
(/.f64 2 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))))
(/.f64 2 (/.f64 2 (log.f64 (+.f64 1 x))))
(/.f64 (*.f64 (log.f64 (+.f64 1 x)) 4) 4)
(/.f64 (neg.f64 (log.f64 (+.f64 1 x))) -1)
(/.f64 (*.f64 (log.f64 (+.f64 1 x)) 8) 8)
(/.f64 (*.f64 (log.f64 (+.f64 1 x)) -2) -2)
(/.f64 1/2 (/.f64 1/2 (log.f64 (+.f64 1 x))))
(/.f64 (neg.f64 (*.f64 (log.f64 (+.f64 1 x)) 2)) -2)
(/.f64 -2 (-.f64 0 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x))))))
(/.f64 -2 (-.f64 0 (/.f64 2 (log.f64 (+.f64 1 x)))))
(/.f64 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) 8)) 16)
(/.f64 -1/2 (neg.f64 (/.f64 1/2 (log.f64 (+.f64 1 x)))))
(/.f64 (neg.f64 (*.f64 (log.f64 (+.f64 1 x)) -2)) 2)
(pow.f64 (log.f64 (+.f64 1 x)) 1)
(neg.f64 (neg.f64 (log.f64 (+.f64 1 x))))
(+.f64 (log.f64 (-.f64 1 x)) 0)
(+.f64 0 (log.f64 (-.f64 1 x)))
(+.f64 -1 (-.f64 (log.f64 (-.f64 1 x)) -1))
(+.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) (.f64 (log.f64 (-.f64 1 x)) 1/2))
(+.f64 (-.f64 (log.f64 (-.f64 1 x)) -1) -1)
(-.f64 (log.f64 (-.f64 1 x)) 0)
(-.f64 0 (neg.f64 (log.f64 (-.f64 1 x))))
(*.f64 1 (log.f64 (-.f64 1 x)))
(*.f64 (log.f64 (-.f64 1 x)) 1)
(*.f64 -1 (neg.f64 (log.f64 (-.f64 1 x))))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 2) 1/2)
(.f64 2 (.f64 (log.f64 (-.f64 1 x)) 1/2))
(*.f64 2 (log.f64 (pow.f64 (-.f64 1 x) 1/2)))
(*.f64 4 (/.f64 (log.f64 (-.f64 1 x)) 4))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) 1/4)
(*.f64 (neg.f64 (log.f64 (-.f64 1 x))) -1)
(.f64 (.f64 (log.f64 (-.f64 1 x)) 8) 1/8)
(.f64 1/2 (.f64 (log.f64 (-.f64 1 x)) 2))
(.f64 (.f64 (log.f64 (-.f64 1 x)) -2) -1/2)
(.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) 2)
(.f64 1/4 (.f64 (log.f64 (-.f64 1 x)) 4))
(.f64 -1/2 (.f64 (log.f64 (-.f64 1 x)) -2))
(*.f64 (/.f64 (log.f64 (-.f64 1 x)) 4) 4)
(.f64 1/8 (.f64 (log.f64 (-.f64 1 x)) 8))
(*.f64 (log.f64 (pow.f64 (-.f64 1 x) 1/2)) 2)
(/.f64 (log.f64 (-.f64 1 x)) 1)
(/.f64 (*.f64 (log.f64 (-.f64 1 x)) 2) 2)
(/.f64 (*.f64 (log.f64 (-.f64 1 x)) 4) 4)
(/.f64 (neg.f64 (log.f64 (-.f64 1 x))) -1)
(/.f64 (*.f64 (log.f64 (-.f64 1 x)) 8) 8)
(/.f64 (*.f64 (log.f64 (-.f64 1 x)) -2) -2)
(/.f64 (.f64 2 (.f64 (log.f64 (-.f64 1 x)) 8)) 16)
(/.f64 (*.f64 4 (neg.f64 (log.f64 (-.f64 1 x)))) -4)
(/.f64 (neg.f64 (*.f64 4 (neg.f64 (log.f64 (-.f64 1 x))))) 4)
(pow.f64 (log.f64 (-.f64 1 x)) 1)
(neg.f64 (neg.f64 (log.f64 (-.f64 1 x))))
(+.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 0)
(+.f64 0 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))))
(+.f64 -1 (-.f64 1 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x)))))
(+.f64 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)) (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)))
(-.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 0)
(-.f64 0 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))))
(-.f64 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)) (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (.f64 (log.f64 (+.f64 1 x)) 2))))
(-.f64 (/.f64 (log.f64 (-.f64 1 x)) (*.f64 (log.f64 (+.f64 1 x)) 2)) (/.f64 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))) 2))
(*.f64 1 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))))
(.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(*.f64 (log.f64 (-.f64 1 x)) (/.f64 1 (log.f64 (+.f64 1 x))))
(.f64 (log.f64 (-.f64 1 x)) (.f64 1/2 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x))))))
(.f64 (log.f64 (-.f64 1 x)) (.f64 1/2 (/.f64 2 (log.f64 (+.f64 1 x)))))
(*.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 1)
(*.f64 -1 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))))
(.f64 -1 (/.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (*.f64 (log.f64 (+.f64 1 x)) 2)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 2) (/.f64 1/2 (log.f64 (+.f64 1 x))))
(.f64 2 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)))
(*.f64 2 (log.f64 (pow.f64 (-.f64 1 x) (/.f64 1/2 (log.f64 (+.f64 1 x))))))
(.f64 4 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 4)))
(*.f64 4 (/.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 4))
(.f64 (.f64 (log.f64 (-.f64 1 x)) (/.f64 2 (log.f64 (+.f64 1 x)))) 1/2)
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (/.f64 1 (*.f64 (log.f64 (+.f64 1 x)) 4)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (*.f64 (/.f64 1 (log.f64 (+.f64 1 x))) 1/4))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (*.f64 1/2 (/.f64 1/2 (log.f64 (+.f64 1 x)))))
(*.f64 (/.f64 1 (log.f64 (+.f64 1 x))) (log.f64 (-.f64 1 x)))
(*.f64 (/.f64 1 (log.f64 (+.f64 1 x))) (/.f64 -1 (/.f64 -1 (log.f64 (-.f64 1 x)))))
(*.f64 (neg.f64 (log.f64 (-.f64 1 x))) (/.f64 -1 (log.f64 (+.f64 1 x))))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 2 (.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 2 (log.f64 (-.f64 1 x)))) (/.f64 1 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 2 (log.f64 (-.f64 1 x)))) (/.f64 1/2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (log.f64 (+.f64 1 x))) 1/4)
(.f64 (.f64 (log.f64 (-.f64 1 x)) 8) (/.f64 1 (*.f64 (log.f64 (+.f64 1 x)) 8)))
(.f64 1/2 (.f64 (log.f64 (-.f64 1 x)) (/.f64 2 (log.f64 (+.f64 1 x)))))
(.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 1/2 (log.f64 (+.f64 1 x))) (.f64 (log.f64 (-.f64 1 x)) 2))
(.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (/.f64 -1/2 (log.f64 (+.f64 1 x))))
(.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (/.f64 1 (*.f64 (log.f64 (+.f64 1 x)) -2)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (/.f64 -1 (*.f64 (log.f64 (+.f64 1 x)) 2)))
(.f64 (.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))) (*.f64 (log.f64 (-.f64 1 x)) 1/2))
(*.f64 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))) -1)
(.f64 (/.f64 2 (log.f64 (+.f64 1 x))) (.f64 (log.f64 (-.f64 1 x)) 1/2))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 1/2 (log.f64 (-.f64 1 x)))) (/.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)) 2)
(.f64 (/.f64 2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) (/.f64 2 (log.f64 (+.f64 1 x))))
(.f64 1/4 (/.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (log.f64 (+.f64 1 x))))
(.f64 (/.f64 -1 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (neg.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) 4)) (*.f64 (log.f64 (-.f64 1 x)) 4))
(*.f64 (/.f64 -1 (log.f64 (+.f64 1 x))) (neg.f64 (log.f64 (-.f64 1 x))))
(.f64 (.f64 (/.f64 1 (log.f64 (+.f64 1 x))) 1/4) (*.f64 (log.f64 (-.f64 1 x)) 4))
(.f64 (.f64 1/2 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x))))) (log.f64 (-.f64 1 x)))
(.f64 (.f64 1/2 (/.f64 2 (log.f64 (+.f64 1 x)))) (log.f64 (-.f64 1 x)))
(*.f64 (/.f64 -1 (/.f64 -1 (log.f64 (-.f64 1 x)))) (/.f64 1 (log.f64 (+.f64 1 x))))
(.f64 (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (/.f64 1 (log.f64 (-.f64 1 x))))
(.f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (/.f64 1/2 (log.f64 (-.f64 1 x))))
(.f64 (/.f64 2 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (*.f64 (log.f64 (+.f64 1 x)) (/.f64 1/2 (log.f64 (-.f64 1 x)))))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (neg.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))) (/.f64 -1 (log.f64 (-.f64 1 x))))
(.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (log.f64 (+.f64 1 x)))
(.f64 (/.f64 1 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))) (.f64 (log.f64 (+.f64 1 x)) (/.f64 2 (log.f64 (-.f64 1 x)))))
(.f64 (/.f64 2 (.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))) (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))))
(.f64 (/.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (*.f64 (log.f64 (+.f64 1 x)) 2)) -1)
(.f64 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 4)) 4)
(.f64 (.f64 1/2 (/.f64 1/2 (log.f64 (+.f64 1 x)))) (*.f64 (log.f64 (-.f64 1 x)) 4))
(.f64 (/.f64 -1/2 (log.f64 (+.f64 1 x))) (.f64 (log.f64 (-.f64 1 x)) -2))
(.f64 (/.f64 1/2 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (*.f64 (log.f64 (+.f64 1 x)) (/.f64 2 (log.f64 (-.f64 1 x)))))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))) (/.f64 2 (log.f64 (-.f64 1 x))))
(*.f64 (/.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 4) 4)
(.f64 (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) 8)) (*.f64 (log.f64 (-.f64 1 x)) 8))
(.f64 (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) -2)) (*.f64 (log.f64 (-.f64 1 x)) -2))
(.f64 (/.f64 -1 (.f64 (log.f64 (+.f64 1 x)) 2)) (*.f64 (log.f64 (-.f64 1 x)) -2))
(*.f64 (log.f64 (pow.f64 (-.f64 1 x) (/.f64 1/2 (log.f64 (+.f64 1 x))))) 2)
(pow.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 1)
(neg.f64 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))))
(neg.f64 (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (neg.f64 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(neg.f64 (/.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (.f64 (log.f64 (+.f64 1 x)) 2)))
(log.f64 (pow.f64 (-.f64 1 x) (/.f64 1 (log.f64 (+.f64 1 x)))))
(log.f64 (pow.f64 (pow.f64 (+.f64 x -1) 2) (/.f64 1/2 (log.f64 (+.f64 1 x)))))

Outputs
x
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) x)
(+.f64 x (*.f64 -1/2 (pow.f64 x 2)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/3 (pow.f64 x 3)) x))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 x (.f64 1/3 (pow.f64 x 3))))
(+.f64 x (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 1/3 (pow.f64 x 3))))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (*.f64 -1/4 (pow.f64 x 4)) x)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 x (*.f64 -1/4 (pow.f64 x 4)))))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 x (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 -1/4 (pow.f64 x 4)))))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(neg.f64 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 -1 (log.f64 (/.f64 1 x))))
(+.f64 (/.f64 1 x) (neg.f64 (log.f64 (/.f64 1 x))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 1 x)) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (/.f64 1 x) (.f64 -1 (log.f64 (/.f64 1 x)))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (/.f64 1 x) (neg.f64 (log.f64 (/.f64 1 x)))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 1 x) (-.f64 (neg.f64 (log.f64 (/.f64 1 x))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 x))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (/.f64 1 x) (.f64 1/3 (/.f64 1 (pow.f64 x 3))))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (+.f64 (/.f64 1 x) (neg.f64 (log.f64 (/.f64 1 x)))) (-.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (-.f64 (+.f64 (/.f64 1 x) (.f64 1/3 (/.f64 1 (pow.f64 x 3)))) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 1 x) (log.f64 -1)))
(+.f64 (/.f64 1 x) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 1 x))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (+.f64 (/.f64 1 x) (log.f64 -1)) (-.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (+.f64 (/.f64 1 x) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 1 x) (-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 x)))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 x) (log.f64 -1))) (-.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (-.f64 (+.f64 (/.f64 1 x) (+.f64 (log.f64 -1) (.f64 1/3 (/.f64 1 (pow.f64 x 3))))) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (+.f64 (+.f64 (/.f64 1 x) (log.f64 -1)) (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (neg.f64 (log.f64 (/.f64 -1 x))))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (+.f64 (/.f64 1 x) (.f64 1/3 (/.f64 1 (pow.f64 x 3)))) (-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(*.f64 -1 x)
(*.f64 x -1)
(neg.f64 x)
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 x -1))
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (neg.f64 x))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (*.f64 -1 x)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 x -1) (*.f64 (pow.f64 x 3) -1/3)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (neg.f64 x) (.f64 (pow.f64 x 3) -1/3)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -1 x) (.f64 -1/4 (pow.f64 x 4)))))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 x -1) (+.f64 (.f64 -1/4 (pow.f64 x 4)) (.f64 (pow.f64 x 3) -1/3))))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/4 (pow.f64 x 4)) (+.f64 (neg.f64 x) (*.f64 (pow.f64 x 3) -1/3))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1))
(+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1))
(-.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (/.f64 1 x))
(+.f64 (log.f64 -1) (-.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 1 x)))
(+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (-.f64 (log.f64 -1) (/.f64 1 x)))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (/.f64 1 x)))
(+.f64 (log.f64 -1) (-.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (+.f64 (/.f64 1 x) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (-.f64 (log.f64 -1) (+.f64 (/.f64 1 x) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 x))))
(+.f64 (log.f64 -1) (-.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 x) (*.f64 1/3 (/.f64 1 (pow.f64 x 3)))))))
(-.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 x) (.f64 1/3 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (log.f64 -1) (-.f64 (neg.f64 (log.f64 (/.f64 1 x))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 x) (.f64 1/3 (/.f64 1 (pow.f64 x 3)))))))
(*.f64 -1 (log.f64 (/.f64 -1 x)))
(neg.f64 (log.f64 (/.f64 -1 x)))
(-.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (/.f64 1 x))
(-.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (/.f64 1 x))
(-.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (/.f64 1 x)))
(-.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 1 x) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 x))))
(-.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 x) (*.f64 1/3 (/.f64 1 (pow.f64 x 3))))))
(-.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 x) (.f64 1/3 (/.f64 1 (pow.f64 x 3))))))
-1
(-.f64 (*.f64 -1 x) 1)
(+.f64 (*.f64 x -1) -1)
(+.f64 -1 (neg.f64 x))
(-.f64 -1 x)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(+.f64 (.f64 x -1) (-.f64 (.f64 -1/2 (pow.f64 x 2)) 1))
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (+.f64 -1 (neg.f64 x)))
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -1 x) (*.f64 -5/12 (pow.f64 x 3)))) 1)
(+.f64 (+.f64 (.f64 x -1) (.f64 (pow.f64 x 3) -5/12)) (-.f64 (*.f64 -1/2 (pow.f64 x 2)) 1))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 (+.f64 (neg.f64 x) (.f64 (pow.f64 x 3) -5/12)) 1))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (neg.f64 x) (-.f64 (.f64 (pow.f64 x 3) -5/12) 1)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 (pow.f64 x 3) -5/12) (-.f64 -1 x)))
(.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x))))
(neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x))))
(-.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (/.f64 2 (.f64 (log.f64 (/.f64 1 x)) x))) (/.f64 (log.f64 -1) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) x)))
(+.f64 (/.f64 2 (.f64 x (log.f64 (/.f64 1 x)))) (-.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (.f64 x (pow.f64 (log.f64 (/.f64 1 x)) 2)))))
(+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (-.f64 (/.f64 2 (.f64 x (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (.f64 x (pow.f64 (log.f64 (/.f64 1 x)) 2)))))
(+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (-.f64 (/.f64 2 (*.f64 x (log.f64 (/.f64 1 x)))) (/.f64 (/.f64 (log.f64 -1) x) (pow.f64 (log.f64 (/.f64 1 x)) 2))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) x))) (+.f64 (.f64 1/2 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)))) (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))))) (+.f64 (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)))) (+.f64 (/.f64 (log.f64 -1) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) x)) (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (*.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) (pow.f64 x 2)))))))
(+.f64 (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (.f64 1/2 (/.f64 (/.f64 1 (log.f64 (/.f64 1 x))) (pow.f64 x 2)))) (-.f64 (.f64 2 (/.f64 1 (.f64 x (log.f64 (/.f64 1 x))))) (+.f64 (/.f64 (log.f64 -1) (.f64 x (pow.f64 (log.f64 (/.f64 1 x)) 2))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (.f64 x (log.f64 (/.f64 1 x))) 2))) (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x)))))))))
(+.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (.f64 1/2 (/.f64 1 (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x)))))) (-.f64 (.f64 2 (/.f64 1 (.f64 x (log.f64 (/.f64 1 x))))) (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))) (+.f64 (/.f64 (log.f64 -1) (.f64 x (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (*.f64 x (log.f64 (/.f64 1 x))) 2)))))))
(-.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (+.f64 (.f64 2 (/.f64 1 (.f64 x (log.f64 (/.f64 1 x))))) (.f64 1/2 (/.f64 1 (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))))) (+.f64 (/.f64 (/.f64 (log.f64 -1) x) (pow.f64 (log.f64 (/.f64 1 x)) 2)) (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))) (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (.f64 x (log.f64 (/.f64 1 x))) 2))))))
(+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (-.f64 (+.f64 (.f64 2 (/.f64 1 (.f64 x (log.f64 (/.f64 1 x))))) (.f64 1/2 (/.f64 1 (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x)))))) (+.f64 (/.f64 (/.f64 (log.f64 -1) x) (pow.f64 (log.f64 (/.f64 1 x)) 2)) (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))) (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (.f64 x (log.f64 (/.f64 1 x))) 2)))))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) x))) (+.f64 (.f64 1/2 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)))) (+.f64 (.f64 1/3 (/.f64 1 (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 3)))) (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x))))))) (+.f64 (.f64 1/2 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 3)))) (+.f64 (.f64 1/3 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) (pow.f64 x 3)))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) (pow.f64 x 2)))) (+.f64 (.f64 -1 (/.f64 (-.f64 (.f64 1/2 (/.f64 1 (log.f64 (/.f64 1 x)))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (log.f64 (/.f64 1 x)))))) (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 3)))) (+.f64 (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)))) (/.f64 (log.f64 -1) (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 2) x))))))))
(+.f64 (+.f64 (.f64 1/2 (/.f64 (/.f64 1 (log.f64 (/.f64 1 x))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (.f64 1/3 (/.f64 1 (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))))) (-.f64 (.f64 2 (/.f64 1 (.f64 x (log.f64 (/.f64 1 x))))) (+.f64 (.f64 1/2 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (.f64 x (log.f64 (/.f64 1 x))) 2))) (+.f64 (+.f64 (.f64 -1 (/.f64 (-.f64 (.f64 1/2 (/.f64 1 (log.f64 (/.f64 1 x)))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (log.f64 (/.f64 1 x)))))) (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))) (+.f64 (/.f64 (log.f64 -1) (.f64 x (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 -1 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))))) (.f64 1/3 (/.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (*.f64 (pow.f64 x 3) (pow.f64 (log.f64 (/.f64 1 x)) 2)))))))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (.f64 x (log.f64 (/.f64 1 x))))) (+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (+.f64 (.f64 1/3 (/.f64 1 (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))) (.f64 1/2 (/.f64 1 (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x)))))))) (+.f64 (.f64 1/2 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))) (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 1/2 (/.f64 1 (log.f64 (/.f64 1 x)))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (neg.f64 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (log.f64 (/.f64 1 x)))))) (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))) (+.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))) (+.f64 (/.f64 (log.f64 -1) (.f64 x (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (.f64 x (log.f64 (/.f64 1 x))) 2))))) (.f64 1/3 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 x 3) (pow.f64 (log.f64 (/.f64 1 x)) 2))))))))
(+.f64 (.f64 2 (/.f64 1 (.f64 x (log.f64 (/.f64 1 x))))) (+.f64 (.f64 1/3 (/.f64 1 (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))) (-.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (.f64 1/2 (/.f64 1 (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x)))))) (+.f64 (.f64 1/2 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))) (+.f64 (+.f64 (/.f64 (/.f64 (log.f64 -1) x) (pow.f64 (log.f64 (/.f64 1 x)) 2)) (.f64 -1 (+.f64 (/.f64 (-.f64 (.f64 1/2 (/.f64 1 (log.f64 (/.f64 1 x)))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (neg.f64 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (log.f64 (/.f64 1 x)))))) (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x)))) (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (.f64 x (log.f64 (/.f64 1 x))) 2))) (.f64 1/3 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 x 3) (pow.f64 (log.f64 (/.f64 1 x)) 2))))))))))
(+.f64 (.f64 2 (/.f64 1 (.f64 x (log.f64 (/.f64 1 x))))) (+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (-.f64 (+.f64 (.f64 1/2 (/.f64 1 (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))) (.f64 1/3 (/.f64 1 (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x)))))) (+.f64 (.f64 1/2 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x))))) (+.f64 (+.f64 (/.f64 (/.f64 (log.f64 -1) x) (pow.f64 (log.f64 (/.f64 1 x)) 2)) (.f64 -1 (+.f64 (/.f64 (-.f64 (.f64 1/2 (/.f64 1 (log.f64 (/.f64 1 x)))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (neg.f64 (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (log.f64 (/.f64 1 x)))))) (.f64 (pow.f64 x 3) (log.f64 (/.f64 1 x)))) (/.f64 (-.f64 (.f64 2 (/.f64 1 (log.f64 (/.f64 1 x)))) (/.f64 (log.f64 -1) (pow.f64 (log.f64 (/.f64 1 x)) 2))) (.f64 (pow.f64 x 2) (log.f64 (/.f64 1 x))))))) (+.f64 (.f64 -1/2 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (pow.f64 (.f64 x (log.f64 (/.f64 1 x))) 2))) (.f64 1/3 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 x 3) (pow.f64 (log.f64 (/.f64 1 x)) 2))))))))))
(.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(neg.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x)))
(*.f64 -1 (+.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x) (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))
(*.f64 -1 (+.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x)))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 1/2 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x))))
(+.f64 (+.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x))) (.f64 -1 (/.f64 (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 1/2 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))) (pow.f64 x 2))))
(+.f64 (neg.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (+.f64 (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 1/2 (+.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))))) (pow.f64 x 2)) (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x))))
(.f64 -1 (+.f64 (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 1/2 (+.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))))) (pow.f64 x 2)) (+.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 1/2 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x)) (.f64 -1 (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))) (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))))))) (pow.f64 x 3))))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 1/2 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x)) (+.f64 (.f64 -1 (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))) (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))))))) (pow.f64 x 3))) (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))))))
(+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x)) (+.f64 (.f64 -1 (+.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))) (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))))))))) (pow.f64 x 3)))) (neg.f64 (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 1/2 (+.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))))) (pow.f64 x 2)))))
(+.f64 (neg.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (+.f64 (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 1/2 (+.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))))) (pow.f64 x 2)) (+.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) x) (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (*.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 2))) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (log.f64 -1))))))))) (pow.f64 x 3))))))
(+.f64 (log.f64 (+.f64 1 x)) 0)
(log.f64 (+.f64 x 1))
(+.f64 0 (log.f64 (+.f64 1 x)))
(log.f64 (+.f64 x 1))
(+.f64 -1 (-.f64 1 (neg.f64 (log.f64 (+.f64 1 x)))))
(log.f64 (+.f64 x 1))
(+.f64 (.f64 (log.f64 (+.f64 1 x)) 1/2) (.f64 (log.f64 (+.f64 1 x)) 1/2))
(log.f64 (+.f64 x 1))
(-.f64 (log.f64 (+.f64 1 x)) 0)
(log.f64 (+.f64 x 1))
(-.f64 0 (neg.f64 (log.f64 (+.f64 1 x))))
(log.f64 (+.f64 x 1))
(*.f64 1 (log.f64 (+.f64 1 x)))
(log.f64 (+.f64 x 1))
(*.f64 (log.f64 (+.f64 1 x)) 1)
(log.f64 (+.f64 x 1))
(*.f64 -1 (neg.f64 (log.f64 (+.f64 1 x))))
(log.f64 (+.f64 x 1))
(.f64 (.f64 (log.f64 (+.f64 1 x)) 2) 1/2)
(log.f64 (+.f64 x 1))
(.f64 2 (.f64 (log.f64 (+.f64 1 x)) 1/2))
(log.f64 (+.f64 x 1))
(*.f64 2 (log.f64 (pow.f64 (+.f64 1 x) 1/2)))
(*.f64 2 (log.f64 (pow.f64 (+.f64 x 1) 1/2)))
(log.f64 (sqrt.f64 (pow.f64 (+.f64 x 1) 2)))
(*.f64 4 (/.f64 (log.f64 (+.f64 1 x)) 4))
(log.f64 (+.f64 x 1))
(.f64 (.f64 (log.f64 (+.f64 1 x)) 4) 1/4)
(log.f64 (+.f64 x 1))
(*.f64 (neg.f64 (log.f64 (+.f64 1 x))) -1)
(log.f64 (+.f64 x 1))
(.f64 (.f64 (log.f64 (+.f64 1 x)) 8) 1/8)
(log.f64 (+.f64 x 1))
(.f64 1/2 (.f64 (log.f64 (+.f64 1 x)) 2))
(log.f64 (+.f64 x 1))
(.f64 1/4 (.f64 (log.f64 (+.f64 1 x)) 4))
(log.f64 (+.f64 x 1))
(.f64 (.f64 (log.f64 (+.f64 1 x)) 1/2) 2)
(log.f64 (+.f64 x 1))
(.f64 1/8 (.f64 (log.f64 (+.f64 1 x)) 8))
(log.f64 (+.f64 x 1))
(*.f64 (/.f64 (log.f64 (+.f64 1 x)) 4) 4)
(log.f64 (+.f64 x 1))
(*.f64 (log.f64 (pow.f64 (+.f64 1 x) 1/2)) 2)
(*.f64 2 (log.f64 (pow.f64 (+.f64 x 1) 1/2)))
(log.f64 (sqrt.f64 (pow.f64 (+.f64 x 1) 2)))
(/.f64 1 (/.f64 1 (log.f64 (+.f64 1 x))))
(log.f64 (+.f64 x 1))
(/.f64 (log.f64 (+.f64 1 x)) 1)
(log.f64 (+.f64 x 1))
(/.f64 -1 (/.f64 -1 (log.f64 (+.f64 1 x))))
(log.f64 (+.f64 x 1))
(/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) 2)
(log.f64 (+.f64 x 1))
(/.f64 2 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))))
(log.f64 (+.f64 x 1))
(/.f64 2 (/.f64 2 (log.f64 (+.f64 1 x))))
(log.f64 (+.f64 x 1))
(/.f64 (*.f64 (log.f64 (+.f64 1 x)) 4) 4)
(log.f64 (+.f64 x 1))
(/.f64 (neg.f64 (log.f64 (+.f64 1 x))) -1)
(log.f64 (+.f64 x 1))
(/.f64 (*.f64 (log.f64 (+.f64 1 x)) 8) 8)
(log.f64 (+.f64 x 1))
(/.f64 (*.f64 (log.f64 (+.f64 1 x)) -2) -2)
(log.f64 (+.f64 x 1))
(/.f64 1/2 (/.f64 1/2 (log.f64 (+.f64 1 x))))
(log.f64 (+.f64 x 1))
(/.f64 (neg.f64 (*.f64 (log.f64 (+.f64 1 x)) 2)) -2)
(log.f64 (+.f64 x 1))
(/.f64 -2 (-.f64 0 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x))))))
(log.f64 (+.f64 x 1))
(/.f64 -2 (-.f64 0 (/.f64 2 (log.f64 (+.f64 1 x)))))
(log.f64 (+.f64 x 1))
(/.f64 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) 8)) 16)
(log.f64 (+.f64 x 1))
(/.f64 -1/2 (neg.f64 (/.f64 1/2 (log.f64 (+.f64 1 x)))))
(log.f64 (+.f64 x 1))
(/.f64 (neg.f64 (*.f64 (log.f64 (+.f64 1 x)) -2)) 2)
(log.f64 (+.f64 x 1))
(pow.f64 (log.f64 (+.f64 1 x)) 1)
(log.f64 (+.f64 x 1))
(neg.f64 (neg.f64 (log.f64 (+.f64 1 x))))
(log.f64 (+.f64 x 1))
(+.f64 (log.f64 (-.f64 1 x)) 0)
(log.f64 (-.f64 1 x))
(+.f64 0 (log.f64 (-.f64 1 x)))
(log.f64 (-.f64 1 x))
(+.f64 -1 (-.f64 (log.f64 (-.f64 1 x)) -1))
(log.f64 (-.f64 1 x))
(+.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) (.f64 (log.f64 (-.f64 1 x)) 1/2))
(log.f64 (-.f64 1 x))
(+.f64 (-.f64 (log.f64 (-.f64 1 x)) -1) -1)
(log.f64 (-.f64 1 x))
(-.f64 (log.f64 (-.f64 1 x)) 0)
(log.f64 (-.f64 1 x))
(-.f64 0 (neg.f64 (log.f64 (-.f64 1 x))))
(log.f64 (-.f64 1 x))
(*.f64 1 (log.f64 (-.f64 1 x)))
(log.f64 (-.f64 1 x))
(*.f64 (log.f64 (-.f64 1 x)) 1)
(log.f64 (-.f64 1 x))
(*.f64 -1 (neg.f64 (log.f64 (-.f64 1 x))))
(log.f64 (-.f64 1 x))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 2) 1/2)
(log.f64 (-.f64 1 x))
(.f64 2 (.f64 (log.f64 (-.f64 1 x)) 1/2))
(log.f64 (-.f64 1 x))
(*.f64 2 (log.f64 (pow.f64 (-.f64 1 x) 1/2)))
(*.f64 1/2 (log.f64 (pow.f64 (-.f64 1 x) 2)))
(log.f64 (sqrt.f64 (pow.f64 (-.f64 1 x) 2)))
(log.f64 (pow.f64 (sqrt.f64 (-.f64 1 x)) 2))
(*.f64 4 (/.f64 (log.f64 (-.f64 1 x)) 4))
(log.f64 (-.f64 1 x))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) 1/4)
(log.f64 (-.f64 1 x))
(*.f64 (neg.f64 (log.f64 (-.f64 1 x))) -1)
(log.f64 (-.f64 1 x))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 8) 1/8)
(log.f64 (-.f64 1 x))
(.f64 1/2 (.f64 (log.f64 (-.f64 1 x)) 2))
(log.f64 (-.f64 1 x))
(.f64 (.f64 (log.f64 (-.f64 1 x)) -2) -1/2)
(log.f64 (-.f64 1 x))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) 2)
(log.f64 (-.f64 1 x))
(.f64 1/4 (.f64 (log.f64 (-.f64 1 x)) 4))
(log.f64 (-.f64 1 x))
(.f64 -1/2 (.f64 (log.f64 (-.f64 1 x)) -2))
(log.f64 (-.f64 1 x))
(*.f64 (/.f64 (log.f64 (-.f64 1 x)) 4) 4)
(log.f64 (-.f64 1 x))
(.f64 1/8 (.f64 (log.f64 (-.f64 1 x)) 8))
(log.f64 (-.f64 1 x))
(*.f64 (log.f64 (pow.f64 (-.f64 1 x) 1/2)) 2)
(*.f64 1/2 (log.f64 (pow.f64 (-.f64 1 x) 2)))
(log.f64 (sqrt.f64 (pow.f64 (-.f64 1 x) 2)))
(log.f64 (pow.f64 (sqrt.f64 (-.f64 1 x)) 2))
(/.f64 (log.f64 (-.f64 1 x)) 1)
(log.f64 (-.f64 1 x))
(/.f64 (*.f64 (log.f64 (-.f64 1 x)) 2) 2)
(log.f64 (-.f64 1 x))
(/.f64 (*.f64 (log.f64 (-.f64 1 x)) 4) 4)
(log.f64 (-.f64 1 x))
(/.f64 (neg.f64 (log.f64 (-.f64 1 x))) -1)
(log.f64 (-.f64 1 x))
(/.f64 (*.f64 (log.f64 (-.f64 1 x)) 8) 8)
(log.f64 (-.f64 1 x))
(/.f64 (*.f64 (log.f64 (-.f64 1 x)) -2) -2)
(log.f64 (-.f64 1 x))
(/.f64 (.f64 2 (.f64 (log.f64 (-.f64 1 x)) 8)) 16)
(log.f64 (-.f64 1 x))
(/.f64 (*.f64 4 (neg.f64 (log.f64 (-.f64 1 x)))) -4)
(log.f64 (-.f64 1 x))
(/.f64 (neg.f64 (*.f64 4 (neg.f64 (log.f64 (-.f64 1 x))))) 4)
(log.f64 (-.f64 1 x))
(pow.f64 (log.f64 (-.f64 1 x)) 1)
(log.f64 (-.f64 1 x))
(neg.f64 (neg.f64 (log.f64 (-.f64 1 x))))
(log.f64 (-.f64 1 x))
(+.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 0)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(+.f64 0 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(+.f64 -1 (-.f64 1 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x)))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(+.f64 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)) (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(-.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 0)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(-.f64 0 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(-.f64 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)) (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (.f64 (log.f64 (+.f64 1 x)) 2))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(-.f64 (/.f64 (log.f64 (-.f64 1 x)) (*.f64 (log.f64 (+.f64 1 x)) 2)) (/.f64 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))) 2))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 1 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(*.f64 (log.f64 (-.f64 1 x)) (/.f64 1 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (log.f64 (-.f64 1 x)) (.f64 1/2 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x))))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (log.f64 (-.f64 1 x)) (.f64 1/2 (/.f64 2 (log.f64 (+.f64 1 x)))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 1)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 -1 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 -1 (/.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (*.f64 (log.f64 (+.f64 1 x)) 2)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 2) (/.f64 1/2 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 2 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 2 (log.f64 (pow.f64 (-.f64 1 x) (/.f64 1/2 (log.f64 (+.f64 1 x))))))
(*.f64 (/.f64 1/2 (log.f64 (+.f64 x 1))) (log.f64 (pow.f64 (-.f64 1 x) 2)))
(.f64 4 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 4)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 4 (/.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 4))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) (/.f64 2 (log.f64 (+.f64 1 x)))) 1/2)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (/.f64 1 (*.f64 (log.f64 (+.f64 1 x)) 4)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (*.f64 (/.f64 1 (log.f64 (+.f64 1 x))) 1/4))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (*.f64 1/2 (/.f64 1/2 (log.f64 (+.f64 1 x)))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 (/.f64 1 (log.f64 (+.f64 1 x))) (log.f64 (-.f64 1 x)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 (/.f64 1 (log.f64 (+.f64 1 x))) (/.f64 -1 (/.f64 -1 (log.f64 (-.f64 1 x)))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 (neg.f64 (log.f64 (-.f64 1 x))) (/.f64 -1 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 2 (.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 2 (log.f64 (-.f64 1 x)))) (/.f64 1 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 2 (log.f64 (-.f64 1 x)))) (/.f64 1/2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (log.f64 (+.f64 1 x))) 1/4)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 8) (/.f64 1 (*.f64 (log.f64 (+.f64 1 x)) 8)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 1/2 (.f64 (log.f64 (-.f64 1 x)) (/.f64 2 (log.f64 (+.f64 1 x)))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 1/2 (log.f64 (+.f64 1 x))) (.f64 (log.f64 (-.f64 1 x)) 2))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (/.f64 -1/2 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (/.f64 1 (*.f64 (log.f64 (+.f64 1 x)) -2)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (/.f64 -1 (*.f64 (log.f64 (+.f64 1 x)) 2)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))) (*.f64 (log.f64 (-.f64 1 x)) 1/2))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))) -1)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 2 (log.f64 (+.f64 1 x))) (.f64 (log.f64 (-.f64 1 x)) 1/2))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(*.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (sqrt.f64 (+.f64 x 1)))))))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (sqrt.f64 (+.f64 x 1)))))
(.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 1/2 (log.f64 (-.f64 1 x)))) (/.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(*.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (sqrt.f64 (+.f64 x 1)))))))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (sqrt.f64 (+.f64 x 1)))))
(.f64 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 2)) 2)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) (/.f64 2 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 1/4 (/.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 -1 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (neg.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) 4)) (*.f64 (log.f64 (-.f64 1 x)) 4))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 (/.f64 -1 (log.f64 (+.f64 1 x))) (neg.f64 (log.f64 (-.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (/.f64 1 (log.f64 (+.f64 1 x))) 1/4) (*.f64 (log.f64 (-.f64 1 x)) 4))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 1/2 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x))))) (log.f64 (-.f64 1 x)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 1/2 (/.f64 2 (log.f64 (+.f64 1 x)))) (log.f64 (-.f64 1 x)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 (/.f64 -1 (/.f64 -1 (log.f64 (-.f64 1 x)))) (/.f64 1 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (/.f64 1 (log.f64 (-.f64 1 x))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (/.f64 1/2 (log.f64 (-.f64 1 x))))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(*.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (sqrt.f64 (+.f64 x 1)))))))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (sqrt.f64 (+.f64 x 1)))))
(.f64 (/.f64 2 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (*.f64 (log.f64 (+.f64 1 x)) (/.f64 1/2 (log.f64 (-.f64 1 x)))))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (.f64 2 (log.f64 (+.f64 x 1))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(*.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (sqrt.f64 (+.f64 x 1)))))))
(.f64 (/.f64 1/2 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (sqrt.f64 (+.f64 x 1)))))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (neg.f64 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))) (/.f64 -1 (log.f64 (-.f64 1 x))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (log.f64 (+.f64 1 x)))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 1 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))) (.f64 (log.f64 (+.f64 1 x)) (/.f64 2 (log.f64 (-.f64 1 x)))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 2 (.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))) (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (*.f64 (log.f64 (+.f64 1 x)) 2)) -1)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 1 x)) 4)) 4)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 1/2 (/.f64 1/2 (log.f64 (+.f64 1 x)))) (*.f64 (log.f64 (-.f64 1 x)) 4))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 -1/2 (log.f64 (+.f64 1 x))) (.f64 (log.f64 (-.f64 1 x)) -2))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 1/2 (.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x))))) (*.f64 (log.f64 (+.f64 1 x)) (/.f64 2 (log.f64 (-.f64 1 x)))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (.f64 2 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))) (/.f64 2 (log.f64 (-.f64 1 x))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(*.f64 (/.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 4) 4)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) 8)) (*.f64 (log.f64 (-.f64 1 x)) 8))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 1 (.f64 (log.f64 (+.f64 1 x)) -2)) (*.f64 (log.f64 (-.f64 1 x)) -2))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 -1 (.f64 (log.f64 (+.f64 1 x)) 2)) (*.f64 (log.f64 (-.f64 1 x)) -2))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 (log.f64 (pow.f64 (-.f64 1 x) (/.f64 1/2 (log.f64 (+.f64 1 x))))) 2)
(*.f64 (/.f64 1/2 (log.f64 (+.f64 x 1))) (log.f64 (pow.f64 (-.f64 1 x) 2)))
(pow.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 1)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(neg.f64 (/.f64 (neg.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(neg.f64 (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (neg.f64 (*.f64 (log.f64 (+.f64 1 x)) (/.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (-.f64 1 x)))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))
(.f64 (log.f64 (+.f64 x 1)) (/.f64 1 (.f64 (log.f64 (-.f64 1 x)) (.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (+.f64 x 1)) (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))))))))
(/.f64 (.f64 1/2 (/.f64 (.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
(/.f64 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))) (log.f64 (-.f64 1 x)))
(neg.f64 (/.f64 (.f64 (log.f64 (-.f64 1 x)) -2) (.f64 (log.f64 (+.f64 1 x)) 2)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(log.f64 (pow.f64 (-.f64 1 x) (/.f64 1 (log.f64 (+.f64 1 x)))))
(log.f64 (pow.f64 (-.f64 1 x) (/.f64 1 (log.f64 (+.f64 x 1)))))
(log.f64 (pow.f64 (pow.f64 (+.f64 x -1) 2) (/.f64 1/2 (log.f64 (+.f64 1 x)))))
(log.f64 (pow.f64 (+.f64 x -1) (*.f64 2 (/.f64 1/2 (log.f64 (+.f64 x 1))))))
(log.f64 (pow.f64 (+.f64 x -1) (/.f64 1 (log.f64 (+.f64 x 1)))))

eval139.0ms (0.7%)

Compiler: Compiled 8065 to 6838 computations (15.2% saved)

prune39.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	288	4	292
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	288	5	293

Error

Counts

293 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	62.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
▶	0.1b	(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
▶	0.2b	(-.f64 -1 x)
▶	0.1b	(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
	0.9b	-1

Compiler

Compiled 38 to 31 computations (18.4% saved)

localize10.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 25 to 19 computations (24% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite133.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	68	25
2	140	25
3	256	25
4	469	25
5	1042	25
6	2894	25
7	5246	25
8	6325	25
9	7716	25

Stop Event

1×	node limit

Counts

1 → 28

Calls

Call 1

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

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

Outputs

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

simplify422.0ms (2%)

Algorithm

1×	egg-herbie

Rules

3732×	`rational.json-simplify-51`
1970×	`rational.json-simplify-35`
1558×	`rational.json-simplify-1`
1328×	`rational.json-simplify-2`
1002×	`rational.json-simplify-42`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	75	1104
1	154	1012
2	355	1012
3	1085	1012
4	2106	984
5	3220	984
6	3735	984
7	3932	984
8	4208	984
9	4432	984
10	4734	984
11	5135	984
12	5311	984
13	5483	984
14	5776	984
15	5996	984
16	6101	984
17	6661	984
18	6890	984
19	7160	984
20	7349	984

Stop Event

1×	node limit

Counts

40 → 44

Calls

Call 1

Inputs
-1
(-.f64 (*.f64 -1 x) 1)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(*.f64 -1/2 (pow.f64 x 2))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x))
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(*.f64 -1/2 (pow.f64 x 2))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x))
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(-.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 0)
(-.f64 0 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(-.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (neg.f64 x)) 1)
(.f64 2 (+.f64 (.f64 (-.f64 -1 x) 1/2) (*.f64 (pow.f64 x 2) -1/4)))
(.f64 -1 (+.f64 (+.f64 x 1) (.f64 (pow.f64 x 2) 1/2)))
(.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 1)
(.f64 1 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)))
(*.f64 (+.f64 (-.f64 (-.f64 -2 x) x) (neg.f64 (pow.f64 x 2))) 1/2)
(.f64 4 (.f64 -1/4 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2))))
(.f64 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 4) 1/4)
(*.f64 1/2 (+.f64 (-.f64 (-.f64 -2 x) x) (neg.f64 (pow.f64 x 2))))
(.f64 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8) 1/8)
(.f64 (+.f64 (.f64 (-.f64 -1 x) 1/2) (*.f64 (pow.f64 x 2) -1/4)) 2)
(.f64 1/4 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 4))
(.f64 (.f64 -1/4 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2))) 4)
(.f64 (+.f64 (+.f64 x 1) (.f64 (pow.f64 x 2) 1/2)) -1)
(.f64 1/8 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8))
(/.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 1)
(/.f64 (+.f64 (-.f64 (-.f64 -2 x) x) (neg.f64 (pow.f64 x 2))) 2)
(/.f64 (.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8)) 16)
(/.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)) -1)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8))))) 128)
(pow.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 1)
(neg.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))

Outputs
-1
(-.f64 (*.f64 -1 x) 1)
(+.f64 (neg.f64 x) -1)
(-.f64 -1 x)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(*.f64 -1/2 (pow.f64 x 2))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x))
(+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(*.f64 -1/2 (pow.f64 x 2))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x))
(+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(-.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 0)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(-.f64 0 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 x (+.f64 1 (*.f64 (pow.f64 x 2) 1/2))))
(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
(-.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (neg.f64 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(.f64 2 (+.f64 (.f64 (-.f64 -1 x) 1/2) (*.f64 (pow.f64 x 2) -1/4)))
(.f64 -1 (+.f64 (+.f64 x 1) (.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 x (+.f64 1 (*.f64 (pow.f64 x 2) 1/2))))
(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
(.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(.f64 1 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)))
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(*.f64 (+.f64 (-.f64 (-.f64 -2 x) x) (neg.f64 (pow.f64 x 2))) 1/2)
(*.f64 1/2 (+.f64 (-.f64 (-.f64 -2 x) x) (neg.f64 (pow.f64 x 2))))
(.f64 1/2 (+.f64 (+.f64 (.f64 x -2) -2) (neg.f64 (pow.f64 x 2))))
(.f64 1/2 (+.f64 (+.f64 -2 (.f64 x -2)) (neg.f64 (pow.f64 x 2))))
(.f64 4 (.f64 -1/4 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2))))
(neg.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 x (+.f64 1 (*.f64 (pow.f64 x 2) 1/2))))
(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
(.f64 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 4) 1/4)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(*.f64 1/2 (+.f64 (-.f64 (-.f64 -2 x) x) (neg.f64 (pow.f64 x 2))))
(.f64 1/2 (+.f64 (+.f64 (.f64 x -2) -2) (neg.f64 (pow.f64 x 2))))
(.f64 1/2 (+.f64 (+.f64 -2 (.f64 x -2)) (neg.f64 (pow.f64 x 2))))
(.f64 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8) 1/8)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(.f64 (+.f64 (.f64 (-.f64 -1 x) 1/2) (*.f64 (pow.f64 x 2) -1/4)) 2)
(.f64 2 (+.f64 (.f64 (-.f64 -1 x) 1/2) (*.f64 (pow.f64 x 2) -1/4)))
(.f64 1/4 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 4))
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(.f64 (.f64 -1/4 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2))) 4)
(neg.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 x (+.f64 1 (*.f64 (pow.f64 x 2) 1/2))))
(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
(.f64 (+.f64 (+.f64 x 1) (.f64 (pow.f64 x 2) 1/2)) -1)
(neg.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 x (+.f64 1 (*.f64 (pow.f64 x 2) 1/2))))
(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
(.f64 1/8 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8))
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(/.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(/.f64 (+.f64 (-.f64 (-.f64 -2 x) x) (neg.f64 (pow.f64 x 2))) 2)
(/.f64 (+.f64 (+.f64 (*.f64 x -2) -2) (neg.f64 (pow.f64 x 2))) 2)
(/.f64 (+.f64 (+.f64 -2 (*.f64 x -2)) (neg.f64 (pow.f64 x 2))) 2)
(/.f64 (.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 4) 4)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(/.f64 (.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8) 8)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8)) 16)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(/.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)) -1)
(neg.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 x (+.f64 1 (*.f64 (pow.f64 x 2) 1/2))))
(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8))) 32)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8)))) 64)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 8))))) 128)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(pow.f64 (+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x)) 1)
(+.f64 (+.f64 (neg.f64 x) (*.f64 -1/2 (pow.f64 x 2))) -1)
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
(neg.f64 (+.f64 (+.f64 x 1) (*.f64 (pow.f64 x 2) 1/2)))
(neg.f64 (+.f64 x (+.f64 1 (*.f64 (pow.f64 x 2) 1/2))))
(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))

localize2.0ms (0%)

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

localize15.0ms (0.1%)

Compiler: Compiled 37 to 29 computations (21.6% saved)

eval12.0ms (0.1%)

Compiler: Compiled 490 to 402 computations (18% saved)

prune5.0ms (0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	0	1	1
Picked	1	0	1
Done	1	2	3
Total	45	4	49

Error

Counts

49 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	62.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
▶	0.1b	(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
✓	0.2b	(-.f64 -1 x)
	0.9b	-1

Compiler

Compiled 26 to 21 computations (19.2% saved)

localize11.0ms (0.1%)

Compiler: Compiled 29 to 22 computations (24.1% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	62.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
✓	0.1b	(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
✓	0.2b	(-.f64 -1 x)
	0.9b	-1

Compiler

Compiled 26 to 21 computations (19.2% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	62.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
✓	0.1b	(-.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
✓	0.2b	(-.f64 -1 x)
	0.9b	-1

Compiler

Compiled 26 to 21 computations (19.2% saved)

regimes9.0ms (0%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

2 calls:

5.0ms	x
2.0ms	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))`

Compiler

Compiled 55 to 43 computations (21.8% saved)

regimes4.0ms (0%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
0.1b	1	`x`

Compiler

Compiled 16 to 12 computations (25% saved)

regimes3.0ms (0%)

Accuracy

Total -0.7b remaining (-301.9%)

Threshold costs -0.7b (-301.9%)

Counts

2 → 1

Calls

Call 1

Inputs
-1
(-.f64 -1 x)

Outputs
(-.f64 -1 x)

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
0.2b	1	`x`

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	58

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 26 to 21 computations (19.2% saved)

soundness564.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

3732×	`rational.json-simplify-51`
1970×	`rational.json-simplify-35`
1558×	`rational.json-simplify-1`
1328×	`rational.json-simplify-2`
1076×	`rational.json-simplify-55`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	418	8497
1	921	8299
2	4147	7679
3	6581	7497
0	75	1104
1	154	1012
2	355	1012
3	1085	1012
4	2106	984
5	3220	984
6	3735	984
7	3932	984
8	4208	984
9	4432	984
10	4734	984
11	5135	984
12	5311	984
13	5483	984
14	5776	984
15	5996	984
16	6101	984
17	6661	984
18	6890	984
19	7160	984
20	7349	984

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 162 to 132 computations (18.5% saved)

end32.0ms (0.1%)

Compiler: Compiled 23 to 18 computations (21.7% saved)

Details

analyze397.0ms (1.9%)

sample6.5s (30.4%)

preprocess6.4s (30%)

simplify6.4s (29.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize12.0ms (0.1%)

series5.0ms (0%)

rewrite91.0ms (0.4%)

simplify163.0ms (0.8%)

eval139.0ms (0.7%)

prune39.0ms (0.2%)

localize10.0ms (0%)

series1.0ms (0%)

rewrite133.0ms (0.6%)

simplify422.0ms (2%)

localize2.0ms (0%)

localize15.0ms (0.1%)

eval12.0ms (0.1%)

prune5.0ms (0%)

localize11.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes9.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

simplify2.0ms (0%)

soundness564.0ms (2.6%)

end32.0ms (0.1%)

Profiling