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)

sample16.7s (60%)

Results

13.0s	4166×	body	2048	valid
2.5s	2023×	body	1024	valid
676.0ms	213×	body	4096	valid
286.0ms	1056×	body	512	valid
166.0ms	798×	body	256	valid

Bogosity

preprocess4.5s (16.2%)

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.5s (16.2%)

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)

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (tan.f64 x))
✓	2.9b	(-.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))

rewrite69.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1464×	`rational.json-simplify-35`
1322×	`bool.json-1`
1322×	`bool.json-2`
1286×	`rational.json-1`
1286×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	34
1	100	34
2	314	34
3	695	34
4	1522	34
5	4043	34

Stop Event

1×	node limit

Counts

2 → 52

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 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))))) (#(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 1 (-.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))) 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 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/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))) 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 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))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))) 16)))) (#(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 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))) (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4)))) 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 neg.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (-.f64 (/.f64 1 x) (/.f64 1 (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 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 4 (/.f64 (/.f64 1 (tan.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 (tan.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 1 (tan.f64 x)) 4) 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 1/2 (tan.f64 x)) 2)))) (#(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 1/4 (.f64 (/.f64 1 (tan.f64 x)) 4))))) (#(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 (/.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 neg.f64 (/.f64 -1 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.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 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))))) (#(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 1 (-.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))) 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 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/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))) 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 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))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))) 16)))) (#(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 2 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4)))) 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 neg.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (-.f64 (/.f64 1 x) (/.f64 1 (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 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 4 (/.f64 (/.f64 1 (tan.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (tan.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (tan.f64 x)) 4) 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 1/2 (tan.f64 x)) 2)))) (#(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 1/4 (*.f64 (/.f64 1 (tan.f64 x)) 4))))) (#(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 (/.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 neg.f64 (/.f64 -1 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))))))

simplify107.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1520×	`rational.json-simplify-35`
996×	`rational.json-simplify-2`
812×	`rational.json-simplify-1`
662×	`rational.json-simplify-46`
616×	`rational.json-simplify-19`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	131	1738
1	265	1714
2	586	1714
3	1555	1714
4	3299	1712
5	6931	1712

Stop Event

1×	node limit

Counts

76 → 85

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 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))
(+.f64 (neg.f64 (/.f64 1 (tan.f64 x))) (/.f64 1 x))
(+.f64 (+.f64 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))) -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 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/4 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))
(.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 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))) -2)
(/.f64 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) -4)
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))) 16)
(/.f64 (neg.f64 (*.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) 2)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))) (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4)))) 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)
(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 4 (/.f64 (/.f64 1 (tan.f64 x)) 4))
(*.f64 (/.f64 2 (tan.f64 x)) 1/2)
(.f64 (.f64 (/.f64 1 (tan.f64 x)) 4) 1/4)
(*.f64 1/2 (/.f64 2 (tan.f64 x)))
(*.f64 (/.f64 1/2 (tan.f64 x)) 2)
(.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 1/4 (.f64 (/.f64 1 (tan.f64 x)) 4))
(.f64 (.f64 (tan.f64 x) 1/2) (/.f64 2 (*.f64 (tan.f64 x) (tan.f64 x))))
(*.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))
(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/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/4725 (pow.f64 x 7)) (+.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 (.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 x -1/3) (+.f64 (/.f64 1 x) (.f64 (pow.f64 x 3) -1/45)))
(+.f64 (/.f64 1 x) (+.f64 (.f64 (pow.f64 x 3) -1/45) (.f64 x -1/3)))
(+.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 x -1/3) (+.f64 (+.f64 (/.f64 1 x) (.f64 (pow.f64 x 3) -1/45)) (*.f64 (pow.f64 x 5) -2/945)))
(+.f64 (.f64 x -1/3) (+.f64 (.f64 (pow.f64 x 5) -2/945) (+.f64 (/.f64 1 x) (*.f64 (pow.f64 x 3) -1/45))))
(+.f64 (/.f64 1 x) (+.f64 (.f64 x -1/3) (+.f64 (.f64 (pow.f64 x 3) -1/45) (*.f64 (pow.f64 x 5) -2/945))))
(+.f64 (+.f64 (.f64 x -1/3) (.f64 (pow.f64 x 3) -1/45)) (+.f64 (/.f64 1 x) (*.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) (/.f64 1 (tan.f64 x)))
(+.f64 0 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(+.f64 -1 (+.f64 1 (-.f64 (/.f64 1 x) (/.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 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))) -1)
(-.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) (/.f64 1 (tan.f64 x)))
(*.f64 1 (-.f64 (/.f64 1 x) (/.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) (/.f64 1 (tan.f64 x)))
(.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2))
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(*.f64 4 (/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))
(-.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) (/.f64 1 (tan.f64 x)))
(*.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) -1)
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(*.f64 -1 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 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) (/.f64 1 (tan.f64 x)))
(.f64 1/2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 2))
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(.f64 1/4 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(.f64 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1/2) 2)
(-.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) (/.f64 1 (tan.f64 x)))
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)
(-.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) (/.f64 1 (tan.f64 x)))
(/.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) -1)
(-.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) (/.f64 1 (tan.f64 x)))
(/.f64 (*.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))) -2)
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(/.f64 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4)) 8)
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(/.f64 (.f64 2 (.f64 2 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x)))) -4)
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))) 16)
(-.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) (/.f64 1 (tan.f64 x)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4))) (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 4)))) 32)
(-.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) (/.f64 1 (tan.f64 x)))
(neg.f64 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 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 4 (/.f64 (/.f64 1 (tan.f64 x)) 4))
(/.f64 1 (tan.f64 x))
(*.f64 (/.f64 2 (tan.f64 x)) 1/2)
(*.f64 1/2 (/.f64 2 (tan.f64 x)))
(.f64 (.f64 (/.f64 1 (tan.f64 x)) 4) 1/4)
(/.f64 1 (tan.f64 x))
(*.f64 1/2 (/.f64 2 (tan.f64 x)))
(*.f64 (/.f64 1/2 (tan.f64 x)) 2)
(*.f64 2 (/.f64 1/2 (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/2 (/.f64 (/.f64 2 (tan.f64 x)) (tan.f64 x))))
(.f64 (tan.f64 x) (.f64 1/2 (/.f64 2 (*.f64 (tan.f64 x) (tan.f64 x)))))
(.f64 1/4 (.f64 (/.f64 1 (tan.f64 x)) 4))
(/.f64 1 (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/2 (/.f64 (/.f64 2 (tan.f64 x)) (tan.f64 x))))
(.f64 (tan.f64 x) (.f64 1/2 (/.f64 2 (*.f64 (tan.f64 x) (tan.f64 x)))))
(.f64 (/.f64 2 (.f64 (tan.f64 x) (tan.f64 x))) (*.f64 (tan.f64 x) 1/2))
(*.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))))
(neg.f64 (/.f64 -1 (tan.f64 x)))
(/.f64 1 (tan.f64 x))

eval20.0ms (0.1%)

Compiler: Compiled 1134 to 795 computations (29.9% saved)

prune52.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.4b

Counts

86 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	60.1b	(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
▶	0.4b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
▶	0.6b	(*.f64 1/3 x)

Compiler

Compiled 26 to 20 computations (23.1% 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)

rewrite85.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1606×	`rational.json-simplify-35`
1368×	`bool.json-1`
1368×	`bool.json-2`
1308×	`rational.json-1`
1308×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	51	7
2	154	7
3	326	7
4	651	7
5	1361	7
6	3177	7
7	5840	7

Stop Event

1×	node limit

Counts

1 → 12

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 (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3)))) (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 1/3 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 1/3 x) (.f64 1/3 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 1/3 x) (*.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 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 8/3)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x 8/3))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 1/3 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 1/3 x) (*.f64 1/3 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 1/3 x) (*.f64 1/3 x))))))

simplify691.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

9238×	`rational.json-simplify-41`
2252×	`rational.json-simplify-35`
1312×	`rational.json-simplify-2`
860×	`rational.json-simplify-1`
652×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	84
1	88	84
2	158	84
3	362	84
4	867	84
5	2750	84
6	3563	84
7	3663	84
8	3713	84
9	3758	84
10	3800	84
11	3840	84
12	3918	84
13	3957	84
14	3996	84
15	4035	84
16	4074	84
17	4113	84
18	4152	84
19	4191	84
20	4230	84
21	4269	84
22	4308	84
23	4347	84
24	4386	84
25	4425	84
26	4464	84
27	4503	84
28	4542	84
29	4581	84
30	4620	84
31	4620	84
32	4659	84
33	4698	84
34	4737	84
35	4776	84

Stop Event

1×	node limit

Counts

12 → 13

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 (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3)))) (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3))))) 128)

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 (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3)))) (.f64 2 (.f64 2 (.f64 2 (.f64 x 8/3))))) 128)
(*.f64 1/3 x)

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 19 computations (24% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.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))

rewrite87.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1590×	`bool.json-1`
1590×	`bool.json-2`
1532×	`rational.json-1`
1532×	`rational.json-2`
1532×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	69	13
2	188	13
3	381	13
4	758	13
5	1588	13
6	3677	13
7	6369	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.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 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 8/45))) (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 8/45)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 1/45 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 1/45 (pow.f64 x 3)) (*.f64 1/45 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 1/45 (pow.f64 x 3)) (*.f64 1/45 (pow.f64 x 3)))))))

simplify642.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

7938×	`rational.json-simplify-41`
3836×	`rational.json-simplify-35`
2394×	`rational.json-simplify-49`
2124×	`rational.json-simplify-2`
774×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	143
1	80	143
2	145	143
3	324	143
4	758	143
5	2240	143
6	2972	143
7	3127	143
8	3186	143
9	3231	143
10	3271	143
11	3309	143
12	3347	143
13	3385	143
14	3423	143
15	3461	143
16	3499	143
17	3537	143
18	3575	143
19	3613	143
20	3651	143
21	5176	143
22	5378	143
23	5395	143
24	5396	143
25	5396	143
26	6074	143
27	6242	143
28	6410	143
29	6578	143
30	6746	143
31	6914	143
32	7082	143
33	7082	143

Stop Event

1×	node limit

Counts

11 → 12

Calls

Call 1

Inputs
(+.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 (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) 8/45))) (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) 8/45)))) 64)

Outputs
(+.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 (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) 8/45))) (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) 8/45)))) 64)
(*.f64 1/45 (pow.f64 x 3))

localize11.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 x -1/3)
✓	2.9b	(-.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	@	inf	(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
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	@	0	(*.f64 x -1/3)
0.0ms	x	@	-inf	(*.f64 x -1/3)

rewrite82.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1062×	`rational.json-simplify-35`
1034×	`bool.json-1`
1034×	`bool.json-2`
984×	`rational.json-1`
984×	`rational.json-2`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	99	38
2	291	38
3	613	18
4	1338	14
5	3290	14

Stop Event

1×	node limit

Counts

2 → 75

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 (/.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 (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 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 (*.f64 x -1/3) -2) 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 (*.f64 (*.f64 x 1/3) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2 (*.f64 x -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (*.f64 x -1/3) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (neg.f64 (*.f64 x -2/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (/.f64 2 x) (*.f64 (+.f64 (/.f64 1 x) (*.f64 x -1/3)) 2)))))) (#(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 (*.f64 x -1/3) -2) 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 (*.f64 2 (*.f64 (*.f64 x 1/3) 8)) (*.f64 2 (*.f64 (*.f64 x 1/3) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 x -2/3)) (neg.f64 (*.f64 x -2/3))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 x -4/3)) (neg.f64 (*.f64 x -4/3))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 2 (*.f64 x -4/3))) (neg.f64 (*.f64 2 (*.f64 x -4/3)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 x -1/3))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 x 1/3) (*.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 x 1/3) (*.f64 x 1/3))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 x) (+.f64 (*.f64 x -1/3) (/.f64 -1 x)))))) (#(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 (/.f64 1 x) -2)))))) (#(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)) (*.f64 (/.f64 1 x) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 x -1/3) (/.f64 -1 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 x -1/6) (*.f64 x -1/6))))) (#(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) 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 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 (*.f64 x -1/3) -2) -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 (*.f64 2 (*.f64 2 (*.f64 x -4/3))) (*.f64 2 (*.f64 2 (*.f64 x -4/3)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 x -1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 x -1/3) (*.f64 x -1/3))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 x -1/3) (*.f64 x -1/3))))))

simplify92.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1528×	`rational.json-simplify-35`
1248×	`rational.json-simplify-1`
1090×	`rational.json-simplify-52`
966×	`rational.json-simplify-43`
818×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	142	861
1	295	861
2	810	861
3	2721	861
4	3958	861
5	6181	861

Stop Event

1×	node limit

Counts

99 → 79

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

eval26.0ms (0.1%)

Compiler: Compiled 1229 to 991 computations (19.4% saved)

prune81.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	117	3	120

Error

0.4b

Counts

120 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	60.1b	(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
✓	0.4b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
✓	0.6b	(*.f64 1/3 x)

Compiler

Compiled 26 to 20 computations (23.1% saved)

regimes7.0ms (0%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 1/3 x)
(-.f64 (/.f64 1 x) (+.f64 (/.f64 1 x) (*.f64 x -1/3)))
(-.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 43 to 32 computations (25.6% saved)

regimes7.0ms (0%)

Accuracy

Total -59.5b remaining (-9920.4%)

Threshold costs -59.5b (-9920.4%)

Counts

3 → 1

Calls

Call 1

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

Compiler

Compiled 34 to 25 computations (26.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	32

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 11 computations (21.4% saved)

soundness0.0ms (0%)

end16.0ms (0.1%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

Details

analyze5.0ms (0%)

sample16.7s (60%)

preprocess4.5s (16.2%)

simplify4.5s (16.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0%)

series3.0ms (0%)

rewrite69.0ms (0.2%)

simplify107.0ms (0.4%)

eval20.0ms (0.1%)

prune52.0ms (0.2%)

localize3.0ms (0%)

series1.0ms (0%)

rewrite85.0ms (0.3%)

simplify691.0ms (2.5%)

localize10.0ms (0%)

series1.0ms (0%)

rewrite87.0ms (0.3%)

simplify642.0ms (2.3%)

localize11.0ms (0%)

series1.0ms (0%)

rewrite82.0ms (0.3%)

simplify92.0ms (0.3%)

eval26.0ms (0.1%)

prune81.0ms (0.3%)

regimes7.0ms (0%)

regimes7.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end16.0ms (0.1%)

Profiling