Details

analyze7.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.2s (56.5%)

Results

13.0s	4224×	body	2048	valid
1.9s	2049×	body	1024	valid
545.0ms	1007×	body	512	valid
378.0ms	233×	body	4096	valid
266.0ms	743×	body	256	valid

Bogosity

preprocess5.8s (20.1%)

Algorithm

2×	egg-herbie

Rules

12692×	`rational.json-simplify-41`
3568×	`rational.json-simplify-1`
674×	`trig.json-simplify-21`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	13	23
2	16	23
3	21	23
4	28	23
5	38	23
6	50	23
7	66	23
8	84	23
9	105	23
10	129	23
11	161	23
12	197	23
13	237	23
14	273	23
15	289	23
16	292	23
17	295	23
18	298	23
19	301	23
20	364	23
21	432	23
22	450	23
23	453	23
24	456	23
25	459	23
26	462	23
27	465	23
28	468	23
29	471	23
30	474	23
31	477	23
32	682	23
33	977	23
34	1065	23
35	1068	23
36	1071	23
37	1074	23
38	1077	23
39	1080	23
40	1083	23
41	1086	23
42	1089	23
43	1092	23
44	1095	23
45	1098	23
46	1101	23
47	1104	23
48	1107	23
49	1110	23
50	1113	23
51	1116	23
52	1119	23
53	1122	23
54	1446	23
55	1448	23
56	1450	23
57	1452	23
58	1454	23
59	1456	23
60	1570	23
61	1573	23
62	1576	23
63	1579	23
64	1582	23
65	1585	23
66	1588	23
67	1591	23
68	1594	23
69	1597	23
70	1600	23
71	1603	23
72	1606	23
73	1609	23
74	1612	23
75	1615	23
76	1618	23
77	1621	23
78	1624	23
79	1627	23
80	1630	23
81	1633	23
82	1636	23
83	1639	23
84	1642	23
85	1645	23
86	1648	23
87	1651	23
88	1654	23
89	1657	23
90	1660	23
91	1663	23
92	1666	23
93	1669	23
94	1672	23
95	2228	23
96	2423	23
97	2426	23
98	2429	23
99	2432	23
100	2435	23
101	2438	23
102	2441	23
103	2444	23
104	2447	23
105	2450	23
106	2453	23
107	2456	23
108	2459	23
109	2462	23
110	2465	23
111	2468	23
112	2471	23
113	2474	23
114	2477	23
115	2480	23
116	2483	23
117	2486	23
118	2489	23
119	2492	23
120	2495	23
121	2498	23
122	2501	23
123	2504	23
124	2507	23
125	2510	23
126	2513	23
127	2516	23
128	2519	23
129	2522	23
130	2525	23
131	2528	23
132	2531	23
133	2534	23
134	2537	23
135	2540	23
136	2543	23
137	2546	23
138	2549	23
139	2552	23
140	2555	23
141	2558	23
142	2561	23
143	2564	23
144	2567	23
145	2570	23
146	2573	23
147	2576	23
148	2579	23
149	2582	23
150	2585	23
151	2588	23
152	2591	23
153	2594	23
154	2597	23
155	2600	23
156	2603	23
157	2606	23
158	2609	23
159	2612	23
160	2615	23
161	2618	23
162	2621	23
163	2624	23
164	2627	23
165	2630	23
166	2633	23
167	2636	23
168	2639	23
169	2642	23
170	2645	23
171	2648	23
172	2651	23
173	2654	23
174	2657	23
175	2660	23
176	3932	23
177	6000	23
178	6002	23
179	6004	23
180	6006	23
181	6008	23
182	6010	23
183	6012	23
184	6014	23
185	6016	23
186	6018	23
187	6809	23
188	6812	23
189	6815	23
190	6818	23
191	6821	23
192	6824	23
193	6827	23
194	6830	23
195	6833	23
196	6836	23
197	6839	23
198	6842	23
199	6845	23
200	6848	23
201	6851	23
202	6854	23
203	6857	23
204	6860	23
205	6863	23
206	6866	23
207	6869	23
208	6872	23
209	6875	23
210	6878	23
211	6881	23
212	6884	23
213	6887	23
214	6890	23
215	6893	23
216	6896	23
217	6899	23
218	6902	23
219	6905	23
220	6908	23
221	6911	23
222	6914	23
223	6917	23
224	6920	23
225	6923	23
226	6926	23
227	6929	23
228	6932	23
229	6934	23
230	6936	23
231	6938	23
232	6940	23
233	6942	23
234	6944	23
235	6946	23
236	6948	23
237	6950	23
238	6952	23
239	6954	23
240	6956	23
241	6958	23
242	6960	23
243	6962	23
244	6964	23
245	6966	23
246	6968	23
247	6970	23
248	6972	23
249	6995	23
250	6998	23
251	7001	23
252	7004	23
253	7007	23
254	7010	23
255	7013	23
256	7016	23
257	7019	23
258	7022	23
259	7025	23
260	7028	23
261	7031	23
262	7034	23
263	7037	23
264	7040	23
265	7043	23
266	7046	23
267	7049	23
268	7052	23
269	7055	23
270	7058	23
271	7061	23
272	7064	23
273	7067	23
274	7070	23
275	7073	23
276	7076	23
277	7079	23
278	7082	23
279	7085	23
280	7088	23
281	7091	23
282	7094	23
283	7097	23
284	7100	23
285	7103	23
286	7106	23
287	7109	23
288	7112	23
289	7115	23
290	7118	23
291	7121	23
292	7124	23
293	7127	23
294	7130	23
295	7133	23
296	7136	23
297	7139	23
298	7142	23
299	7145	23
300	7148	23
301	7151	23
302	7154	23
303	7157	23
304	7160	23
305	7163	23
306	7166	23
307	7169	23
308	7172	23
309	7175	23
310	7178	23
311	7181	23
312	7184	23
313	7187	23
314	7190	23
315	7193	23
316	7196	23
317	7199	23
318	7202	23
319	7205	23
320	7208	23
321	7211	23
322	7214	23
323	7217	23
324	7220	23
325	7223	23
326	7226	23
327	7229	23
328	7232	23
329	7235	23
330	7238	23
331	7241	23
332	7244	23
333	7247	23
334	7250	23
335	7253	23
336	7256	23
337	7259	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.8s (20.2%)

Algorithm

1×	egg-herbie

Rules

12692×	`rational.json-simplify-41`
3568×	`rational.json-simplify-1`
674×	`trig.json-simplify-21`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	13	23
2	16	23
3	21	23
4	28	23
5	38	23
6	50	23
7	66	23
8	84	23
9	105	23
10	129	23
11	161	23
12	197	23
13	237	23
14	273	23
15	289	23
16	292	23
17	295	23
18	298	23
19	301	23
20	364	23
21	432	23
22	450	23
23	453	23
24	456	23
25	459	23
26	462	23
27	465	23
28	468	23
29	471	23
30	474	23
31	477	23
32	682	23
33	977	23
34	1065	23
35	1068	23
36	1071	23
37	1074	23
38	1077	23
39	1080	23
40	1083	23
41	1086	23
42	1089	23
43	1092	23
44	1095	23
45	1098	23
46	1101	23
47	1104	23
48	1107	23
49	1110	23
50	1113	23
51	1116	23
52	1119	23
53	1122	23
54	1446	23
55	1448	23
56	1450	23
57	1452	23
58	1454	23
59	1456	23
60	1570	23
61	1573	23
62	1576	23
63	1579	23
64	1582	23
65	1585	23
66	1588	23
67	1591	23
68	1594	23
69	1597	23
70	1600	23
71	1603	23
72	1606	23
73	1609	23
74	1612	23
75	1615	23
76	1618	23
77	1621	23
78	1624	23
79	1627	23
80	1630	23
81	1633	23
82	1636	23
83	1639	23
84	1642	23
85	1645	23
86	1648	23
87	1651	23
88	1654	23
89	1657	23
90	1660	23
91	1663	23
92	1666	23
93	1669	23
94	1672	23
95	2228	23
96	2423	23
97	2426	23
98	2429	23
99	2432	23
100	2435	23
101	2438	23
102	2441	23
103	2444	23
104	2447	23
105	2450	23
106	2453	23
107	2456	23
108	2459	23
109	2462	23
110	2465	23
111	2468	23
112	2471	23
113	2474	23
114	2477	23
115	2480	23
116	2483	23
117	2486	23
118	2489	23
119	2492	23
120	2495	23
121	2498	23
122	2501	23
123	2504	23
124	2507	23
125	2510	23
126	2513	23
127	2516	23
128	2519	23
129	2522	23
130	2525	23
131	2528	23
132	2531	23
133	2534	23
134	2537	23
135	2540	23
136	2543	23
137	2546	23
138	2549	23
139	2552	23
140	2555	23
141	2558	23
142	2561	23
143	2564	23
144	2567	23
145	2570	23
146	2573	23
147	2576	23
148	2579	23
149	2582	23
150	2585	23
151	2588	23
152	2591	23
153	2594	23
154	2597	23
155	2600	23
156	2603	23
157	2606	23
158	2609	23
159	2612	23
160	2615	23
161	2618	23
162	2621	23
163	2624	23
164	2627	23
165	2630	23
166	2633	23
167	2636	23
168	2639	23
169	2642	23
170	2645	23
171	2648	23
172	2651	23
173	2654	23
174	2657	23
175	2660	23
176	3932	23
177	6000	23
178	6002	23
179	6004	23
180	6006	23
181	6008	23
182	6010	23
183	6012	23
184	6014	23
185	6016	23
186	6018	23
187	6809	23
188	6812	23
189	6815	23
190	6818	23
191	6821	23
192	6824	23
193	6827	23
194	6830	23
195	6833	23
196	6836	23
197	6839	23
198	6842	23
199	6845	23
200	6848	23
201	6851	23
202	6854	23
203	6857	23
204	6860	23
205	6863	23
206	6866	23
207	6869	23
208	6872	23
209	6875	23
210	6878	23
211	6881	23
212	6884	23
213	6887	23
214	6890	23
215	6893	23
216	6896	23
217	6899	23
218	6902	23
219	6905	23
220	6908	23
221	6911	23
222	6914	23
223	6917	23
224	6920	23
225	6923	23
226	6926	23
227	6929	23
228	6932	23
229	6934	23
230	6936	23
231	6938	23
232	6940	23
233	6942	23
234	6944	23
235	6946	23
236	6948	23
237	6950	23
238	6952	23
239	6954	23
240	6956	23
241	6958	23
242	6960	23
243	6962	23
244	6964	23
245	6966	23
246	6968	23
247	6970	23
248	6972	23
249	6995	23
250	6998	23
251	7001	23
252	7004	23
253	7007	23
254	7010	23
255	7013	23
256	7016	23
257	7019	23
258	7022	23
259	7025	23
260	7028	23
261	7031	23
262	7034	23
263	7037	23
264	7040	23
265	7043	23
266	7046	23
267	7049	23
268	7052	23
269	7055	23
270	7058	23
271	7061	23
272	7064	23
273	7067	23
274	7070	23
275	7073	23
276	7076	23
277	7079	23
278	7082	23
279	7085	23
280	7088	23
281	7091	23
282	7094	23
283	7097	23
284	7100	23
285	7103	23
286	7106	23
287	7109	23
288	7112	23
289	7115	23
290	7118	23
291	7121	23
292	7124	23
293	7127	23
294	7130	23
295	7133	23
296	7136	23
297	7139	23
298	7142	23
299	7145	23
300	7148	23
301	7151	23
302	7154	23
303	7157	23
304	7160	23
305	7163	23
306	7166	23
307	7169	23
308	7172	23
309	7175	23
310	7178	23
311	7181	23
312	7184	23
313	7187	23
314	7190	23
315	7193	23
316	7196	23
317	7199	23
318	7202	23
319	7205	23
320	7208	23
321	7211	23
322	7214	23
323	7217	23
324	7220	23
325	7223	23
326	7226	23
327	7229	23
328	7232	23
329	7235	23
330	7238	23
331	7241	23
332	7244	23
333	7247	23
334	7250	23
335	7253	23
336	7256	23
337	7259	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)))

eval1.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.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	60.0b	(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize14.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite89.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1814×	`rational.json-5`
1812×	`exponential.json-3`
1812×	`rational.json-1`
1812×	`rational.json-2`
1812×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	34
1	77	34
2	258	34
3	928	34
4	3562	34

Stop Event

1×	node limit

Counts

2 → 27

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 (/.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 (-.f64 -1 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))) 1)))) (#(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 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (/.f64 (-.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 (/.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))) (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))) (/.f64 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 (/.f64 1 x) (/.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))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))) (.f64 (-.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 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (.f64 (-.f64 (/.f64 1 x) (/.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)))) (.f64 (-.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 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (/.f64 (-.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 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) -1)))) (#(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 (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 (/.f64 1 (tan.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (tan.f64 x)) (/.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (/.f64 1 (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (.f64 (/.f64 1 (/.f64 1 (tan.f64 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 1 (tan.f64 x))) (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))) (/.f64 (/.f64 1 (/.f64 1 (tan.f64 x))) (*.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (tan.f64 x)) 1)))))

Outputs

((#(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 (-.f64 -1 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))) 1)))) (#(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 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (/.f64 (-.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 (/.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))) (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))) (/.f64 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (/.f64 1 x) (/.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))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))) (*.f64 (-.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 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (*.f64 (-.f64 (/.f64 1 x) (/.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)))) (*.f64 (-.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 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (/.f64 (-.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 (/.f64 1 (tan.f64 x)) (/.f64 1 x)) -1)))) (#(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 (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 (/.f64 1 (tan.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (tan.f64 x)) (/.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (/.f64 1 (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (*.f64 (/.f64 1 (/.f64 1 (tan.f64 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 1 (tan.f64 x))) (*.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (*.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))) (/.f64 (/.f64 1 (/.f64 1 (tan.f64 x))) (*.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (tan.f64 x)) 1)))))

simplify159.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1476×	`rational.json-simplify-47`
1002×	`rational.json-simplify-2`
874×	`rational.json-simplify-49`
860×	`rational.json-simplify-1`
830×	`rational.json-simplify-50`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	87	1103
1	170	1087
2	382	1087
3	1510	1087
4	5736	1087

Stop Event

1×	node limit

Counts

51 → 54

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 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 0)
(+.f64 0 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))
(+.f64 (-.f64 -1 (-.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 x))) 1)
(*.f64 1 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))))
(*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) 1)
(*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (/.f64 (-.f64 (/.f64 1 x) (/.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 (-.f64 (/.f64 1 x) (/.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 (-.f64 (/.f64 1 x) (/.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 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))) (.f64 (-.f64 (/.f64 1 x) (/.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))) (.f64 (-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (.f64 (-.f64 (/.f64 1 x) (/.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)))) (*.f64 (-.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 (/.f64 1 x) (/.f64 1 (tan.f64 x))) (/.f64 (-.f64 (/.f64 1 x) (/.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)
(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 (tan.f64 x)) 0)
(*.f64 1 (/.f64 1 (tan.f64 x)))
(*.f64 (/.f64 1 (tan.f64 x)) 1)
(*.f64 (/.f64 1 (tan.f64 x)) (/.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))))
(.f64 (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (/.f64 1 (/.f64 1 (tan.f64 x))))
(.f64 (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (*.f64 (/.f64 1 (/.f64 1 (tan.f64 x))) 1))
(.f64 (/.f64 1 (/.f64 1 (tan.f64 x))) (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))))
(.f64 (.f64 (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x))) (.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))) (/.f64 (/.f64 1 (/.f64 1 (tan.f64 x))) (*.f64 (/.f64 1 (tan.f64 x)) (/.f64 1 (tan.f64 x)))))
(pow.f64 (/.f64 1 (tan.f64 x)) 1)

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

eval19.0ms (0.1%)

Compiler: Compiled 879 to 618 computations (29.7% saved)

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	2	55

Error

0.3b

Counts

55 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.3b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
▶	0.5b	(*.f64 1/3 x)

Compiler

Compiled 14 to 11 computations (21.4% saved)

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

series2.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite145.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

966×	`rational.json-5`
964×	`exponential.json-3`
964×	`rational.json-1`
964×	`rational.json-2`
964×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	42	7
2	141	7
3	506	7
4	1913	7
5	7885	7

Stop Event

1×	node limit

Counts

1 → 9

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

simplify180.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1210×	`rational.json-simplify-55`
1074×	`rational.json-simplify-43`
1012×	`rational.json-simplify-104`
944×	`rational.json-simplify-54`
746×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	87
1	48	87
2	99	87
3	247	87
4	716	87
5	2423	87
6	5059	87
7	6266	87
8	7469	87

Stop Event

1×	node limit

Counts

9 → 11

Calls

Call 1

Inputs
(+.f64 (*.f64 1/3 x) 0)
(+.f64 0 (*.f64 1/3 x))
(-.f64 (*.f64 1/3 x) 0)
(-.f64 0 (neg.f64 (*.f64 1/3 x)))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 1/3 x))) 1)
(/.f64 (*.f64 1/3 x) 1)
(/.f64 (.f64 1/3 x) (/.f64 (.f64 x 4/3) (*.f64 x 4/3)))
(pow.f64 (*.f64 1/3 x) 1)
(neg.f64 (neg.f64 (*.f64 1/3 x)))

