Details

sample40.0ms

Algorithm

intervals

Results

9.0ms	223×	body	80	valid
6.0ms	34×	body	1280	valid
3.0ms	24×	body	640	valid
3.0ms	25×	body	320	valid
1.0ms	14×	body	160	valid
0.0ms	2×	body	2560	valid

simplify6.0s

Counts

1 → 1

Iterations

Useful iterations: 4 (128.0ms)

Iter	Nodes	Cost
0	9	15
1	22	13
2	67	9
3	154	7
4	533	5
5	2197	5
done	5000	5

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (- x z) y)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 22

Calls

1 calls:

8.0ms

(* (- x z) y)

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(* (- x z) y)

simplify14.7s

Counts

25 → 25

Iterations

Useful iterations: 0 (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	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	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	285	7
4	864	7
5	2739	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	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
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	17	7
3	22	7
4	26	7
done	26	7
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	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	1	1
done	1	1
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune29.0ms

Filtered

18 candidates to 25 candidates (-38.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

26 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- x z)) (cbrt (- x z)))
0.5b	(cbrt (- x z))
0.5b	(cbrt (- x z))
0.5b	(cbrt (- x z))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 101

Calls

4 calls:

12.0ms	(* (cbrt (- x z)) (cbrt (- x z)))
3.0ms	(cbrt (- x z))
3.0ms	(cbrt (- x z))
6.0ms	(cbrt (- x z))

series132.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (cbrt (- x z)) (cbrt (- x z)))
35.0ms	(cbrt (- x z))
31.0ms	(cbrt (- x z))
31.0ms	(cbrt (- x z))

simplify1.6min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
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	5	9
1	7	9
2	8	9
done	8	9
0	2	3
1	6	1
done	6	1
0	6	11
1	10	7
2	12	7
done	12	7
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	6	10
1	10	10
2	15	10
3	20	10
4	38	10
5	80	10
6	186	10
7	566	10
8	2256	10
done	5000	10
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	7	21
1	9	21
2	10	21
done	10	21
0	6	10
1	8	10
2	9	10
done	9	10
0	7	29
1	17	29
2	27	11
3	41	6
4	99	6
5	228	6
6	577	6
7	1955	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	6	10
1	9	5
2	10	5
done	10	5
0	8	17
1	23	17
2	45	17
3	79	17
4	166	17
5	494	17
6	2249	17
done	5000	17
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	12	17
1	31	17
2	58	17
3	103	17
4	218	17
5	592	17
6	2407	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	12	17
1	31	17
2	58	17
3	103	17
4	217	17
5	592	17
6	2426	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	5	9
1	6	9
done	6	9
0	7	21
1	9	21
2	10	21
done	10	21
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	13
1	8	13
done	8	13
0	7	13
1	9	13
2	10	13
done	10	13
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	23
1	13	23
2	16	13
3	25	7
4	40	7
5	66	7
6	137	7
7	354	7
8	1244	7
done	5000	7
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	2	3
1	4	1
done	4	1
0	5	9
1	7	9
2	8	9
done	8	9
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	10	15
2	11	15
done	11	15
0	7	10
1	10	10
2	11	10
done	11	10
0	7	7
1	12	6
2	13	6
done	13	4
0	9	11
1	13	11
2	14	11
done	14	11
0	7	7
1	12	6
2	13	6
done	13	4
0	7	16
1	12	16
2	15	16
done	15	16
0	6	10
1	9	10
2	10	10
done	10	10
0	6	6
1	11	4
2	15	4
done	15	4
0	6	10
1	9	10
2	10	10
done	10	10
0	7	10
1	10	10
2	11	10
done	11	10
0	5	9
1	7	9
2	8	9
done	8	9
0	9	11
1	14	11
2	16	11
done	16	11
0	5	9
1	7	9
2	8	9
done	8	9
0	6	10
1	9	10
2	10	10
done	10	10
0	6	10
1	9	10
2	10	10
done	10	10
0	5	9
1	7	9
2	8	9
done	8	9
0	10	13
1	28	13
2	50	13
3	84	13
4	171	13
5	506	13
6	2262	13
done	5001	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	129	13
6	278	13
7	1442	13
done	5001	13
0	10	13
1	28	13
2	50	13
3	84	13
4	174	13
5	507	13
6	2255	13
done	5000	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	134	13
6	283	13
7	1483	13
done	5001	13
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	28	40
1	67	37
2	147	30
3	419	24
4	1314	20
done	5001	19
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3

prune109.0ms

Filtered

80 candidates to 113 candidates (-41.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	113	2	115

Merged error: 0b

Counts

115 → 2

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

end0.0ms

sample1.2s

Algorithm

intervals

Results

291.0ms	7047×	body	80	valid
174.0ms	913×	body	1280	valid
123.0ms	861×	body	640	valid
62.0ms	573×	body	320	valid
46.0ms	221×	body	2560	valid
39.0ms	531×	body	160	valid

Details

sample40.0ms

simplify6.0s

prune8.0ms

localize4.0ms

rewrite9.0ms

series8.0ms

simplify14.7s

prune29.0ms

localize8.0ms

rewrite30.0ms

series132.0ms

simplify1.6min

prune109.0ms

regimes131.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling