Details

sample31.0ms

Algorithm

intervals

Results

6.0ms	60×	body	640	valid
6.0ms	57×	body	1280	valid
4.0ms	185×	body	80	valid
2.0ms	29×	body	320	valid
1.0ms	16×	body	160	valid

simplify11.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	5	9
1	14	9
2	32	9
3	69	9
4	155	9
5	257	9
6	369	9
7	599	9
8	1262	9
9	1759	9
10	2091	9
11	2352	9
12	2574	9
13	2839	9
14	4021	9
15	4069	9
16	4126	9
17	4150	9
done	4150	9

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: 38.0b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ x 1.0) (+ x 1.0))
5.7b	(- (* (+ x 1.0) (+ x 1.0)) 1.0)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
9×	`pow1` `add-sqr-sqrt`
6×	`add-cube-cbrt` `flip3-+` `swap-sqr` `flip-+` `distribute-lft-out`
4×	`add-exp-log` `frac-times` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-r/` `associate-l/` `associate--l+`
1×	`pow2` `sub-neg` `flip3--` `pow-plus` `diff-log` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`

Counts

2 → 55

Calls

2 calls:

8.0ms	(* (+ x 1.0) (+ x 1.0))
10.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)

series22.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(* (+ x 1.0) (+ x 1.0))
20.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)

simplify2.2min

Counts

