Details

sample29.0ms

Algorithm

intervals

Results

9.0ms	230×	body	80	valid
2.0ms	10×	body	1280	valid
1.0ms	9×	body	640	valid
1.0ms	3×	body	2560	valid
0.0ms	3×	body	320	valid
0.0ms	1×	body	160	valid

simplify12.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	123
1	12	123
2	19	123
3	29	123
4	39	123
5	54	123
6	94	123
7	155	123
8	234	123
9	414	123
10	505	123
11	547	123
12	608	123
13	653	123
14	704	123
15	740	123
16	772	123
17	805	123
18	841	123
19	876	123
20	909	123
21	942	123
22	976	123
23	1011	123
24	1046	123
25	1078	123
26	1112	123
27	1149	123
28	1182	123
29	1214	123
30	1252	123
31	1287	123
32	1320	123
33	1353	123
34	1387	123
35	1422	123
36	1457	123
37	1489	123
38	1523	123
39	1560	123
40	1593	123
41	1625	123
42	1661	123
43	1696	123
44	1729	123
45	1762	123
46	1796	123
47	1831	123
48	1866	123
49	1898	123
50	1932	123
51	1969	123
52	2002	123
53	2034	123
54	2072	123
55	2107	123
56	2140	123
57	2173	123
58	2207	123
59	2242	123
60	2277	123
61	2309	123
62	2343	123
63	2380	123
64	2413	123
65	2445	123
66	2481	123
67	2516	123
68	2549	123
69	2582	123
70	2616	123
71	2651	123
72	2686	123
73	2718	123
74	2752	123
75	2789	123
76	2822	123
77	2854	123
78	2892	123
79	2927	123
80	2960	123
81	2993	123
82	3027	123
83	3062	123
84	3097	123
85	3129	123
86	3163	123
87	3200	123
88	3233	123
89	3265	123
90	3301	123
91	3336	123
92	3369	123
93	3402	123
94	3436	123
95	3471	123
96	3506	123
97	3538	123
98	3572	123
99	3609	123
100	3642	123
101	3674	123
102	3714	123
103	3749	123
104	3782	123
105	3815	123
106	3849	123
107	3884	123
108	3919	123
109	3951	123
110	3985	123
111	4022	123
112	4055	123
113	4087	123
114	4123	123
115	4158	123
116	4191	123
117	4224	123
118	4258	123
119	4293	123
120	4328	123
121	4360	123
122	4394	123
123	4431	123
124	4464	123
125	4496	123
126	4532	123
127	4567	123
128	4600	123
129	4633	123
130	4667	123
131	4702	123
132	4737	123
133	4769	123
134	4803	123
135	4840	123
136	4873	123
137	4905	123
138	4941	123
139	4976	123
done	5000	123

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity`
3×	`fma-def` `add-log-exp`
2×	`add-sqr-sqrt` `add-cube-cbrt`
1×	`expm1-log1p-u` `pow1` `+-commutative` `associate-+r-` `sum-log` `flip3-+` `add-cbrt-cube` `div-sub` `add-exp-log` `flip-+` `log1p-expm1-u` `distribute-lft-out`

Counts

1 → 18

Calls

1 calls:

24.0ms

(+ x (/ (- x y) 2.0))

series71.0ms

Counts

1 → 3

Calls

1 calls:

71.0ms

(+ x (/ (- x y) 2.0))

simplify3.4s

Counts

21 → 21

Iterations

Useful iterations: 2 (95.0ms)

Iter	Nodes	Cost
0	36	3760
1	98	3364
2	269	3339
3	801	3339
4	3606	3339
done	5000	3339

prune170.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt x) (cbrt x))
0.7b	(cbrt x)
0.7b	(cbrt x)
0.7b	(cbrt x)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `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 → 81

Calls

4 calls:

18.0ms	(* (cbrt x) (cbrt x))
1.0ms	(cbrt x)
1.0ms	(cbrt x)
2.0ms	(cbrt x)

series1.1s

Counts

4 → 12

Calls

4 calls:

304.0ms	(* (cbrt x) (cbrt x))
238.0ms	(cbrt x)
267.0ms	(cbrt x)
283.0ms	(cbrt x)

simplify5.0s

Counts

93 → 93

Iterations

Useful iterations: 3 (377.0ms)

Iter	Nodes	Cost
0	65	18502
1	140	15989
2	382	15714
3	1072	15034
4	4108	15034
done	5000	15034

prune511.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt x)
0.7b	(cbrt x)
0.7b	(cbrt x)
0.7b	(cbrt x)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `log1p-expm1-u` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series1.2s

Counts

4 → 12

Calls

4 calls:

297.0ms	(cbrt x)
306.0ms	(cbrt x)
286.0ms	(cbrt x)
310.0ms	(cbrt x)

simplify3.7s

Counts

64 → 64

Iterations

Useful iterations: 3 (65.0ms)

Iter	Nodes	Cost
0	26	11972
1	46	10604
2	96	10448
3	169	9808
4	413	9808
5	991	9808
6	3384	9808
done	5054	9808

prune487.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

localize98.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt x)
0.7b	(cbrt x)
0.7b	(cbrt x)
0.7b	(cbrt x)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `log1p-expm1-u` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series1.1s

Counts

4 → 12

Calls

4 calls:

222.0ms	(cbrt x)
258.0ms	(cbrt x)
305.0ms	(cbrt x)
272.0ms	(cbrt x)

simplify3.5s

Counts

64 → 64

Iterations

Useful iterations: 3 (49.0ms)

Iter	Nodes	Cost
0	26	11972
1	46	10604
2	96	10448
3	169	9808
4	413	9808
5	991	9808
6	3384	9808
done	5054	9808

prune443.0ms

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 0.0b

regimes263.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample704.0ms

Algorithm

intervals

Results

343.0ms	7370×	body	80	valid
60.0ms	96×	body	2560	valid
37.0ms	233×	body	1280	valid
22.0ms	164×	body	640	valid
10.0ms	97×	body	320	valid
3.0ms	43×	body	160	valid