Outputs
(+.f64 (*.f64 1/3 x) 0)
(*.f64 1/3 x)
(+.f64 0 (*.f64 1/3 x))
(*.f64 1/3 x)
(-.f64 (*.f64 1/3 x) 0)
(*.f64 1/3 x)
(-.f64 0 (neg.f64 (*.f64 1/3 x)))
(*.f64 1/3 x)
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 1/3 x))) 1)
(*.f64 1/3 x)
(/.f64 (*.f64 1/3 x) 1)
(*.f64 1/3 x)
(/.f64 (.f64 1/3 x) (/.f64 (.f64 x 4/3) (*.f64 x 4/3)))
(/.f64 (.f64 1/3 x) (/.f64 (.f64 x 16/3) (*.f64 x 16/3)))
(pow.f64 (*.f64 1/3 x) 1)
(*.f64 1/3 x)
(neg.f64 (neg.f64 (*.f64 1/3 x)))
(*.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.3b	(*.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
1.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))

rewrite74.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1164×	`rational.json-5`
1162×	`exponential.json-3`
1162×	`rational.json-1`
1162×	`rational.json-2`
1162×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	57	13
2	175	13
3	611	13
4	2305	13

Stop Event

1×	node limit

Counts

1 → 9

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 1/45 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 1/45 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 1/45 (pow.f64 x 3)))) 1)))) (#(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 1/45 (pow.f64 x 3)) (/.f64 (*.f64 1/45 (pow.f64 x 3)) (*.f64 1/45 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/45 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 1/45 (pow.f64 x 3))))))))

simplify147.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1666×	`rational.json-simplify-47`
958×	`rational.json-simplify-54`
704×	`rational.json-simplify-1`
702×	`rational.json-simplify-111`
702×	`rational.json-simplify-104`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	117
1	47	117
2	117	117
3	345	117
4	1335	117
5	3314	117
6	6288	117

Stop Event

1×	node limit

Counts

9 → 10

Calls

Call 1

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

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 1/45 (pow.f64 x 3)) 0)
(*.f64 1/45 (pow.f64 x 3))
(-.f64 0 (neg.f64 (*.f64 1/45 (pow.f64 x 3))))
(*.f64 1/45 (pow.f64 x 3))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 1/45 (pow.f64 x 3)))) 1)
(*.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 1/45 (pow.f64 x 3)) (/.f64 (.f64 1/45 (pow.f64 x 3)) (*.f64 1/45 (pow.f64 x 3))))
(*.f64 1/45 (pow.f64 x 3))
(pow.f64 (*.f64 1/45 (pow.f64 x 3)) 1)
(*.f64 1/45 (pow.f64 x 3))
(neg.f64 (neg.f64 (*.f64 1/45 (pow.f64 x 3))))
(*.f64 1/45 (pow.f64 x 3))

