Details

analyze5.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	49.7%	50.3%	0%	0%	0%	0
0%	0%	49.7%	50.3%	0%	0%	0%	1
0%	0%	49.7%	50.3%	0%	0%	0%	2
50%	24.8%	24.8%	50.3%	0%	0%	0%	3
75%	37.3%	12.4%	50.3%	0%	0%	0%	4
87.5%	43.5%	6.2%	50.3%	0%	0%	0%	5
93.8%	46.6%	3.1%	50.3%	0%	0%	0%	6
96.9%	48.1%	1.6%	50.3%	0%	0%	0%	7
98.4%	48.9%	0.8%	50.3%	0%	0%	0%	8
99.2%	49.3%	0.4%	50.3%	0%	0%	0%	9
99.6%	49.5%	0.2%	50.3%	0%	0%	0%	10
99.8%	49.6%	0.1%	50.3%	0%	0%	0%	11
99.9%	49.6%	0%	50.3%	0%	0%	0%	12

Compiler

Compiled 16 to 12 computations (25% saved)

sample18.0s (58%)

Results

13.5s	4152×	body	2048	valid
3.2s	2100×	body	1024	valid
743.0ms	770×	body	256	valid
422.0ms	1029×	body	512	valid
155.0ms	205×	body	4096	valid

Bogosity

preprocess4.6s (14.9%)

Algorithm

2×	egg-herbie

Rules

