Details

analyze3.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
80%	50%	12.5%	0%	37.5%	0%	0%	5
88.9%	50%	6.2%	0%	43.7%	0%	0%	6
94.1%	50%	3.1%	0%	46.9%	0%	0%	7
97%	50%	1.6%	0%	48.4%	0%	0%	8
98.5%	50%	0.8%	0%	49.2%	0%	0%	9
99.2%	50.4%	0.4%	0%	49.2%	0%	0%	10
99.6%	50.4%	0.2%	0%	49.4%	0%	0%	11
99.8%	50.4%	0.1%	0%	49.5%	0%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample18.3s (66.1%)

Results

15.2s	4308×	body	2048	valid
2.6s	2051×	body	1024	valid
278.0ms	1002×	body	512	valid
167.0ms	895×	body	256	valid
1.0ms	14×	body	256	infinite

Bogosity

preprocess3.7s (13.5%)

Algorithm

2×	egg-herbie

Rules

20662×	`rational.json-simplify-41`
2336×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`
2×	`rational.json-simplify-12`
2×	`rational.json-simplify-10`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	18	25
2	26	25
3	34	25
4	46	25
5	66	25
6	116	25
7	251	25
8	648	25
9	816	25
10	824	25
11	832	25
12	840	25
13	848	25
14	856	25
15	864	25
16	872	25
17	880	25
18	888	25
19	896	25
20	904	25
21	912	25
22	920	25
23	928	25
24	2728	25
25	2736	25
26	2744	25
27	2752	25
28	2760	25
29	2768	25
30	3582	25
31	3590	25
32	3598	25
33	3606	25
34	3614	25
35	3622	25
36	3630	25
37	3638	25
38	3646	25
39	3654	25
40	3662	25
41	3670	25
42	3678	25
43	3686	25
44	3694	25
45	3702	25
46	3710	25
47	3718	25
48	3726	25
49	3734	25
50	3742	25
51	3750	25
52	3758	25
53	3766	25
54	3774	25
55	3782	25
56	3790	25
57	3798	25
58	3806	25
59	3814	25
60	3822	25
61	3830	25
62	3838	25
63	3846	25
64	3854	25
65	3862	25
66	3870	25
67	3878	25
68	3886	25
69	3894	25
70	3902	25
71	3910	25
72	3918	25
73	3926	25
74	3934	25
75	3942	25
76	3950	25
77	3958	25
78	3966	25
79	3974	25
80	3982	25
81	3990	25
82	3998	25
83	4006	25
84	4014	25
85	4022	25
86	4030	25
87	4038	25
88	4046	25
89	4054	25
90	4062	25
91	4070	25
92	4078	25
93	4086	25
94	4094	25
95	4102	25
96	4110	25
97	4118	25
98	4126	25
99	4134	25
100	4142	25
101	4150	25
102	4158	25
103	4166	25
104	4174	25
105	4182	25
106	4190	25
107	4198	25
108	4206	25
109	4214	25
110	4222	25
111	4230	25
112	4238	25
113	4246	25
114	4254	25
115	4262	25
116	4270	25
117	4278	25
118	4286	25
119	4294	25
120	4302	25
121	4310	25
122	4318	25
123	4326	25
124	4334	25
125	4342	25
126	4350	25
127	4358	25
128	4366	25
129	4374	25
130	4382	25
131	4390	25
132	4398	25
133	4406	25
134	4414	25
135	4422	25
136	4430	25
137	4438	25
138	4446	25
139	4454	25
140	4462	25
141	4470	25
142	4478	25
143	4486	25
144	4494	25
145	4502	25
146	4510	25
147	4518	25
148	4526	25
149	4534	25
150	4542	25
151	4550	25
152	4558	25
153	4566	25
154	4574	25
155	4582	25
156	4590	25
157	4598	25
158	4606	25
159	4614	25
160	4622	25
161	4630	25
162	4638	25
163	4646	25
164	4654	25
165	4662	25
166	4670	25
167	4678	25
168	4686	25
169	4694	25
170	4702	25
171	4710	25
172	4718	25
173	4726	25
174	4734	25
175	4742	25
176	4750	25
177	4758	25
178	4766	25
179	4774	25
180	4782	25
181	4790	25
182	4798	25
183	4806	25
184	4814	25
185	4822	25
186	4830	25
187	4838	25
188	4846	25
189	4854	25
190	4862	25
191	4870	25
192	4878	25
193	4886	25
194	4894	25
195	4902	25
196	4910	25
197	4918	25
198	4926	25
199	4934	25
200	4942	25
201	4950	25
202	4958	25
203	4966	25
204	4974	25
205	4982	25
206	4990	25
207	4998	25
208	5006	25
209	5014	25
210	5022	25
211	5030	25
212	5038	25
213	5046	25
214	5054	25
215	5062	25
216	5070	25
217	5078	25
218	5086	25
219	5094	25
220	5102	25
221	5110	25
222	5118	25
223	5126	25
224	5134	25
225	5142	25
226	5150	25
227	5158	25
228	5166	25
229	5174	25
230	5182	25
231	5190	25
232	5198	25
233	5206	25
234	5214	25
235	5222	25
236	5230	25
237	5238	25
238	5246	25
239	5254	25
240	5262	25
241	5270	25
242	5278	25
243	5286	25
244	5294	25
245	5302	25
246	5310	25
247	5318	25
248	5326	25
249	5334	25
250	5342	25
251	5350	25
252	5358	25
253	5366	25
254	5374	25
255	5382	25
256	5390	25
257	5398	25
258	5406	25
259	5414	25
260	5422	25
261	5430	25
262	5438	25
263	5446	25
264	5454	25
265	5462	25
266	5470	25
267	5478	25
268	5486	25
269	5494	25
270	5502	25
271	5510	25
272	5518	25
273	5526	25
274	5534	25
275	5542	25
276	5550	25
277	5558	25
278	5566	25
279	5574	25
280	5582	25
281	5590	25
282	5598	25
283	5606	25
284	5614	25
285	5622	25
286	5630	25
287	5638	25
288	5646	25
289	5654	25
290	5662	25
291	5670	25
292	5678	25
293	5686	25
294	5694	25
295	5702	25
296	5710	25
297	5718	25
298	5726	25
299	5734	25
300	5742	25
301	5750	25
302	5758	25
303	5766	25
304	5774	25
305	5782	25
306	5790	25
307	5798	25
308	5806	25
309	5814	25
310	5822	25
311	5830	25
312	5838	25
313	5846	25
314	5854	25
315	5862	25
316	5870	25
317	5878	25
318	5886	25
319	5894	25
320	5902	25
321	5910	25
322	5918	25
323	5926	25
324	5934	25
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Outputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify3.7s (13.5%)

Algorithm

1×	egg-herbie

Rules

20662×	`rational.json-simplify-41`
2336×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`
2×	`rational.json-simplify-12`
2×	`rational.json-simplify-10`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	18	25
2	26	25
3	34	25
4	46	25
5	66	25
6	116	25
7	251	25
8	648	25
9	816	25
10	824	25
11	832	25
12	840	25
13	848	25
14	856	25
15	864	25
16	872	25
17	880	25
18	888	25
19	896	25
20	904	25
21	912	25
22	920	25
23	928	25
24	2728	25
25	2736	25
26	2744	25
27	2752	25
28	2760	25
29	2768	25
30	3582	25
31	3590	25
32	3598	25
33	3606	25
34	3614	25
35	3622	25
36	3630	25
37	3638	25
38	3646	25
39	3654	25
40	3662	25
41	3670	25
42	3678	25
43	3686	25
44	3694	25
45	3702	25
46	3710	25
47	3718	25
48	3726	25
49	3734	25
50	3742	25
51	3750	25
52	3758	25
53	3766	25
54	3774	25
55	3782	25
56	3790	25
57	3798	25
58	3806	25
59	3814	25
60	3822	25
61	3830	25
62	3838	25
63	3846	25
64	3854	25
65	3862	25
66	3870	25
67	3878	25
68	3886	25
69	3894	25
70	3902	25
71	3910	25
72	3918	25
73	3926	25
74	3934	25
75	3942	25
76	3950	25
77	3958	25
78	3966	25
79	3974	25
80	3982	25
81	3990	25
82	3998	25
83	4006	25
84	4014	25
85	4022	25
86	4030	25
87	4038	25
88	4046	25
89	4054	25
90	4062	25
91	4070	25
92	4078	25
93	4086	25
94	4094	25
95	4102	25
96	4110	25
97	4118	25
98	4126	25
99	4134	25
100	4142	25
101	4150	25
102	4158	25
103	4166	25
104	4174	25
105	4182	25
106	4190	25
107	4198	25
108	4206	25
109	4214	25
110	4222	25
111	4230	25
112	4238	25
113	4246	25
114	4254	25
115	4262	25
116	4270	25
117	4278	25
118	4286	25
119	4294	25
120	4302	25
121	4310	25
122	4318	25
123	4326	25
124	4334	25
125	4342	25
126	4350	25
127	4358	25
128	4366	25
129	4374	25
130	4382	25
131	4390	25
132	4398	25
133	4406	25
134	4414	25
135	4422	25
136	4430	25
137	4438	25
138	4446	25
139	4454	25
140	4462	25
141	4470	25
142	4478	25
143	4486	25
144	4494	25
145	4502	25
146	4510	25
147	4518	25
148	4526	25
149	4534	25
150	4542	25
151	4550	25
152	4558	25
153	4566	25
154	4574	25
155	4582	25
156	4590	25
157	4598	25
158	4606	25
159	4614	25
160	4622	25
161	4630	25
162	4638	25
163	4646	25
164	4654	25
165	4662	25
166	4670	25
167	4678	25
168	4686	25
169	4694	25
170	4702	25
171	4710	25
172	4718	25
173	4726	25
174	4734	25
175	4742	25
176	4750	25
177	4758	25
178	4766	25
179	4774	25
180	4782	25
181	4790	25
182	4798	25
183	4806	25
184	4814	25
185	4822	25
186	4830	25
187	4838	25
188	4846	25
189	4854	25
190	4862	25
191	4870	25
192	4878	25
193	4886	25
194	4894	25
195	4902	25
196	4910	25
197	4918	25
198	4926	25
199	4934	25
200	4942	25
201	4950	25
202	4958	25
203	4966	25
204	4974	25
205	4982	25
206	4990	25
207	4998	25
208	5006	25
209	5014	25
210	5022	25
211	5030	25
212	5038	25
213	5046	25
214	5054	25
215	5062	25
216	5070	25
217	5078	25
218	5086	25
219	5094	25
220	5102	25
221	5110	25
222	5118	25
223	5126	25
224	5134	25
225	5142	25
226	5150	25
227	5158	25
228	5166	25
229	5174	25
230	5182	25
231	5190	25
232	5198	25
233	5206	25
234	5214	25
235	5222	25
236	5230	25
237	5238	25
238	5246	25
239	5254	25
240	5262	25
241	5270	25
242	5278	25
243	5286	25
244	5294	25
245	5302	25
246	5310	25
247	5318	25
248	5326	25
249	5334	25
250	5342	25
251	5350	25
252	5358	25
253	5366	25
254	5374	25
255	5382	25
256	5390	25
257	5398	25
258	5406	25
259	5414	25
260	5422	25
261	5430	25
262	5438	25
263	5446	25
264	5454	25
265	5462	25
266	5470	25
267	5478	25
268	5486	25
269	5494	25
270	5502	25
271	5510	25
272	5518	25
273	5526	25
274	5534	25
275	5542	25
276	5550	25
277	5558	25
278	5566	25
279	5574	25
280	5582	25
281	5590	25
282	5598	25
283	5606	25
284	5614	25
285	5622	25
286	5630	25
287	5638	25
288	5646	25
289	5654	25
290	5662	25
291	5670	25
292	5678	25
293	5686	25
294	5694	25
295	5702	25
296	5710	25
297	5718	25
298	5726	25
299	5734	25
300	5742	25
301	5750	25
302	5758	25
303	5766	25
304	5774	25
305	5782	25
306	5790	25
307	5798	25
308	5806	25
309	5814	25
310	5822	25
311	5830	25
312	5838	25
313	5846	25
314	5854	25
315	5862	25
316	5870	25
317	5878	25
318	5886	25
319	5894	25
320	5902	25
321	5910	25
322	5918	25
323	5926	25
324	5934	25

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Outputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

eval0.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% 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

30.7b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.7b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (exp.f64 x) 2)
✓	5.1b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Compiler

Compiled 22 to 10 computations (54.5% saved)

series1.0ms (0%)

Counts

2 → 16

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.0ms	x	@	0	(-.f64 (exp.f64 x) 2)
0.0ms	x	@	inf	(-.f64 (exp.f64 x) 2)

rewrite97.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1018×	`rational.json-simplify-35`
1010×	`bool.json-1`
1010×	`bool.json-2`
972×	`rational.json-1`
972×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	101	36
2	275	36
3	593	36
4	1301	36
5	3149	36
6	7577	36

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

Inputs
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) 2)

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

Outputs

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

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

simplify175.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1568×	`rational.json-simplify-35`
1160×	`rational.json-simplify-1`
1114×	`rational.json-simplify-19`
1110×	`rational.json-simplify-40`
976×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	118	1207
1	225	1207
2	545	1207
3	1342	1207
4	2498	1207
5	3143	1207
6	3346	1207
7	3562	1207
8	3952	1207
9	5218	1207
10	7794	1207

Stop Event

1×	node limit

Counts

59 → 73

Calls

Call 1

Inputs
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
-1
(-.f64 x 1)
(-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x) 1)
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x)) 1)
(-.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 0)
(.f64 2 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 1/2))
(.f64 2 (+.f64 (/.f64 1/2 (exp.f64 x)) (.f64 (+.f64 (exp.f64 x) -2) 1/2)))
(.f64 2 (+.f64 (.f64 (+.f64 (exp.f64 x) -2) 1/2) (/.f64 1/2 (exp.f64 x))))
(*.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 1)
(*.f64 1 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)))
(.f64 (.f64 2 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))) 1/2)
(*.f64 4 (/.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4))
(.f64 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4) 1/4)
(.f64 1/2 (.f64 2 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))))
(.f64 1/2 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))))
(.f64 1/2 (+.f64 (.f64 2 (+.f64 (exp.f64 x) -2)) (/.f64 2 (exp.f64 x))))
(.f64 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4))
(*.f64 (/.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4) 4)
(/.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 1)
(/.f64 (*.f64 2 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))) 2)
(/.f64 (*.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4) 4)
(/.f64 (*.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 8)) (.f64 2 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 8))) 32)
(+.f64 (exp.f64 x) -2)
(+.f64 (+.f64 (exp.f64 x) -2) 0)
(+.f64 0 (+.f64 (exp.f64 x) -2))
(+.f64 -2 (exp.f64 x))
(+.f64 (.f64 (+.f64 (exp.f64 x) -2) 1/2) (.f64 (+.f64 (exp.f64 x) -2) 1/2))
(+.f64 -3 (-.f64 1 (neg.f64 (exp.f64 x))))
(.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 1/2))
(*.f64 (+.f64 (exp.f64 x) -2) 1)
(*.f64 1 (+.f64 (exp.f64 x) -2))
(.f64 (.f64 2 (+.f64 (exp.f64 x) -2)) 1/2)
(*.f64 4 (/.f64 (+.f64 (exp.f64 x) -2) 4))
(.f64 (.f64 (+.f64 (exp.f64 x) -2) 4) 1/4)
(.f64 1/2 (.f64 2 (+.f64 (exp.f64 x) -2)))
(.f64 (.f64 (+.f64 (exp.f64 x) -2) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (exp.f64 x) -2) 4))
(*.f64 (/.f64 (+.f64 (exp.f64 x) -2) 4) 4)
(/.f64 (+.f64 (exp.f64 x) -2) 1)
(/.f64 (*.f64 2 (+.f64 (exp.f64 x) -2)) 2)
(/.f64 (*.f64 (+.f64 (exp.f64 x) -2) 4) 4)
(/.f64 (*.f64 (+.f64 (exp.f64 x) -2) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 8)) (.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 8))) 32)

Outputs
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (pow.f64 x 2) (.f64 1/360 (pow.f64 x 6))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(+.f64 (pow.f64 x 2) (+.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6))))
(+.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/20160 (pow.f64 x 8))) (+.f64 (pow.f64 x 2) (*.f64 1/360 (pow.f64 x 6))))
(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8)))))
(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8)))))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(-.f64 (+.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
-1
(-.f64 x 1)
(+.f64 x -1)
(-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x) 1)
(+.f64 x (-.f64 (*.f64 (pow.f64 x 2) 1/2) 1))
(+.f64 (*.f64 (pow.f64 x 2) 1/2) (+.f64 x -1))
(+.f64 -1 (+.f64 x (*.f64 (pow.f64 x 2) 1/2)))
(+.f64 (+.f64 x -1) (*.f64 (pow.f64 x 2) 1/2))
(+.f64 x (+.f64 -1 (*.f64 (pow.f64 x 2) 1/2)))
(-.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x)) 1)
(+.f64 (+.f64 x (.f64 (pow.f64 x 2) 1/2)) (-.f64 (.f64 1/6 (pow.f64 x 3)) 1))
(+.f64 -1 (+.f64 (.f64 (pow.f64 x 2) 1/2) (+.f64 x (.f64 1/6 (pow.f64 x 3)))))
(+.f64 x (+.f64 (+.f64 (.f64 (pow.f64 x 2) 1/2) (.f64 1/6 (pow.f64 x 3))) -1))
(+.f64 (.f64 (pow.f64 x 2) 1/2) (+.f64 (+.f64 x -1) (.f64 1/6 (pow.f64 x 3))))
(+.f64 x (+.f64 (.f64 (pow.f64 x 2) 1/2) (+.f64 -1 (.f64 1/6 (pow.f64 x 3)))))
(-.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 0)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 2 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 1/2))
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 2 (+.f64 (/.f64 1/2 (exp.f64 x)) (.f64 (+.f64 (exp.f64 x) -2) 1/2)))
(.f64 2 (+.f64 (/.f64 1/2 (exp.f64 x)) (.f64 1/2 (+.f64 (exp.f64 x) -2))))
(.f64 2 (+.f64 (.f64 (+.f64 (exp.f64 x) -2) 1/2) (/.f64 1/2 (exp.f64 x))))
(.f64 2 (+.f64 (/.f64 1/2 (exp.f64 x)) (.f64 1/2 (+.f64 (exp.f64 x) -2))))
(*.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 1)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(*.f64 1 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)))
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 (.f64 2 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))) 1/2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(*.f64 4 (/.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4))
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4) 1/4)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 1/2 (.f64 2 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))))
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 1/2 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))))
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 1/2 (+.f64 (.f64 2 (+.f64 (exp.f64 x) -2)) (/.f64 2 (exp.f64 x))))
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 1/2) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(.f64 1/4 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4))
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(*.f64 (/.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4) 4)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(/.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 1)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(/.f64 (*.f64 2 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2))) 2)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(/.f64 (*.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 4) 4)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(/.f64 (*.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 8) 8)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(/.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 8)) 16)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 8)) (.f64 2 (.f64 (+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) -2)) 8))) 32)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) -2)
(+.f64 (+.f64 (exp.f64 x) -2) 0)
(+.f64 (exp.f64 x) -2)
(+.f64 0 (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) -2)
(+.f64 -2 (exp.f64 x))
(+.f64 (exp.f64 x) -2)
(+.f64 (.f64 (+.f64 (exp.f64 x) -2) 1/2) (.f64 (+.f64 (exp.f64 x) -2) 1/2))
(+.f64 (exp.f64 x) -2)
(+.f64 -3 (-.f64 1 (neg.f64 (exp.f64 x))))
(+.f64 (exp.f64 x) -2)
(.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 1/2))
(+.f64 (exp.f64 x) -2)
(*.f64 (+.f64 (exp.f64 x) -2) 1)
(+.f64 (exp.f64 x) -2)
(*.f64 1 (+.f64 (exp.f64 x) -2))
(+.f64 (exp.f64 x) -2)
(.f64 (.f64 2 (+.f64 (exp.f64 x) -2)) 1/2)
(+.f64 (exp.f64 x) -2)
(*.f64 4 (/.f64 (+.f64 (exp.f64 x) -2) 4))
(+.f64 (exp.f64 x) -2)
(.f64 (.f64 (+.f64 (exp.f64 x) -2) 4) 1/4)
(+.f64 (exp.f64 x) -2)
(.f64 1/2 (.f64 2 (+.f64 (exp.f64 x) -2)))
(+.f64 (exp.f64 x) -2)
(.f64 (.f64 (+.f64 (exp.f64 x) -2) 1/2) 2)
(+.f64 (exp.f64 x) -2)
(.f64 1/4 (.f64 (+.f64 (exp.f64 x) -2) 4))
(+.f64 (exp.f64 x) -2)
(*.f64 (/.f64 (+.f64 (exp.f64 x) -2) 4) 4)
(+.f64 (exp.f64 x) -2)
(/.f64 (+.f64 (exp.f64 x) -2) 1)
(+.f64 (exp.f64 x) -2)
(/.f64 (*.f64 2 (+.f64 (exp.f64 x) -2)) 2)
(+.f64 (exp.f64 x) -2)
(/.f64 (*.f64 (+.f64 (exp.f64 x) -2) 4) 4)
(+.f64 (exp.f64 x) -2)
(/.f64 (*.f64 (+.f64 (exp.f64 x) -2) 8) 8)
(+.f64 (exp.f64 x) -2)
(/.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 8)) 16)
(+.f64 (exp.f64 x) -2)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 8)) (.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 8))) 32)
(+.f64 (exp.f64 x) -2)

eval82.0ms (0.3%)

Compiler: Compiled 948 to 600 computations (36.7% saved)

prune10.0ms (0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	69	4	73
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	69	5	74

Error

0.0b

Counts

74 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.8b	(pow.f64 x 2)
▶	0.4b	(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
▶	0.5b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	30.7b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
▶	31.6b	(+.f64 -1 (exp.f64 (neg.f64 x)))

Compiler

Compiled 45 to 36 computations (20% saved)

localize8.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	5.7b	(+.f64 -1 (exp.f64 (neg.f64 x)))

Compiler

Compiled 13 to 6 computations (53.8% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(+.f64 -1 (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(+.f64 -1 (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(+.f64 -1 (exp.f64 (neg.f64 x)))

rewrite83.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1750×	`bool.json-1`
1750×	`bool.json-2`
1698×	`rational.json-1`
1200×	`bool.json-3`
918×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	86	15
2	256	15
3	563	15
4	1209	15
5	2852	15
6	6569	15

Stop Event

1×	node limit

Counts

1 → 29

Calls

Call 1

Inputs
(+.f64 -1 (exp.f64 (neg.f64 x)))

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

Outputs

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

simplify133.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1080×	`rational.json-simplify-2`
1000×	`rational.json-simplify-55`
962×	`rational.json-simplify-41`
860×	`rational.json-simplify-35`
840×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	82	683
1	149	683
2	316	683
3	807	683
4	1380	683
5	2909	683
6	3576	683
7	5037	683
8	6444	683

Stop Event

1×	node limit

Counts

41 → 45

Calls

Call 1

Inputs
(*.f64 -1 x)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1 x))
(+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 -1 x)))
(+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 1/24 (pow.f64 x 4)) (.f64 -1 x))))
(-.f64 (exp.f64 (neg.f64 x)) 1)
(-.f64 (exp.f64 (neg.f64 x)) 1)
(-.f64 (exp.f64 (neg.f64 x)) 1)
(-.f64 (exp.f64 (neg.f64 x)) 1)
(-.f64 (exp.f64 (*.f64 -1 x)) 1)
(-.f64 (exp.f64 (*.f64 -1 x)) 1)
(-.f64 (exp.f64 (*.f64 -1 x)) 1)
(-.f64 (exp.f64 (*.f64 -1 x)) 1)
(-.f64 (exp.f64 (neg.f64 x)) 1)
(-.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 0)
(*.f64 (exp.f64 (neg.f64 x)) (-.f64 1 (exp.f64 x)))
(*.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 1)
(*.f64 1 (+.f64 -1 (exp.f64 (neg.f64 x))))
(.f64 2 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 1/2))
(.f64 2 (.f64 (-.f64 1 (exp.f64 x)) (/.f64 1/2 (exp.f64 x))))
(*.f64 (+.f64 -2 (/.f64 2 (exp.f64 x))) 1/2)
(.f64 (/.f64 2 (exp.f64 x)) (.f64 1/2 (-.f64 1 (exp.f64 x))))
(*.f64 4 (/.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4))
(.f64 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4) 1/4)
(*.f64 1/2 (+.f64 -2 (/.f64 2 (exp.f64 x))))
(.f64 (exp.f64 -1) (.f64 (exp.f64 (-.f64 1 x)) (-.f64 1 (exp.f64 x))))
(.f64 (exp.f64 (-.f64 1 x)) (.f64 (exp.f64 -1) (-.f64 1 (exp.f64 x))))
(*.f64 (-.f64 1 (exp.f64 x)) (exp.f64 (neg.f64 x)))
(.f64 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 1/2) 2)
(.f64 (.f64 (-.f64 1 (exp.f64 x)) (/.f64 1/2 (exp.f64 x))) 2)
(.f64 (.f64 1/2 (-.f64 1 (exp.f64 x))) (/.f64 2 (exp.f64 x)))
(.f64 (.f64 (exp.f64 (-.f64 1 x)) (-.f64 1 (exp.f64 x))) (exp.f64 -1))
(.f64 (.f64 (exp.f64 -1) (-.f64 1 (exp.f64 x))) (exp.f64 (-.f64 1 x)))
(.f64 1/4 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4))
(*.f64 (/.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4) 4)
(/.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 1)
(/.f64 (+.f64 -2 (/.f64 2 (exp.f64 x))) 2)
(/.f64 (*.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4) 4)
(/.f64 (-.f64 1 (exp.f64 x)) (exp.f64 x))
(/.f64 (*.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 8)) (.f64 2 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 8))) 32)

Outputs
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1 x))
(+.f64 (neg.f64 x) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 -1 x)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (neg.f64 x) (.f64 -1/6 (pow.f64 x 3))))
(+.f64 (neg.f64 x) (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/6 (pow.f64 x 3))))
(+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 1/24 (pow.f64 x 4)) (.f64 -1 x))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (+.f64 (neg.f64 x) (.f64 1/24 (pow.f64 x 4))) (*.f64 -1/6 (pow.f64 x 3))))
(+.f64 (.f64 1/24 (pow.f64 x 4)) (+.f64 (neg.f64 x) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 -1/6 (pow.f64 x 3)))))
(+.f64 (+.f64 (neg.f64 x) (.f64 1/2 (pow.f64 x 2))) (+.f64 (.f64 -1/6 (pow.f64 x 3)) (*.f64 1/24 (pow.f64 x 4))))
(+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (neg.f64 x) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4)))))
(+.f64 (neg.f64 x) (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4)))))
(+.f64 (+.f64 (neg.f64 x) (.f64 -1/6 (pow.f64 x 3))) (+.f64 (.f64 1/2 (pow.f64 x 2)) (*.f64 1/24 (pow.f64 x 4))))
(-.f64 (exp.f64 (neg.f64 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 (neg.f64 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 (neg.f64 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 (neg.f64 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 (*.f64 -1 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 (*.f64 -1 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 (*.f64 -1 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 (*.f64 -1 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 (neg.f64 x)) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(-.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 0)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(*.f64 (exp.f64 (neg.f64 x)) (-.f64 1 (exp.f64 x)))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(*.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(*.f64 1 (+.f64 -1 (exp.f64 (neg.f64 x))))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 2 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 1/2))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 2 (.f64 (-.f64 1 (exp.f64 x)) (/.f64 1/2 (exp.f64 x))))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(*.f64 (+.f64 -2 (/.f64 2 (exp.f64 x))) 1/2)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (/.f64 2 (exp.f64 x)) (.f64 1/2 (-.f64 1 (exp.f64 x))))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(*.f64 4 (/.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4) 1/4)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(*.f64 1/2 (+.f64 -2 (/.f64 2 (exp.f64 x))))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (exp.f64 -1) (.f64 (exp.f64 (-.f64 1 x)) (-.f64 1 (exp.f64 x))))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (exp.f64 (-.f64 1 x)) (.f64 (exp.f64 -1) (-.f64 1 (exp.f64 x))))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(*.f64 (-.f64 1 (exp.f64 x)) (exp.f64 (neg.f64 x)))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 1/2) 2)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (.f64 (-.f64 1 (exp.f64 x)) (/.f64 1/2 (exp.f64 x))) 2)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (.f64 1/2 (-.f64 1 (exp.f64 x))) (/.f64 2 (exp.f64 x)))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (.f64 (exp.f64 (-.f64 1 x)) (-.f64 1 (exp.f64 x))) (exp.f64 -1))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 (.f64 (exp.f64 -1) (-.f64 1 (exp.f64 x))) (exp.f64 (-.f64 1 x)))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(.f64 1/4 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(*.f64 (/.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4) 4)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(/.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 1)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(/.f64 (+.f64 -2 (/.f64 2 (exp.f64 x))) 2)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(/.f64 (*.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 4) 4)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(/.f64 (-.f64 1 (exp.f64 x)) (exp.f64 x))
(+.f64 -1 (exp.f64 (neg.f64 x)))
(/.f64 (*.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 8) 8)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(/.f64 (.f64 2 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 8)) 16)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 8)) (.f64 2 (.f64 (+.f64 -1 (exp.f64 (neg.f64 x))) 8))) 32)
(+.f64 -1 (exp.f64 (neg.f64 x)))

localize11.0ms (0%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 19 computations (24% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

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

rewrite110.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1678×	`bool.json-1`
1678×	`bool.json-2`
1634×	`rational.json-1`
1634×	`rational.json-2`
1224×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	97	38
2	241	38
3	467	38
4	949	38
5	2060	38
6	4235	38
7	6776	38

Stop Event

1×	node limit

Counts

2 → 31

Calls

Call 1

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

Outputs

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

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

simplify217.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

4254×	`rational.json-simplify-41`
3062×	`rational.json-simplify-51`
2120×	`rational.json-simplify-35`
954×	`rational.json-simplify-2`
612×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	688
1	149	688
2	369	688
3	1106	688
4	2204	688
5	2793	688
6	3017	688
7	3123	688
8	3211	688
9	3297	688
10	3382	688
11	3465	688
12	3547	688
13	3629	688
14	3711	688
15	3711	688

Stop Event

1×	node limit

Counts

34 → 35

Calls

Call 1

Inputs
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (*.f64 1/12 (pow.f64 x 4)) 0)
(+.f64 0 (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 4) 1/24))
(-.f64 (*.f64 1/12 (pow.f64 x 4)) 0)
(/.f64 (*.f64 1/12 (pow.f64 x 4)) 1)
(/.f64 (*.f64 (pow.f64 x 4) 1/6) 2)
(/.f64 (*.f64 (pow.f64 x 4) 1/3) 4)
(/.f64 (.f64 (.f64 1/12 (pow.f64 x 4)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 1/12 (pow.f64 x 4)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 1/12 (pow.f64 x 4)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 1/12 (pow.f64 x 4)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 1/12 (pow.f64 x 4)) 8)))) 64)
(-.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 0)
(.f64 4 (/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 4))
(.f64 2 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1/2))
(.f64 2 (+.f64 (.f64 (pow.f64 x 2) 1/2) (*.f64 (pow.f64 x 4) 1/24)))
(.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1)
(.f64 1 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 (.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 1/2)
(.f64 (.f64 4 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 1/4)
(.f64 1/2 (.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(.f64 1/2 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 4) 1/6)))
(.f64 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1/2) 2)
(.f64 1/4 (.f64 4 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(.f64 (/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 4) 4)
(/.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1)
(/.f64 (.f64 2 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 2)
(/.f64 (.f64 4 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 4)
(/.f64 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)))) 64)

Outputs
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (*.f64 1/12 (pow.f64 x 4)) 0)
(*.f64 1/12 (pow.f64 x 4))
(+.f64 0 (*.f64 1/12 (pow.f64 x 4)))
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 4) 1/24))
(*.f64 1/12 (pow.f64 x 4))
(-.f64 (*.f64 1/12 (pow.f64 x 4)) 0)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (*.f64 1/12 (pow.f64 x 4)) 1)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (*.f64 (pow.f64 x 4) 1/6) 2)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (*.f64 (pow.f64 x 4) 1/3) 4)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (.f64 (.f64 1/12 (pow.f64 x 4)) 8) 8)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 (*.f64 1/12 (pow.f64 x 4)) 8)) 16)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 1/12 (pow.f64 x 4)) 8))) 32)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 1/12 (pow.f64 x 4)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 1/12 (pow.f64 x 4)) 8)))) 64)
(*.f64 1/12 (pow.f64 x 4))
(-.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 0)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 4 (/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 4))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 2 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1/2))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 2) 1/2) (*.f64 (pow.f64 x 4) 1/24)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 2) 1/2)))
(.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 1 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 1/2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (.f64 4 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 1/4)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 1/2 (.f64 2 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 1/2 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 4) 1/6)))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1/2) 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 1/4 (.f64 4 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 (/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 4) 4)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(/.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(/.f64 (.f64 2 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(/.f64 (.f64 4 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 4)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(/.f64 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8) 8)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)) 16)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))) 32)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)))) 64)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
✓	0.0b	(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
✓	0.0b	(*.f64 1/360 (pow.f64 x 6))
	0.1b	(*.f64 1/12 (pow.f64 x 4))

Compiler

Compiled 52 to 41 computations (21.2% saved)

series2.0ms (0%)

Counts

3 → 24

Calls

9 calls:

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

rewrite94.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1514×	`bool.json-1`
1514×	`bool.json-2`
1466×	`rational.json-1`
1466×	`rational.json-2`
1466×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	87
1	146	87
2	347	87
3	674	87
4	1448	87
5	3050	87
6	5695	87

Stop Event

1×	node limit

Counts

3 → 54

Calls

Call 1

Inputs
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))

Outputs

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

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

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

simplify514.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

2880×	`rational.json-simplify-41`
2820×	`rational.json-simplify-51`
2424×	`rational.json-simplify-35`
1292×	`rational.json-simplify-2`
568×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	2502
1	231	2502
2	574	2502
3	1610	2502
4	2545	2502
5	2992	2502
6	3084	2502
7	3163	2502
8	3237	2502
9	3309	2502
10	3381	2502
11	3478	2502
12	3550	2502
13	3622	2502
14	3694	2502
15	3766	2502
16	3838	2502
17	3838	2502
18	7675	2502
19	7698	2502
20	7800	2502
21	7883	2502
22	7958	2502

Stop Event

1×	node limit

Counts

78 → 65

Calls

Call 1

Inputs
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (*.f64 1/360 (pow.f64 x 6)) 0)
(+.f64 0 (*.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 (pow.f64 x 6) 1/720) (.f64 (pow.f64 x 6) 1/720))
(-.f64 (*.f64 1/360 (pow.f64 x 6)) 0)
(/.f64 (*.f64 1/360 (pow.f64 x 6)) 1)
(/.f64 (*.f64 (pow.f64 x 6) 1/180) 2)
(/.f64 (*.f64 (pow.f64 x 6) 1/90) 4)
(/.f64 (.f64 (.f64 1/360 (pow.f64 x 6)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 1/360 (pow.f64 x 6)) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 1/360 (pow.f64 x 6)) 8)) (.f64 2 (.f64 (.f64 1/360 (pow.f64 x 6)) 8))) 32)
(-.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 0)
(.f64 4 (/.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 4))
(.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 1)
(.f64 2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 1/2))
(.f64 2 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 6) 1/720)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (*.f64 (pow.f64 x 4) 1/24)))
(.f64 1 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
(.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 2) 1/2)
(.f64 (.f64 4 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 2))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) 1/6) (*.f64 (pow.f64 x 6) 1/180)))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 6) 1/180) (*.f64 (pow.f64 x 4) 1/6)))
(.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 1/2) 2)
(.f64 1/4 (.f64 4 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))))
(.f64 (/.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 4) 4)
(/.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 1)
(/.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 2) 2)
(/.f64 (.f64 4 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) 4)
(/.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 8)) (.f64 2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 8))) 32)
(-.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 0)
(.f64 4 (/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 4))
(.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 1/2))
(.f64 2 (+.f64 (.f64 (pow.f64 x 2) 1/2) (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 1/2)))
(.f64 2 (+.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 1/2) (*.f64 (pow.f64 x 2) 1/2)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 4) 1/24) (/.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)) 2)))
(.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 1)
(.f64 1 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))))
(.f64 (.f64 2 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))) 1/2)
(.f64 (.f64 4 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))) 1/4)
(.f64 1/2 (.f64 2 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))))
(.f64 1/2 (+.f64 (.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) (.f64 (pow.f64 x 4) 1/6)))
(.f64 1/2 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 2)))
(.f64 1/2 (+.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 2) (*.f64 2 (pow.f64 x 2))))
(.f64 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 1/2) 2)
(.f64 1/4 (.f64 4 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))))
(.f64 (/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 4) 4)
(/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 1)
(/.f64 (.f64 2 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))) 2)
(/.f64 (.f64 4 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))) 4)
(/.f64 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 8)) (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 8))) 32)

Outputs
(*.f64 1/12 (pow.f64 x 4))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (pow.f64 x 2) (.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(+.f64 (*.f64 1/360 (pow.f64 x 6)) 0)
(*.f64 1/360 (pow.f64 x 6))
(+.f64 0 (*.f64 1/360 (pow.f64 x 6)))
(*.f64 1/360 (pow.f64 x 6))
(+.f64 (.f64 (pow.f64 x 6) 1/720) (.f64 (pow.f64 x 6) 1/720))
(*.f64 1/360 (pow.f64 x 6))
(-.f64 (*.f64 1/360 (pow.f64 x 6)) 0)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (*.f64 1/360 (pow.f64 x 6)) 1)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (*.f64 (pow.f64 x 6) 1/180) 2)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (*.f64 (pow.f64 x 6) 1/90) 4)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (.f64 (.f64 1/360 (pow.f64 x 6)) 8) 8)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 (*.f64 1/360 (pow.f64 x 6)) 8)) 16)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 1/360 (pow.f64 x 6)) 8)) (.f64 2 (.f64 (.f64 1/360 (pow.f64 x 6)) 8))) 32)
(*.f64 1/360 (pow.f64 x 6))
(-.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 0)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 4 (/.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 4))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 1)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 1/2))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 6) 1/720)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (*.f64 (pow.f64 x 4) 1/24)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (*.f64 (pow.f64 x 4) 1/24)))
(.f64 1 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 2) 1/2)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 (.f64 4 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))) 1/4)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 1/2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 2))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) 1/6) (*.f64 (pow.f64 x 6) 1/180)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 6) 1/180) (*.f64 (pow.f64 x 4) 1/6)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 1/2) 2)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 1/4 (.f64 4 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(.f64 (/.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 4) 4)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(/.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 1)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(/.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 2) 2)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(/.f64 (.f64 4 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) 4)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(/.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 8) 8)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 8)) 16)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 8)) (.f64 2 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 8))) 32)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6)))
(-.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 0)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 4 (/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 4))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 1/2))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 2) 1/2) (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 1/2)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 1/2) (*.f64 (pow.f64 x 2) 1/2)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 4) 1/24) (/.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)) 2)))
(.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 1)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 1 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 (.f64 2 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))) 1/2)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 (.f64 4 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))) 1/4)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 1/2 (.f64 2 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 1/2 (+.f64 (.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) (.f64 (pow.f64 x 4) 1/6)))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 4) 1/6) (.f64 2 (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))))
(.f64 1/2 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 2)))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 1/2 (+.f64 (.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))) 2) (*.f64 2 (pow.f64 x 2))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 1/2) 2)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 1/4 (.f64 4 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 (/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 4) 4)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(/.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 1)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(/.f64 (.f64 2 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))) 2)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(/.f64 (.f64 4 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))) 4)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(/.f64 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 8) 8)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 8)) 16)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 8)) (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2))) 8))) 32)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))

localize3.0ms (0%)

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

eval50.0ms (0.2%)

Compiler: Compiled 2369 to 1916 computations (19.1% saved)

prune19.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	155	1	156
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	155	6	161

Error

0.0b

Counts

161 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.8b	(pow.f64 x 2)
✓	0.4b	(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
✓	0.5b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	30.7b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	31.6b	(+.f64 -1 (exp.f64 (neg.f64 x)))
▶	60.2b	(neg.f64 x)

Compiler

Compiled 48 to 38 computations (20.8% saved)

localize2.0ms (0%)

Compiler: Compiled 4 to 2 computations (50% saved)

eval0.0ms (0%)

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

prune10.0ms (0%)

Pruning

6 alts after pruning (0 fresh and 6 done)

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

Error

0.0b

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.8b	(pow.f64 x 2)
✓	0.4b	(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
✓	0.5b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	30.7b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	31.6b	(+.f64 -1 (exp.f64 (neg.f64 x)))
✓	60.2b	(neg.f64 x)

Compiler

Compiled 48 to 38 computations (20.8% saved)

regimes8.0ms (0%)

Counts

6 → 1

Calls

Call 1

Inputs
(neg.f64 x)
(pow.f64 x 2)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))

Outputs
(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))

Calls

2 calls:

4.0ms	x
2.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
0.4b	1	`x`
0.4b	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 54 to 38 computations (29.6% saved)

regimes10.0ms (0%)

Counts

5 → 1

Calls

Call 1

Inputs
(neg.f64 x)
(pow.f64 x 2)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))

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

Calls

2 calls:

5.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
4.0ms	x

Results

Error	Segments	Branch
0.5b	1	`x`
0.5b	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 39 to 26 computations (33.3% saved)

regimes7.0ms (0%)

Accuracy

Total -59.6b remaining (-7342.3%)

Threshold costs -59.6b (-7342.3%)

Counts

4 → 1

Calls

Call 1

Inputs
(neg.f64 x)
(pow.f64 x 2)
(+.f64 -1 (exp.f64 (neg.f64 x)))
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Outputs
(pow.f64 x 2)

Calls

2 calls:

4.0ms	x
2.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
0.8b	1	`x`
0.8b	1	`(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 30 to 19 computations (36.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	80

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(pow.f64 x 2)
(neg.f64 x)

Outputs
(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(pow.f64 x 2)
(neg.f64 x)

Compiler

Compiled 33 to 26 computations (21.2% saved)

soundness190.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1568×	`rational.json-simplify-35`
1160×	`rational.json-simplify-1`
1114×	`rational.json-simplify-19`
1110×	`rational.json-simplify-40`
976×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	118	1207
1	225	1207
2	545	1207
3	1342	1207
4	2498	1207
5	3143	1207
6	3346	1207
7	3562	1207
8	3952	1207
9	5218	1207
10	7794	1207

Stop Event

1×	node limit

Compiler

Compiled 31 to 25 computations (19.4% saved)

end29.0ms (0.1%)

Compiler: Compiled 30 to 23 computations (23.3% saved)

Details

analyze3.0ms (0%)

sample18.3s (66.1%)

preprocess3.7s (13.5%)

simplify3.7s (13.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0%)

series1.0ms (0%)

rewrite97.0ms (0.4%)

simplify175.0ms (0.6%)

eval82.0ms (0.3%)

prune10.0ms (0%)

localize8.0ms (0%)

series0.0ms (0%)

rewrite83.0ms (0.3%)

simplify133.0ms (0.5%)

localize11.0ms (0%)

series2.0ms (0%)

rewrite110.0ms (0.4%)

simplify217.0ms (0.8%)

localize20.0ms (0.1%)

series2.0ms (0%)

rewrite94.0ms (0.3%)

simplify514.0ms (1.9%)

localize3.0ms (0%)

eval50.0ms (0.2%)

prune19.0ms (0.1%)

localize2.0ms (0%)

eval0.0ms (0%)

prune10.0ms (0%)

regimes8.0ms (0%)

regimes10.0ms (0%)

regimes7.0ms (0%)

simplify3.0ms (0%)

soundness190.0ms (0.7%)

end29.0ms (0.1%)

Profiling