eval8.0ms (0%)

Compiler: Compiled 330 to 267 computations (19.1% saved)

prune5.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	32	2	34

Error

0.3b

Counts

34 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.3b	(+.f64 (.f64 1/3 x) (.f64 1/45 (pow.f64 x 3)))
✓	0.5b	(*.f64 1/3 x)

Compiler

Compiled 14 to 11 computations (21.4% saved)

regimes11.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:

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

Results

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

Compiler

Compiled 32 to 24 computations (25% saved)

regimes6.0ms (0%)

Accuracy

Total -59.5b remaining (-12060.1%)

Threshold costs -59.5b (-12060.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)

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

end21.0ms (0.1%)

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

Details

analyze7.0ms (0%)

sample16.2s (56.5%)

preprocess5.8s (20.1%)

simplify5.8s (20.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize14.0ms (0%)

series3.0ms (0%)

rewrite89.0ms (0.3%)

simplify159.0ms (0.6%)

eval19.0ms (0.1%)

prune7.0ms (0%)

localize5.0ms (0%)

series2.0ms (0%)

rewrite145.0ms (0.5%)

simplify180.0ms (0.6%)

localize10.0ms (0%)

series1.0ms (0%)

rewrite74.0ms (0.3%)

simplify147.0ms (0.5%)

eval8.0ms (0%)

prune5.0ms (0%)

regimes11.0ms (0%)

regimes6.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end21.0ms (0.1%)

Profiling