Details

sample23.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify178.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	19
1	17	19
2	35	19
3	70	19
4	118	19
5	166	19
6	186	19
7	187	19
done	187	19

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

Counts

2 → 1

localize12.0ms

Local error

Found 2 expressions with local error:

4.6b	(- (* x x) (* (* y 4.0) y))
34.5b	(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow1` `flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-sub` `div-exp` `clear-num` `flip-+` `div-inv`

Counts

2 → 44

Calls

2 calls:

4.0ms	(- (* x x) (* (* y 4.0) y))
9.0ms	(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series22.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(- (* x x) (* (* y 4.0) y))
14.0ms	(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify47.6s

Counts

50 → 50

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	21
1	18	21
2	29	21
3	45	21
4	47	21
done	47	21
0	10	20
1	21	20
2	41	20
3	77	20
4	125	20
5	173	20
6	193	20
7	195	20
done	195	20
0	10	20
1	18	20
2	39	20
3	76	20
4	133	20
5	215	20
6	342	20
7	904	20
8	4316	20
done	5000	20
0	13	59
1	39	59
2	152	23
3	610	21
4	2429	21
done	5001	21
0	11	41
1	19	41
2	37	41
3	72	41
4	122	41
5	170	41
6	190	41
7	191	41
done	191	41
0	10	20
1	18	20
2	36	20
3	71	20
4	121	20
5	169	20
6	189	20
7	190	20
done	190	20
0	11	59
1	26	59
2	72	21
3	273	21
4	1283	21
done	5000	21
0	10	20
1	18	20
2	36	20
3	71	20
4	121	20
5	169	20
6	189	20
7	190	20
done	190	20
0	10	20
1	18	20
2	36	20
3	71	20
4	121	20
5	169	20
6	189	20
7	190	20
done	190	20
0	8	10
1	12	10
2	25	10
3	54	10
4	90	9
5	105	9
done	105	9
0	8	10
1	14	10
2	28	10
3	45	10
4	47	10
done	47	10
0	8	13
1	13	13
2	18	13
3	19	13
done	19	13
0	8	15
1	13	15
2	24	15
3	36	15
4	45	15
5	50	15
done	50	15
0	13	43
1	24	43
2	43	43
3	65	43
4	67	43
done	67	43
0	11	21
1	16	21
2	26	21
3	42	21
done	42	21
0	12	32
1	19	32
2	31	32
3	48	32
done	48	32
0	11	21
1	16	21
2	26	21
3	42	21
done	42	21
0	11	23
1	19	21
2	35	21
3	56	21
4	58	21
done	58	21
0	10	20
1	15	20
2	25	20
3	41	20
4	43	20
done	43	20
0	12	32
1	19	32
2	29	32
3	45	32
4	47	32
done	47	32
0	11	21
1	16	21
2	26	21
3	42	21
done	42	21
0	11	21
1	16	21
2	26	21
3	42	21
done	42	21
0	11	21
1	16	21
2	26	21
3	42	21
done	42	21
0	10	12
1	16	10
2	28	10
3	44	10
done	44	10
0	10	20
1	15	20
2	25	20
3	41	20
4	43	20
done	43	20
0	11	23
1	18	23
2	21	23
done	21	23
0	10	20
1	18	20
2	36	20
3	71	20
4	121	20
5	169	20
6	189	20
7	190	20
done	190	20
0	10	12
1	15	12
2	18	12
done	18	12
0	10	20
1	18	20
2	36	20
3	71	20
4	121	20
5	169	20
6	189	20
7	190	20
done	190	20
0	2	3
1	4	1
done	4	1
0	9	19
1	17	19
2	35	19
3	70	19
4	118	19
5	166	19
6	186	19
7	187	19
done	187	19
0	9	11
1	14	11
2	17	11
done	17	11
0	9	19
1	14	19
2	24	19
3	40	19
done	40	19
0	11	31
1	21	31
2	50	31
3	127	31
4	274	31
5	446	31
6	515	31
7	520	31
done	520	31
0	10	20
1	18	20
2	36	20
3	71	20
4	121	20
5	169	20
6	189	20
7	190	20
done	190	20
0	9	11
1	18	9
2	38	9
3	78	9
4	150	9
5	228	9
6	280	9
done	280	9
0	10	20
1	15	20
2	25	20
3	41	20
4	43	20
done	43	20
0	10	20
1	15	20
2	25	20
3	41	20
4	43	20
done	43	20
0	9	19
1	14	19
2	24	19
3	40	19
done	40	19
0	12	23
1	38	23
2	111	21
3	320	21
4	807	21
5	2351	21
done	5000	21
0	11	29
1	33	29
2	116	27
3	387	25
4	1109	11
5	2948	11
done	5000	11
0	13	39
1	44	33
2	156	31
3	501	29
4	1525	29
5	3149	29
done	5001	29
0	8	19
1	17	19
2	45	19
3	139	19
4	280	19
5	400	19
6	600	19
7	845	19
8	1064	19
9	1918	19
10	4597	19
done	5000	19
0	9	11
1	17	10
2	34	10
3	76	10
4	194	10
5	643	10
6	3823	10
done	5001	10
0	8	10
1	12	10
2	22	10
3	38	10
done	38	10
0	8	10
1	15	10
2	33	10
3	74	10
4	150	10
5	454	10
6	2051	10
done	5001	10
0	9	21
1	13	21
2	23	21
3	39	21
done	39	21
0	8	10
1	12	10
2	22	10
3	38	10
done	38	10
0	9	29
1	14	29
2	38	11
3	139	11
4	678	11
5	3076	11
done	5001	11
0	8	10
1	12	10
2	22	10
3	38	10
done	38	10
0	8	10
1	12	10
2	22	10
3	38	10
done	38	10
0	10	13
1	32	13
2	110	11
3	422	11
4	1607	11
done	5000	11
0	11	29
1	35	23
2	97	21
3	211	19
4	274	19
5	304	19
6	427	19
7	825	19
8	2356	19
done	5000	19
0	5	6
1	11	6
2	24	6
3	29	6
done	29	6
0	9	19
1	27	19
2	77	17
3	226	15
4	436	13
5	676	11
6	1096	11
7	2278	11
done	5000	11
0	7	9
1	10	9
2	13	9
done	13	9
0	5	6
1	11	6
2	24	6
3	29	6
done	29	6
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	8	9
1	19	9
2	45	9
3	65	9
4	80	9
5	97	9
6	137	9
7	255	9
8	673	9
9	2515	9
done	5000	9
0	8	9
1	19	9
2	45	9
3	65	9
4	80	9
5	97	9
6	137	9
7	255	9
8	673	9
9	2515	9
done	5000	9
0	8	9
1	19	9
2	45	9
3	65	9
4	80	9
5	97	9
6	137	9
7	255	9
8	673	9
9	2515	9
done	5000	9

prune89.0ms

Filtered

41 candidates to 50 candidates (-22.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	2	51

Merged error: 1.1b

Counts

51 → 2

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune2.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	0	0
Total	2	2

Merged error: 1.1b

Counts

2 → 2

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune0.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	1	1
Total	2	2

Merged error: 1.1b

Counts

2 → 2

regimes98.0ms

Accuracy

48.1% (16.0b remaining)

Error of 16.7b against oracle of 0.7b and baseline of 31.6b

bsearch62.0ms

Steps

Iters	Range		Point
10	3.507401035705418e-50	3.438190373589216e-31	4.159360325820488e-36
7	8.467333507534322e-97	5.2397905280265564e-95	1.1264816293584452e-96
7	5.131660933107837e-108	8.221792318851776e-107	7.454968088927992e-107
6	-1.152221291000497e-74	-9.107857615851039e-76	-1.1269686448080675e-74

simplify9.0ms

Iterations

Useful iterations: 4 (4.0ms)

Iter	Nodes	Cost
0	15	21
1	20	21
2	23	21
3	29	21
4	32	20
5	35	20
6	38	20
7	39	20
done	39	20

end0.0ms

sample669.0ms

Algorithm

intervals

Results

416.0ms

8000×

body

valid

Details

sample23.0ms

simplify178.0ms

prune3.0ms

localize12.0ms

rewrite15.0ms

series22.0ms

simplify47.6s

prune89.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune2.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune0.0ms

regimes98.0ms

bsearch62.0ms

simplify9.0ms

end0.0ms

sample669.0ms

Profiling