Details

sample27.0ms

Algorithm

intervals

Results

7.0ms	256×	pre	80	true
4.0ms	256×	body	80	valid

simplify70.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
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

prune2.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

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (+ a b) (+ a b))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
8×	`pow1`
7×	`add-sqr-sqrt`
6×	`flip3-+` `swap-sqr` `flip-+` `distribute-lft-out`
5×	`add-cube-cbrt`
4×	`frac-times` `associate-r` `associate-l`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-r/` `associate-l/`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 40

Calls

1 calls:

9.0ms

(* (+ a b) (+ a b))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (+ a b) (+ a b))

simplify1.1min

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11

prune37.0ms

Filtered

24 candidates to 43 candidates (-79.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	2	44

Merged error: 0b

Counts

44 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* b (+ (* 2 a) b))
0.0b	(pow a 2)
0.0b	(+ (* b (+ (* 2 a) b)) (pow a 2))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log`
5×	`add-cbrt-cube` `add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `associate-r` `associate-l`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `pow-to-exp` `pow-pow` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `unpow2` `unswap-sqr` `sqr-pow`

Counts

3 → 53

Calls

3 calls:

11.0ms	(* b (+ (* 2 a) b))
2.0ms	(pow a 2)
10.0ms	(+ (* b (+ (* 2 a) b)) (pow a 2))

series16.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* b (+ (* 2 a) b))
3.0ms	(pow a 2)
7.0ms	(+ (* b (+ (* 2 a) b)) (pow a 2))

simplify2.3min

Counts

62 → 62

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	28	12
2	60	12
3	109	12
4	232	12
5	732	12
6	2787	12
done	5001	12
0	9	12
1	23	12
2	44	12
3	57	12
4	67	12
5	79	12
6	103	12
7	169	12
8	381	12
9	1328	12
done	5000	12
0	9	12
1	26	12
2	59	12
3	100	12
4	194	12
5	610	12
6	2328	12
done	5000	12
0	10	25
1	24	25
2	45	25
3	54	25
4	64	25
5	76	25
6	98	25
7	157	25
8	371	25
9	1290	25
done	5000	25
0	9	12
1	23	12
2	44	12
3	57	12
4	67	12
5	79	12
6	103	12
7	169	12
8	381	12
9	1328	12
done	5000	12
0	10	35
1	37	35
2	138	13
3	574	13
4	3088	13
done	5000	13
0	9	12
1	23	12
2	44	12
3	57	12
4	67	12
5	79	12
6	103	12
7	169	12
8	381	12
9	1328	12
done	5000	12
0	9	12
1	23	12
2	44	12
3	57	12
4	67	12
5	79	12
6	103	12
7	169	12
8	381	12
9	1328	12
done	5000	12
0	11	15
1	40	15
2	137	15
3	396	13
4	1277	13
5	4439	13
done	5001	13
0	12	35
1	44	31
2	160	31
3	438	23
4	1317	23
5	3934	23
done	5001	23
0	10	23
1	37	19
2	115	19
3	300	19
4	923	19
5	2448	19
done	5000	19
0	8	11
1	23	11
2	51	11
3	72	11
4	90	11
5	126	11
6	215	11
7	455	11
8	1092	11
9	2933	11
done	5000	11
0	6	7
1	12	7
2	20	7
3	25	7
4	31	7
5	41	7
6	65	7
7	123	7
8	337	7
9	1263	7
done	5000	7
0	6	7
1	12	7
2	20	7
3	25	7
4	31	7
5	41	7
6	65	7
7	123	7
8	337	7
9	1263	7
done	5000	7
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	8	7
2	15	7
3	39	7
4	96	7
5	254	7
6	871	7
7	3332	7
done	5000	7
0	4	4
1	7	4
2	12	4
3	30	4
4	70	4
5	176	4
6	553	4
7	2168	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	10	7
2	22	7
3	41	7
4	88	4
5	188	4
6	526	4
7	2067	4
done	5000	4
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	4	4
1	9	4
2	17	1
3	24	1
4	35	1
5	57	1
6	117	1
7	325	1
8	1251	1
done	5001	1
0	4	4
1	9	4
2	17	1
3	24	1
4	35	1
5	57	1
6	117	1
7	325	1
8	1251	1
done	5001	1
0	3	3
1	9	1
2	13	1
done	13	1
0	3	3
1	8	3
2	16	3
3	21	3
4	27	3
5	37	3
6	59	3
7	118	3
8	332	3
9	1245	3
done	5000	3
0	4	4
1	11	4
2	21	4
3	26	4
4	32	4
5	42	4
6	64	4
7	128	4
8	352	4
9	1277	4
done	5000	4
0	4	4
1	9	4
2	21	4
3	29	4
4	40	4
5	68	4
6	127	4
7	280	4
8	871	4
9	3198	4
done	5000	4
0	5	9
1	10	9
2	18	9
3	23	9
4	29	9
5	39	9
6	63	9
7	120	9
8	331	9
9	1244	9
done	5000	9
0	4	4
1	9	4
2	17	4
3	22	4
4	28	4
5	38	4
6	60	4
7	125	4
8	333	4
9	1260	4
done	5000	4
0	5	11
1	14	7
2	51	5
3	73	5
4	98	3
5	147	3
6	260	3
7	642	3
8	2177	3
done	5000	3
0	4	4
1	9	4
2	19	2
3	24	2
4	30	2
5	40	2
6	62	2
7	125	2
8	342	2
9	1270	2
done	5000	2
0	4	4
1	9	4
2	19	2
3	24	2
4	30	2
5	40	2
6	62	2
7	125	2
8	342	2
9	1270	2
done	5000	2
0	4	5
1	9	3
2	18	1
3	24	1
4	34	1
5	56	1
6	124	1
7	338	1
8	1261	1
done	5000	1
0	4	5
1	9	3
2	18	1
3	24	1
4	34	1
5	56	1
6	124	1
7	338	1
8	1261	1
done	5000	1
0	6	7
1	14	7
2	23	7
done	23	7
0	8	9
1	11	9
done	11	9
0	7	8
1	18	8
2	28	8
3	32	8
done	32	8
0	7	8
1	17	8
2	34	8
3	62	8
4	119	8
5	302	8
6	721	8
7	2679	8
done	5001	8
0	10	23
1	31	23
2	125	11
3	476	11
4	1854	9
done	5000	9
0	8	17
1	16	17
2	25	17
3	27	17
done	27	17
0	7	8
1	15	8
2	24	8
3	28	8
done	28	8
0	8	23
1	25	23
2	100	9
3	366	9
4	1348	9
5	4653	9
done	5000	9
0	7	8
1	15	8
2	24	8
3	28	8
done	28	8
0	7	8
1	15	8
2	24	8
3	28	8
done	28	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	5	5
1	9	5
2	15	5
done	15	5
0	2	3
done	2	3
0	5	5
1	9	5
2	15	5
done	15	5
0	2	3
done	2	3
0	8	15
1	13	15
2	15	15
done	15	15
0	7	8
1	10	8
done	10	8
0	3	3
1	6	1
done	6	1
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	6	7
1	14	7
2	23	7
done	23	7
0	9	11
1	34	11
2	94	11
3	283	11
4	559	11
5	1085	11
6	3210	11
done	5001	11
0	8	13
1	23	11
2	49	11
3	112	11
4	234	11
5	412	11
6	641	11
7	1124	11
8	4061	11
done	5001	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	3	3
1	8	3
2	16	3
3	21	3
4	27	3
5	37	3
6	59	3
7	118	3
8	332	3
9	1245	3
done	5000	3
0	3	3
1	8	3
2	16	3
3	21	3
4	27	3
5	37	3
6	59	3
7	118	3
8	332	3
9	1245	3
done	5000	3
0	3	3
1	8	3
2	16	3
3	21	3
4	27	3
5	37	3
6	59	3
7	118	3
8	332	3
9	1245	3
done	5000	3
0	7	9
1	17	9
2	35	7
3	44	7
4	50	7
5	60	7
6	82	7
7	147	7
8	363	7
9	1270	7
done	5000	7
0	7	9
1	17	9
2	35	7
3	44	7
4	50	7
5	60	7
6	82	7
7	147	7
8	363	7
9	1270	7
done	5000	7
0	7	9
1	17	9
2	35	7
3	44	7
4	50	7
5	60	7
6	82	7
7	147	7
8	363	7
9	1270	7
done	5000	7

prune84.0ms

Filtered

43 candidates to 62 candidates (-44.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	62	2	64

Merged error: 0b

Counts

64 → 2

regimes135.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	8	11
1	12	11
done	12	11

end0.0ms

sample596.0ms

Algorithm

intervals

Results

194.0ms	8000×	pre	80	true
141.0ms	8000×	body	80	valid

Details

sample27.0ms

simplify70.0ms

prune2.0ms

localize4.0ms

rewrite11.0ms

series4.0ms

simplify1.1min

prune37.0ms

localize8.0ms

rewrite25.0ms

series16.0ms

simplify2.3min

prune84.0ms

regimes135.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample596.0ms

Profiling