Details

sample38.0ms

Algorithm

intervals

Results

9.0ms	286×	body	80	valid
9.0ms	299×	body	80	nan

simplify123.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	13	8
2	23	8
3	38	8
4	55	8
5	70	8
6	79	8
7	96	8
8	115	8
9	122	8
10	126	8
11	130	8
done	130	8

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

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- 1.0 x) (* y (sqrt x)))
0.2b	(* y (sqrt x))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 37

Calls

2 calls:

7.0ms	(+ (- 1.0 x) (* y (sqrt x)))
5.0ms	(* y (sqrt x))

series15.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (- 1.0 x) (* y (sqrt x)))
8.0ms	(* y (sqrt x))

simplify44.5s

Counts

43 → 43

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	10	11
1	18	10
2	35	9
3	66	9
4	155	9
5	420	9
6	1331	9
done	5001	9
0	9	10
1	20	9
2	38	9
3	81	9
4	187	9
5	501	9
6	1717	9
done	5001	9
0	8	9
1	14	9
2	24	9
3	39	9
4	56	9
5	71	9
6	80	9
7	97	9
8	116	9
9	123	9
10	127	9
11	131	9
done	131	9
0	8	9
1	17	9
2	39	9
3	81	9
4	162	9
5	372	9
6	1241	9
done	5000	9
0	9	19
1	15	19
2	25	19
3	40	19
4	57	19
5	72	19
6	81	19
7	98	19
8	117	19
9	124	19
10	128	19
11	132	19
done	132	19
0	8	9
1	14	9
2	24	9
3	39	9
4	56	9
5	71	9
6	80	9
7	97	9
8	116	9
9	123	9
10	127	9
11	131	9
done	131	9
0	9	26
1	28	26
2	98	10
3	478	10
4	2716	10
done	5000	10
0	8	9
1	14	9
2	24	9
3	39	9
4	56	9
5	71	9
6	80	9
7	97	9
8	116	9
9	123	9
10	127	9
11	131	9
done	131	9
0	8	9
1	14	9
2	24	9
3	39	9
4	56	9
5	71	9
6	80	9
7	97	9
8	116	9
9	123	9
10	127	9
11	131	9
done	131	9
0	10	12
1	30	12
2	81	12
3	209	12
4	459	12
5	1281	12
done	5000	12
0	11	26
1	31	21
2	89	21
3	240	18
4	619	18
5	1801	18
done	5000	18
0	9	17
1	24	17
2	69	13
3	178	13
4	503	13
5	1610	13
done	5001	13
0	7	8
1	14	8
2	31	8
3	47	8
4	64	8
5	82	8
6	97	8
7	123	8
8	131	8
9	135	8
10	139	8
done	139	8
0	6	7
1	8	7
2	9	6
done	9	6
0	6	7
1	8	7
2	9	6
done	9	6
0	5	6
1	8	6
2	15	6
done	15	6
0	18	25
1	54	25
2	171	23
3	471	21
4	1358	19
5	4940	17
done	5000	17
0	16	21
1	43	21
2	113	21
3	239	19
4	615	17
5	1894	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	8	9
1	17	9
2	30	9
3	36	9
4	42	9
5	68	9
6	132	9
7	229	9
8	258	9
9	292	9
10	316	9
11	417	9
12	803	9
13	832	9
done	832	9
0	10	13
1	27	13
2	60	13
3	124	11
4	274	11
5	683	11
6	2275	11
done	5000	11
0	10	13
1	27	13
2	62	13
3	139	11
4	388	11
5	1309	11
done	5000	11

prune75.0ms

Filtered

36 candidates to 43 candidates (-19.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	5	44

Merged error: 0.0b

Counts

44 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

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

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:

2.0ms	(sqrt (sqrt x))
2.0ms	(sqrt (sqrt x))
7.0ms	(* y (sqrt (sqrt x)))
10.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

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

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	171	23
3	471	21
4	1358	19
5	4940	17
done	5000	17
0	16	21
1	43	21
2	113	21
3	239	19
4	615	17
5	1894	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	126	5
5	271	5
6	644	5
7	1697	5
done	5000	5
0	11	12
1	22	10
2	38	7
3	78	5
4	147	5
5	348	5
6	813	5
7	2584	5
done	5000	5
0	23	28
1	54	28
2	134	28
3	276	28
4	495	24
5	809	24
6	1437	24
7	3915	24
done	5000	24
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	170	3
6	350	3
7	888	3
8	3029	3
done	5000	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	349	22
4	848	22
5	2118	20
done	5000	20
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	170	3
6	350	3
7	888	3
8	3029	3
done	5000	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	349	22
4	848	22
5	2118	20
done	5000	20

prune100.0ms

Filtered

63 candidates to 100 candidates (-58.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	99	6	105

Merged error: 0.0b

Counts

105 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))
0.3b	(* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))
0.5b	(cbrt (sqrt x))
0.5b	(cbrt (sqrt x))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

