Details

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

sample7.7s (39.2%)

Results

5.6s	4202×	body	2048	valid
1.3s	2113×	body	1024	valid
527.0ms	874×	body	256	valid
201.0ms	1067×	body	512	valid
1.0ms	14×	body	256	infinite

Bogosity

preprocess3.9s (19.7%)

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

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

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.5b	(+.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)
✓	3.4b	(+.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)

rewrite99.0ms (0.5%)

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

simplify109.0ms (0.6%)

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)

eval92.0ms (0.5%)

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

prune16.0ms (0.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	79	6	85
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	79	7	86

Error

0.0b

Counts

86 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.6b	(pow.f64 x 2)
▶	0.2b	(+.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.2b	(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
▶	0.3b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	30.5b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
▶	31.4b	(+.f64 -1 (exp.f64 (neg.f64 x)))
▶	30.5b	(.f64 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))) 1/2)

Compiler

Compiled 153 to 123 computations (19.6% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 85 to 68 computations (20% saved)

series28.0ms (0.1%)

Counts

4 → 3

Calls

12 calls:

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

rewrite250.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2194×	`rational.json-simplify-35`
2178×	`rational.json-simplify-2`
1458×	`rational.json-simplify-1`
1356×	`rational.json-1`
1064×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	70
1	102	70
2	179	70
3	330	70
4	595	70
5	1335	70
6	2920	70
7	4665	70
8	5498	70
9	6374	70
10	6374	70
11	6392	70
12	7281	70
13	7906	70

Stop Event

1×	node limit

Counts

4 → 63

Calls

Call 1

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

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

simplify399.0ms (2%)

Algorithm

1×	egg-herbie

Rules

3336×	`rational.json-simplify-43`
2810×	`rational.json-simplify-35`
2388×	`rational.json-simplify-49`
1228×	`rational.json-simplify-2`
1112×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	135	1248
1	315	1248
2	648	1248
3	1709	1248
4	3105	1248
5	3841	1248
6	4150	1248
7	4339	1248
8	4489	1248
9	4637	1248
10	4637	1248
11	4637	1248
12	4785	1248
13	4933	1248
14	5081	1248

Stop Event

1×	node limit

Counts

66 → 68

Calls

Call 1

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

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

localize3.0ms (0%)

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

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite71.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1698×	`rational.json-simplify-35`
1160×	`rational.json-simplify-2`
1000×	`exponential.json-3`
1000×	`rational.json-1`
1000×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	59	15
2	144	15
3	314	15
4	638	15
5	1568	15
6	4193	15

Stop Event

1×	node limit

Counts

1 → 37

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

simplify117.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1394×	`rational.json-simplify-41`
1156×	`rational.json-simplify-35`
1134×	`rational.json-simplify-2`
1080×	`rational.json-simplify-53`
608×	`rational.json-simplify-61`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	106	825
1	224	825
2	468	825
3	1443	823
4	2997	823
5	5512	823
6	6624	823

Stop Event

1×	node limit

Counts

49 → 55

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

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

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)

series1.0ms (0%)

Counts

1 → 3

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(+.f64 (pow.f64 x 2) (*.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)))

rewrite184.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2386×	`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	25
1	64	25
2	124	25
3	231	25
4	418	25
5	942	25
6	2476	25
7	4347	25
8	5141	25
9	6245	25
10	6994	25
11	6994	25

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify962.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

3190×	`rational.json-simplify-51`
2776×	`rational.json-simplify-2`
1812×	`rational.json-simplify-35`
1372×	`rational.json-simplify-49`
1270×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	668
1	126	668
2	319	668
3	1097	668
4	1983	668
5	2944	668
6	3445	668
7	3517	668
8	3570	668
9	3609	668
10	3648	668
11	3687	668
12	3726	668
13	3765	668
14	3804	668
15	3843	668
16	3882	668
17	3921	668
18	3960	668
19	4894	668
20	7223	668
21	7289	668
22	7324	668
23	7359	668
24	7392	668

Stop Event

1×	node limit

Counts

26 → 26

Calls

Call 1

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

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

localize15.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 45 to 29 computations (35.6% saved)

series6.0ms (0%)

Counts

3 → 28

Calls

9 calls:

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

rewrite89.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1228×	`rational.json-1`
1228×	`rational.json-2`
1228×	`rational.json-3`
1226×	`rational.json-4`
1222×	`exponential.json-3`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	11	55
1	75	55
2	162	55
3	348	55
4	715	53
5	1940	53
6	5180	53

Stop Event

1×	node limit

Counts

3 → 70

Calls

Call 1

Inputs
(+.f64 (/.f64 2 (exp.f64 x)) (*.f64 2 (+.f64 (exp.f64 x) -2)))
(/.f64 2 (exp.f64 x))
(+.f64 (exp.f64 x) -2)

Outputs

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

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

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

simplify165.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1146×	`rational.json-simplify-35`
1030×	`rational.json-simplify-2`
980×	`rational.json-simplify-19`
820×	`rational.json-simplify-1`
734×	`rational.json-simplify-46`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	161	2168
1	334	2088
2	840	2088
3	1796	2088
4	3178	2088
5	4510	2088
6	5768	2086
7	7539	2086

Stop Event

1×	node limit

Counts

98 → 120

Calls

Call 1

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

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

eval98.0ms (0.5%)

Compiler: Compiled 4980 to 3866 computations (22.4% saved)

prune47.0ms (0.2%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	282	1	283
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	282	8	290

Error

0.0b

Counts

290 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.6b	(pow.f64 x 2)
✓	0.2b	(+.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.2b	(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
✓	0.3b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	30.5b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	31.4b	(+.f64 -1 (exp.f64 (neg.f64 x)))
✓	30.5b	(.f64 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))) 1/2)
▶	60.2b	(neg.f64 x)

Compiler

Compiled 84 to 67 computations (20.2% saved)

localize2.0ms (0%)

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

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.1b	(*.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)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
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	@	0	(+.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	@	0	(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))

rewrite175.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2710×	`rational.json-simplify-2`
1702×	`rational.json-simplify-35`
1462×	`exponential.json-3`
1462×	`rational.json-1`
1462×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	98	74
2	184	74
3	352	74
4	708	74
5	1780	74
6	3761	74
7	5258	74
8	6613	74
9	7627	74
10	7627	74

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

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

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

simplify909.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

3280×	`rational.json-simplify-51`
3002×	`rational.json-simplify-2`
2790×	`rational.json-simplify-35`
1108×	`rational.json-simplify-1`
532×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	113	2786
1	227	2744
2	447	2744
3	1531	2744
4	3255	2744
5	3995	2744
6	4070	2744
7	4135	2744
8	4200	2744
9	4265	2744
10	4326	2744
11	4410	2744
12	4469	2744
13	4528	2744
14	4587	2744
15	4646	2744
16	4705	2744
17	4764	2744
18	4823	2744
19	4823	2744
20	6500	2744
21	6579	2744
22	6593	2744
23	6649	2744
24	6697	2744
25	6745	2744
26	6793	2744
27	6841	2744
28	6889	2744
29	6937	2744
30	6985	2744
31	7929	2744
32	7977	2744

Stop Event

1×	node limit

Counts

74 → 63

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

eval38.0ms (0.2%)

Compiler: Compiled 1753 to 1479 computations (15.6% saved)

prune14.0ms (0.1%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	92	8	100

Error

0.0b

Counts

100 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.6b	(pow.f64 x 2)
✓	0.2b	(+.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.2b	(+.f64 (pow.f64 x 2) (+.f64 (.f64 1/12 (pow.f64 x 4)) (.f64 1/360 (pow.f64 x 6))))
✓	0.3b	(+.f64 (pow.f64 x 2) (*.f64 1/12 (pow.f64 x 4)))
✓	30.5b	(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓	31.4b	(+.f64 -1 (exp.f64 (neg.f64 x)))
✓	30.5b	(.f64 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))) 1/2)
✓	60.2b	(neg.f64 x)

Compiler

Compiled 84 to 67 computations (20.2% saved)

regimes12.0ms (0.1%)

Counts

8 → 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 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))) 1/2)
(+.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 (+.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:

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

Results

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

Compiler

Compiled 88 to 64 computations (27.3% saved)

regimes11.0ms (0.1%)

Counts

7 → 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 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))) 1/2)
(+.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:

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

Results

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

Compiler

Compiled 67 to 47 computations (29.9% 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 (+.f64 (/.f64 2 (exp.f64 x)) (.f64 2 (+.f64 (exp.f64 x) -2))) 1/2)

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 52 to 35 computations (32.7% saved)

regimes7.0ms (0%)

Accuracy

Total -59.9b remaining (-9456.8%)

Threshold costs -59.9b (-9456.8%)

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.6b	1	`x`
0.6b	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	25	141

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 (.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 (.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 (.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 55 to 44 computations (20% saved)

soundness137.0ms (0.7%)

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)

end41.0ms (0.2%)

Compiler: Compiled 51 to 40 computations (21.6% saved)

Details

analyze4.0ms (0%)

sample7.7s (39.2%)

preprocess3.9s (19.7%)

simplify3.9s (19.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0%)

series1.0ms (0%)

rewrite99.0ms (0.5%)

simplify109.0ms (0.6%)

eval92.0ms (0.5%)

prune16.0ms (0.1%)

localize30.0ms (0.2%)

series28.0ms (0.1%)

rewrite250.0ms (1.3%)

simplify399.0ms (2%)

localize3.0ms (0%)

localize5.0ms (0%)

series1.0ms (0%)

rewrite71.0ms (0.4%)

simplify117.0ms (0.6%)

localize10.0ms (0%)

series1.0ms (0%)

rewrite184.0ms (0.9%)

simplify962.0ms (4.9%)

localize15.0ms (0.1%)

series6.0ms (0%)

rewrite89.0ms (0.5%)

simplify165.0ms (0.8%)

eval98.0ms (0.5%)

prune47.0ms (0.2%)

localize2.0ms (0%)

localize20.0ms (0.1%)

series1.0ms (0%)

rewrite175.0ms (0.9%)

simplify909.0ms (4.6%)

eval38.0ms (0.2%)

prune14.0ms (0.1%)

regimes12.0ms (0.1%)

regimes11.0ms (0.1%)

regimes8.0ms (0%)

regimes7.0ms (0%)

simplify3.0ms (0%)

soundness137.0ms (0.7%)

end41.0ms (0.2%)

Profiling