Details

sample45.0ms

Algorithm

intervals

Results

11.0ms	274×	body	80	valid
10.0ms	262×	body	80	nan

simplify77.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	21	10
2	45	10
3	65	10
4	91	10
5	110	10
6	122	10
done	122	10

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.1b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* y (sqrt z)))
0.3b	(* y (sqrt z))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
6×	`associate-r`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `sqrt-prod` `add-cbrt-cube` `add-log-exp`
3×	`associate-l`
2×	`unswap-sqr`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+`

Counts

2 → 33

Calls

2 calls:

3.0ms	(+ x (* y (sqrt z)))
8.0ms	(* y (sqrt z))

series17.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(+ x (* y (sqrt z)))
8.0ms	(* y (sqrt z))

simplify48.2s

Counts

39 → 39

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	10
2	38	8
3	70	8
4	98	8
5	144	8
6	264	8
7	653	8
8	2091	8
done	5000	8
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	88	6
4	105	6
5	149	6
6	280	6
7	735	6
8	2739	6
done	5000	6
0	5	5
1	6	5
done	6	5
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	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
0	5	5
1	6	5
done	6	5
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	4	4
1	5	4
done	5	4
0	8	8
1	14	7
2	21	7
3	33	7
4	68	7
5	158	7
6	413	7
7	1266	7
8	4954	7
done	5000	7
0	7	7
1	9	7
done	9	7
0	7	7
1	12	7
2	17	7
3	24	7
4	42	7
5	92	7
6	217	7
7	583	7
8	1952	7
done	5001	7
0	8	15
1	10	15
done	10	15
0	7	7
1	9	7
done	9	7
0	8	20
1	23	20
2	71	8
3	222	8
4	601	8
5	1526	8
6	3299	8
done	5000	8
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	9	10
1	27	10
2	65	10
3	147	10
4	274	10
5	706	10
6	2716	10
done	5000	10
0	10	20
1	28	15
2	70	15
3	123	14
4	157	14
5	178	14
6	199	14
7	252	14
8	397	14
9	660	14
10	727	14
done	727	14
0	8	13
1	21	13
2	51	9
3	104	9
4	165	9
5	264	9
6	374	9
7	616	9
8	2096	9
done	5000	9
0	6	6
1	9	6
2	16	6
done	16	6
0	18	25
1	54	25
2	167	23
3	458	19
4	1344	19
5	4835	17
done	5000	17
0	16	21
1	43	21
2	113	21
3	240	19
4	614	17
5	1891	17
done	5000	17
0	16	21
1	44	21
2	119	21
3	286	19
4	836	17
5	2645	17
done	5000	17
0	1	1
done	1	1
0	11	13
1	27	13
2	59	13
3	117	11
4	258	11
5	654	11
6	2091	11
done	5000	11
0	11	13
1	28	13
2	65	13
3	167	11
4	481	11
5	1404	11
6	4944	11
done	5000	11

prune87.0ms

Filtered

33 candidates to 39 candidates (-18.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	32	7	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	8	40

Merged error: 0.0b

Counts

40 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt z))
0.1b	(sqrt (sqrt z))
0.3b	(* y (sqrt (sqrt z)))
0.3b	(* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

41×	`sqrt-prod`
25×	`add-sqr-sqrt`
18×	`associate-r`
15×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
8×	`sqrt-pow1`
4×	`rem-sqrt-square` `pow1/2` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`unswap-sqr`
2×	`*-commutative`

Counts

4 → 88

Calls

4 calls:

3.0ms	(sqrt (sqrt z))
2.0ms	(sqrt (sqrt z))
7.0ms	(* y (sqrt (sqrt z)))
10.0ms	(* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sqrt (sqrt z))
17.0ms	(sqrt (sqrt z))
12.0ms	(* y (sqrt (sqrt z)))
8.0ms	(* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))

simplify1.2min

Counts

100 → 100

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	9
1	10	9
2	11	4
3	12	4
done	12	4
0	6	9
1	10	9
2	11	4
3	12	4
done	12	4
0	8	12
1	12	12
2	15	9
3	16	9
done	16	9
0	8	11
1	12	11
2	15	11
3	18	9
4	19	9
done	19	9
0	7	10
1	14	10
2	21	5
3	26	5
4	28	5
5	29	5
done	29	5
0	7	10
1	13	10
2	24	5
3	43	5
4	87	5
5	199	5
6	475	5
7	1316	5
done	5000	5
0	10	29
1	22	19
2	80	12
3	219	8
4	437	8
5	1108	8
6	3733	6
done	5001	6
0	10	29
1	26	19
2	92	13
3	269	13
4	449	6
5	1002	6
6	2977	6
done	5000	6
0	8	21
1	12	21
2	13	11
3	14	11
done	14	11
0	7	10
1	11	10
2	12	5
3	13	5
done	13	5
0	8	29
1	21	29
2	77	6
3	214	6
4	352	6
5	516	6
6	1323	6
7	4345	6
done	5000	6
0	7	10
1	11	10
2	12	5
3	13	5
done	13	5
0	7	10
1	11	10
2	12	5
3	13	5
done	13	5
0	8	15
1	14	15
2	27	15
3	37	15
done	37	15
0	9	14
1	14	10
2	20	10
done	20	10
0	10	13
1	15	10
2	21	10
done	21	10
0	7	10
1	11	10
2	17	10
done	17	10
0	9	9
1	15	7
2	21	7
done	21	5
0	7	10
1	11	10
2	17	10
done	17	10
0	8	8
1	14	7
2	20	7
3	22	5
4	27	5
done	27	5
0	7	10
1	11	10
2	17	10
done	17	10
0	7	7
1	13	5
2	25	5
3	31	5
done	31	5
0	4	7
done	4	2
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5001	6
0	9	17
1	16	12
2	42	9
3	79	9
4	134	7
5	261	7
6	668	7
7	2500	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	90	7
4	106	7
5	152	7
6	289	7
7	748	7
8	2723	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	11
1	10	11
2	12	11
done	12	11
0	7	10
1	9	6
done	9	6
0	7	9
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
done	8	3
0	6	6
1	7	6
done	7	6
0	4	4
1	7	3
done	7	3
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	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	4	4
done	4	4
0	4	4
done	4	4
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	6
2	9	5
3	14	5
4	20	5
5	30	5
6	51	5
7	114	5
8	325	5
9	1252	5
done	5000	5
0	5	8
1	6	4
done	6	4
0	4	4
done	4	4
0	5	7
1	6	4
done	6	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
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	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	6
2	9	5
3	14	5
4	20	5
5	30	5
6	51	5
7	114	5
8	325	5
9	1252	5
done	5000	5
0	5	8
1	6	4
done	6	4
0	4	4
done	4	4
0	5	7
1	6	4
done	6	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
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	4	4
done	4	4
0	4	4
done	4	4
0	18	25
1	54	25
2	167	23
3	458	19
4	1344	19
5	4835	17
done	5000	17
0	16	21
1	43	21
2	113	21
3	240	19
4	614	17
5	1891	17
done	5000	17
0	16	21
1	44	21
2	119	21
3	286	19
4	836	17
5	2645	17
done	5000	17
0	10	10
1	23	9
2	31	7
3	59	5
4	128	5
5	284	5
6	654	5
7	1723	5
done	5000	5
0	11	12
1	22	10
2	38	7
3	78	5
4	147	5
5	350	5
6	800	5
7	2656	5
done	5001	5
0	23	28
1	54	28
2	134	28
3	274	28
4	507	24
5	831	24
6	1438	24
7	3893	24
done	5000	24
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3050	3
done	5001	3
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	347	22
4	795	22
5	2142	20
done	5000	20
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3050	3
done	5001	3
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	347	22
4	795	22
5	2142	20
done	5000	20

prune137.0ms

Filtered

63 candidates to 100 candidates (-58.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	97	3	100
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	98	10	108

Merged error: 0.0b

Counts

108 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt (sqrt z)))
0.3b	(* y (sqrt (sqrt z)))
0.3b	(* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
0.3b	(* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

69×	`sqrt-prod`
33×	`associate-r`
28×	`add-sqr-sqrt`
23×	`pow1`
20×	`add-exp-log` `add-cbrt-cube`
19×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`sqrt-pow1`
5×	`associate-l`
4×	`add-log-exp`
3×	`rem-sqrt-square` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

3.0ms	(sqrt (sqrt (sqrt z)))
7.0ms	(* y (sqrt (sqrt z)))
13.0ms	(* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
23.0ms	(* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))

series60.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(sqrt (sqrt (sqrt z)))
13.0ms	(* y (sqrt (sqrt z)))
22.0ms	(* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
8.0ms	(* (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))

simplify2.1min

Counts

120 → 120

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	15
1	15	15
2	29	9
3	39	4
4	49	4
5	72	4
6	127	4
7	285	4
8	799	4
9	3050	4
done	5000	4
0	8	15
1	15	15
2	29	9
3	39	4
4	49	4
5	72	4
6	127	4
7	285	4
8	799	4
9	3050	4
done	5000	4
0	8	15
1	15	15
2	29	9
3	39	4
4	49	4
5	72	4
6	127	4
7	285	4
8	799	4
9	3050	4
done	5000	4
0	11	19
1	18	19
2	34	15
3	48	15
done	48	15
0	10	18
1	18	18
2	28	14
3	44	14
4	50	14
done	50	14
0	10	17
1	17	17
2	32	17
3	54	14
4	73	14
5	74	14
done	74	14
0	9	16
1	19	16
2	42	10
3	71	5
4	103	5
5	136	5
6	220	5
7	481	5
8	1341	5
9	4841	5
done	5000	5
0	9	16
1	18	16
2	44	10
3	84	5
4	181	5
5	444	5
6	1116	5
7	3463	5
done	5000	5
0	14	47
1	32	30
2	135	12
3	550	9
4	1488	8
done	5001	8
0	12	47
1	34	35
2	139	14
3	633	13
4	1500	8
5	4552	6
done	5000	6
0	12	47
1	31	35
2	135	17
3	568	14
4	1476	6
5	4270	6
done	5000	6
0	10	33
1	17	33
2	31	21
3	41	11
4	51	11
5	74	11
6	131	11
7	294	11
8	819	11
9	3094	11
done	5000	11
0	9	16
1	16	16
2	30	10
3	40	5
4	50	5
5	73	5
6	128	5
7	287	5
8	814	5
9	3105	5
done	5000	5
0	10	47
1	26	47
2	106	11
3	464	6
4	1147	6
5	2053	6
done	5001	6
0	9	16
1	16	16
2	30	10
3	40	5
4	50	5
5	73	5
6	128	5
7	287	5
8	814	5
9	3105	5
done	5000	5
0	9	16
1	16	16
2	30	10
3	40	5
4	50	5
5	73	5
6	128	5
7	287	5
8	814	5
9	3105	5
done	5000	5
0	10	22
1	19	22
2	48	22
3	111	22
4	153	22
done	153	22
0	11	21
1	19	16
2	39	16
3	62	16
4	63	16
done	63	16
0	12	20
1	20	16
2	40	16
3	65	16
4	70	16
done	70	16
0	13	19
1	21	16
2	41	16
3	66	16
4	67	16
done	67	16
0	9	16
1	16	16
2	36	16
3	60	16
4	66	16
done	66	16
0	12	15
1	21	12
2	41	12
3	68	10
4	89	10
done	89	10
0	9	16
1	16	16
2	36	16
3	60	16
4	66	16
done	66	16
0	11	14
1	20	12
2	40	12
3	64	10
4	87	10
done	87	10
0	9	16
1	16	16
2	36	16
3	60	16
4	66	16
done	66	16
0	10	13
1	19	12
2	39	12
3	66	10
4	91	10
done	91	10
0	9	16
1	16	16
2	36	16
3	60	16
4	66	16
done	66	16
0	9	12
1	18	10
2	44	10
3	73	10
4	88	10
done	88	10
0	5	9
done	5	3
0	7	10
1	11	10
2	17	10
done	17	10
0	7	10
1	11	10
2	17	10
done	17	10
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	9	12
1	14	12
2	19	12
3	23	12
done	23	12
0	8	11
1	15	11
2	28	11
3	40	11
4	42	11
done	42	11
0	8	11
1	14	11
2	31	11
3	53	11
4	109	11
5	250	11
6	593	11
7	1559	11
done	5001	11
0	13	32
1	26	21
2	100	14
3	365	12
4	902	10
5	3244	10
done	5000	10
0	11	32
1	28	26
2	105	14
3	422	14
4	893	10
5	2492	10
done	5001	10
0	9	23
1	13	23
2	19	23
done	19	23
0	8	11
1	12	11
2	18	11
done	18	11
0	9	32
1	23	32
2	93	12
3	358	10
4	729	10
5	1129	10
6	3923	10
done	5000	10
0	8	11
1	12	11
2	18	11
done	18	11
0	8	11
1	12	11
2	18	11
done	18	11
0	9	17
1	15	17
2	28	17
3	40	17
done	40	17
0	9	16
1	14	11
2	20	11
done	20	11
0	10	15
1	15	11
2	21	11
done	21	11
0	11	14
1	16	11
2	22	11
done	22	11
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	10	10
1	16	7
2	22	7
3	24	5
4	29	5
done	29	5
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	9	9
1	15	7
2	21	7
done	21	5
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	8	8
1	14	7
2	20	7
3	22	5
4	27	5
done	27	5
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	7
1	13	5
2	25	5
3	31	5
done	31	5
0	5	8
1	6	8
done	6	8
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5001	6
0	9	17
1	16	12
2	42	9
3	79	9
4	134	7
5	261	7
6	668	7
7	2500	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	90	7
4	106	7
5	152	7
6	289	7
7	748	7
8	2723	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	11
1	10	11
2	12	11
done	12	11
0	7	10
1	9	6
done	9	6
0	7	9
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
done	8	3
0	6	6
1	7	6
done	7	6
0	4	4
1	7	3
done	7	3
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	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
done	5	5
0	5	5
done	5	5
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	8
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	6	10
1	7	5
done	7	5
0	5	5
done	5	5
0	6	9
1	7	5
done	7	5
0	5	5
done	5	5
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	1
done	6	1
0	4	4
done	4	4
0	5	5
done	5	5
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	4	4
done	4	4
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	8	3
2	9	1
done	9	1
0	4	5
1	10	3
2	11	1
done	11	1
0	5	7
1	12	3
2	17	1
done	17	1
0	5	5
done	5	5
0	5	5
done	5	5
0	18	25
1	54	25
2	167	23
3	458	19
4	1344	19
5	4835	17
done	5000	17
0	16	21
1	43	21
2	113	21
3	240	19
4	614	17
5	1891	17
done	5000	17
0	16	21
1	44	21
2	119	21
3	286	19
4	836	17
5	2645	17
done	5000	17
0	12	12
1	26	11
2	43	7
3	88	5
4	198	5
5	476	5
6	1349	5
7	4354	5
done	5000	5
0	13	14
1	25	12
2	50	10
3	138	7
4	311	5
5	755	5
6	2086	5
done	5000	5
0	26	33
1	72	33
2	188	33
3	483	33
4	1506	29
done	5001	29
0	10	10
1	23	9
2	31	7
3	59	5
4	128	5
5	284	5
6	654	5
7	1723	5
done	5000	5
0	11	12
1	22	10
2	38	7
3	78	5
4	147	5
5	350	5
6	800	5
7	2656	5
done	5001	5
0	23	28
1	54	28
2	134	28
3	274	28
4	507	24
5	831	24
6	1438	24
7	3893	24
done	5000	24
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3051	3
done	5001	3
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	29
1	61	29
2	164	25
3	558	25
4	1979	25
done	5000	25

prune148.0ms

Filtered

74 candidates to 120 candidates (-62.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	2	5	7
Picked	1	0	1
Done	0	2	2
Total	121	9	130

Merged error: 0b

Counts

130 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt z))
0.1b	(sqrt (sqrt (sqrt z)))
0.2b	(* (pow z 3/8) y)
0.3b	(* (* (pow z 3/8) y) (sqrt (sqrt (sqrt z))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

49×	`sqrt-prod`
26×	`add-sqr-sqrt`
19×	`add-exp-log`
16×	`add-cube-cbrt` `*-un-lft-identity`
15×	`associate-r`
13×	`sqrt-pow1`
11×	`pow1` `add-cbrt-cube`
10×	`prod-exp`
8×	`associate-l`
5×	`rem-sqrt-square` `pow1/2`
4×	`unpow-prod-down` `cbrt-unprod` `add-log-exp`
3×	`unswap-sqr`
2×	`pow-to-exp` `pow-exp` `*-commutative` `sqr-pow`
1×	`pow-prod-down`

Counts

4 → 97

Calls

4 calls:

3.0ms	(sqrt (sqrt z))
3.0ms	(sqrt (sqrt (sqrt z)))
6.0ms	(* (pow z 3/8) y)
13.0ms	(* (* (pow z 3/8) y) (sqrt (sqrt (sqrt z))))

series85.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sqrt (sqrt z))
18.0ms	(sqrt (sqrt (sqrt z)))
28.0ms	(* (pow z 3/8) y)
22.0ms	(* (* (pow z 3/8) y) (sqrt (sqrt (sqrt z))))

simplify4.4min

Counts

109 → 109

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	18	10
2	36	10
3	71	10
4	177	10
5	542	10
6	1916	10
done	5000	10
0	12	13
1	17	13
2	23	13
3	25	13
done	25	13
0	12	13
1	17	13
2	23	13
3	25	13
done	25	13
0	12	13
1	23	13
2	38	13
3	64	13
4	139	13
5	381	13
6	1192	13
7	4472	13
done	5001	13
0	11	12
1	21	12
2	40	12
3	78	12
4	191	12
5	542	12
6	1790	12
done	5000	12
0	10	11
1	22	11
2	47	11
3	105	11
4	255	11
5	779	11
6	2658	11
done	5000	11
0	10	11
1	21	11
2	49	11
3	114	11
4	322	11
5	1075	11
6	4550	11
done	5000	11
0	15	32
1	36	22
2	123	16
3	542	16
4	3246	14
done	5001	14
0	13	32
1	35	26
2	127	14
3	617	14
4	3640	12
done	5000	12
0	11	23
1	20	23
2	38	23
3	75	23
4	182	23
5	545	23
6	1914	23
done	5000	23
0	10	11
1	19	11
2	37	11
3	74	11
4	178	11
5	544	11
6	1898	11
done	5001	11
0	11	32
1	30	32
2	112	12
3	599	12
4	3322	12
done	5000	12
0	10	11
1	19	11
2	37	11
3	74	11
4	178	11
5	544	11
6	1898	11
done	5001	11
0	10	11
1	19	11
2	37	11
3	74	11
4	178	11
5	544	11
6	1898	11
done	5001	11
0	11	17
1	22	17
2	47	17
3	106	17
4	285	17
5	889	17
6	3197	17
done	5000	17
0	11	16
1	21	11
2	39	11
3	76	11
4	179	11
5	529	11
6	1835	11
done	5000	11
0	11	15
1	21	11
2	39	11
3	76	11
4	179	11
5	529	11
6	1835	11
done	5000	11
0	11	14
1	21	11
2	39	11
3	76	11
4	179	11
5	529	11
6	1835	11
done	5000	11
0	10	11
1	19	11
2	37	11
3	74	11
4	178	11
5	538	11
6	1862	11
done	5001	11
0	10	10
1	21	7
2	39	7
3	78	5
4	176	5
5	449	5
6	1317	5
7	4526	5
done	5000	5
0	10	11
1	19	11
2	37	11
3	74	11
4	178	11
5	538	11
6	1862	11
done	5001	11
0	9	9
1	20	7
2	38	7
3	75	5
4	174	5
5	454	5
6	1301	5
7	4574	5
done	5000	5
0	10	11
1	19	11
2	37	11
3	74	11
4	178	11
5	538	11
6	1862	11
done	5001	11
0	8	8
1	19	7
2	37	7
3	72	5
4	166	5
5	447	5
6	1293	5
7	4635	5
done	5001	5
0	10	11
1	19	11
2	37	11
3	74	11
4	178	11
5	538	11
6	1862	11
done	5001	11
0	7	7
1	18	5
2	42	5
3	74	5
4	166	5
5	416	5
6	1263	5
7	4442	5
done	5000	5
0	6	6
1	7	6
done	7	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	24	7
3	42	7
4	93	7
5	245	7
6	750	7
7	2748	7
done	5001	7
0	6	6
1	15	6
2	30	6
3	60	6
4	146	6
5	403	6
6	1276	6
7	4914	6
done	5000	6
0	6	6
1	14	6
2	31	6
3	65	6
4	171	6
5	515	6
6	1968	6
done	5000	6
0	9	17
1	24	13
2	70	9
3	220	9
4	943	7
5	4115	7
done	5001	7
0	7	13
1	13	13
2	23	13
3	41	13
4	91	13
5	237	13
6	756	13
7	3056	13
done	5000	13
0	6	6
1	12	6
2	22	6
3	40	6
4	87	6
5	235	6
6	767	6
7	3057	6
done	5000	6
0	7	17
1	23	17
2	76	7
3	263	7
4	1008	7
5	4290	7
done	5000	7
0	6	6
1	12	6
2	22	6
3	40	6
4	87	6
5	235	6
6	767	6
7	3057	6
done	5000	6
0	6	6
1	12	6
2	22	6
3	40	6
4	87	6
5	235	6
6	767	6
7	3057	6
done	5000	6
0	7	7
1	13	7
2	23	7
3	41	7
4	86	7
5	229	7
6	755	7
7	3065	7
done	5001	7
0	7	7
1	13	7
2	23	7
3	41	7
4	86	7
5	229	7
6	755	7
7	3065	7
done	5001	7
0	7	7
1	13	7
2	20	7
3	30	7
4	54	7
5	121	7
6	347	7
7	1280	7
done	5001	7
0	7	7
1	13	7
2	20	7
3	30	7
4	54	7
5	121	7
6	347	7
7	1280	7
done	5001	7
0	8	8
1	14	6
2	24	6
3	44	6
4	91	6
5	238	6
6	772	6
7	3065	6
done	5000	6
0	8	8
1	14	6
2	24	6
3	44	6
4	91	6
5	238	6
6	772	6
7	3065	6
done	5000	6
0	7	9
1	15	9
2	32	9
3	63	9
4	152	9
5	437	9
6	1494	9
done	5001	9
0	6	6
1	12	6
2	22	6
3	42	6
4	89	6
5	243	6
6	769	6
7	3069	6
done	5000	6
0	5	5
1	13	3
2	26	3
3	49	3
4	92	3
5	191	3
6	481	3
7	1626	3
done	5000	3
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	234	6
6	776	6
7	3076	6
done	5000	6
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	234	6
6	776	6
7	3076	6
done	5000	6
0	5	5
1	11	5
2	21	5
3	39	5
4	89	5
5	234	5
6	771	5
7	3066	5
done	5000	5
0	6	6
1	12	6
2	18	6
3	28	6
4	52	6
5	119	6
6	342	6
7	1275	6
done	5000	6
0	6	6
1	12	6
2	19	6
3	29	6
4	53	6
5	120	6
6	338	6
7	1272	6
done	5000	6
0	5	5
1	11	5
2	21	5
3	39	5
4	89	5
5	234	5
6	771	5
7	3066	5
done	5000	5
0	7	7
1	13	5
2	23	5
3	41	5
4	88	5
5	229	5
6	758	5
7	3076	5
done	5001	5
0	5	5
done	5	5
0	5	5
done	5	5
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	8
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	6	10
1	7	5
done	7	5
0	5	5
done	5	5
0	6	9
1	7	5
done	7	5
0	5	5
done	5	5
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	1
done	6	1
0	4	4
done	4	4
0	5	5
done	5	5
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	4	4
done	4	4
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	8	3
2	9	1
done	9	1
0	4	5
1	10	3
2	11	1
done	11	1
0	5	7
1	12	3
2	17	1
done	17	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	4	4
done	4	4
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	6
2	9	5
3	14	5
4	20	5
5	30	5
6	51	5
7	114	5
8	325	5
9	1252	5
done	5000	5
0	5	8
1	6	4
done	6	4
0	4	4
done	4	4
0	5	7
1	6	4
done	6	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
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	4	4
done	4	4
0	4	4
done	4	4
0	18	25
1	54	25
2	167	23
3	458	19
4	1344	19
5	4835	17
done	5000	17
0	16	21
1	43	21
2	113	21
3	240	19
4	614	17
5	1891	17
done	5000	17
0	34	70
1	87	70
2	262	70
3	879	70
4	4114	47
done	5000	47
0	12	12
1	26	11
2	43	7
3	88	5
4	198	5
5	476	5
6	1349	5
7	4354	5
done	5000	5
0	13	14
1	25	12
2	50	10
3	138	7
4	311	5
5	755	5
6	2086	5
done	5000	5
0	13	14
1	22	14
2	44	14
3	108	14
4	273	11
5	679	10
6	1906	5
done	5001	5
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3051	3
done	5001	3
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	29
1	61	29
2	164	25
3	558	25
4	1979	25
done	5000	25
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	171	3
6	356	3
7	897	3
8	3050	3
done	5001	3
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	347	22
4	795	22
5	2142	20
done	5000	20

prune154.0ms

Filtered

70 candidates to 109 candidates (-55.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	106	3	109
Fresh	4	2	6
Picked	0	1	1
Done	0	2	2
Total	110	8	118

Merged error: 0b

Counts

118 → 8

regimes521.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	10
1	13	10
done	13	10

end0.0ms

sample1.3s

Algorithm

intervals

Results

337.0ms	8510×	body	80	valid
314.0ms	8386×	body	80	nan

Details

sample45.0ms

simplify77.0ms

prune3.0ms

localize8.0ms

rewrite13.0ms

series17.0ms

simplify48.2s

prune87.0ms

localize15.0ms

rewrite25.0ms

series54.0ms

simplify1.2min

prune137.0ms

localize13.0ms

rewrite50.0ms

series60.0ms

simplify2.1min

prune148.0ms

localize15.0ms

rewrite27.0ms

series85.0ms

simplify4.4min

prune154.0ms

regimes521.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling