Details

sample24.0ms

Algorithm

intervals

Results

8.0ms

323×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	28	7
4	38	7
5	49	7
6	70	7
7	90	7
8	125	7
9	166	7
10	190	7
11	217	7
12	244	7
13	271	7
14	303	7
15	332	7
16	358	7
17	391	7
18	422	7
19	448	7
20	481	7
21	512	7
22	538	7
23	571	7
24	602	7
25	628	7
26	661	7
27	692	7
28	718	7
29	751	7
30	782	7
31	808	7
32	841	7
33	872	7
34	898	7
35	931	7
36	962	7
37	988	7
38	1021	7
39	1052	7
40	1078	7
41	1111	7
42	1142	7
43	1168	7
44	1201	7
45	1232	7
46	1258	7
47	1291	7
48	1322	7
49	1348	7
50	1381	7
51	1412	7
52	1438	7
53	1471	7
54	1502	7
55	1528	7
56	1561	7
57	1592	7
58	1618	7
59	1651	7
60	1682	7
61	1708	7
62	1741	7
63	1772	7
64	1798	7
65	1831	7
66	1862	7
67	1888	7
68	1921	7
69	1952	7
70	1978	7
71	2011	7
72	2042	7
73	2068	7
74	2101	7
75	2132	7
76	2158	7
77	2191	7
78	2222	7
79	2248	7
80	2281	7
81	2312	7
82	2338	7
83	2371	7
84	2402	7
85	2428	7
86	2461	7
87	2492	7
88	2518	7
89	2551	7
90	2582	7
91	2608	7
92	2641	7
93	2672	7
94	2698	7
95	2731	7
96	2762	7
97	2788	7
98	2821	7
99	2852	7
100	2878	7
101	2911	7
102	2942	7
103	2968	7
104	3001	7
105	3032	7
106	3058	7
107	3091	7
108	3122	7
109	3148	7
110	3181	7
111	3212	7
112	3238	7
113	3271	7
114	3302	7
115	3328	7
116	3361	7
117	3392	7
118	3418	7
119	3451	7
120	3482	7
121	3508	7
122	3541	7
123	3572	7
124	3598	7
125	3631	7
126	3662	7
127	3688	7
128	3721	7
129	3752	7
130	3778	7
131	3811	7
132	3842	7
133	3868	7
134	3901	7
135	3932	7
136	3958	7
137	3991	7
138	4022	7
139	4048	7
140	4081	7
141	4112	7
142	4138	7
143	4171	7
144	4202	7
145	4228	7
146	4261	7
147	4292	7
148	4318	7
149	4351	7
150	4382	7
151	4408	7
152	4441	7
153	4472	7
154	4498	7
155	4531	7
156	4562	7
157	4588	7
158	4621	7
159	4652	7
160	4678	7
161	4711	7
162	4742	7
163	4768	7
164	4801	7
165	4832	7
166	4858	7
167	4891	7
168	4922	7
169	4948	7
170	4981	7
done	5000	7

prune3.0ms

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

Merged error: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (/ (- y x) z))
0.0b	(/ (- y x) z)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/l*`
4×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`associate-/r*`
2×	`pow1` `div-sub` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+r-` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `sum-log` `flip--` `flip-+` `div-inv` `distribute-lft-out`

Counts

2 → 51

Calls

2 calls:

9.0ms	(+ x (/ (- y x) z))
7.0ms	(/ (- y x) z)

series14.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(+ x (/ (- y x) z))
7.0ms	(/ (- y x) z)

simplify510.0ms

Counts

57 → 57

Iterations

Useful iterations: done (509.0ms)

Iter	Nodes	Cost
0	95	588
1	231	550
2	591	520
3	1901	520
done	5001	519

prune57.0ms

Filtered

40 candidates to 57 candidates (-42.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	56	1	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	2	58

Merged error: 0b

Counts

58 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt z)
0.5b	(cbrt z)
0.5b	(cbrt z)
0.5b	(* (cbrt z) (cbrt z))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)
7.0ms	(* (cbrt z) (cbrt z))

series106.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(cbrt z)
24.0ms	(cbrt z)
24.0ms	(cbrt z)
30.0ms	(* (cbrt z) (cbrt z))

simplify970.0ms

Counts

85 → 85

Iterations

Useful iterations: 4 (344.0ms)

Iter	Nodes	Cost
0	76	590
1	151	525
2	433	462
3	1254	382
4	3464	374
done	5001	374

prune77.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	85	2	87

Merged error: 0b

Counts

87 → 2

regimes166.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
done	7	7

end0.0ms

sample669.0ms

Algorithm

intervals

Results

264.0ms

10069×

body

valid

Details

sample24.0ms

simplify1.9s

prune3.0ms

localize5.0ms

rewrite17.0ms

series14.0ms

simplify510.0ms

prune57.0ms

localize13.0ms

rewrite13.0ms

series106.0ms

simplify970.0ms

prune77.0ms

regimes166.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample669.0ms

Profiling