Details

analyze953.0ms (4.5%)

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.1s (28.6%)

Results

4.4s	4087×	body	1024	valid
857.0ms	2092×	body	512	valid
498.0ms	409×	body	2048	valid
298.0ms	1668×	body	256	valid

Bogosity

preprocess6.3s (29.3%)

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.3s (29.3%)

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

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 8 computations (20% saved)

localize45.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 26 to 19 computations (26.9% saved)

series6.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)))
2.0ms	x	@	-inf	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
0.0ms	x	@	inf	(log.f64 (-.f64 1 x))
0.0ms	x	@	0	(log.f64 (-.f64 1 x))
0.0ms	x	@	0	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

rewrite95.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1926×	`bool.json-1`
1926×	`bool.json-2`
1888×	`rational.json-1`
1590×	`bool.json-3`
654×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	49
1	108	49
2	328	49
3	718	49
4	1686	49
5	5412	49

Stop Event

1×	node limit

Counts

3 → 112

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 (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 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 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 (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 (log.f64 (-.f64 1 x)) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 4 (neg.f64 (log.f64 (-.f64 1 x)))) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (log.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (log.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (-.f64 1 x)) (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 (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 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)) 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 (/.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 0 (/.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 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) -2) -1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (log.f64 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (log.f64 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (log.f64 (+.f64 1 x)) (log.f64 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (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))) 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 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 0)))) (#(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 1 (log.f64 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log.f64 (-.f64 1 x)) (.f64 (.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log.f64 (-.f64 1 x)) (.f64 (/.f64 2 (log.f64 (+.f64 1 x))) 1/2))))) (#(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 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (.f64 (log.f64 (-.f64 1 x)) 2) (neg.f64 (.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 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 (.f64 (log.f64 (+.f64 1 x)) 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (log.f64 (-.f64 1 x)) 4) (.f64 1/4 (/.f64 1 (log.f64 (+.f64 1 x)))))))) (#(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 (neg.f64 (log.f64 (-.f64 1 x))) (.f64 (/.f64 -1 (log.f64 (+.f64 1 x))) 1))))) (#(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 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))) (/.f64 1 (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) 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 4 (/.f64 (log.f64 (+.f64 1 x)) (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 (/.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 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))))) (#(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/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 (neg.f64 (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 (neg.f64 (.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 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))) -1)))) (#(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 (log.f64 (-.f64 1 x)) 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 2 (log.f64 (+.f64 1 x))) (.f64 (log.f64 (-.f64 1 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (log.f64 (-.f64 1 x)) (/.f64 1/2 (log.f64 (+.f64 1 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1 (log.f64 (-.f64 1 x))) (/.f64 (neg.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 1/4 (/.f64 4 (/.f64 (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 2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (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 (+.f64 (/.f64 1/2 (log.f64 (+.f64 1 x))) (/.f64 1/2 (log.f64 (+.f64 1 x)))) (log.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 (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 or (/.f64 (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 (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 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 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 (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 (log.f64 (-.f64 1 x)) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 4 (neg.f64 (log.f64 (-.f64 1 x)))) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (log.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (log.f64 (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (-.f64 1 x)) (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 (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 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)) 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 (/.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 0 (/.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 (*.f64 2 (*.f64 (log.f64 (+.f64 1 x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (log.f64 (+.f64 1 x)) -2) -1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (log.f64 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (log.f64 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (log.f64 (+.f64 1 x)) (log.f64 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (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))) 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 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 0)))) (#(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 1 (log.f64 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (-.f64 1 x)) (*.f64 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (-.f64 1 x)) (*.f64 (/.f64 2 (log.f64 (+.f64 1 x))) 1/2))))) (#(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 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 (*.f64 (log.f64 (-.f64 1 x)) 2) (neg.f64 (*.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 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 (*.f64 (log.f64 (+.f64 1 x)) 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 (-.f64 1 x)) 4) (*.f64 1/4 (/.f64 1 (log.f64 (+.f64 1 x)))))))) (#(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 (neg.f64 (log.f64 (-.f64 1 x))) (*.f64 (/.f64 -1 (log.f64 (+.f64 1 x))) 1))))) (#(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 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))) (/.f64 1 (*.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 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 4 (/.f64 (log.f64 (+.f64 1 x)) (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 (/.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 (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (*.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))))) (#(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/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 (neg.f64 (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 (neg.f64 (*.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 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))) -1)))) (#(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 (log.f64 (-.f64 1 x)) 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 2 (log.f64 (+.f64 1 x))) (*.f64 (log.f64 (-.f64 1 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 (-.f64 1 x)) (/.f64 1/2 (log.f64 (+.f64 1 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (log.f64 (-.f64 1 x))) (/.f64 (neg.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 1/4 (/.f64 4 (/.f64 (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 2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (*.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (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 (+.f64 (/.f64 1/2 (log.f64 (+.f64 1 x))) (/.f64 1/2 (log.f64 (+.f64 1 x)))) (log.f64 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 (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 or (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))))))))

simplify377.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1312×	`rational.json-simplify-2`
1128×	`rational.json-simplify-1`
830×	`rational.json-simplify-53`
628×	`rational.json-simplify-50`
540×	`rational.json-simplify-55`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	359	6752
1	850	6546
2	3203	6340
3	5975	6324
4	7484	6324

Stop Event

1×	node limit

Counts

148 → 255

Calls

Call 1

Inputs
(*.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))))
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))))
-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 (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 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 1/4 (.f64 (log.f64 (-.f64 1 x)) 4))
(.f64 (.f64 (log.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 (log.f64 (-.f64 1 x)) -2)) 2)
(/.f64 (/.f64 (*.f64 4 (neg.f64 (log.f64 (-.f64 1 x)))) -1) 4)
(neg.f64 (neg.f64 (log.f64 (-.f64 1 x))))
(+.f64 (log.f64 (+.f64 1 x)) 0)
(+.f64 0 (log.f64 (+.f64 1 x)))
(-.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 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)) 1/2) 2)
(.f64 1/4 (.f64 (log.f64 (+.f64 1 x)) 4))
(/.f64 1 (/.f64 1 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (+.f64 1 x)) 1)
(/.f64 -1 (-.f64 0 (/.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 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) 8)) 16)
(/.f64 (/.f64 (*.f64 (log.f64 (+.f64 1 x)) -2) -1) 2)
(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 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 0)
(*.f64 1 (/.f64 (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 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))) 1/2))
(.f64 (log.f64 (-.f64 1 x)) (.f64 (/.f64 2 (log.f64 (+.f64 1 x))) 1/2))
(.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 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x))) 1)
(*.f64 -1 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))))
(.f64 -1 (.f64 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))) 1))
(.f64 -1 (/.f64 (.f64 (log.f64 (-.f64 1 x)) 2) (neg.f64 (*.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 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 (.f64 (log.f64 (+.f64 1 x)) 4)) 1))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (*.f64 1/4 (/.f64 1 (log.f64 (+.f64 1 x)))))
(.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 (neg.f64 (log.f64 (-.f64 1 x))) (.f64 (/.f64 -1 (log.f64 (+.f64 1 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 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 2 (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))) (/.f64 1 (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) 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 4 (/.f64 (log.f64 (+.f64 1 x)) (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 (/.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 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))
(.f64 1/2 (.f64 (log.f64 (-.f64 1 x)) (/.f64 2 (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 (neg.f64 (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 (neg.f64 (*.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 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 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 (log.f64 (+.f64 1 x)) (.f64 (log.f64 (-.f64 1 x)) 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 2 (log.f64 (+.f64 1 x))) (.f64 (log.f64 (-.f64 1 x)) 1/2))
(.f64 (.f64 (log.f64 (-.f64 1 x)) (/.f64 1/2 (log.f64 (+.f64 1 x)))) 2)
(.f64 (/.f64 -1 (log.f64 (-.f64 1 x))) (/.f64 (neg.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/4 (/.f64 4 (/.f64 (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 2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) (/.f64 2 (log.f64 (+.f64 1 x))))
(*.f64 (+.f64 (/.f64 1/2 (log.f64 (+.f64 1 x))) (/.f64 1/2 (log.f64 (+.f64 1 x)))) (log.f64 (-.f64 1 x)))
(neg.f64 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))))

Outputs
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x))
(+.f64 (.f64 -1 x) (.f64 -1/2 (pow.f64 x 2)))
(+.f64 (neg.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)) (*.f64 -1 x)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -1 x) (*.f64 -1/3 (pow.f64 x 3))))
(+.f64 (neg.f64 x) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 -1/2 (pow.f64 x 2))))
(+.f64 (neg.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 x) (.f64 -1/4 (pow.f64 x 4)))))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (neg.f64 x) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (*.f64 -1/4 (pow.f64 x 4)))))
(+.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 (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 (+.f64 (.f64 -1 (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 (neg.f64 (log.f64 (/.f64 1 x))) (-.f64 (log.f64 -1) (+.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 (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 -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 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 1/2 (/.f64 1 (pow.f64 x 2))) (+.f64 (/.f64 1 x) (.f64 1/3 (/.f64 1 (pow.f64 x 3))))))
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 (pow.f64 x 3) 1/3)))
(+.f64 x (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.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/4 (pow.f64 x 4)) x)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 x (*.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 (neg.f64 (log.f64 (/.f64 1 x))) (-.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 x) (.f64 1/3 (/.f64 1 (pow.f64 x 3)))) (-.f64 (.f64 -1 (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 (neg.f64 (log.f64 (/.f64 1 x))) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (-.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 1 x) (-.f64 (+.f64 (neg.f64 (log.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 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 1 x)))
(+.f64 (log.f64 -1) (+.f64 (/.f64 1 x) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (+.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 (neg.f64 (log.f64 (/.f64 -1 x))) (-.f64 (+.f64 (/.f64 1 x) (log.f64 -1)) (*.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 (log.f64 -1) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (-.f64 (/.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 (+.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/3 (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 x) (log.f64 -1))) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (-.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))))
(+.f64 (log.f64 -1) (+.f64 (neg.f64 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/3 (/.f64 1 (pow.f64 x 3))) (-.f64 (/.f64 1 x) (.f64 1/2 (/.f64 1 (pow.f64 x 2)))))))
-1
(-.f64 (*.f64 -1 x) 1)
(+.f64 (*.f64 -1 x) -1)
(+.f64 -1 (neg.f64 x))
(-.f64 -1 x)
(-.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -1 x)) 1)
(+.f64 (.f64 -1 x) (-.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 -1 x) (.f64 (pow.f64 x 3) -5/12)) (-.f64 (*.f64 -1/2 (pow.f64 x 2)) 1))
(+.f64 -1 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (neg.f64 x) (.f64 (pow.f64 x 3) -5/12))))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (-.f64 -1 x) (.f64 (pow.f64 x 3) -5/12)))
(.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 (/.f64 2 x) (log.f64 (/.f64 1 x))) (/.f64 (log.f64 -1) (*.f64 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/2 (/.f64 1 (.f64 (pow.f64 x 2) (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 2 (/.f64 1 (.f64 x (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 (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 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (*.f64 (pow.f64 x 2) (pow.f64 (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 1/2 (/.f64 (/.f64 1 (pow.f64 x 2)) (log.f64 (/.f64 1 x)))) (.f64 2 (/.f64 (/.f64 1 x) (log.f64 (/.f64 1 x)))))) (+.f64 (/.f64 (log.f64 -1) (.f64 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)) (*.f64 (pow.f64 x 2) (pow.f64 (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 (/.f64 1 x) (log.f64 (/.f64 1 x)))) (.f64 1/2 (/.f64 (/.f64 1 (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 (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)) (*.f64 (pow.f64 x 2) (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 (.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 1 (.f64 (pow.f64 x 2) (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 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)) (.f64 (pow.f64 x 2) (pow.f64 (log.f64 (/.f64 1 x)) 2)))) (+.f64 (+.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 (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 (/.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 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 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (+.f64 (.f64 1/3 (/.f64 (/.f64 1 (log.f64 (/.f64 1 x))) (pow.f64 x 3))) (.f64 1/2 (/.f64 (/.f64 1 (pow.f64 x 2)) (log.f64 (/.f64 1 x)))))) (-.f64 (.f64 2 (/.f64 (/.f64 1 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 (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 (/.f64 (log.f64 -1) (.f64 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)) (.f64 (pow.f64 x 2) (pow.f64 (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 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (.f64 1/3 (/.f64 (/.f64 1 (log.f64 (/.f64 1 x))) (pow.f64 x 3)))) (+.f64 (.f64 1/2 (/.f64 (/.f64 1 (pow.f64 x 2)) (log.f64 (/.f64 1 x)))) (-.f64 (.f64 2 (/.f64 (/.f64 1 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 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 x 2) (pow.f64 (log.f64 (/.f64 1 x)) 2)))) (+.f64 (/.f64 (log.f64 -1) (.f64 x (pow.f64 (log.f64 (/.f64 1 x)) 2))) (+.f64 (.f64 -1 (+.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 (.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 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 (neg.f64 (/.f64 (+.f64 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (log.f64 (/.f64 1 x)))) (.f64 1/3 (/.f64 (/.f64 1 (log.f64 (/.f64 1 x))) (pow.f64 x 3)))) (+.f64 (.f64 1/2 (/.f64 (/.f64 1 (pow.f64 x 2)) (log.f64 (/.f64 1 x)))) (-.f64 (.f64 2 (/.f64 (/.f64 1 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 (neg.f64 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 (pow.f64 x 2) (pow.f64 (log.f64 (/.f64 1 x)) 2)))) (+.f64 (/.f64 (log.f64 -1) (.f64 x (pow.f64 (log.f64 (/.f64 1 x)) 2))) (+.f64 (.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 (/.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 (.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 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x))))))
(neg.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))))
(+.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 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))))) (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) x)))
(*.f64 -1 (+.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) x) (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))))
(*.f64 -1 (+.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) x)))
(neg.f64 (+.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 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 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))))) (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) x)) (.f64 -1 (/.f64 (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (.f64 1/2 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))))))) (pow.f64 x 2)))))
(+.f64 (neg.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (.f64 -1 (+.f64 (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (.f64 1/2 (+.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))))) (pow.f64 x 2)) (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) x))))
(.f64 -1 (+.f64 (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (.f64 1/2 (+.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))))) (pow.f64 x 2)) (+.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 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 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (.f64 1/2 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))))))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))))) (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) x)) (.f64 -1 (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 3))) (+.f64 (.f64 -1 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 x))))))))))) (pow.f64 x 3))))))
(+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (.f64 1/2 (+.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))))) (pow.f64 x 2))) (+.f64 (neg.f64 (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 3))) (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))))))))) (pow.f64 x 3))) (*.f64 -1 (+.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) x) (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))))))
(+.f64 (neg.f64 (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (.f64 1/2 (+.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))))) (pow.f64 x 2))) (.f64 -1 (+.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (+.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) x) (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 3))) (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (*.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))))))))) (pow.f64 x 3))))))
(+.f64 (neg.f64 (+.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) x) (/.f64 (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (.f64 1/2 (+.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))))) (pow.f64 x 2)))) (neg.f64 (+.f64 (/.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (-.f64 (.f64 1/3 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 3))) (+.f64 (neg.f64 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (.f64 1/3 (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (.f64 -1/2 (/.f64 (-.f64 (/.f64 1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))) (/.f64 (log.f64 (/.f64 -1 x)) (pow.f64 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x)))) 2))) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 x))))))))))) (pow.f64 x 3)))))
(+.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 1 (neg.f64 (log.f64 (-.f64 1 x)))))
(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 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 1/4 (.f64 (log.f64 (-.f64 1 x)) 4))
(log.f64 (-.f64 1 x))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 1/2) 2)
(log.f64 (-.f64 1 x))
(/.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 (log.f64 (-.f64 1 x)) -2)) 2)
(log.f64 (-.f64 1 x))
(/.f64 (/.f64 (*.f64 4 (neg.f64 (log.f64 (-.f64 1 x)))) -1) 4)
(log.f64 (-.f64 1 x))
(neg.f64 (neg.f64 (log.f64 (-.f64 1 x))))
(log.f64 (-.f64 1 x))
(+.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 (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 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 (.f64 (log.f64 (+.f64 1 x)) 1/2) 2)
(log.f64 (+.f64 x 1))
(.f64 1/4 (.f64 (log.f64 (+.f64 1 x)) 4))
(log.f64 (+.f64 x 1))
(/.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 0 (/.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 (.f64 2 (.f64 (log.f64 (+.f64 1 x)) 8)) 16)
(log.f64 (+.f64 x 1))
(/.f64 (/.f64 (*.f64 (log.f64 (+.f64 1 x)) -2) -1) 2)
(log.f64 (+.f64 x 1))
(neg.f64 (neg.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 (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)) (log.f64 (+.f64 1 x))) 0)
(/.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 1 (log.f64 (+.f64 1 x))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (log.f64 (-.f64 1 x)) (.f64 (*.f64 2 (/.f64 1 (log.f64 (+.f64 1 x)))) 1/2))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (log.f64 (-.f64 1 x)) (.f64 (/.f64 2 (log.f64 (+.f64 1 x))) 1/2))
(/.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 1 (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 (log.f64 (+.f64 x 1)) (/.f64 (/.f64 1 (log.f64 (+.f64 x 1))) (.f64 (/.f64 (log.f64 (+.f64 x 1)) (*.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 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (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))) 1)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(*.f64 -1 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (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)) (neg.f64 (log.f64 (+.f64 1 x)))) 1))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 -1 (/.f64 (.f64 (log.f64 (-.f64 1 x)) 2) (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)) 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 1/2 (log.f64 (+.f64 1 x)))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.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 (.f64 (log.f64 (+.f64 1 x)) 4)) 1))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (.f64 (log.f64 (-.f64 1 x)) 4) (*.f64 1/4 (/.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)) 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 (neg.f64 (log.f64 (-.f64 1 x))) (.f64 (/.f64 -1 (log.f64 (+.f64 1 x))) 1))
(/.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 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 1 (.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 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 (/.f64 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 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (log.f64 (+.f64 x 1))))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 2 (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 2 (.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (*.f64 2 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))))))
(*.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))))
(*.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1))))))
(.f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))) (/.f64 1 (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))
(.f64 (.f64 2 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (/.f64 1 (.f64 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x))) (.f64 2 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))))))
(.f64 (.f64 2 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (*.f64 2 (log.f64 (+.f64 x 1))) (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1))))))
(.f64 (/.f64 (.f64 (log.f64 (+.f64 1 x)) 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 2 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (/.f64 1/2 (.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 2 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (/.f64 (*.f64 (log.f64 (-.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 x 1)) (/.f64 1/2 (log.f64 (+.f64 x 1))))))
(.f64 (.f64 2 (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (/.f64 (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (*.f64 2 (log.f64 (+.f64 x 1)))))
(*.f64 (/.f64 4 (/.f64 (log.f64 (+.f64 1 x)) (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 (.f64 (log.f64 (-.f64 1 x)) 8) (/.f64 1 (*.f64 8 (log.f64 (+.f64 x 1)))))
(.f64 (log.f64 (-.f64 1 x)) (.f64 8 (/.f64 1/8 (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 (/.f64 1 (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (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 (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 (+.f64 x 1))))))
(/.f64 (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (log.f64 (-.f64 1 x)))
(.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (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 (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 (+.f64 x 1))))))
(/.f64 (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (log.f64 (-.f64 1 x)))
(.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/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 (neg.f64 (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 (neg.f64 (*.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 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))) -1)
(/.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 2 (/.f64 (/.f64 (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 (.f64 2 (/.f64 (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 (/.f64 1/2 (/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))) (log.f64 (-.f64 1 x))))
(.f64 2 (.f64 (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (/.f64 1/2 (log.f64 (-.f64 1 x)))))
(.f64 (/.f64 (log.f64 (+.f64 1 x)) (.f64 (log.f64 (-.f64 1 x)) 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 x 1)) (.f64 2 (log.f64 (-.f64 1 x)))) (/.f64 2 (.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 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))) (/.f64 2 (.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 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 (log.f64 (-.f64 1 x)) (/.f64 1/2 (log.f64 (+.f64 1 x)))) 2)
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(.f64 (/.f64 -1 (log.f64 (-.f64 1 x))) (/.f64 (neg.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 (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (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 (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 (+.f64 x 1))))))
(/.f64 (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (log.f64 (-.f64 1 x)))
(*.f64 1/4 (/.f64 4 (/.f64 (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 (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 2 (log.f64 (-.f64 1 x))) (/.f64 (log.f64 (+.f64 1 x)) (.f64 (/.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x))) (/.f64 (*.f64 (log.f64 (+.f64 1 x)) 2) (log.f64 (-.f64 1 x))))))
(.f64 (/.f64 1 (log.f64 (-.f64 1 x))) (/.f64 (/.f64 (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 (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 (+.f64 x 1))))))
(/.f64 (/.f64 (log.f64 (-.f64 1 x)) (/.f64 (log.f64 (+.f64 x 1)) (log.f64 (-.f64 1 x)))) (log.f64 (-.f64 1 x)))
(.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 (+.f64 (/.f64 1/2 (log.f64 (+.f64 1 x))) (/.f64 1/2 (log.f64 (+.f64 1 x)))) (log.f64 (-.f64 1 x)))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))
(neg.f64 (/.f64 (log.f64 (-.f64 1 x)) (neg.f64 (log.f64 (+.f64 1 x)))))
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 x 1)))

eval223.0ms (1%)

Compiler: Compiled 7893 to 6706 computations (15% saved)

prune235.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	252	3	255
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	252	4	256

Error

0.0b

Counts

256 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 21 computations (19.2% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 19 computations (24% saved)

series2.0ms (0%)

Counts

2 → 0

Calls

6 calls:

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

rewrite92.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	69	20
2	187	20
3	372	20
4	745	20
5	1576	20
6	3705	20
7	6508	20

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

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

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

Outputs

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

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

simplify327.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1738×	`rational.json-simplify-1`
1694×	`rational.json-simplify-2`
1592×	`rational.json-simplify-35`
1104×	`rational.json-simplify-45`
1098×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	77	375
1	157	375
2	521	375
3	1515	375
4	2299	375
5	3551	375
6	3677	375
7	3835	375
8	4005	375
9	4265	375
10	4707	375
11	5985	375
12	7189	375
13	7518	375
14	7963	375

Stop Event

1×	node limit

Counts

39 → 41

Calls

Call 1

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

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

localize3.0ms (0%)

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

eval187.0ms (0.9%)

Compiler: Compiled 526 to 440 computations (16.3% saved)

prune6.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	41	4	45

Error

0.0b

Counts

45 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	62.8b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
✓	0.2b	(-.f64 -1 x)
✓	0.1b	(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
	0.5b	-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

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	62.8b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
✓	0.2b	(-.f64 -1 x)
✓	0.1b	(+.f64 (*.f64 -1/2 (pow.f64 x 2)) (-.f64 -1 x))
	0.5b	-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

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 21 computations (19.2% saved)

regimes7.0ms (0%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

2 calls:

4.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 35 to 27 computations (22.9% saved)

regimes3.0ms (0%)

Accuracy

Total -0.4b remaining (-245.5%)

Threshold costs -0.4b (-245.5%)

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	10	33

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 16 to 13 computations (18.8% saved)

soundness127.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1312×	`rational.json-simplify-2`
1128×	`rational.json-simplify-1`
830×	`rational.json-simplify-53`
628×	`rational.json-simplify-50`
540×	`rational.json-simplify-55`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	359	6752
1	850	6546
2	3203	6340
3	5975	6324
4	7484	6324

Stop Event

1×	node limit

Compiler

Compiled 86 to 70 computations (18.6% saved)

end20.0ms (0.1%)

Compiler: Compiled 14 to 11 computations (21.4% saved)

Details

analyze953.0ms (4.5%)

sample6.1s (28.6%)

preprocess6.3s (29.3%)

simplify6.3s (29.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize45.0ms (0.2%)

series6.0ms (0%)

rewrite95.0ms (0.4%)

simplify377.0ms (1.8%)

eval223.0ms (1%)

prune235.0ms (1.1%)

localize12.0ms (0.1%)

series2.0ms (0%)

rewrite92.0ms (0.4%)

simplify327.0ms (1.5%)

localize3.0ms (0%)

eval187.0ms (0.9%)

prune6.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes7.0ms (0%)

regimes3.0ms (0%)

simplify2.0ms (0%)

soundness127.0ms (0.6%)

end20.0ms (0.1%)

Profiling