61 → 61

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	11
1	18	10
2	45	10
3	101	10
4	284	10
5	785	10
6	2668	10
done	5000	10
0	6	10
1	15	10
2	33	10
3	70	10
4	156	10
5	258	10
6	370	10
7	601	10
8	1264	10
9	1761	10
10	2085	10
11	2352	10
12	2573	10
13	2838	10
14	4020	10
15	4068	10
16	4128	10
17	4157	10
18	4167	10
19	4184	10
20	4204	10
21	4286	10
22	4591	10
done	5001	10
0	6	10
1	18	10
2	43	10
3	108	10
4	297	10
5	861	10
6	3173	10
done	5000	10
0	7	21
1	16	21
2	34	21
3	71	21
4	157	21
5	257	21
6	366	21
7	596	21
8	1258	21
9	1755	21
10	2088	21
11	2355	21
12	2590	21
13	2855	21
14	4047	21
15	4095	21
16	4153	21
17	4177	21
done	4177	21
0	6	10
1	15	10
2	33	10
3	70	10
4	156	10
5	258	10
6	370	10
7	601	10
8	1264	10
9	1761	10
10	2085	10
11	2352	10
12	2573	10
13	2838	10
14	4020	10
15	4068	10
16	4128	10
17	4152	10
done	4152	10
0	7	29
1	17	29
2	49	11
3	175	11
4	1111	11
done	5001	11
0	6	10
1	15	10
2	33	10
3	70	10
4	156	10
5	258	10
6	370	10
7	601	10
8	1264	10
9	1761	10
10	2085	10
11	2352	10
12	2573	10
13	2838	10
14	4020	10
15	4068	10
16	4128	10
17	4152	10
done	4152	10
0	6	10
1	15	10
2	33	10
3	70	10
4	156	10
5	258	10
6	370	10
7	601	10
8	1264	10
9	1761	10
10	2085	10
11	2352	10
12	2573	10
13	2838	10
14	4020	10
15	4068	10
16	4128	10
17	4152	10
done	4152	10
0	8	13
1	32	13
2	96	9
3	299	9
4	1197	9
done	5002	9
0	9	29
1	28	27
2	85	21
3	256	17
4	1028	17
done	5000	17
0	2	2
done	2	2
0	7	19
1	23	19
2	76	13
3	256	9
4	1141	9
done	5000	9
0	5	9
1	13	9
2	30	9
3	69	9
4	144	9
5	226	9
6	270	9
7	275	9
done	275	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	6
1	10	6
2	17	6
3	23	6
4	29	6
5	38	6
6	51	6
7	64	6
8	73	6
9	82	6
10	97	6
11	104	6
done	104	6
0	5	7
1	9	7
2	17	7
3	29	7
4	31	7
5	35	7
6	43	7
7	60	7
8	92	7
9	175	7
10	225	7
11	292	7
12	345	7
13	503	7
14	952	7
15	954	7
done	954	7
0	5	7
1	14	7
2	20	7
3	29	7
4	32	7
5	38	7
6	52	7
7	78	7
8	126	7
9	178	7
10	263	7
11	310	7
12	461	7
13	904	7
14	943	7
done	943	7
0	2	2
done	2	2
0	2	3
1	6	1
done	6	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	6	1
done	6	1
0	5	9
1	8	6
2	9	6
done	9	6
0	5	8
1	14	8
2	29	6
3	46	6
4	65	6
5	80	6
6	87	6
7	89	6
done	89	6
0	5	8
1	14	8
2	38	8
3	71	8
4	147	8
5	323	8
6	988	8
done	5000	8
0	6	23
1	26	23
2	105	11
3	362	5
4	1483	5
done	5002	5
0	6	17
1	13	17
2	26	17
3	42	17
4	61	17
5	77	17
6	84	17
7	86	17
done	86	17
0	5	8
1	12	8
2	25	8
3	41	8
4	62	8
5	78	8
6	85	8
7	87	8
done	87	8
0	6	23
1	21	23
2	92	9
3	297	5
4	1027	5
done	5001	5
0	5	8
1	13	4
2	26	4
3	42	4
4	61	4
5	77	4
6	84	4
7	86	4
done	86	4
0	5	8
1	13	4
2	26	4
3	42	4
4	61	4
5	77	4
6	84	4
7	86	4
done	86	4
0	7	15
1	27	15
2	73	15
3	224	15
4	665	15
5	2459	15
done	5000	15
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	10	15
1	28	15
2	62	15
3	193	15
4	793	15
5	3088	15
done	5000	15
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	10	15
1	34	15
2	105	15
3	413	15
4	1430	15
5	4883	15
done	5000	15
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	6	15
1	11	15
2	31	15
3	126	15
4	505	15
5	1516	15
done	5000	15
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	6	19
1	11	19
2	13	11
3	22	6
4	45	6
5	71	6
6	143	6
7	358	6
8	1286	6
done	5000	6
0	5	9
1	6	9
done	6	9
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	3	3
1	6	1
done	6	1
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	11	5
2	12	5
done	12	5
0	4	5
1	11	5
2	12	5
done	12	5
0	6	13
1	10	13
2	20	13
3	32	13
4	34	13
done	34	13
0	5	8
1	7	8
2	15	8
done	15	8
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	8
1	13	8
2	14	8
done	14	8
0	5	8
1	13	8
2	14	8
done	14	8
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	8	11
1	30	11
2	88	11
3	207	11
4	433	11
5	1016	11
6	3242	11
done	5001	11
0	7	11
1	13	11
2	35	11
3	106	11
4	259	11
5	562	11
6	1875	11
done	5001	11
0	8	11
1	30	11
2	64	11
3	162	11
4	382	11
5	901	11
6	2996	11
done	5000	11
0	7	11
1	19	11
2	54	11
3	145	11
4	330	11
5	921	11
6	4155	11
done	5000	11
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	8	9
1	18	9
2	34	7
3	41	7
4	47	7
5	57	7
6	79	7
7	142	7
8	353	7
9	1285	7
done	5000	7
0	8	9
1	18	9
2	34	7
3	41	7
4	47	7
5	57	7
6	79	7
7	142	7
8	353	7
9	1285	7
done	5000	7
0	8	9
1	18	9
2	34	7
3	41	7
4	47	7
5	57	7
6	79	7
7	142	7
8	353	7
9	1285	7
done	5000	7

prune76.0ms

Filtered

38 candidates to 61 candidates (-60.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	60	1	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	1	62

Merged error: 0.0b

Counts

62 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (+ x 2.0))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`associate-r`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `add-log-exp` `unswap-sqr`

Counts

1 → 23

Calls

1 calls:

6.0ms

(* x (+ x 2.0))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* x (+ x 2.0))

simplify19.2s

Counts

26 → 26

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	11	5
2	12	5
done	12	5
0	6	7
1	8	7
done	8	7
0	5	6
1	15	6
2	17	6
done	17	6
0	5	6
1	14	6
2	24	6
3	39	6
4	69	6
5	163	6
6	402	6
7	1270	6
done	5001	6
0	8	17
1	28	17
2	106	9
3	316	9
4	1023	7
5	3546	7
done	5000	7
0	6	13
1	13	13
2	14	13
done	14	13
0	5	6
1	12	6
2	13	6
done	13	6
0	6	17
1	22	17
2	89	7
3	285	7
4	758	7
5	2125	7
done	5000	7
0	5	6
1	12	6
2	13	6
done	13	6
0	5	6
1	12	6
2	13	6
done	13	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	2	3
done	2	3
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	3	3
1	4	3
done	4	3
0	6	11
1	10	11
2	12	11
done	12	11
0	5	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	5	6
1	13	6
2	14	6
done	14	6
0	5	6
1	13	6
2	14	6
done	14	6
0	4	5
1	11	5
2	12	5
done	12	5
0	7	9
1	28	9
2	59	9
3	104	9
4	209	9
5	536	9
6	1819	9
done	5000	9
0	6	9
1	12	9
2	29	9
3	69	9
4	143	9
5	238	9
6	436	9
7	1135	9
done	5001	9
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5

prune25.0ms

Filtered

18 candidates to 26 candidates (-44.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	25	1	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	2	27

Merged error: 0b

Counts

27 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x x) (* x 2.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

8.0ms

(+ (* x x) (* x 2.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ (* x x) (* x 2.0))

simplify22.6s

Counts

15 → 15

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	14	8
2	26	6
3	53	6
4	145	6
5	479	6
6	2171	6
done	5000	6
0	6	8
1	10	6
2	15	6
3	16	6
done	16	6
0	6	8
1	13	6
2	22	6
3	36	6
4	78	6
5	210	6
6	675	6
7	3067	6
done	5000	6
0	7	17
1	11	13
2	13	13
done	13	13
0	6	8
1	10	6
2	12	6
done	12	6
0	7	23
1	24	17
2	96	7
3	353	7
4	890	7
5	2751	7
done	5000	7
0	6	8
1	10	6
2	12	6
done	12	6
0	6	8
1	10	6
2	12	6
done	12	6
0	8	11
1	27	11
2	79	9
3	197	9
4	405	9
5	1012	9
6	3695	9
done	5000	9
0	9	23
1	31	19
2	86	15
3	202	13
4	316	13
5	507	13
6	1085	13
7	3042	13
done	5000	13
0	7	15
1	23	15
2	65	11
3	154	11
4	270	11
5	457	11
6	913	11
7	2387	11
done	5000	11
0	5	7
1	10	5
2	19	5
3	20	5
done	20	5
0	3	3
1	4	3
done	4	3
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5

prune14.0ms

Filtered

10 candidates to 15 candidates (-50.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	15	2	17

Merged error: 0b

Counts

17 → 2

regimes23.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	5	7
1	7	7
done	7	7

end0.0ms

sample729.0ms

Algorithm

intervals

Results

239.0ms	2312×	body	1280	valid
133.0ms	1670×	body	640	valid
122.0ms	5456×	body	80	valid
48.0ms	822×	body	320	valid
18.0ms	441×	body	160	valid

Details

sample31.0ms

simplify11.8s

prune3.0ms

localize6.0ms

rewrite21.0ms

series22.0ms

simplify2.2min

prune76.0ms

localize3.0ms

rewrite6.0ms

series5.0ms

simplify19.2s

prune25.0ms

localize4.0ms

rewrite8.0ms

series6.0ms

simplify22.6s

prune14.0ms

regimes23.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample729.0ms

Profiling