22×	`sqrt-prod`
21×	`add-sqr-sqrt`
20×	`cbrt-prod`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`associate-l` `add-log-exp` `unswap-sqr`
2×	`pow1/3` `*-commutative`

Counts

4 → 80

Calls

4 calls:

8.0ms	(* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))
16.0ms	(* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))
2.0ms	(cbrt (sqrt x))
2.0ms	(cbrt (sqrt x))

series91.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))
24.0ms	(* (* y (sqrt (sqrt x))) (* (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))))
19.0ms	(cbrt (sqrt x))
18.0ms	(cbrt (sqrt x))

simplify1.2min

Counts

92 → 92

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
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	2
done	5	2
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	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
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	8
done	5	8
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	2
done	5	2
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	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	10	15
1	17	15
2	36	15
3	59	15
4	62	15
done	62	15
0	10	15
1	17	15
2	36	15
3	59	15
4	62	15
done	62	15
0	10	15
1	17	15
2	36	15
3	59	15
4	62	15
done	62	15
0	10	15
1	17	15
2	36	15
3	59	15
4	62	15
done	62	15
0	14	19
1	21	19
2	40	19
3	65	19
4	68	19
done	68	19
0	13	18
1	21	18
2	34	18
3	57	18
4	70	18
done	70	18
0	13	18
1	21	18
2	34	18
3	58	18
4	71	18
done	71	18
0	12	17
1	21	17
2	31	17
3	53	17
4	66	17
5	67	17
done	67	17
0	11	16
1	21	16
2	53	16
3	107	16
4	154	16
5	157	16
done	157	16
0	11	16
1	20	16
2	52	16
3	116	16
4	244	16
5	563	16
6	1392	16
7	3856	16
done	5001	16
0	18	47
1	37	36
2	145	23
3	751	23
4	4252	19
done	5000	19
0	16	47
1	39	42
2	148	21
3	795	21
4	4559	19
done	5000	19
0	16	47
1	39	41
2	148	21
3	755	21
4	4501	19
done	5000	19
0	14	47
1	41	47
2	151	19
3	802	19
4	4688	17
done	5000	17
0	12	33
1	19	33
2	38	33
3	63	33
4	66	33
done	66	33
0	11	16
1	18	16
2	37	16
3	60	16
4	63	16
done	63	16
0	12	47
1	29	47
2	148	17
3	902	17
done	5000	17
0	11	16
1	18	16
2	37	16
3	60	16
4	63	16
done	63	16
0	11	16
1	18	16
2	37	16
3	60	16
4	63	16
done	63	16
0	8	10
1	12	10
2	18	10
3	20	10
done	20	10
0	8	13
1	12	13
2	18	13
3	20	13
done	20	13
0	6	9
1	7	9
done	7	9
0	8	11
1	9	11
done	9	11
0	7	10
1	11	10
2	12	10
done	12	10
0	7	10
1	10	10
2	16	10
3	24	10
4	47	10
5	103	10
6	241	10
7	700	10
8	2704	10
done	5001	10
0	10	29
1	17	23
2	43	13
3	85	13
4	138	11
5	269	11
6	686	11
7	2467	11
done	5000	11
0	8	21
1	9	21
done	9	21
0	7	10
1	8	10
done	8	10
0	8	29
1	19	29
2	48	11
3	92	11
4	108	11
5	154	11
6	292	11
7	758	11
8	2777	11
done	5001	11
0	7	10
1	8	10
done	8	10
0	7	10
1	8	10
done	8	10
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	8	16
1	11	16
2	13	16
done	13	16
0	8	14
1	9	14
done	9	14
0	10	13
1	12	10
done	12	10
0	8	10
1	9	10
done	9	10
0	9	9
1	12	8
done	12	8
0	8	10
1	9	10
done	9	10
0	8	8
1	11	7
done	11	7
0	8	15
1	10	10
done	10	10
0	7	10
1	8	10
done	8	10
0	7	7
1	10	6
done	10	6
0	7	10
1	8	10
done	8	10
0	6	6
1	9	4
2	12	4
done	12	4
0	7	10
1	8	10
done	8	10
0	7	10
1	8	10
done	8	10
0	6	9
1	7	9
done	7	9
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	170	3
6	350	3
7	888	3
8	3034	3
done	5000	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	64	26
2	167	22
3	559	22
4	2021	22
done	5001	22
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	170	3
6	350	3
7	888	3
8	3034	3
done	5000	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	64	26
2	167	22
3	559	22
4	2021	22
done	5001	22
0	14	15
1	35	14
2	54	12
3	108	9
4	282	9
5	931	9
6	4407	9
done	5000	9
0	15	17
1	34	15
2	61	12
3	121	9
4	261	9
5	1026	9
6	4592	9
done	5000	9
0	29	51
1	84	45
2	243	45
3	784	45
4	3027	36
done	5000	36
0	12	13
1	29	12
2	42	10
3	78	8
4	192	8
5	579	8
6	2030	8
done	5001	8
0	13	15
1	28	13
2	49	10
3	97	8
4	206	8
5	647	8
6	2490	8
done	5000	8
0	26	43
1	69	40
2	184	40
3	479	40
4	1459	33
done	5001	33

