Details

sample32.0ms

Algorithm

intervals

Results

10.0ms

346×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	18	7
done	18	7

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

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* x y) (* z t))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

4.0ms

(- (* x y) (* z t))

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

(- (* x y) (* z t))

simplify12.7s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune23.0ms

Filtered

12 candidates to 15 candidates (-25.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	14	1	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	2	16

Merged error: 0b

Counts

16 → 2

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x y) (* z t))
0.3b	(pow (- (* x y) (* z t)) 3)
33.7b	(cbrt (pow (- (* x y) (* z t)) 3))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`unpow-prod-down` `cube-prod`
5×	`add-log-exp`
4×	`pow1` `add-exp-log` `cube-div` `add-cbrt-cube`
3×	`pow-unpow` `flip3--` `flip--`
2×	`cube-mult` `cbrt-div` `unpow3` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `pow-pow` `pow1/3` `diff-log` `pow-exp` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

3 → 60

Calls

3 calls:

4.0ms	(- (* x y) (* z t))
5.0ms	(pow (- (* x y) (* z t)) 3)
6.0ms	(cbrt (pow (- (* x y) (* z t)) 3))

series65.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(- (* x y) (* z t))
41.0ms	(pow (- (* x y) (* z t)) 3)
12.0ms	(cbrt (pow (- (* x y) (* z t)) 3))

simplify3.3min

Counts

69 → 69

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	23	8
2	48	8
3	144	8
4	544	8
5	2015	8
done	5001	8
0	11	11
1	23	8
2	53	8
3	166	8
4	596	8
5	2181	8
done	5000	8
0	12	20
1	26	17
2	54	11
3	99	11
4	276	11
5	884	10
6	2738	10
done	5000	10
0	11	11
1	23	8
2	36	8
3	46	8
4	69	8
5	132	8
6	339	8
7	1273	8
done	5000	8
0	11	11
1	23	8
2	36	8
3	55	8
4	106	8
5	184	8
6	410	8
7	1339	8
done	5000	8
0	11	11
1	23	8
2	36	8
3	55	8
4	106	8
5	184	8
6	410	8
7	1339	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	22	7
2	47	7
3	143	7
4	543	7
5	2042	7
done	5000	7
0	9	16
1	13	16
2	26	16
3	67	16
4	196	16
5	431	16
6	732	16
7	1617	16
8	2773	16
9	4688	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	12	22
1	23	16
2	48	16
3	144	16
4	546	16
5	2031	16
done	5001	16
0	11	11
1	23	8
2	48	8
3	144	8
4	544	8
5	2015	8
done	5001	8
0	12	20
1	26	17
2	54	11
3	99	11
4	276	11
5	884	10
6	2738	10
done	5000	10
0	11	11
1	23	8
2	36	8
3	46	8
4	69	8
5	132	8
6	339	8
7	1273	8
done	5000	8
0	11	11
1	23	8
2	36	8
3	55	8
4	106	8
5	184	8
6	410	8
7	1339	8
done	5000	8
0	11	11
1	23	8
2	36	8
3	55	8
4	106	8
5	184	8
6	410	8
7	1339	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	10	10
1	22	7
2	47	7
3	143	7
4	543	7
5	2042	7
done	5000	7
0	8	8
1	12	8
2	19	8
done	19	8
0	9	16
1	13	16
2	26	16
3	67	16
4	196	16
5	431	16
6	732	16
7	1617	16
8	2773	16
9	4688	16
done	5000	16
0	11	11
1	23	11
2	49	11
3	145	11
4	547	11
5	2054	11
done	5000	11
0	11	11
1	23	11
2	49	11
3	145	11
4	547	11
5	2054	11
done	5000	11
0	2	2
1	4	1
done	4	1
0	10	10
1	22	7
2	47	7
3	143	7
4	543	7
5	2042	7
done	5000	7
0	12	12
1	20	10
2	33	10
3	47	10
4	75	10
5	131	10
6	347	10
7	1276	10
done	5000	10
0	12	12
1	20	10
2	33	10
3	47	10
4	75	10
5	131	10
6	347	10
7	1276	10
done	5000	10
0	12	14
1	40	11
2	139	11
3	604	11
4	4621	11
done	5000	11
0	14	26
1	49	19
2	140	19
3	527	19
4	3919	19
done	5001	19
0	12	18
1	41	15
2	114	15
3	454	15
4	3397	15
done	5001	15
0	10	10
1	21	7
2	43	7
3	117	7
4	382	7
5	1184	7
6	3116	7
done	5000	7
0	12	23
1	24	17
2	49	17
3	145	17
4	547	17
5	2022	17
done	5000	17
0	11	11
1	23	8
2	48	8
3	144	8
4	544	8
5	2015	8
done	5001	8
0	12	32
1	22	9
2	47	9
3	143	9
4	543	9
5	2030	9
done	5001	9
0	11	11
1	23	8
2	48	8
3	144	8
4	544	8
5	2015	8
done	5001	8
0	11	11
1	23	8
2	48	8
3	144	8
4	544	8
5	2015	8
done	5001	8
0	10	10
1	15	10
2	22	10
done	22	10
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	11	13
1	19	13
2	33	13
3	57	13
4	113	13
5	268	13
6	885	13
7	3351	13
done	5000	13
0	10	10
1	18	10
2	30	10
3	48	10
4	89	10
5	202	10
6	582	10
7	2174	10
done	5000	10
0	9	9
1	20	7
2	34	7
3	45	7
4	69	7
5	133	7
6	354	7
7	1298	7
done	5000	7
0	11	19
1	25	19
2	53	10
3	98	10
4	275	10
5	880	10
6	2743	10
done	5000	10
0	10	10
1	22	7
2	35	7
3	45	7
4	68	7
5	133	7
6	350	7
7	1282	7
done	5000	7
0	10	10
1	22	10
2	35	10
3	54	10
4	105	10
5	190	10
6	418	10
7	1362	10
done	5001	10
0	10	10
1	22	10
2	35	10
3	54	10
4	105	10
5	190	10
6	418	10
7	1362	10
done	5001	10
0	3	3
1	13	1
done	13	1
0	9	9
1	21	9
2	46	9
3	142	9
4	536	9
5	2004	9
done	5001	9
0	8	15
1	12	15
2	25	15
3	66	15
4	197	15
5	424	15
6	710	15
7	1591	15
8	2723	15
9	4655	15
done	5001	15
0	10	10
1	24	10
2	55	10
3	156	10
4	571	10
5	2090	10
done	5001	10
0	10	10
1	22	10
2	53	10
3	173	10
4	689	10
5	2658	10
done	5000	10
0	11	21
1	22	15
2	47	15
3	143	15
4	543	15
5	2031	15
done	5000	15
0	10	10
1	22	7
2	47	7
3	143	7
4	543	7
5	2042	7
done	5000	7
0	11	29
1	27	19
2	85	11
3	369	11
4	2323	11
done	5000	11
0	11	19
1	25	19
2	53	10
3	98	10
4	275	10
5	880	10
6	2743	10
done	5000	10
0	10	10
1	22	7
2	35	7
3	45	7
4	68	7
5	133	7
6	350	7
7	1282	7
done	5000	7
0	10	10
1	22	10
2	35	10
3	54	10
4	105	10
5	190	10
6	418	10
7	1362	10
done	5001	10
0	10	10
1	22	10
2	35	10
3	54	10
4	105	10
5	190	10
6	418	10
7	1362	10
done	5001	10
0	3	3
1	13	1
done	13	1
0	9	9
1	21	9
2	46	9
3	142	9
4	536	9
5	2004	9
done	5001	9
0	11	13
1	39	13
2	138	13
3	604	13
4	4668	13
done	5000	13
0	13	25
1	48	21
2	139	21
3	527	21
4	3922	21
done	5001	21
0	11	17
1	40	17
2	113	17
3	453	17
4	3399	17
done	5000	17
0	9	9
1	20	9
2	42	9
3	116	9
4	379	9
5	1168	9
6	3146	9
done	5001	9
0	8	15
1	12	15
2	25	15
3	66	15
4	197	15
5	424	15
6	710	15
7	1591	15
8	2723	15
9	4655	15
done	5001	15
0	10	10
1	22	10
2	48	10
3	144	10
4	542	10
5	2028	10
done	5000	10
0	10	10
1	22	10
2	48	10
3	144	10
4	542	10
5	2028	10
done	5000	10
0	11	11
1	20	9
2	33	9
3	43	9
4	64	9
5	120	9
6	338	9
7	1251	9
done	5000	9
0	11	11
1	20	9
2	33	9
3	43	9
4	64	9
5	120	9
6	338	9
7	1251	9
done	5000	9
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7
0	1	1
done	1	1
0	23	35
1	73	35
2	270	35
3	910	33
4	3351	29
done	5001	29
0	23	35
1	73	35
2	270	35
3	910	33
4	3351	29
done	5001	29
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune79.0ms

Filtered

47 candidates to 69 candidates (-46.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	69	2	71

Merged error: 0b

Counts

71 → 2

regimes343.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	7	7
1	9	7
done	9	7

end0.0ms

sample874.0ms

Algorithm

intervals

Results

314.0ms

10459×

body

valid

Details

sample32.0ms

simplify5.0ms

prune8.0ms

localize7.0ms

rewrite5.0ms

series13.0ms

simplify12.7s

prune23.0ms

localize13.0ms

rewrite17.0ms

series65.0ms

simplify3.3min

prune79.0ms

regimes343.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample874.0ms

Profiling