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)

sample20.5s (65.8%)

Results

13.5s	4323×	body	2048	valid
6.3s	2070×	body	1024	valid
422.0ms	881×	body	256	valid
188.0ms	982×	body	512	valid
1.0ms	7×	body	256	infinite

Bogosity

preprocess4.4s (14.1%)

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.9s (12.4%)

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

31.6b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (exp.f64 x) 2)
✓	4.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)

rewrite70.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1840×	`rational.json-simplify-35`
1186×	`rational.json-simplify-2`
1124×	`exponential.json-3`
1124×	`rational.json-1`
1124×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	68	36
2	151	36
3	330	36
4	680	36
5	1756	36
6	4336	36

Stop Event

1×	node limit

Counts

2 → 50

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

Outputs

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

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

simplify111.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1600×	`rational.json-simplify-46`
1126×	`rational.json-simplify-1`
1080×	`rational.json-simplify-35`
1066×	`rational.json-simplify-2`
716×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	132	1394
1	258	1394
2	624	1394
3	1719	1394
4	3190	1394
5	4181	1394
6	5776	1394

Stop Event

1×	node limit

Counts

66 → 85

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

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 (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 (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 1/12 (pow.f64 x 4)) (+.f64 (+.f64 (pow.f64 x 2) (.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))) (pow.f64 x 2)))
(+.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 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (pow.f64 x 2) (*.f64 1/360 (pow.f64 x 6)))))
(-.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 (+.f64 x (.f64 (pow.f64 x 2) 1/2)) (+.f64 (.f64 1/6 (pow.f64 x 3)) -1))
(+.f64 (+.f64 x (.f64 (pow.f64 x 2) 1/2)) (+.f64 -1 (.f64 1/6 (pow.f64 x 3))))
(+.f64 (+.f64 x -1) (+.f64 (.f64 (pow.f64 x 2) 1/2) (.f64 1/6 (pow.f64 x 3))))
(+.f64 (+.f64 x (.f64 1/6 (pow.f64 x 3))) (+.f64 -1 (.f64 (pow.f64 x 2) 1/2)))
(+.f64 x (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 -1 (.f64 (pow.f64 x 2) 1/2))))
(-.f64 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.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 2 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.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 1/2 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))))
(.f64 (.f64 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))) 1/2)
(.f64 1/2 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))))
(.f64 (+.f64 (/.f64 1/2 (exp.f64 x)) (.f64 (+.f64 (exp.f64 x) -2) 1/2)) 2)
(.f64 2 (+.f64 (/.f64 1/2 (exp.f64 x)) (.f64 1/2 (+.f64 (exp.f64 x) -2))))
(/.f64 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (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 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 2 (.f64 2 (*.f64 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 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 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 8)))) 64)
(+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
(+.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) -2))
(pow.f64 (+.f64 -2 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) 1)
(+.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 (exp.f64 x) 1/2) (-.f64 (.f64 (exp.f64 x) 1/2) 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 (exp.f64 x) -1))
(+.f64 (exp.f64 x) -2)
(+.f64 (-.f64 (exp.f64 x) -1) -3)
(+.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 (/.f64 (.f64 (exp.f64 x) -2) (exp.f64 (+.f64 x x))) 1) (exp.f64 x))
(.f64 (exp.f64 x) (+.f64 1 (.f64 -2 (/.f64 (exp.f64 x) (exp.f64 (+.f64 x x))))))
(.f64 (exp.f64 x) (+.f64 1 (.f64 (exp.f64 x) (/.f64 -2 (exp.f64 (+.f64 x x))))))
(/.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 2 (.f64 2 (*.f64 (+.f64 (exp.f64 x) -2) 8))) 32)
(+.f64 (exp.f64 x) -2)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (exp.f64 x) -2) 8)))) 64)
(+.f64 (exp.f64 x) -2)
(pow.f64 (+.f64 (exp.f64 x) -2) 1)
(+.f64 (exp.f64 x) -2)

eval104.0ms (0.3%)

Compiler: Compiled 1147 to 703 computations (38.7% saved)

prune12.0ms (0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	82	4	86

Error

0.0b

Counts

86 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	1.0b	(pow.f64 x 2)
▶	0.5b	(+.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))))
▶	0.8b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	31.6b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Compiler

Compiled 45 to 36 computations (20% saved)

localize10.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)))

rewrite447.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2378×	`rational.json-simplify-2`
1524×	`rational.json-simplify-35`
1202×	`rational.json-simplify-1`
1182×	`exponential.json-3`
1182×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	64	38
2	124	38
3	231	38
4	418	38
5	940	38
6	2473	38
7	4343	38
8	5137	38
9	6241	38
10	6990	38
11	6990	38

Stop Event

1×	node limit

Counts

2 → 37

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 (pow.f64 x 4) 2/3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (pow.f64 x 4) 2/3)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) 2/3))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) 2/3)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) 2/3))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) 2/3)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/12 (pow.f64 x 4)) 1)))))
((#(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)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 2) 1/2)))))) (#(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 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 4) 1/6)) 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 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8) 1/8)))) (#(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 (pow.f64 x 4) 1/24) (.f64 (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)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))))) (#(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 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 4) 1/6)) 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 2 (.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 /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1)))))

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

((#(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)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 2) 1/2)))))) (#(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 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 4) 1/6)) 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 (*.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8) 1/8)))) (#(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 (pow.f64 x 4) 1/24) (*.f64 (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)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))))) (#(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 (*.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 4) 1/6)) 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 2 (*.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 /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1)))))

simplify686.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

3476×	`rational.json-simplify-51`
3298×	`rational.json-simplify-35`
1264×	`rational.json-simplify-2`
1146×	`rational.json-simplify-1`
640×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	83	814
1	190	814
2	467	814
3	1539	814
4	3143	814
5	3913	814
6	4108	814
7	4222	814
8	4324	814
9	4404	814
10	4484	814
11	4564	814
12	4644	814
13	4724	814
14	4804	814
15	4884	814
16	4884	814
17	6934	814
18	7298	814
19	7370	814
20	7437	814
21	7504	814
22	7571	814
23	7641	814
24	7728	814
25	7795	814
26	7862	814
27	7929	814
28	7996	814

Stop Event

1×	node limit

Counts

40 → 41

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 (pow.f64 x 4) 2/3) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 x 4) 2/3)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) 2/3))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) 2/3)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) 2/3))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) 2/3)))))) 256)
(pow.f64 (*.f64 1/12 (pow.f64 x 4)) 1)
(-.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)) 1/4))
(.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 1 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)))
(.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 4) 1/6)) 1/2)
(.f64 (.f64 4 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))) 1/4)
(.f64 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8) 1/8)
(.f64 1/2 (+.f64 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 4) 1/6)))
(.f64 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (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)) 1/4) 4)
(.f64 1/8 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))
(/.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1)
(/.f64 (+.f64 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 4) 1/6)) 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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)))))) 256)
(pow.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 1)

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 (pow.f64 x 4) 2/3) 8)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 (pow.f64 x 4) 2/3)) 16)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) 2/3))) 32)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) 2/3)))) 64)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 4) 2/3))))) 128)
(*.f64 1/12 (pow.f64 x 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 4) 2/3)))))) 256)
(*.f64 1/12 (pow.f64 x 4))
(pow.f64 (*.f64 1/12 (pow.f64 x 4)) 1)
(*.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)) 1/4))
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (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 (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 (.f64 2 (pow.f64 x 2)) (*.f64 (pow.f64 x 4) 1/6)) 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 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8) 1/8)
(+.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 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 2) 1/2)) 2)
(.f64 2 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 2) 1/2)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 2) 1/2) (*.f64 (pow.f64 x 4) 1/24)))
(.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)) 1/4) 4)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(.f64 1/8 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))
(+.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 (.f64 2 (pow.f64 x 2)) (.f64 (pow.f64 x 4) 1/6)) 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 2 (.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)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8))))) 128)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2)) 8)))))) 256)
(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(pow.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)))

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 85 to 68 computations (20% saved)

series3.0ms (0%)

Counts

3 → 12

Calls

9 calls:

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

rewrite180.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

2630×	`rational.json-simplify-2`
1688×	`rational.json-simplify-35`
1488×	`rational.json-simplify-1`
1396×	`exponential.json-3`
1396×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	75
1	109	75
2	194	75
3	379	75
4	747	75
5	1874	75
6	3850	75
7	5276	75
8	6568	75
9	7516	75
10	7516	75

Stop Event

1×	node limit

Counts

3 → 48

Calls

Call 1

Inputs
(*.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 1/360 (pow.f64 x 6)))

Outputs

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

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

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.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/20160 (pow.f64 x 8)) (+.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/20160 (pow.f64 x 8)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (pow.f64 x 6) 1/720) (+.f64 (*.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (+.f64 (*.f64 (pow.f64 x 6) 1/720) (+.f64 (*.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.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 4 (+.f64 (*.f64 (pow.f64 x 6) 1/720) (+.f64 (*.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (pow.f64 x 6) 1/180) (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 x 6) 1/720) (+.f64 (*.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 4 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.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/20160 (pow.f64 x 8)) (+.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 (pow.f64 x 6) 1/180) (*.f64 4 (+.f64 (*.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.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 4 (+.f64 (*.f64 (pow.f64 x 6) 1/720) (+.f64 (*.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.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 8 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 8 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 8 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 8 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 8 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 1/20160 (pow.f64 x 8)) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) 1)))))

simplify433.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

2878×	`rational.json-simplify-35`
2630×	`rational.json-simplify-2`
2606×	`rational.json-simplify-51`
1610×	`rational.json-simplify-1`
946×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	113	1896
1	265	1896
2	574	1896
3	1822	1896
4	3709	1896
5	4108	1896
6	4364	1896
7	4521	1896
8	4669	1896
9	6609	1896
10	7087	1896
11	7100	1896
12	7106	1896
13	7106	1896
14	7384	1896
15	7519	1896
16	7654	1896
17	7789	1896

Stop Event

1×	node limit

Counts

60 → 61

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 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (*.f64 1/20160 (pow.f64 x 8)) 0)
(+.f64 0 (*.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 8) 1/40320))
(-.f64 (*.f64 1/20160 (pow.f64 x 8)) 0)
(/.f64 (*.f64 1/20160 (pow.f64 x 8)) 1)
(/.f64 (*.f64 (pow.f64 x 8) 1/10080) 2)
(/.f64 (*.f64 (pow.f64 x 8) 1/5040) 4)
(/.f64 (.f64 8 (.f64 1/20160 (pow.f64 x 8))) 8)
(/.f64 (.f64 2 (.f64 8 (*.f64 1/20160 (pow.f64 x 8)))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 8 (.f64 1/20160 (pow.f64 x 8))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (*.f64 1/20160 (pow.f64 x 8)))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (.f64 1/20160 (pow.f64 x 8))))))) 128)
(pow.f64 (*.f64 1/20160 (pow.f64 x 8)) 1)
(+.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 8 (.f64 1/360 (pow.f64 x 6))) 8)
(/.f64 (.f64 2 (.f64 8 (*.f64 1/360 (pow.f64 x 6)))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 8 (.f64 1/360 (pow.f64 x 6))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (*.f64 1/360 (pow.f64 x 6)))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (.f64 1/360 (pow.f64 x 6))))))) 128)
(pow.f64 (*.f64 1/360 (pow.f64 x 6)) 1)
(-.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) 0)
(.f64 4 (/.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))) 4))
(.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))) 1)
(.f64 1 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 8) 1/40320))))
(.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))) 1/2)
(.f64 (.f64 4 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))) 1/4)
(.f64 1/2 (.f64 4 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 6) 1/180) (.f64 4 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))))
(.f64 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 8) 1/40320))) 2)
(.f64 1/4 (.f64 4 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))))
(.f64 (/.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))) 4) 4)
(.f64 (+.f64 (.f64 (pow.f64 x 6) 1/180) (.f64 4 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))) 1/2)
(/.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) 1)
(/.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 8) 1/40320)))) 2)
(/.f64 (.f64 4 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))) 4)
(/.f64 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))) 8)
(/.f64 (.f64 2 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))))))) 128)
(pow.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) 1)

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 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.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 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.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 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/20160 (pow.f64 x 8)))
(+.f64 (.f64 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.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 1/360 (pow.f64 x 6)) (+.f64 (.f64 1/12 (pow.f64 x 4)) (*.f64 1/20160 (pow.f64 x 8))))
(+.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 1/20160 (pow.f64 x 8)) 0)
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 0 (*.f64 1/20160 (pow.f64 x 8)))
(*.f64 1/20160 (pow.f64 x 8))
(+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 8) 1/40320))
(*.f64 1/20160 (pow.f64 x 8))
(-.f64 (*.f64 1/20160 (pow.f64 x 8)) 0)
(*.f64 1/20160 (pow.f64 x 8))
(/.f64 (*.f64 1/20160 (pow.f64 x 8)) 1)
(*.f64 1/20160 (pow.f64 x 8))
(/.f64 (*.f64 (pow.f64 x 8) 1/10080) 2)
(*.f64 1/20160 (pow.f64 x 8))
(/.f64 (*.f64 (pow.f64 x 8) 1/5040) 4)
(*.f64 1/20160 (pow.f64 x 8))
(/.f64 (.f64 8 (.f64 1/20160 (pow.f64 x 8))) 8)
(*.f64 1/20160 (pow.f64 x 8))
(/.f64 (.f64 2 (.f64 8 (*.f64 1/20160 (pow.f64 x 8)))) 16)
(*.f64 1/20160 (pow.f64 x 8))
(/.f64 (.f64 2 (.f64 2 (.f64 8 (.f64 1/20160 (pow.f64 x 8))))) 32)
(*.f64 1/20160 (pow.f64 x 8))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (*.f64 1/20160 (pow.f64 x 8)))))) 64)
(*.f64 1/20160 (pow.f64 x 8))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (.f64 1/20160 (pow.f64 x 8))))))) 128)
(*.f64 1/20160 (pow.f64 x 8))
(pow.f64 (*.f64 1/20160 (pow.f64 x 8)) 1)
(*.f64 1/20160 (pow.f64 x 8))
(+.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 8 (.f64 1/360 (pow.f64 x 6))) 8)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 8 (*.f64 1/360 (pow.f64 x 6)))) 16)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 2 (.f64 8 (.f64 1/360 (pow.f64 x 6))))) 32)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (*.f64 1/360 (pow.f64 x 6)))))) 64)
(*.f64 1/360 (pow.f64 x 6))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (.f64 1/360 (pow.f64 x 6))))))) 128)
(*.f64 1/360 (pow.f64 x 6))
(pow.f64 (*.f64 1/360 (pow.f64 x 6)) 1)
(*.f64 1/360 (pow.f64 x 6))
(-.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.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 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(.f64 4 (/.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.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 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.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 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(.f64 1 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4)))))
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 8) 1/40320))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 4) 1/24))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 6) 1/720))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 6) 1/720) (.f64 (pow.f64 x 4) 1/24))))
(.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))) 1/2)
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 4) 1/24))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 6) 1/720))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 6) 1/720) (.f64 (pow.f64 x 4) 1/24))))
(.f64 (.f64 4 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.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 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(.f64 1/2 (.f64 4 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 4) 1/24))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 6) 1/720))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 6) 1/720) (.f64 (pow.f64 x 4) 1/24))))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 6) 1/180) (.f64 4 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 6) 1/180) (.f64 4 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (*.f64 (pow.f64 x 4) 1/24)))))
(.f64 1/2 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 4) 1/24))) (*.f64 (pow.f64 x 6) 1/180)))
(.f64 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 8) 1/40320))) 2)
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 4) 1/24))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 6) 1/720))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 6) 1/720) (.f64 (pow.f64 x 4) 1/24))))
(.f64 1/4 (.f64 4 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))))
(+.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 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.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 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(.f64 (+.f64 (.f64 (pow.f64 x 6) 1/180) (.f64 4 (+.f64 (.f64 (pow.f64 x 4) 1/24) (*.f64 (pow.f64 x 8) 1/40320)))) 1/2)
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 6) 1/180) (.f64 4 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (*.f64 (pow.f64 x 4) 1/24)))))
(.f64 1/2 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 4) 1/24))) (*.f64 (pow.f64 x 6) 1/180)))
(/.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.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 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(/.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 8) 1/40320)))) 2)
(.f64 2 (+.f64 (.f64 (pow.f64 x 6) 1/720) (+.f64 (.f64 (pow.f64 x 8) 1/40320) (.f64 (pow.f64 x 4) 1/24))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 4) 1/24) (.f64 (pow.f64 x 6) 1/720))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 8) 1/40320) (+.f64 (.f64 (pow.f64 x 6) 1/720) (.f64 (pow.f64 x 4) 1/24))))
(/.f64 (.f64 4 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.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 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(/.f64 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))) 8)
(+.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 2 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))) 16)
(+.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 2 (.f64 2 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))))) 32)
(+.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 2 (.f64 2 (.f64 2 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))))) 64)
(+.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 2 (.f64 2 (.f64 2 (.f64 2 (.f64 8 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (.f64 1/12 (pow.f64 x 4))))))))) 128)
(+.f64 (.f64 1/12 (pow.f64 x 4)) (+.f64 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))
(pow.f64 (+.f64 (.f64 1/20160 (pow.f64 x 8)) (+.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 (.f64 1/360 (pow.f64 x 6)) (*.f64 1/20160 (pow.f64 x 8))))

localize3.0ms (0%)

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

eval56.0ms (0.2%)

Compiler: Compiled 2361 to 1984 computations (16% saved)

prune15.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	115	5	120

Error

0.0b

Counts

120 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.0b	(pow.f64 x 2)
✓	0.5b	(+.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))))
✓	0.8b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	31.6b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
▶	32.5b	(*.f64 1/12 (pow.f64 x 4))