prune117.0ms

Filtered

68 candidates to 92 candidates (-35.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	92	6	98

Merged error: 0.0b

Counts

98 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))
3.8b	(cbrt (* y (sqrt x)))
3.8b	(cbrt (* y (sqrt x)))
3.8b	(cbrt (* y (sqrt x)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 58

Calls

4 calls:

6.0ms	(* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))
4.0ms	(cbrt (* y (sqrt x)))
4.0ms	(cbrt (* y (sqrt x)))
4.0ms	(cbrt (* y (sqrt x)))

series113.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))
27.0ms	(cbrt (* y (sqrt x)))
31.0ms	(cbrt (* y (sqrt x)))
28.0ms	(cbrt (* y (sqrt x)))

simplify54.6s

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	3
done	3	3
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	9	17
2	11	7
3	16	4
4	22	4
5	32	4
6	53	4
7	113	4
8	334	4
9	1261	4
done	5000	4
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	2	2
done	2	2
0	3	3
done	3	3
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	9	17
2	11	7
3	16	4
4	22	4
5	32	4
6	53	4
7	113	4
8	334	4
9	1261	4
done	5000	4
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	2	2
done	2	2
0	3	3
done	3	3
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	9	17
2	11	7
3	16	4
4	22	4
5	32	4
6	53	4
7	113	4
8	334	4
9	1261	4
done	5000	4
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	5	9
1	13	9
2	24	5
done	24	5
0	6	11
1	7	11
done	7	11
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	12
2	12	8
3	13	8
done	13	8
0	7	12
1	10	12
2	14	12
3	19	12
4	37	12
5	77	12
6	182	12
7	564	12
8	2244	12
done	5000	12
0	5	9
1	13	9
2	24	5
done	24	5
0	8	25
1	9	25
done	9	25
0	7	12
1	8	12
done	8	12
0	8	35
1	17	35
2	25	13
3	39	7
4	101	7
5	232	5
6	522	5
7	1750	5
done	5001	5
0	7	12
1	9	6
done	9	6
0	7	12
1	9	6
done	9	6
0	3	5
done	3	5
0	4	7
done	4	7
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	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	11
done	7	11
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
done	5	1
0	3	3
1	6	1
done	6	1
0	7	8
1	9	8
done	9	8
0	8	19
1	12	19
2	14	19
done	14	19
0	7	12
1	9	12
done	9	12
0	7	7
1	11	5
2	14	5
done	14	5
0	7	9
1	9	9
done	9	9
0	7	12
1	9	12
done	9	12
0	7	12
1	9	12
done	9	12
0	6	11
1	7	11
done	7	11
0	15	17
1	40	14
2	60	10
3	116	6
4	284	6
5	917	6
6	3628	6
done	5000	6
0	17	21
1	38	16
2	69	10
3	151	6
4	341	6
5	1088	6
6	4436	6
done	5001	6
0	27	59
1	68	59
2	234	59
3	823	56
4	4863	37
done	5000	37
0	15	17
1	40	14
2	60	10
3	116	6
4	284	6
5	917	6
6	3628	6
done	5000	6
0	17	21
1	38	16
2	69	10
3	151	6
4	341	6
5	1088	6
6	4436	6
done	5001	6
0	27	59
1	68	59
2	234	59
3	823	56
4	4863	37
done	5000	37
0	15	17
1	40	14
2	60	10
3	116	6
4	284	6
5	917	6
6	3628	6
done	5000	6
0	17	21
1	38	16
2	69	10
3	151	6
4	341	6
5	1088	6
6	4436	6
done	5001	6
0	27	59
1	68	59
2	234	59
3	823	56
4	4863	37
done	5000	37
0	13	13
1	29	12
2	65	10
3	114	7
4	196	6
5	455	6
6	1499	6
done	5000	6
0	15	17
1	32	14
2	65	12
3	178	9
4	378	6
5	751	6
6	1633	6
7	4449	6
done	5001	6
0	32	77
1	81	77
2	301	71
3	1117	65
done	5000	65

prune88.0ms

Filtered

54 candidates to 70 candidates (-29.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	70	6	76

Merged error: 0.0b

Counts

76 → 6

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

end0.0ms

sample1.1s

Algorithm

intervals

Results

295.0ms	8516×	body	80	valid
273.0ms	8627×	body	80	nan
0.0ms	2×	body	1280	valid

Details

sample38.0ms

simplify123.0ms

prune4.0ms

localize6.0ms

rewrite13.0ms

series15.0ms

simplify44.5s

prune75.0ms

localize9.0ms

rewrite25.0ms

series54.0ms

simplify1.2min

prune100.0ms

localize14.0ms

rewrite32.0ms

series91.0ms

simplify1.2min

prune117.0ms

localize11.0ms

rewrite19.0ms

series113.0ms

simplify54.6s

prune88.0ms

regimes157.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling