Details

sample27.0ms

Algorithm

intervals

Results

5.0ms	253×	body	80	nan
5.0ms	256×	body	80	valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4

prune9.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	(sqrt (+ x y))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity` `sqrt-prod`
3×	`add-sqr-sqrt`
2×	`pow1` `add-cube-cbrt` `sqrt-div`
1×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

1 → 16

Calls

1 calls:

3.0ms

(sqrt (+ x y))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(sqrt (+ x y))

simplify22.6s

Counts

19 → 19

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	8
2	19	6
3	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	16	19
1	42	19
2	127	17
3	364	17
4	1258	17
5	3428	15
done	5000	15
0	14	19
1	40	19
2	126	19
3	424	19
4	1932	15
done	5000	15
0	14	19
1	40	19
2	126	19
3	424	19
4	1932	15
done	5000	15

prune23.0ms

Filtered

14 candidates to 19 candidates (-35.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	18	1	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	2	20

Merged error: 0.0b

Counts

20 → 2

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x y))
0.1b	(sqrt (sqrt (+ x y)))
0.1b	(sqrt (sqrt (+ x y)))
0.5b	(* (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

110×	`sqrt-prod`
56×	`add-sqr-sqrt`
41×	`*-un-lft-identity` `sqrt-pow1`
34×	`sqrt-div`
32×	`pow1`
21×	`add-cube-cbrt` `pow1/2`
18×	`swap-sqr`
10×	`associate-r` `associate-l`
9×	`flip3-+` `pow-prod-up` `flip-+` `distribute-lft-out` `unswap-sqr`
6×	`add-exp-log` `add-cbrt-cube`
5×	`rem-sqrt-square` `pow-prod-down` `pow-sqr`
4×	`frac-times` `add-log-exp`
2×	`associate-r/` `associate-l/`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 148

Calls

4 calls:

4.0ms	(sqrt (+ x y))
5.0ms	(sqrt (sqrt (+ x y)))
9.0ms	(sqrt (sqrt (+ x y)))
17.0ms	(* (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))))

series62.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(sqrt (+ x y))
22.0ms	(sqrt (sqrt (+ x y)))
26.0ms	(sqrt (sqrt (+ x y)))
7.0ms	(* (sqrt (sqrt (+ x y))) (sqrt (sqrt (+ x y))))

simplify2.0min

Counts

160 → 160

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	4	7
1	6	3
2	7	1
done	7	1
0	7	9
1	14	3
done	14	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	7	9
1	14	3
done	14	1
0	5	11
1	12	5
2	18	1
done	18	1
0	5	9
1	6	3
2	7	3
done	7	3
0	6	11
1	7	4
2	8	4
done	8	4
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	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	7	13
1	10	8
2	11	8
done	11	8
0	7	12
1	10	5
2	13	5
3	14	5
done	14	5
0	7	12
1	10	5
2	15	5
3	20	5
4	38	5
5	78	5
6	180	5
7	557	5
8	2245	5
done	5001	5
0	8	35
1	16	14
2	28	8
3	58	6
4	95	6
5	172	6
6	397	6
7	1373	6
done	5000	6
0	8	25
1	9	11
2	10	11
done	10	11
0	7	12
1	8	5
2	9	5
done	9	5
0	8	35
1	17	14
2	26	6
3	57	6
4	95	6
5	179	6
6	419	6
7	1453	6
done	5000	6
0	5	9
1	6	3
2	7	3
done	7	3
0	7	12
1	9	5
done	9	5
0	7	12
1	9	5
done	9	5
0	9	19
1	23	8
2	33	8
3	50	8
4	91	8
5	208	8
6	622	8
7	2460	8
done	5000	8
0	10	27
1	18	10
2	34	10
3	47	10
4	67	10
5	88	10
6	105	10
7	128	10
8	171	10
9	233	10
10	234	10
done	234	10
0	14	19
1	32	19
2	48	19
3	80	19
4	146	19
5	302	19
6	775	19
7	2793	19
done	5000	19
0	13	19
1	24	17
2	39	17
3	51	17
4	68	17
5	88	17
6	105	17
7	128	17
8	171	17
9	233	17
10	234	17
done	234	17
0	14	19
1	32	19
2	48	19
3	80	19
4	146	19
5	309	19
6	796	19
7	2817	19
done	5001	19
0	13	19
1	24	17
2	39	17
3	51	17
4	68	17
5	88	17
6	105	17
7	128	17
8	171	17
9	233	17
10	234	17
done	234	17
0	8	19
1	13	8
2	21	8
3	36	8
4	61	8
5	102	8
6	158	8
7	326	8
8	1613	8
done	5000	8
0	6	11
1	8	4
2	10	4
done	10	4
0	8	27
1	13	27
2	15	15
3	24	8
4	39	8
5	65	8
6	136	8
7	348	8
8	1252	8
done	5000	8
0	7	13
1	8	13
done	8	13
0	8	25
1	10	11
2	11	11
done	11	11
0	7	13
1	8	5
2	9	5
done	9	5
0	8	23
1	10	5
2	11	5
done	11	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	4	7
1	6	1
done	6	1
0	6	11
1	7	4
2	8	4
done	8	4
0	4	7
1	6	1
done	6	1
0	6	11
1	7	4
2	8	4
done	8	4
0	4	7
1	6	1
done	6	1
0	6	11
1	7	4
2	8	4
done	8	4
0	4	7
1	6	1
done	6	1
0	6	11
1	7	4
2	8	4
done	8	4
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	3	5
1	5	1
done	5	1
0	6	11
1	7	4
2	8	4
done	8	4
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	2	3
1	4	1
done	4	1
0	6	11
1	7	4
2	8	4
done	8	4
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	9	3
2	11	1
done	11	1
0	4	5
1	10	1
done	10	1
0	5	7
1	14	5
2	22	1
done	22	1
0	8	19
1	12	19
2	14	19
done	14	19
0	9	18
1	12	12
done	12	12
0	10	17
1	13	12
done	13	12
0	7	12
1	9	12
done	9	12
0	9	9
1	13	7
done	13	7
0	9	9
1	13	7
done	13	7
0	7	12
1	9	12
done	9	12
0	8	8
1	12	7
done	12	7
0	7	12
1	9	12
done	9	12
0	7	7
1	11	5
2	14	5
done	14	5
0	7	12
1	9	12
done	9	12
0	8	12
1	10	12
done	10	12
0	9	12
1	11	12
done	11	12
0	7	12
1	9	12
done	9	12
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	7	12
1	9	12
done	9	12
0	6	11
1	7	4
2	8	4
done	8	4
0	7	12
1	9	12
done	9	12
0	6	11
1	7	4
2	8	4
done	8	4
0	12	15
1	28	15
2	37	15
3	54	15
4	95	15
5	209	15
6	626	15
7	2467	15
done	5001	15
0	11	15
1	17	15
2	23	15
3	38	15
4	63	15
5	104	15
6	166	15
7	334	15
8	1652	15
done	5000	15
0	12	15
1	28	15
2	37	15
3	54	15
4	95	15
5	211	15
6	623	15
7	2446	15
done	5000	15
0	11	15
1	17	15
2	23	15
3	38	15
4	63	15
5	104	15
6	160	15
7	328	15
8	1640	15
done	5000	15
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	9	10
2	12	7
3	17	7
4	23	7
5	33	7
6	54	7
7	110	7
8	324	7
9	1264	7
done	5000	7
0	7	12
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	7	11
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	31	9
3	48	9
4	91	9
5	212	9
6	620	9
7	2445	9
done	5001	9
0	9	13
1	17	11
2	32	11
3	45	11
4	65	11
5	86	11
6	103	11
7	126	11
8	169	11
9	231	11
10	232	11
done	232	11
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	9	10
2	12	7
3	17	7
4	23	7
5	33	7
6	54	7
7	110	7
8	324	7
9	1264	7
done	5000	7
0	7	12
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	7	11
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	31	9
3	48	9
4	91	9
5	212	9
6	620	9
7	2445	9
done	5001	9
0	9	13
1	17	11
2	32	11
3	45	11
4	65	11
5	86	11
6	103	11
7	126	11
8	169	11
9	231	11
10	232	11
done	232	11
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	8
2	19	6
3	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	16	19
1	42	19
2	127	17
3	364	17
4	1258	17
5	3428	15
done	5000	15
0	14	19
1	40	19
2	126	19
3	424	19
4	1932	15
done	5000	15
0	14	19
1	40	19
2	126	19
3	424	19
4	1932	15
done	5000	15
0	28	40
1	67	37
2	155	31
3	483	25
4	1544	19
done	5000	19
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	26
1	53	26
2	129	22
3	349	22
4	848	22
5	2118	20
done	5000	20
0	28	40
1	67	37
2	155	31
3	483	25
4	1544	19
done	5000	19
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	26
1	53	26
2	129	22
3	349	22
4	848	22
5	2118	20
done	5000	20
0	16	19
1	42	19
2	127	17
3	364	17
4	1258	17
5	3428	15
done	5000	15
0	14	19
1	40	19
2	126	19
3	424	19
4	1932	15
done	5000	15
0	14	19
1	40	19
2	126	19
3	424	19
4	1932	15
done	5000	15

prune123.0ms

Filtered

84 candidates to 160 candidates (-90.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	159	3	162

Merged error: 0.0b

Counts

162 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (sqrt (sqrt (+ x y))) (sqrt (fabs (cbrt (+ x y))))) (sqrt (sqrt (cbrt (+ x y)))))
0.4b	(* (sqrt (sqrt (+ x y))) (sqrt (fabs (cbrt (+ x y)))))
0.5b	(cbrt (+ x y))
0.5b	(cbrt (+ x y))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

40×	`sqrt-prod`
28×	`sqrt-div`
27×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
19×	`associate-r`
16×	`pow1`
15×	`add-cube-cbrt`
12×	`cbrt-prod`
11×	`add-exp-log` `associate-l` `add-cbrt-cube`
10×	`cbrt-div` `pow-prod-down` `associate-*l/`
9×	`flip3-+` `flip-+`
6×	`unswap-sqr`
5×	`sqrt-pow1` `pow1/2`
4×	`frac-times` `prod-exp` `cbrt-unprod` `distribute-lft-out` `add-log-exp`
3×	`sqrt-unprod`
2×	`pow1/3` `associate-r/` `-commutative`

Counts

4 → 105

Calls

4 calls:

20.0ms	(* (* (sqrt (sqrt (+ x y))) (sqrt (fabs (cbrt (+ x y))))) (sqrt (sqrt (cbrt (+ x y)))))
15.0ms	(* (sqrt (sqrt (+ x y))) (sqrt (fabs (cbrt (+ x y)))))
4.0ms	(cbrt (+ x y))
3.0ms	(cbrt (+ x y))

series226.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(* (* (sqrt (sqrt (+ x y))) (sqrt (fabs (cbrt (+ x y))))) (sqrt (sqrt (cbrt (+ x y)))))
64.0ms	(* (sqrt (sqrt (+ x y))) (sqrt (fabs (cbrt (+ x y)))))
36.0ms	(cbrt (+ x y))
37.0ms	(cbrt (+ x y))

simplify2.2min

Counts

117 → 117

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	10
1	9	10
done	9	10
0	9	12
1	11	12
done	11	12
0	7	10
1	9	10
done	9	10
0	11	14
1	13	14
done	13	14
0	10	13
1	15	13
2	16	13
done	16	13
0	10	13
1	14	13
2	20	13
3	28	13
4	51	13
5	109	13
6	255	13
7	718	13
8	2738	13
done	5000	13
0	13	38
1	21	23
2	48	16
3	88	16
4	140	14
5	260	14
6	650	14
7	2438	14
done	5000	14
0	11	27
1	13	27
done	13	27
0	10	13
1	12	13
done	12	13
0	11	38
1	23	38
2	52	14
3	99	14
4	113	14
5	159	14
6	293	14
7	739	14
8	2722	14
done	5000	14
0	7	10
1	9	10
done	9	10
0	10	13
1	12	13
done	12	13
0	10	13
1	12	13
done	12	13
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	14
1	13	14
done	13	14
0	11	21
1	15	21
2	17	21
done	17	21
0	11	20
1	14	13
done	14	13
0	10	13
1	12	13
done	12	13
0	8	8
1	12	7
done	12	7
0	10	13
1	12	13
done	12	13
0	7	7
1	11	5
2	14	5
done	14	5
0	10	13
1	12	13
done	12	13
0	10	13
1	12	13
done	12	13
0	9	13
1	11	13
done	11	13
0	10	13
1	12	13
done	12	13
0	9	12
1	11	12
done	11	12
0	9	12
1	11	12
done	11	12
0	10	13
1	12	13
done	12	13
0	9	12
1	11	12
done	11	12
0	10	13
1	12	13
done	12	13
0	9	12
1	11	12
done	11	12
0	13	16
1	29	16
2	38	16
3	55	16
4	96	16
5	213	16
6	632	16
7	2470	16
done	5000	16
0	12	16
1	18	16
2	24	16
3	39	16
4	64	16
5	105	16
6	163	16
7	331	16
8	1609	16
done	5000	16
0	9	16
1	14	16
2	20	16
done	20	16
0	12	19
1	17	19
2	23	19
3	25	19
done	25	19
0	9	16
1	14	16
2	20	16
done	20	16
0	12	19
1	17	19
2	23	19
3	25	19
done	25	19
0	15	22
1	20	22
2	26	22
done	26	22
0	14	21
1	20	21
2	25	21
3	29	21
done	29	21
0	13	20
1	21	20
2	34	20
3	46	20
done	46	20
0	13	20
1	20	20
2	37	20
3	59	20
4	115	20
5	254	20
6	596	20
7	1561	20
done	5000	20
0	18	59
1	32	36
2	100	25
3	353	25
4	1106	23
5	3093	23
done	5000	23
0	16	59
1	34	51
2	102	23
3	395	23
4	1180	21
5	2208	21
done	5000	21
0	14	41
1	19	41
2	25	41
done	25	41
0	13	20
1	18	20
2	24	20
done	24	20
0	14	59
1	29	59
2	99	21
3	431	21
4	1157	21
5	1648	21
6	3233	21
done	5000	21
0	9	16
1	14	16
2	20	16
done	20	16
0	13	20
1	18	20
2	24	20
done	24	20
0	13	20
1	18	20
2	24	20
done	24	20
0	17	27
1	36	27
2	51	27
3	70	27
4	111	27
5	231	27
6	640	27
7	2471	27
done	5000	27
0	13	28
1	22	24
2	37	24
3	50	24
4	70	24
5	91	24
6	108	24
7	131	24
8	174	24
9	236	24
10	237	24
done	237	24
0	20	27
1	41	27
2	62	27
3	94	27
4	160	27
5	317	27
6	791	27
7	2772	27
done	5000	27
0	14	20
1	25	18
2	40	18
3	52	18
4	69	18
5	89	18
6	106	18
7	129	18
8	172	18
9	234	18
10	235	18
done	235	18
0	20	27
1	41	27
2	62	27
3	94	27
4	158	27
5	314	27
6	790	27
7	2800	27
done	5000	27
0	14	20
1	25	18
2	40	18
3	52	18
4	69	18
5	89	18
6	106	18
7	129	18
8	172	18
9	234	18
10	235	18
done	235	18
0	16	27
1	25	27
2	37	27
3	54	27
4	79	27
5	120	27
6	176	27
7	344	27
8	1627	27
done	5000	27
0	9	12
1	12	12
2	13	12
done	13	12
0	14	28
1	21	28
2	34	28
3	44	28
done	44	28
0	14	27
1	20	20
2	26	20
3	28	20
done	28	20
0	14	25
1	19	25
2	25	25
3	27	25
done	27	25
0	13	20
1	18	20
2	24	20
done	24	20
0	14	17
1	21	16
2	27	16
3	29	16
done	29	16
0	14	17
1	21	16
2	27	16
3	29	16
done	29	16
0	14	26
1	20	20
2	26	20
3	28	20
done	28	20
0	13	20
1	18	20
2	24	20
done	24	20
0	13	16
1	20	14
2	26	14
done	26	12
0	13	20
1	18	20
2	24	20
done	24	20
0	12	15
1	19	14
2	25	14
done	25	12
0	13	20
1	18	20
2	24	20
done	24	20
0	11	14
1	18	12
2	30	12
3	36	12
done	36	12
0	9	13
1	11	13
done	11	13
0	17	23
1	36	23
2	51	23
3	70	23
4	109	23
5	221	23
6	633	23
7	2490	23
done	5000	23
0	16	23
1	25	23
2	37	23
3	54	23
4	79	23
5	120	23
6	178	23
7	346	23
8	1629	23
done	5000	23
0	16	23
1	35	23
2	50	23
3	67	23
4	108	23
5	229	23
6	634	23
7	2476	23
done	5001	23
0	15	23
1	24	23
2	36	23
3	51	23
4	76	23
5	117	23
6	177	23
7	345	23
8	1626	23
done	5000	23
0	27	40
1	66	37
2	154	31
3	484	20
4	1494	18
done	5001	18
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	27	40
1	66	37
2	154	31
3	484	20
4	1494	18
done	5001	18
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	36	64
1	88	58
2	214	45
3	696	32
4	2571	26
done	5000	26
0	16	18
1	34	15
2	55	12
3	105	10
4	198	10
5	462	10
6	1137	10
7	3889	10
done	5001	10
0	34	62
1	83	56
2	180	52
3	433	52
4	980	52
5	2618	50
done	5000	50
0	34	64
1	86	58
2	211	45
3	679	29
4	2530	25
done	5000	25
0	15	18
1	33	15
2	54	12
3	103	9
4	190	9
5	452	9
6	1109	9
7	3756	9
done	5000	9
0	47	106
1	116	97
2	295	94
3	1064	89
done	5001	78

prune149.0ms

Filtered

86 candidates to 117 candidates (-36.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	116	4	120

Merged error: 0b

Counts

120 → 4

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x y))
0.5b	(cbrt (+ x y))
0.5b	(cbrt (+ x y))
0.5b	(cbrt (+ x y))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cbrt-prod` `*-un-lft-identity`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

4 → 56

Calls

4 calls:

3.0ms	(cbrt (+ x y))
4.0ms	(cbrt (+ x y))
4.0ms	(cbrt (+ x y))
4.0ms	(cbrt (+ x y))

series148.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(cbrt (+ x y))
36.0ms	(cbrt (+ x y))
35.0ms	(cbrt (+ x y))
40.0ms	(cbrt (+ x y))

simplify1.3min

Counts

68 → 68

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	27	40
1	66	37
2	154	31
3	484	20
4	1494	18
done	5001	18
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	27	40
1	66	37
2	154	31
3	484	20
4	1494	18
done	5001	18
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	27	40
1	66	37
2	154	31
3	484	20
4	1494	18
done	5001	18
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	27	40
1	66	37
2	154	31
3	484	20
4	1494	18
done	5001	18
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune103.0ms

Filtered

52 candidates to 68 candidates (-30.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	68	4	72

Merged error: 0b

Counts

72 → 4

regimes183.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	4	4
1	5	4
done	5	4

end0.0ms

sample783.0ms

Algorithm

intervals

Results

168.0ms	8090×	body	80	nan
165.0ms	8000×	body	80	valid

Details

sample27.0ms

simplify2.0ms

prune9.0ms

localize4.0ms

rewrite4.0ms

series7.0ms

simplify22.6s

prune23.0ms

localize7.0ms

rewrite40.0ms

series62.0ms

simplify2.0min

prune123.0ms

localize14.0ms

rewrite47.0ms

series226.0ms

simplify2.2min

prune149.0ms

localize21.0ms

rewrite16.0ms

series148.0ms

simplify1.3min

prune103.0ms

regimes183.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample783.0ms

Profiling