Compiler

Compiled 51 to 41 computations (19.6% saved)

localize15.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 9 computations (25% saved)

eval3.0ms (0%)

Compiler: Compiled 133 to 118 computations (11.3% saved)

prune4.0ms (0%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	14	0	14
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	14	5	19

Error

0.0b

Counts

19 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.0b	(pow.f64 x 2)
✓	0.5b	(+.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))))
✓	0.8b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	31.6b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	32.5b	(*.f64 1/12 (pow.f64 x 4))

Compiler

Compiled 51 to 41 computations (19.6% saved)

regimes9.0ms (0%)

Counts

5 → 1

Calls

Call 1

Inputs
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(+.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 (.f64 1/12 (pow.f64 x 4)) (.f64 1/20160 (pow.f64 x 8))) (*.f64 1/360 (pow.f64 x 6))))

Outputs
(+.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))))

Calls

2 calls:

4.0ms	x
3.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 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 58 to 45 computations (22.4% saved)

regimes7.0ms (0%)

Counts

4 → 1

Calls

Call 1

Inputs
(pow.f64 x 2)
(*.f64 1/12 (pow.f64 x 4))
(+.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:

3.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 37 to 28 computations (24.3% saved)

regimes7.0ms (0%)

Accuracy

Total -31.9b remaining (-3122.7%)

Threshold costs -31.9b (-3122.7%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(pow.f64 x 2)

Calls

2 calls:

3.0ms	x
3.0ms	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))

Results

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

Compiler

Compiled 28 to 21 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	93

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.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 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(pow.f64 x 2)

Outputs
(+.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 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
(pow.f64 x 2)

Compiler

Compiled 36 to 29 computations (19.4% saved)

soundness143.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1600×	`rational.json-simplify-46`
1126×	`rational.json-simplify-1`
1080×	`rational.json-simplify-35`
1066×	`rational.json-simplify-2`
716×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	132	1394
1	258	1394
2	624	1394
3	1719	1394
4	3190	1394
5	4181	1394
6	5776	1394

Stop Event

1×	node limit

Compiler

Compiled 43 to 35 computations (18.6% saved)

end30.0ms (0.1%)

Compiler: Compiled 34 to 27 computations (20.6% saved)

Details

analyze3.0ms (0%)

sample20.5s (65.8%)

preprocess4.4s (14.1%)

simplify3.9s (12.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0%)

series1.0ms (0%)

rewrite70.0ms (0.2%)

simplify111.0ms (0.4%)

eval104.0ms (0.3%)

prune12.0ms (0%)

localize10.0ms (0%)

series2.0ms (0%)

rewrite447.0ms (1.4%)

simplify686.0ms (2.2%)

localize33.0ms (0.1%)

series3.0ms (0%)

rewrite180.0ms (0.6%)

simplify433.0ms (1.4%)

localize3.0ms (0%)

eval56.0ms (0.2%)

prune15.0ms (0%)

localize15.0ms (0%)

eval3.0ms (0%)

prune4.0ms (0%)

regimes9.0ms (0%)

regimes7.0ms (0%)

regimes7.0ms (0%)

simplify3.0ms (0%)

soundness143.0ms (0.5%)

end30.0ms (0.1%)

Profiling