Details

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

sample27.4s (67.7%)

Results

23.9s	4146×	body	2048	valid
2.8s	2116×	body	1024	valid
299.0ms	1049×	body	512	valid
213.0ms	717×	body	256	valid
210.0ms	228×	body	4096	valid

Bogosity

preprocess4.6s (11.4%)

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)

simplify5.3s (13%)

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

60.1b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	60.1b	(-.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.3b	(-.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.2%)

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

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

eval24.0ms (0.1%)

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

prune13.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.3b

Counts

89 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	60.1b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
▶	0.3b	(+.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))))
▶	0.3b	(+.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.5b	(*.f64 1/3 x)

Compiler

Compiled 61 to 49 computations (19.7% saved)

localize2.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.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)

rewrite263.0ms (0.7%)

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

simplify492.0ms (1.2%)

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)

localize109.0ms (0.3%)

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

rewrite174.0ms (0.4%)

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

simplify370.0ms (0.9%)

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

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 1/45 (pow.f64 x 3))
✓	0.1b	(*.f64 2/945 (pow.f64 x 5))
	0.3b	(*.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
1.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	@	0	(+.f64 (.f64 1/3 x) (+.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 2/945 (pow.f64 x 5))))

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

simplify388.0ms (1%)

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

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 77 to 61 computations (20.8% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite268.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

3750×	`rational.json-simplify-35`
1770×	`rational.json-simplify-2`
1064×	`exponential.json-3`
1064×	`rational.json-1`
1064×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	96	13
3	186	13
4	323	13
5	685	13
6	1643	13
7	2770	13
8	3350	13
9	4000	13
10	4775	13
11	5256	13
12	5256	13
13	5708	13
14	5708	13
15	6209	13
16	7055	13

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

Inputs
(*.f64 1/4725 (pow.f64 x 7))

Outputs

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

simplify220.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

3680×	`rational.json-simplify-43`
2612×	`rational.json-simplify-51`
2072×	`rational.json-simplify-35`
1144×	`rational.json-simplify-1`
1022×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	234
1	144	234
2	252	234
3	630	234
4	1551	234
5	2701	234
6	3531	234
7	3779	234
8	3932	234
9	4053	234
10	4163	234
11	4272	234
12	4388	234
13	4496	234
14	4496	234

Stop Event

1×	node limit

Counts

18 → 19

Calls

Call 1

Inputs
(+.f64 (*.f64 1/4725 (pow.f64 x 7)) 0)
(+.f64 0 (*.f64 1/4725 (pow.f64 x 7)))
(+.f64 (.f64 (pow.f64 x 7) 1/9450) (.f64 (pow.f64 x 7) 1/9450))
(-.f64 (*.f64 1/4725 (pow.f64 x 7)) 0)
(/.f64 (*.f64 1/4725 (pow.f64 x 7)) 1)
(/.f64 (*.f64 (pow.f64 x 7) 2/4725) 2)
(/.f64 (*.f64 (pow.f64 x 7) 4/4725) 4)
(/.f64 (*.f64 (pow.f64 x 7) 8/4725) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 7) 8/4725))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 7) 8/4725))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)))))) 256)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 7) 8/4725))))))) 512)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)))))))) 1024)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 7) 8/4725))))))))) 2048)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725))))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)))))))))) 4096)
(pow.f64 (*.f64 1/4725 (pow.f64 x 7)) 1)

Outputs
(+.f64 (*.f64 1/4725 (pow.f64 x 7)) 0)
(*.f64 1/4725 (pow.f64 x 7))
(+.f64 0 (*.f64 1/4725 (pow.f64 x 7)))
(*.f64 1/4725 (pow.f64 x 7))
(+.f64 (.f64 (pow.f64 x 7) 1/9450) (.f64 (pow.f64 x 7) 1/9450))
(*.f64 1/4725 (pow.f64 x 7))
(-.f64 (*.f64 1/4725 (pow.f64 x 7)) 0)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (*.f64 1/4725 (pow.f64 x 7)) 1)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (*.f64 (pow.f64 x 7) 2/4725) 2)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (*.f64 (pow.f64 x 7) 4/4725) 4)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (*.f64 (pow.f64 x 7) 8/4725) 8)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)) 16)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 7) 8/4725))) 32)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)))) 64)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 7) 8/4725))))) 128)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)))))) 256)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 7) 8/4725))))))) 512)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)))))))) 1024)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 7) 8/4725))))))))) 2048)
(*.f64 1/4725 (pow.f64 x 7))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725))))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 7) 8/4725)))))))))) 4096)
(*.f64 1/4725 (pow.f64 x 7))
(pow.f64 (*.f64 1/4725 (pow.f64 x 7)) 1)
(*.f64 1/4725 (pow.f64 x 7))

eval128.0ms (0.3%)

Compiler: Compiled 4203 to 3561 computations (15.3% saved)

prune27.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	222	0	222
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	222	5	227

Error

0.3b

Counts

227 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	60.1b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
✓	0.3b	(+.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))))
✓	0.3b	(+.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.5b	(*.f64 1/3 x)

Compiler

Compiled 61 to 49 computations (19.7% saved)

regimes8.0ms (0%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 1/3 x)
(-.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))))
(+.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))))

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 68 to 53 computations (22.1% saved)

regimes8.0ms (0%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 1/3 x)
(-.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.3b	1	`x`
0.3b	1	`(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))`

Compiler

Compiled 47 to 36 computations (23.4% saved)

regimes6.0ms (0%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 1/3 x)
(-.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:

3.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 32 to 24 computations (25% saved)

regimes5.0ms (0%)

Accuracy

Total -59.7b remaining (-11573.1%)

Threshold costs -59.7b (-11573.1%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(*.f64 1/3 x)

Calls

2 calls:

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

Results

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

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	136

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.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 (.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 (.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 (.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 52 to 42 computations (19.2% saved)

soundness125.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

Compiler

Compiled 106 to 86 computations (18.9% saved)

end40.0ms (0.1%)

Compiler: Compiled 49 to 39 computations (20.4% saved)

Details

analyze4.0ms (0%)

sample27.4s (67.7%)

preprocess4.6s (11.4%)

simplify5.3s (13%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0%)

series3.0ms (0%)

rewrite83.0ms (0.2%)

simplify107.0ms (0.3%)

eval24.0ms (0.1%)

prune13.0ms (0%)

localize2.0ms (0%)

series1.0ms (0%)

rewrite263.0ms (0.7%)

simplify492.0ms (1.2%)

localize109.0ms (0.3%)

series2.0ms (0%)

rewrite174.0ms (0.4%)

simplify370.0ms (0.9%)

localize20.0ms (0%)

series2.0ms (0%)

rewrite224.0ms (0.6%)

simplify388.0ms (1%)

localize29.0ms (0.1%)

series1.0ms (0%)

rewrite268.0ms (0.7%)

simplify220.0ms (0.5%)

eval128.0ms (0.3%)

prune27.0ms (0.1%)

regimes8.0ms (0%)

regimes8.0ms (0%)

regimes6.0ms (0%)

regimes5.0ms (0%)

simplify3.0ms (0%)

soundness125.0ms (0.3%)

end40.0ms (0.1%)

Profiling