Details

sample22.0ms

Algorithm

intervals

Results

10.0ms

301×

body

valid

simplify976.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	19	11
2	42	11
3	70	11
4	133	11
5	205	11
6	302	11
7	505	11
8	683	11
9	702	11
10	705	11
done	705	11

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

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
0.0b	(* x (- y 1.0))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-log-exp`
6×	`associate-+l+`
5×	`sub-neg` `associate-r`
4×	`pow1` `add-exp-log` `distribute-rgt-in` `add-cube-cbrt` `distribute-lft-in` `associate--l+` `add-cbrt-cube`
3×	`associate-l`
2×	`associate-*r/` `sum-log`
1×	`+-commutative` `associate-+l-` `flip3--` `flip3-+` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 46

Calls

2 calls:

11.0ms	(+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
7.0ms	(* x (- y 1.0))

series12.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
6.0ms	(* x (- y 1.0))

simplify37.0s

Counts

52 → 52

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	13	14
1	26	13
2	55	12
3	129	12
4	407	12
5	1858	12
done	5000	12
0	12	13
1	24	12
2	57	12
3	126	12
4	353	12
5	1343	12
done	5000	12
0	11	12
1	20	12
2	43	12
3	71	12
4	134	12
5	204	12
6	301	12
7	504	12
8	682	12
9	701	12
10	704	12
done	704	12
0	11	12
1	23	12
2	54	12
3	119	12
4	272	12
5	802	12
6	4160	12
done	5000	12
0	12	25
1	21	25
2	44	25
3	72	25
4	135	25
5	202	25
6	299	25
7	502	25
8	680	25
9	699	25
10	702	25
done	702	25
0	11	12
1	20	12
2	43	12
3	71	12
4	134	12
5	204	12
6	301	12
7	504	12
8	682	12
9	701	12
10	704	12
done	704	12
0	12	35
1	34	35
2	101	13
3	436	13
4	3325	13
done	5000	13
0	11	12
1	20	12
2	43	12
3	71	12
4	134	12
5	204	12
6	301	12
7	504	12
8	682	12
9	701	12
10	704	12
done	704	12
0	11	12
1	20	12
2	43	12
3	71	12
4	134	12
5	204	12
6	301	12
7	504	12
8	682	12
9	701	12
10	704	12
done	704	12
0	13	15
1	33	15
2	68	15
3	198	15
4	905	15
done	5000	15
0	14	35
1	28	33
2	72	33
3	222	25
4	946	25
5	4529	25
done	5000	25
0	12	23
1	23	23
2	58	23
3	178	23
4	912	23
5	4615	23
done	5000	23
0	10	11
1	20	11
2	44	11
3	79	11
4	146	11
5	227	11
6	335	11
7	562	11
8	742	11
9	744	11
10	750	11
11	754	11
done	754	11
0	10	11
1	19	11
2	42	11
3	70	11
4	133	11
5	205	11
6	302	11
7	505	11
8	683	11
9	702	11
10	705	11
done	705	11
0	6	6
1	12	6
2	15	5
done	15	5
0	10	10
1	19	10
2	40	10
3	56	9
4	77	9
5	93	9
6	122	9
7	159	9
8	170	9
done	170	9
0	10	10
1	19	10
2	40	10
3	56	9
4	77	9
5	93	9
6	122	9
7	159	9
8	170	9
done	170	9
0	10	10
1	19	10
2	40	10
3	56	9
4	77	9
5	93	9
6	122	9
7	159	9
8	170	9
done	170	9
0	10	10
1	19	10
2	40	10
3	56	9
4	77	9
5	93	9
6	122	9
7	159	9
8	170	9
done	170	9
0	6	6
1	12	6
2	15	5
done	15	5
0	5	5
1	8	5
2	9	5
done	9	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	9	9
1	16	9
2	25	9
3	47	9
4	59	9
5	83	9
6	120	9
7	146	9
8	151	9
done	151	9
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9

prune64.0ms

Filtered

35 candidates to 52 candidates (-48.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	2	53

Merged error: 0b

Counts

53 → 2

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
4×	`sum-log`
2×	`associate-+r+` `diff-log`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `sub-neg` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

1 → 16

Calls

1 calls:

9.0ms

(+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))

simplify17.0s

Counts

19 → 19

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	31	16
2	70	15
3	209	14
4	970	12
done	5000	12
0	14	16
1	28	15
2	63	14
3	154	14
4	579	12
5	3660	12
done	5000	12
0	13	15
1	29	14
2	62	14
3	172	14
4	480	12
5	1793	12
done	5000	12
0	12	14
1	23	14
2	46	14
3	105	12
4	191	12
5	336	12
6	520	12
7	620	12
8	645	12
9	648	12
done	648	12
0	12	14
1	26	14
2	64	14
3	170	12
4	402	12
5	1165	12
done	5000	12
0	13	29
1	24	29
2	47	29
3	106	25
4	192	25
5	337	25
6	521	25
7	623	25
8	646	25
9	647	25
done	647	25
0	12	14
1	23	14
2	46	14
3	105	12
4	191	12
5	336	12
6	520	12
7	620	12
8	645	12
9	648	12
done	648	12
0	13	41
1	37	41
2	120	15
3	554	13
4	3838	13
done	5000	13
0	12	14
1	23	14
2	46	14
3	105	12
4	191	12
5	336	12
6	520	12
7	620	12
8	645	12
9	648	12
done	648	12
0	12	14
1	23	14
2	46	14
3	105	12
4	191	12
5	336	12
6	520	12
7	620	12
8	645	12
9	648	12
done	648	12
0	14	17
1	39	17
2	98	17
3	274	17
4	954	17
done	5001	17
0	15	41
1	40	31
2	109	31
3	375	29
4	1686	29
done	5000	29
0	13	27
1	33	27
2	76	27
3	240	27
4	1212	25
done	5000	23
0	11	13
1	23	13
2	45	13
3	102	13
4	223	13
5	314	11
6	427	11
7	612	11
8	659	11
9	665	11
done	665	11
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	9	9
1	16	9
2	25	9
3	47	9
4	59	9
5	83	9
6	120	9
7	146	9
8	151	9
done	151	9
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9

prune24.0ms

Filtered

15 candidates to 19 candidates (-26.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	19	0	19
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	19	2	21

Merged error: 0b

Counts

21 → 2

regimes145.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	13
1	16	13
done	16	13

end0.0ms

sample583.0ms

Algorithm

intervals

Results

303.0ms	9121×	body	80	valid
1.0ms	4×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Details

sample22.0ms

simplify976.0ms

prune3.0ms

localize8.0ms

rewrite20.0ms

series12.0ms

simplify37.0s

prune64.0ms

localize10.0ms

rewrite9.0ms

series7.0ms

simplify17.0s

prune24.0ms

regimes145.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample583.0ms

Profiling