21912×	`rational.json-simplify-41`
3268×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`
646×	`trig.json-simplify-17`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	19	23
2	28	23
3	43	23
4	68	23
5	126	23
6	270	23
7	687	23
8	868	23
9	877	23
10	886	23
11	895	23
12	904	23
13	913	23
14	922	23
15	931	23
16	940	23
17	949	23
18	958	23
19	967	23
20	976	23
21	985	23
22	994	23
23	1003	23
24	1012	23
25	1021	23
26	1030	23
27	1039	23
28	1048	23
29	1057	23
30	1066	23
31	1075	23
32	1084	23
33	1093	23
34	1102	23
35	1111	23
36	1120	23
37	1129	23
38	1138	23
39	1147	23
40	1156	23
41	1165	23
42	1174	23
43	3085	23
44	3093	23
45	3101	23
46	3109	23
47	3117	23
48	3125	23
49	3133	23
50	3141	23
51	3149	23
52	3157	23
53	3165	23
54	3173	23
55	3181	23
56	3189	23
57	3197	23
58	3205	23
59	4156	23
60	4165	23
61	4174	23
62	4183	23
63	4192	23
64	4201	23
65	4210	23
66	4219	23
67	4228	23
68	4237	23
69	4246	23
70	4255	23
71	4264	23
72	4273	23
73	4282	23
74	4291	23
75	4300	23
76	4309	23
77	4318	23
78	4327	23
79	4336	23
80	4345	23
81	4354	23
82	4363	23
83	4372	23
84	4381	23
85	4390	23
86	4399	23
87	4408	23
88	4417	23
89	4426	23
90	4435	23
91	4444	23
92	4453	23
93	4462	23
94	4471	23
95	4480	23
96	4489	23
97	4498	23
98	4507	23
99	4516	23
100	4525	23
101	4534	23
102	4543	23
103	4552	23
104	4561	23
105	4570	23
106	4579	23
107	4588	23
108	4597	23
109	4606	23
110	4615	23
111	4624	23
112	4633	23
113	4642	23
114	4651	23
115	4660	23
116	4669	23
117	4678	23
118	4687	23
119	4696	23
120	4705	23
121	4714	23
122	4723	23
123	4732	23
124	4741	23
125	4750	23
126	4759	23
127	4768	23
128	4777	23
129	4786	23
130	4795	23
131	4804	23
132	4813	23
133	4822	23
134	4831	23
135	4840	23
136	4849	23
137	4858	23
138	4867	23
139	4876	23
140	4885	23
141	4894	23
142	4903	23
143	4912	23
144	4921	23
145	4930	23
146	4939	23
147	4948	23
148	4957	23
149	4966	23
150	4975	23
151	4984	23
152	4993	23
153	5002	23
154	5011	23
155	5020	23
156	5029	23
157	5038	23
158	5047	23
159	5056	23
160	5065	23
161	5074	23
162	5083	23
163	5092	23
164	5101	23
165	5110	23
166	5119	23
167	5128	23
168	5137	23
169	5146	23
170	5155	23
171	5164	23
172	5173	23
173	5182	23
174	5191	23
175	5200	23
176	5209	23
177	5218	23
178	5227	23
179	5236	23
180	5245	23
181	5254	23
182	5263	23
183	5272	23
184	5281	23
185	5290	23
186	5299	23
187	5308	23
188	5317	23
189	5326	23
190	5335	23
191	5344	23
192	5353	23
193	5362	23
194	5371	23
195	5380	23
196	5389	23
197	5398	23
198	5407	23
199	5416	23
200	5425	23
201	5434	23
202	5443	23
203	5452	23
204	5461	23
205	5470	23
206	5479	23
207	5488	23
208	5497	23
209	5506	23
210	5515	23
211	5524	23
212	5533	23
213	5542	23
214	5551	23
215	5560	23
216	5569	23
217	5578	23
218	5587	23
219	5596	23
220	5605	23
221	5614	23
222	5623	23
223	5632	23
224	5641	23
225	5650	23
226	5659	23
227	5668	23
228	5677	23
229	5686	23
230	5695	23
231	5704	23
232	5713	23
233	5722	23
234	5731	23
235	5740	23
236	5749	23
237	5758	23
238	5767	23
239	5776	23
240	5785	23
241	5794	23
242	5803	23
243	5812	23
244	5821	23
245	5830	23
246	5839	23
247	5848	23
248	5857	23
249	5866	23
250	5875	23
251	5884	23
252	5893	23
253	5902	23
254	5911	23
255	5920	23
256	5929	23
257	5938	23
258	5947	23
259	5956	23
260	5965	23
261	5974	23
262	5983	23
263	5992	23
264	6001	23
265	6010	23
266	6019	23
267	6028	23
268	6037	23
269	6046	23
270	6055	23
271	6064	23
272	6073	23
273	6082	23
274	6091	23
275	6100	23
276	6109	23
277	6118	23
278	6127	23
279	6136	23
280	6145	23
281	6154	23
282	6163	23
283	6172	23
284	6181	23
285	6190	23
286	6199	23
287	6208	23
288	6217	23
289	6226	23
290	6235	23
291	6244	23
292	6253	23
293	6262	23
294	6271	23
295	6280	23
296	6289	23
297	6298	23
298	6307	23
299	6316	23
300	6325	23
301	6334	23
302	6343	23
303	6352	23
304	6361	23
305	6370	23
306	6379	23
307	6388	23
308	6397	23
309	6406	23
310	6415	23
311	6424	23
312	6433	23
313	6442	23
314	6450	23
315	6458	23
316	6466	23
317	6474	23
318	6482	23
319	6490	23
320	6498	23
321	6506	23
322	6514	23
323	6522	23
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Outputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify4.6s (15%)

Algorithm

1×	egg-herbie

Rules

21912×	`rational.json-simplify-41`
3268×	`rational.json-simplify-1`
1296×	`rational.json-simplify-35`
646×	`trig.json-simplify-17`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	19	23
2	28	23
3	43	23
4	68	23
5	126	23
6	270	23
7	687	23
8	868	23
9	877	23
10	886	23
11	895	23
12	904	23
13	913	23
14	922	23
15	931	23
16	940	23
17	949	23
18	958	23
19	967	23
20	976	23
21	985	23
22	994	23
23	1003	23
24	1012	23
25	1021	23
26	1030	23
27	1039	23
28	1048	23
29	1057	23
30	1066	23
31	1075	23
32	1084	23
33	1093	23
34	1102	23
35	1111	23
36	1120	23
37	1129	23
38	1138	23
39	1147	23
40	1156	23
41	1165	23
42	1174	23
43	3085	23
44	3093	23
45	3101	23
46	3109	23
47	3117	23
48	3125	23
49	3133	23
50	3141	23
51	3149	23
52	3157	23
53	3165	23
54	3173	23
55	3181	23
56	3189	23
57	3197	23
58	3205	23
59	4156	23
60	4165	23
61	4174	23
62	4183	23
63	4192	23
64	4201	23
65	4210	23
66	4219	23
67	4228	23
68	4237	23
69	4246	23
70	4255	23
71	4264	23
72	4273	23
73	4282	23
74	4291	23
75	4300	23
76	4309	23
77	4318	23
78	4327	23
79	4336	23
80	4345	23
81	4354	23
82	4363	23
83	4372	23
84	4381	23
85	4390	23
86	4399	23
87	4408	23
88	4417	23
89	4426	23
90	4435	23
91	4444	23
92	4453	23
93	4462	23
94	4471	23
95	4480	23
96	4489	23
97	4498	23
98	4507	23
99	4516	23
100	4525	23
101	4534	23
102	4543	23
103	4552	23
104	4561	23
105	4570	23
106	4579	23
107	4588	23
108	4597	23
109	4606	23
110	4615	23
111	4624	23
112	4633	23
113	4642	23
114	4651	23
115	4660	23
116	4669	23
117	4678	23
118	4687	23
119	4696	23
120	4705	23
121	4714	23
122	4723	23
123	4732	23
124	4741	23
125	4750	23
126	4759	23
127	4768	23
128	4777	23
129	4786	23
130	4795	23
131	4804	23
132	4813	23
133	4822	23
134	4831	23
135	4840	23
136	4849	23
137	4858	23
138	4867	23
139	4876	23
140	4885	23
141	4894	23
142	4903	23
143	4912	23
144	4921	23
145	4930	23
146	4939	23
147	4948	23
148	4957	23
149	4966	23
150	4975	23
151	4984	23
152	4993	23
153	5002	23
154	5011	23
155	5020	23
156	5029	23
157	5038	23
158	5047	23
159	5056	23
160	5065	23
161	5074	23
162	5083	23
163	5092	23
164	5101	23
165	5110	23
166	5119	23
167	5128	23
168	5137	23
169	5146	23
170	5155	23
171	5164	23
172	5173	23
173	5182	23
174	5191	23
175	5200	23
176	5209	23
177	5218	23
178	5227	23
179	5236	23
180	5245	23
181	5254	23
182	5263	23
183	5272	23
184	5281	23
185	5290	23
186	5299	23
187	5308	23
188	5317	23
189	5326	23
190	5335	23
191	5344	23
192	5353	23
193	5362	23
194	5371	23
195	5380	23
196	5389	23
197	5398	23
198	5407	23
199	5416	23
200	5425	23
201	5434	23
202	5443	23
203	5452	23
204	5461	23
205	5470	23
206	5479	23
207	5488	23
208	5497	23
209	5506	23
210	5515	23
211	5524	23
212	5533	23
213	5542	23
214	5551	23
215	5560	23
216	5569	23
217	5578	23
218	5587	23
219	5596	23
220	5605	23
221	5614	23
222	5623	23
223	5632	23
224	5641	23
225	5650	23
226	5659	23
227	5668	23
228	5677	23
229	5686	23
230	5695	23
231	5704	23
232	5713	23
233	5722	23
234	5731	23
235	5740	23
236	5749	23
237	5758	23
238	5767	23
239	5776	23
240	5785	23
241	5794	23
242	5803	23
243	5812	23
244	5821	23
245	5830	23
246	5839	23
247	5848	23
248	5857	23
249	5866	23
250	5875	23
251	5884	23
252	5893	23
253	5902	23
254	5911	23
255	5920	23
256	5929	23
257	5938	23
258	5947	23
259	5956	23
260	5965	23
261	5974	23
262	5983	23
263	5992	23
264	6001	23
265	6010	23
266	6019	23
267	6028	23
268	6037	23
269	6046	23
270	6055	23
271	6064	23
272	6073	23
273	6082	23
274	6091	23
275	6100	23
276	6109	23
277	6118	23
278	6127	23
279	6136	23
280	6145	23
281	6154	23
282	6163	23
283	6172	23
284	6181	23
285	6190	23
286	6199	23
287	6208	23
288	6217	23
289	6226	23
290	6235	23
291	6244	23
292	6253	23
293	6262	23
294	6271	23
295	6280	23
296	6289	23
297	6298	23
298	6307	23
299	6316	23
300	6325	23
301	6334	23
302	6343	23
303	6352	23
304	6361	23
305	6370	23
306	6379	23
307	6388	23
308	6397	23
309	6406	23
310	6415	23
311	6424	23
312	6433	23
313	6442	23
314	6450	23
315	6458	23
316	6466	23
317	6474	23
318	6482	23
319	6490	23
320	6498	23
321	6506	23
322	6514	23
323	6522	23

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Outputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.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

59.8b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	59.8b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.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 1 (tan.f64 x))
✓	2.6b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Compiler

Compiled 20 to 12 computations (40% saved)

series3.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite83.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1616×	`rational.json-1`
1616×	`rational.json-2`
1616×	`rational.json-4`
1616×	`rational.json-3`
1052×	`rational.json-simplify-61`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	34
1	72	34
2	181	34
3	387	34
4	836	34
5	2424	34
6	6646	34

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

Inputs
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(/.f64 1 (tan.f64 x))

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

Outputs

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

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

simplify106.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1582×	`rational.json-simplify-35`
1194×	`rational.json-simplify-2`
758×	`rational.json-simplify-1`
620×	`rational.json-simplify-51`
552×	`rational.json-simplify-46`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	143	1979
1	281	1835
2	604	1835
3	1701	1835
4	3508	1833
5	6393	1833

Stop Event

1×	node limit

Counts

81 → 88

Calls

Call 1

Inputs
(*.f64 1/3 x)
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/4725 (pow.f64 x 7)))))
(*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(/.f64 1 x)
(+.f64 (*.f64 -1/3 x) (/.f64 1 x))
(+.f64 (.f64 -1/45 (pow.f64 x 3)) (+.f64 (.f64 -1/3 x) (/.f64 1 x)))
(+.f64 (.f64 -2/945 (pow.f64 x 5)) (+.f64 (.f64 -1/45 (pow.f64 x 3)) (+.f64 (*.f64 -1/3 x) (/.f64 1 x))))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 0)
(+.f64 0 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))
(+.f64 -1 (-.f64 (/.f64 1 x) (+.f64 (/.f64 1 (tan.f64 x)) -1)))
(+.f64 (neg.f64 (/.f64 1 (tan.f64 x))) (/.f64 1 x))
(+.f64 (-.f64 (/.f64 1 x) (+.f64 (/.f64 1 (tan.f64 x)) -1)) -1)
(+.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2) (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2))
(*.f64 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))
(*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)
(.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2))
(*.f64 2 (-.f64 (/.f64 1/2 x) (/.f64 1/2 (tan.f64 x))))
(*.f64 4 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))
(.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 2) 1/2)
(*.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) -1)
(*.f64 -1 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))
(.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4) 1/4)
(.f64 1/2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 2))
(*.f64 1/2 (-.f64 (/.f64 2 x) (/.f64 2 (tan.f64 x))))
(.f64 1/4 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))
(*.f64 1/4 (-.f64 (/.f64 4 x) (/.f64 4 (tan.f64 x))))
(.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2) 2)
(*.f64 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4) 4)
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)
(/.f64 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 2) 2)
(/.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) -1)
(/.f64 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4) 4)
(/.f64 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 8) 8)
(/.f64 (*.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))) -2)
(/.f64 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 8)) 16)
(/.f64 (*.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) 4) -4)
(/.f64 (neg.f64 (*.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) 2)
(/.f64 (+.f64 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 8)) (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 8))) 32)
(/.f64 (+.f64 (neg.f64 (.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) (neg.f64 (.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))))) 4)
(pow.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)
(neg.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))
(+.f64 (/.f64 1 (tan.f64 x)) 0)
(+.f64 0 (/.f64 1 (tan.f64 x)))
(+.f64 (/.f64 1/2 (tan.f64 x)) (/.f64 1/2 (tan.f64 x)))
(-.f64 (/.f64 1 (tan.f64 x)) 0)
(*.f64 1 (/.f64 1 (tan.f64 x)))
(.f64 (tan.f64 x) (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(*.f64 (/.f64 1 (tan.f64 x)) 1)
(*.f64 2 (/.f64 1/2 (tan.f64 x)))
(.f64 (.f64 (tan.f64 x) 2) (/.f64 1/2 (*.f64 (tan.f64 x) (tan.f64 x))))
(*.f64 (/.f64 2 (tan.f64 x)) 1/2)
(*.f64 4 (/.f64 (/.f64 1 (tan.f64 x)) 4))
(*.f64 (/.f64 4 (tan.f64 x)) 1/4)
(*.f64 1/2 (/.f64 2 (tan.f64 x)))
(.f64 (.f64 (tan.f64 x) 1/2) (/.f64 2 (*.f64 (tan.f64 x) (tan.f64 x))))
(*.f64 1/4 (/.f64 4 (tan.f64 x)))
(.f64 (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (tan.f64 x))
(.f64 (/.f64 2 (.f64 (tan.f64 x) (tan.f64 x))) (*.f64 (tan.f64 x) 1/2))
(*.f64 (/.f64 1/2 (tan.f64 x)) 2)
(*.f64 (/.f64 (/.f64 1 (tan.f64 x)) 4) 4)
(.f64 (/.f64 1/2 (.f64 (tan.f64 x) (tan.f64 x))) (*.f64 (tan.f64 x) 2))
(pow.f64 (/.f64 1 (tan.f64 x)) 1)
(neg.f64 (/.f64 -1 (tan.f64 x)))

Outputs
(*.f64 1/3 x)
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 1/3 x) (*.f64 2/945 (pow.f64 x 5))))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/4725 (pow.f64 x 7)))))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 1/4725 (pow.f64 x 7)) (.f64 2/945 (pow.f64 x 5)))))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 1/4725 (pow.f64 x 7)))))
(+.f64 (.f64 1/4725 (pow.f64 x 7)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 1/3 x) (.f64 2/945 (pow.f64 x 5)))))
(+.f64 (+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3))) (+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 1/4725 (pow.f64 x 7))))
(*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)))
(neg.f64 (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (neg.f64 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (neg.f64 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (neg.f64 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x)))
(neg.f64 (/.f64 (cos.f64 x) (sin.f64 x)))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (neg.f64 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (neg.f64 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (*.f64 -1 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(+.f64 (neg.f64 (/.f64 (cos.f64 x) (sin.f64 x))) (/.f64 1 x))
(/.f64 1 x)
(+.f64 (*.f64 -1/3 x) (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 x -1/3))
(+.f64 (.f64 -1/45 (pow.f64 x 3)) (+.f64 (.f64 -1/3 x) (/.f64 1 x)))
(+.f64 (+.f64 (/.f64 1 x) (.f64 x -1/3)) (.f64 (pow.f64 x 3) -1/45))
(+.f64 (/.f64 1 x) (+.f64 (.f64 x -1/3) (.f64 (pow.f64 x 3) -1/45)))
(+.f64 (.f64 -2/945 (pow.f64 x 5)) (+.f64 (.f64 -1/45 (pow.f64 x 3)) (+.f64 (*.f64 -1/3 x) (/.f64 1 x))))
(+.f64 (.f64 (pow.f64 x 3) -1/45) (+.f64 (+.f64 (/.f64 1 x) (.f64 x -1/3)) (*.f64 (pow.f64 x 5) -2/945)))
(+.f64 (+.f64 (/.f64 1 x) (.f64 x -1/3)) (+.f64 (.f64 (pow.f64 x 5) -2/945) (*.f64 (pow.f64 x 3) -1/45)))
(+.f64 (/.f64 1 x) (+.f64 (+.f64 (.f64 x -1/3) (.f64 (pow.f64 x 3) -1/45)) (*.f64 (pow.f64 x 5) -2/945)))
(+.f64 (/.f64 1 x) (+.f64 (.f64 (pow.f64 x 5) -2/945) (+.f64 (.f64 x -1/3) (*.f64 (pow.f64 x 3) -1/45))))
(+.f64 (/.f64 1 x) (+.f64 (.f64 (pow.f64 x 3) -1/45) (+.f64 (.f64 x -1/3) (*.f64 (pow.f64 x 5) -2/945))))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(/.f64 (cos.f64 x) (sin.f64 x))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(+.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 0)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(+.f64 0 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(+.f64 -1 (-.f64 (/.f64 1 x) (+.f64 (/.f64 1 (tan.f64 x)) -1)))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(+.f64 (neg.f64 (/.f64 1 (tan.f64 x))) (/.f64 1 x))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(+.f64 (-.f64 (/.f64 1 x) (+.f64 (/.f64 1 (tan.f64 x)) -1)) -1)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(+.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2) (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(*.f64 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(*.f64 2 (-.f64 (/.f64 1/2 x) (/.f64 1/2 (tan.f64 x))))
(*.f64 4 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 2) 1/2)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(*.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) -1)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(*.f64 -1 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4) 1/4)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(.f64 1/2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 2))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(*.f64 1/2 (-.f64 (/.f64 2 x) (/.f64 2 (tan.f64 x))))
(.f64 1/4 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(*.f64 1/4 (-.f64 (/.f64 4 x) (/.f64 4 (tan.f64 x))))
(.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2) 2)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(*.f64 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4) 4)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 2) 2)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) -1)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4) 4)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 8) 8)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (*.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))) -2)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 8)) 16)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (*.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) 4) -4)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (neg.f64 (*.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) 2)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (+.f64 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 8)) (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 8))) 32)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(/.f64 (+.f64 (neg.f64 (.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) (neg.f64 (.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))))) 4)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(pow.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(neg.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))
(+.f64 (/.f64 1 x) (neg.f64 (/.f64 1 (tan.f64 x))))
(+.f64 (/.f64 1 x) (/.f64 -1 (tan.f64 x)))
(+.f64 (/.f64 1 (tan.f64 x)) 0)
(/.f64 1 (tan.f64 x))
(+.f64 0 (/.f64 1 (tan.f64 x)))
(/.f64 1 (tan.f64 x))
(+.f64 (/.f64 1/2 (tan.f64 x)) (/.f64 1/2 (tan.f64 x)))
(/.f64 (/.f64 (tan.f64 x) (tan.f64 x)) (tan.f64 x))
(/.f64 (tan.f64 x) (*.f64 (tan.f64 x) (tan.f64 x)))
(-.f64 (/.f64 1 (tan.f64 x)) 0)
(/.f64 1 (tan.f64 x))
(*.f64 1 (/.f64 1 (tan.f64 x)))
(/.f64 1 (tan.f64 x))
(.f64 (tan.f64 x) (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(*.f64 (/.f64 1 (tan.f64 x)) 1)
(/.f64 1 (tan.f64 x))
(*.f64 2 (/.f64 1/2 (tan.f64 x)))
(.f64 (.f64 (tan.f64 x) 2) (/.f64 1/2 (*.f64 (tan.f64 x) (tan.f64 x))))
(.f64 (tan.f64 x) (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(*.f64 (/.f64 2 (tan.f64 x)) 1/2)
(*.f64 1/2 (/.f64 2 (tan.f64 x)))
(*.f64 4 (/.f64 (/.f64 1 (tan.f64 x)) 4))
(/.f64 1 (tan.f64 x))
(*.f64 (/.f64 4 (tan.f64 x)) 1/4)
(*.f64 1/4 (/.f64 4 (tan.f64 x)))
(*.f64 1/2 (/.f64 2 (tan.f64 x)))
(.f64 (.f64 (tan.f64 x) 1/2) (/.f64 2 (*.f64 (tan.f64 x) (tan.f64 x))))
(.f64 (tan.f64 x) (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(*.f64 1/4 (/.f64 4 (tan.f64 x)))
(.f64 (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (tan.f64 x))
(.f64 (tan.f64 x) (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(.f64 (/.f64 2 (.f64 (tan.f64 x) (tan.f64 x))) (*.f64 (tan.f64 x) 1/2))
(.f64 (tan.f64 x) (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(*.f64 (/.f64 1/2 (tan.f64 x)) 2)
(*.f64 2 (/.f64 1/2 (tan.f64 x)))
(*.f64 (/.f64 (/.f64 1 (tan.f64 x)) 4) 4)
(/.f64 1 (tan.f64 x))
(.f64 (/.f64 1/2 (.f64 (tan.f64 x) (tan.f64 x))) (*.f64 (tan.f64 x) 2))
(.f64 (tan.f64 x) (/.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(pow.f64 (/.f64 1 (tan.f64 x)) 1)
(/.f64 1 (tan.f64 x))
(neg.f64 (/.f64 -1 (tan.f64 x)))
(/.f64 1 (tan.f64 x))

eval21.0ms (0.1%)

Compiler: Compiled 1149 to 810 computations (29.5% saved)

prune11.0ms (0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	84	4	88
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	84	5	89

Error

0.4b

Counts

89 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	59.8b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
▶	59.9b	(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
▶	0.4b	(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))
▶	0.4b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
▶	0.8b	(*.f64 1/3 x)

Compiler

Compiled 51 to 40 computations (21.6% saved)

localize3.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 1/3 x)

Compiler

Compiled 6 to 4 computations (33.3% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite262.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

2326×	`rational.json-simplify-35`
2086×	`rational.json-simplify-2`
1548×	`rational.json-simplify-1`
1360×	`rational.json-1`
1110×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	33	7
2	78	7
3	158	7
4	278	7
5	582	7
6	1381	7
7	2648	7
8	3843	7
9	4536	7
10	5651	7
11	6406	7
12	6406	7
13	6788	7
14	7378	7
15	7988	7

Stop Event

1×	node limit

Counts

1 → 16

Calls

Call 1

Inputs
(*.f64 1/3 x)

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

Outputs

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

simplify491.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

3428×	`rational.json-simplify-51`
2902×	`rational.json-simplify-2`
2046×	`rational.json-simplify-35`
1162×	`rational.json-simplify-1`
748×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	112
1	122	112
2	214	112
3	537	112
4	1353	112
5	2749	112
6	3574	112
7	3750	112
8	3848	112
9	3920	112
10	3986	112
11	4049	112
12	4109	112
13	4169	112
14	4228	112
15	4287	112
16	4346	112
17	4405	112
18	4464	112
19	4523	112
20	7025	112
21	7106	112
22	7164	112
23	7169	112
24	7169	112

Stop Event

1×	node limit

Counts

16 → 17

Calls

Call 1

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

Outputs
(+.f64 (*.f64 1/3 x) 0)
(*.f64 1/3 x)
(+.f64 0 (*.f64 1/3 x))
(*.f64 1/3 x)
(+.f64 (.f64 x 1/6) (.f64 x 1/6))
(*.f64 1/3 x)
(-.f64 (*.f64 1/3 x) 0)
(*.f64 1/3 x)
(/.f64 (*.f64 1/3 x) 1)
(*.f64 1/3 x)
(/.f64 (*.f64 x 2/3) 2)
(*.f64 1/3 x)
(/.f64 (*.f64 x 4/3) 4)
(*.f64 1/3 x)
(/.f64 (*.f64 x 8/3) 8)
(*.f64 1/3 x)
(/.f64 (.f64 2 (.f64 x 8/3)) 16)
(*.f64 1/3 x)
(/.f64 (.f64 2 (.f64 2 (*.f64 x 8/3))) 32)
(*.f64 1/3 x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3)))) 64)
(*.f64 1/3 x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 x 8/3))))) 128)
(*.f64 1/3 x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3)))))) 256)
(*.f64 1/3 x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 x 8/3))))))) 512)
(*.f64 1/3 x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3)))))))) 1024)
(*.f64 1/3 x)
(pow.f64 (*.f64 1/3 x) 1)
(*.f64 1/3 x)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
✓	0.1b	(*.f64 1/45 (pow.f64 x 3))
	0.4b	(*.f64 1/3 x)

Compiler

Compiled 25 to 19 computations (24% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

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

rewrite178.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

2418×	`rational.json-simplify-2`
1504×	`rational.json-simplify-35`
1458×	`rational.json-simplify-1`
1186×	`exponential.json-3`
1186×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	65	38
2	125	38
3	243	38
4	450	38
5	998	38
6	2647	38
7	4568	38
8	5197	38
9	6322	38
10	7059	38
11	7059	38

Stop Event

1×	node limit

Counts

2 → 37

Calls

Call 1

Inputs
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))

Outputs

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

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

simplify217.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

3870×	`rational.json-simplify-41`
2678×	`rational.json-simplify-43`
2202×	`rational.json-simplify-35`
1134×	`rational.json-simplify-2`
574×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	88	802
1	197	802
2	364	802
3	807	802
4	2036	802
5	2859	802
6	3149	802
7	3318	802
8	3450	802
9	3561	802
10	3666	802
11	3768	802
12	3869	802
13	3970	802
14	4071	802
15	4071	802

Stop Event

1×	node limit

Counts

40 → 41

Calls

Call 1

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

Outputs
(*.f64 1/3 x)
(*.f64 1/45 (pow.f64 x 3))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (*.f64 1/45 (pow.f64 x 3)) 0)
(*.f64 1/45 (pow.f64 x 3))
(+.f64 0 (*.f64 1/45 (pow.f64 x 3)))
(*.f64 1/45 (pow.f64 x 3))
(+.f64 (.f64 (pow.f64 x 3) 1/90) (.f64 (pow.f64 x 3) 1/90))
(*.f64 1/45 (pow.f64 x 3))
(-.f64 (*.f64 1/45 (pow.f64 x 3)) 0)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (*.f64 1/45 (pow.f64 x 3)) 1)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (*.f64 (pow.f64 x 3) 2/45) 2)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (*.f64 (pow.f64 x 3) 4/45) 4)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (*.f64 (pow.f64 x 3) 8/45) 8)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (.f64 2 (.f64 (pow.f64 x 3) 8/45)) 16)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 3) 8/45))) 32)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) 8/45)))) 64)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 3) 8/45))))) 128)
(*.f64 1/45 (pow.f64 x 3))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) 8/45)))))) 256)
(*.f64 1/45 (pow.f64 x 3))
(pow.f64 (*.f64 1/45 (pow.f64 x 3)) 1)
(*.f64 1/45 (pow.f64 x 3))
(-.f64 (+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 x 1/3)) 0)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 x 1/3)) 1)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 1 (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 x 1/3)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 2 (+.f64 (.f64 x 1/6) (*.f64 (pow.f64 x 3) 1/90)))
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) 1/90) (*.f64 x 1/6)))
(.f64 (+.f64 (.f64 x 2/3) (*.f64 (pow.f64 x 3) 2/45)) 1/2)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 4 (.f64 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45)) 1/8))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 (.f64 2 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45))) 1/4)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 (.f64 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45)) 4) 1/8)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 1/2 (+.f64 (.f64 x 2/3) (*.f64 (pow.f64 x 3) 2/45)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 (+.f64 (.f64 x 1/6) (*.f64 (pow.f64 x 3) 1/90)) 2)
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) 1/90) (*.f64 x 1/6)))
(.f64 1/4 (.f64 2 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45))))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 (.f64 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45)) 1/8) 4)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(.f64 1/8 (.f64 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45)) 4))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 x 1/3)) 1)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45)) 2)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (.f64 2 (+.f64 (.f64 x 2/3) (*.f64 (pow.f64 x 3) 2/45))) 4)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (.f64 (+.f64 (.f64 x 2/3) (*.f64 (pow.f64 x 3) 2/45)) 4) 8)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45)) 4)) 16)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 2/3) (*.f64 (pow.f64 x 3) 2/45)) 4))) 32)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45)) 4)))) 64)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 2/3) (*.f64 (pow.f64 x 3) 2/45)) 4))))) 128)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 2/3) (.f64 (pow.f64 x 3) 2/45)) 4)))))) 256)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(pow.f64 (+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 x 1/3)) 1)
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))
✓	0.1b	(*.f64 2/945 (pow.f64 x 5))
	0.1b	(*.f64 1/45 (pow.f64 x 3))
	0.4b	(*.f64 1/3 x)

Compiler

Compiled 52 to 41 computations (21.2% saved)

series2.0ms (0%)

Counts

2 → 12

Calls

6 calls:

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

rewrite178.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

2760×	`rational.json-simplify-2`
1694×	`rational.json-simplify-35`
1474×	`exponential.json-3`
1474×	`rational.json-1`
1474×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	56
1	99	56
2	185	56
3	364	56
4	742	56
5	1853	56
6	3882	56
7	5455	56
8	6800	56
9	7843	56
10	7843	56

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

Inputs
(*.f64 2/945 (pow.f64 x 5))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))

Outputs

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

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

simplify386.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

3768×	`rational.json-simplify-51`
2514×	`rational.json-simplify-35`
1344×	`rational.json-simplify-2`
964×	`rational.json-simplify-1`
596×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	104	1749
1	217	1749
2	484	1749
3	1558	1749
4	3422	1749
5	4295	1749
6	4502	1749
7	4594	1749
8	4684	1749
9	4772	1749
10	4859	1749
11	4977	1749
12	5061	1749
13	5145	1749
14	5145	1749
15	7514	1749
16	7860	1749
17	7949	1749

Stop Event

1×	node limit

Counts

51 → 53

Calls

Call 1

Inputs
(*.f64 1/3 x)
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(*.f64 2/945 (pow.f64 x 5))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(*.f64 2/945 (pow.f64 x 5))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (*.f64 2/945 (pow.f64 x 5)) 0)
(+.f64 0 (*.f64 2/945 (pow.f64 x 5)))
(+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 5) 1/945))
(-.f64 (*.f64 2/945 (pow.f64 x 5)) 0)
(/.f64 (*.f64 2/945 (pow.f64 x 5)) 1)
(/.f64 (*.f64 (pow.f64 x 5) 4/945) 2)
(/.f64 (*.f64 (pow.f64 x 5) 8/945) 4)
(/.f64 (.f64 (.f64 2/945 (pow.f64 x 5)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 2/945 (pow.f64 x 5)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 2/945 (pow.f64 x 5)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 2/945 (pow.f64 x 5)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 2/945 (pow.f64 x 5)) 8))))) 128)
(pow.f64 (*.f64 2/945 (pow.f64 x 5)) 1)
(-.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 0)
(.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 1)
(.f64 1 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))))
(.f64 2 (+.f64 (.f64 x 1/6) (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))))
(.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 2) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 4))
(.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 2))
(.f64 1/2 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) (*.f64 x 2/3)))
(.f64 1/2 (+.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 x 1/3)) 2) (*.f64 (pow.f64 x 3) 2/45)))
(.f64 1/2 (+.f64 (.f64 x 2/3) (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (*.f64 (pow.f64 x 3) 1/90)))))
(.f64 (+.f64 (.f64 x 1/6) (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 4))
(.f64 (/.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 4) 4)
(.f64 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) (*.f64 x 2/3)) 1/2)
(.f64 (+.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 x 1/3)) 2) (*.f64 (pow.f64 x 3) 2/45)) 1/2)
(.f64 (+.f64 (.f64 x 2/3) (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (*.f64 (pow.f64 x 3) 1/90)))) 1/2)
(/.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 1)
(/.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 8))))) 128)
(pow.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 1)

Outputs
(*.f64 1/3 x)
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 1/3 x))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(*.f64 2/945 (pow.f64 x 5))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 2/945 (pow.f64 x 5)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(*.f64 2/945 (pow.f64 x 5))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (.f64 2/945 (pow.f64 x 5)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/45 (pow.f64 x 3))))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(+.f64 (*.f64 2/945 (pow.f64 x 5)) 0)
(*.f64 2/945 (pow.f64 x 5))
(+.f64 0 (*.f64 2/945 (pow.f64 x 5)))
(*.f64 2/945 (pow.f64 x 5))
(+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 5) 1/945))
(*.f64 2/945 (pow.f64 x 5))
(-.f64 (*.f64 2/945 (pow.f64 x 5)) 0)
(*.f64 2/945 (pow.f64 x 5))
(/.f64 (*.f64 2/945 (pow.f64 x 5)) 1)
(*.f64 2/945 (pow.f64 x 5))
(/.f64 (*.f64 (pow.f64 x 5) 4/945) 2)
(*.f64 2/945 (pow.f64 x 5))
(/.f64 (*.f64 (pow.f64 x 5) 8/945) 4)
(*.f64 2/945 (pow.f64 x 5))
(/.f64 (.f64 (.f64 2/945 (pow.f64 x 5)) 8) 8)
(*.f64 2/945 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 (*.f64 2/945 (pow.f64 x 5)) 8)) 16)
(*.f64 2/945 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 2/945 (pow.f64 x 5)) 8))) 32)
(*.f64 2/945 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 2/945 (pow.f64 x 5)) 8)))) 64)
(*.f64 2/945 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 2/945 (pow.f64 x 5)) 8))))) 128)
(*.f64 2/945 (pow.f64 x 5))
(pow.f64 (*.f64 2/945 (pow.f64 x 5)) 1)
(*.f64 2/945 (pow.f64 x 5))
(-.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 0)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 1)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 1 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 2 (+.f64 (.f64 x 1/6) (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 5) 1/945) (+.f64 (.f64 (pow.f64 x 3) 1/90) (.f64 x 1/6))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) 1/90) (+.f64 (.f64 x 1/6) (.f64 (pow.f64 x 5) 1/945))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) 1/90) (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 x 1/6))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 5) 1/945) (+.f64 (.f64 x 1/6) (.f64 (pow.f64 x 3) 1/90))))
(.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 2) 1/2)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 4 (/.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 4))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 4) 1/4)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 1/2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 2))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 1/2 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) (*.f64 x 2/3)))
(.f64 1/2 (+.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 x 1/3)) 2) (*.f64 (pow.f64 x 3) 2/45)))
(.f64 1/2 (+.f64 (.f64 2 (+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 1/3 x))) (*.f64 (pow.f64 x 3) 2/45)))
(.f64 1/2 (+.f64 (.f64 x 2/3) (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (*.f64 (pow.f64 x 3) 1/90)))))
(.f64 1/2 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) (*.f64 x 2/3)))
(.f64 (+.f64 (.f64 x 1/6) (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) 2)
(.f64 2 (+.f64 (.f64 (pow.f64 x 5) 1/945) (+.f64 (.f64 (pow.f64 x 3) 1/90) (.f64 x 1/6))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) 1/90) (+.f64 (.f64 x 1/6) (.f64 (pow.f64 x 5) 1/945))))
(.f64 2 (+.f64 (.f64 x 1/6) (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) 1/90) (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 x 1/6))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 5) 1/945) (+.f64 (.f64 x 1/6) (.f64 (pow.f64 x 3) 1/90))))
(.f64 1/4 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 4))
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 (/.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 4) 4)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(.f64 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) (*.f64 x 2/3)) 1/2)
(.f64 1/2 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) (*.f64 x 2/3)))
(.f64 (+.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 x 1/3)) 2) (*.f64 (pow.f64 x 3) 2/45)) 1/2)
(.f64 1/2 (+.f64 (.f64 2 (+.f64 (.f64 2/945 (pow.f64 x 5)) (.f64 1/3 x))) (*.f64 (pow.f64 x 3) 2/45)))
(.f64 (+.f64 (.f64 x 2/3) (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (*.f64 (pow.f64 x 3) 1/90)))) 1/2)
(.f64 1/2 (+.f64 (.f64 4 (+.f64 (.f64 (pow.f64 x 5) 1/945) (.f64 (pow.f64 x 3) 1/90))) (*.f64 x 2/3)))
(/.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 1)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(/.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 2) 2)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(/.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 4) 4)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(/.f64 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 8) 8)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 8)) 16)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 8))) 32)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 8)))) 64)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (.f64 1/45 (pow.f64 x 3)))) 8))))) 128)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))
(pow.f64 (+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 x 1/3) (*.f64 1/45 (pow.f64 x 3)))) 1)
(+.f64 (.f64 2/945 (pow.f64 x 5)) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/3 x)))
(+.f64 (.f64 1/45 (pow.f64 x 3)) (+.f64 (.f64 2/945 (pow.f64 x 5)) (*.f64 1/3 x)))

localize11.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 x -1/3)
✓	2.6b	(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))

Compiler

Compiled 28 to 20 computations (28.6% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite80.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	71	38
2	161	38
3	330	18
4	708	14
5	1853	14
6	5024	14

Stop Event

1×	node limit

Counts

2 → 92

Calls

Call 1

Inputs
(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
(*.f64 x -1/3)

Outputs

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

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

simplify81.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1402×	`rational.json-simplify-51`
1184×	`rational.json-simplify-2`
1064×	`rational.json-simplify-35`
974×	`rational.json-simplify-46`
972×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	170	1052
1	377	1052
2	1071	1052
3	2626	1052
4	5772	1052

Stop Event

1×	node limit

Counts

116 → 99

Calls

Call 1

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

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

eval74.0ms (0.2%)

Compiler: Compiled 3622 to 2996 computations (17.3% saved)

prune32.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	257	1	258
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	257	6	263

Error

0.4b

Counts

263 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	59.8b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
✓	59.9b	(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
▶	59.1b	(+.f64 (+.f64 1 (*.f64 x 1/3)) -1)
✓	0.4b	(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))
✓	0.4b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
✓	0.8b	(*.f64 1/3 x)

Compiler

Compiled 59 to 47 computations (20.3% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 x 1/3)
✓	5.6b	(+.f64 (+.f64 1 (*.f64 x 1/3)) -1)

Compiler

Compiled 20 to 16 computations (20% saved)

series0.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite268.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2248×	`rational.json-simplify-35`
1924×	`rational.json-simplify-2`
1542×	`rational.json-simplify-1`
1292×	`rational.json-1`
1010×	`exponential.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	72	14
2	153	14
3	284	14
4	571	14
5	1268	14
6	2669	14
7	3869	14
8	4597	14
9	5453	14
10	6070	14
11	6232	14
12	6358	14
13	6907	14
14	7319	14
15	7905	14

Stop Event

1×	node limit

Counts

2 → 65

Calls

Call 1

Inputs
(+.f64 (+.f64 1 (*.f64 x 1/3)) -1)
(*.f64 x 1/3)

Outputs

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

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

simplify406.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2884×	`rational.json-simplify-48`
1756×	`rational.json-simplify-51`
1630×	`rational.json-simplify-35`
1624×	`rational.json-simplify-2`
1418×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	99	623
1	191	623
2	613	623
3	1675	623
4	3060	623
5	3577	623
6	3748	623
7	3856	623
8	3970	623
9	4091	623
10	5435	623
11	6472	623
12	6561	623
13	6642	623
14	6726	623
15	6809	623
16	7037	623
17	7140	623
18	7239	623
19	7339	623
20	7439	623
21	7537	623

Stop Event

1×	node limit

Counts

89 → 51

Calls

Call 1

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

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

eval10.0ms (0%)

Compiler: Compiled 396 to 340 computations (14.1% saved)

prune8.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	50	1	51
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	50	7	57

Error

0.4b

Counts

57 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	59.8b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
✓	59.9b	(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
▶	59.1b	(+.f64 (+.f64 1 (+.f64 (+.f64 (*.f64 x 1/3) 3) -3)) -1)
✓	59.1b	(+.f64 (+.f64 1 (*.f64 x 1/3)) -1)
✓	0.4b	(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))
✓	0.4b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
✓	0.8b	(*.f64 1/3 x)

Compiler

Compiled 71 to 58 computations (18.3% saved)

localize20.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.4b	(*.f64 x 1/3)
✓	5.3b	(+.f64 (+.f64 1 (+.f64 (+.f64 (*.f64 x 1/3) 3) -3)) -1)
✓	5.4b	(+.f64 (+.f64 (*.f64 x 1/3) 3) -3)

Compiler

Compiled 42 to 36 computations (14.3% saved)

series0.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite208.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2148×	`rational.json-simplify-2`
1778×	`rational.json-simplify-35`
1680×	`rational.json-simplify-1`
1188×	`exponential.json-3`
1188×	`rational.json-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	38
1	101	14
2	213	14
3	438	14
4	1167	14
5	2308	14
6	3535	14
7	4821	14
8	5558	14
9	6493	14
10	7092	14
11	7164	14
12	7236	14

Stop Event

1×	node limit

Counts

2 → 70

Calls

Call 1

Inputs
(+.f64 (+.f64 (*.f64 x 1/3) 3) -3)
(+.f64 (+.f64 1 (+.f64 (+.f64 (*.f64 x 1/3) 3) -3)) -1)

Outputs

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

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

simplify352.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

3118×	`rational.json-simplify-51`
1694×	`rational.json-simplify-1`
1432×	`rational.json-simplify-35`
1030×	`rational.json-simplify-48`
986×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	658
1	158	658
2	372	658
3	1013	658
4	2178	658
5	3172	658
6	3748	658
7	4037	658
8	4509	658
9	4654	658
10	4782	658
11	4927	658
12	5382	658
13	5596	658
14	5758	658
15	5856	658
16	5902	658
17	5948	658
18	5994	658
19	6040	658

Stop Event

1×	node limit

Counts

94 → 35

Calls

Call 1

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

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

eval12.0ms (0%)

Compiler: Compiled 567 to 513 computations (9.5% saved)

prune11.0ms (0%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	49	8	57

Error

0.4b

Counts

57 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	59.8b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
✓	59.9b	(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
	59.1b	(+.f64 (+.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x 1/3) -2) 2) 3) -3)) -1)
✓	59.1b	(+.f64 (+.f64 1 (+.f64 (+.f64 (*.f64 x 1/3) 3) -3)) -1)
✓	59.1b	(+.f64 (+.f64 1 (*.f64 x 1/3)) -1)
✓	0.4b	(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))
✓	0.4b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
✓	0.8b	(*.f64 1/3 x)

Compiler

Compiled 87 to 73 computations (16.1% saved)

regimes9.0ms (0%)

Counts

8 → 1

Calls

Call 1

Inputs
(*.f64 1/3 x)
(+.f64 (+.f64 1 (*.f64 x 1/3)) -1)
(+.f64 (+.f64 1 (+.f64 (+.f64 (*.f64 x 1/3) 3) -3)) -1)
(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
(+.f64 (+.f64 1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x 1/3) -2) 2) 3) -3)) -1)
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))

Outputs
(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))

Calls

2 calls:

5.0ms	x
2.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Results

Error	Segments	Branch
0.4b	1	`x`
0.4b	1	`(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))`

Compiler

Compiled 91 to 74 computations (18.7% saved)

regimes9.0ms (0%)

Counts

7 → 1

Calls

Call 1

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

Outputs
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))

Calls

2 calls:

4.0ms	x
3.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Results

Error	Segments	Branch
0.4b	1	`x`
0.4b	1	`(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))`

Compiler

Compiled 76 to 62 computations (18.4% saved)

regimes8.0ms (0%)

Accuracy

Total -59.1b remaining (-7482.6%)

Threshold costs -59.1b (-7482.6%)

Counts

6 → 1

Calls

Call 1

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

Outputs
(*.f64 1/3 x)

Calls

2 calls:

4.0ms	x
2.0ms	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Results

Error	Segments	Branch
0.8b	1	`x`
0.8b	1	`(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))`

Compiler

Compiled 67 to 55 computations (17.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	75

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
(*.f64 1/3 x)

Outputs
(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))
(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
(*.f64 1/3 x)

Compiler

Compiled 30 to 24 computations (20% saved)

soundness129.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1582×	`rational.json-simplify-35`
1194×	`rational.json-simplify-2`
758×	`rational.json-simplify-1`
620×	`rational.json-simplify-51`
552×	`rational.json-simplify-46`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	143	1979
1	281	1835
2	604	1835
3	1701	1835
4	3508	1833
5	6393	1833

Stop Event

1×	node limit

Compiler

Compiled 31 to 25 computations (19.4% saved)

end26.0ms (0.1%)

Compiler: Compiled 28 to 22 computations (21.4% saved)

Details

analyze5.0ms (0%)

sample18.0s (58%)

preprocess4.6s (14.9%)

simplify4.6s (15%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0%)

series3.0ms (0%)

rewrite83.0ms (0.3%)

simplify106.0ms (0.3%)

eval21.0ms (0.1%)

prune11.0ms (0%)

localize3.0ms (0%)

series1.0ms (0%)

rewrite262.0ms (0.8%)

simplify491.0ms (1.6%)

localize10.0ms (0%)

series2.0ms (0%)

rewrite178.0ms (0.6%)

simplify217.0ms (0.7%)

localize20.0ms (0.1%)

series2.0ms (0%)

rewrite178.0ms (0.6%)

simplify386.0ms (1.2%)

localize11.0ms (0%)

series1.0ms (0%)

rewrite80.0ms (0.3%)

simplify81.0ms (0.3%)

eval74.0ms (0.2%)

prune32.0ms (0.1%)

localize7.0ms (0%)

series0.0ms (0%)

rewrite268.0ms (0.9%)

simplify406.0ms (1.3%)

eval10.0ms (0%)

prune8.0ms (0%)

localize20.0ms (0.1%)

series0.0ms (0%)

rewrite208.0ms (0.7%)

simplify352.0ms (1.1%)

eval12.0ms (0%)

prune11.0ms (0%)

regimes9.0ms (0%)

regimes9.0ms (0%)

regimes8.0ms (0%)

simplify2.0ms (0%)

soundness129.0ms (0.4%)

end26.0ms (0.1%)

Profiling