Details

sample221.0ms

Algorithm

intervals

Results

67.0ms	859×	body	80	nan
32.0ms	300×	body	80	valid

simplify10.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	21
1	38	21
2	97	21
3	358	21
4	1166	21
5	2714	21
6	4051	21
done	5001	21

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

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
0.0b	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
0.2b	(* (- b 0.5) (log c))
0.3b	(* x (log y))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-log-exp`
25×	`sum-log`
20×	`add-sqr-sqrt`
18×	`log-prod`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
10×	`pow1`
9×	`distribute-rgt-in` `distribute-lft-in`
8×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
6×	`associate-+r+` `associate-*l/`
4×	`flip3-+` `frac-add` `flip-+`
3×	`flip3--` `flip--`
2×	`+-commutative` `associate-+l+` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 95

Calls

4 calls:

16.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
18.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
8.0ms	(* (- b 0.5) (log c))
6.0ms	(* x (log y))

series308.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
206.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
11.0ms	(* (- b 0.5) (log c))
8.0ms	(* x (log y))

simplify4.0min

Counts

107 → 107

Iterations

Useful iterations: done (2.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	15	3
3	25	3
4	48	3
5	104	3
6	245	3
7	707	3
8	2686	3
done	5000	3
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
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	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	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	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
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	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
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	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	9
1	9	9
2	11	9
done	11	9
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	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	31	5
3	52	5
4	95	5
5	180	5
6	433	5
7	1310	5
done	5001	5
0	10	20
1	19	20
2	57	10
3	181	10
4	623	8
5	2395	8
done	5000	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	285	8
4	869	8
5	2731	8
done	5000	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	10
1	13	10
2	26	9
3	55	9
4	117	9
5	177	9
6	224	9
7	321	9
8	492	9
9	672	9
10	733	9
done	733	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	10
1	13	10
2	26	9
3	55	9
4	117	9
5	179	9
6	226	9
7	324	9
8	495	9
9	677	9
10	740	9
done	740	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
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	8	11
1	13	11
2	22	11
3	39	11
4	53	11
5	63	11
done	63	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
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	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	314	10
5	981	10
6	4441	10
done	5001	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3438	10
done	5001	10
0	26	27
1	52	26
2	147	22
3	559	21
4	2815	20
done	5000	20
0	25	26
1	50	25
2	137	22
3	477	21
4	2253	20
done	5000	20
0	24	25
1	49	24
2	127	22
3	413	21
4	1943	21
done	5000	21
0	23	24
1	48	23
2	127	22
3	405	21
4	1846	21
done	5000	21
0	22	23
1	45	22
2	120	22
3	439	21
4	1794	20
done	5000	20
0	21	22
1	39	22
2	98	22
3	357	22
4	1160	22
5	2745	22
6	4031	22
done	5001	22
0	21	22
1	42	22
2	115	22
3	472	21
4	1738	20
done	5000	20
0	22	45
1	40	45
2	99	45
3	360	45
4	1155	45
5	2765	45
6	4033	45
done	5000	45
0	21	22
1	39	22
2	98	22
3	357	22
4	1160	22
5	2745	22
6	4031	22
done	5001	22
0	22	65
1	53	65
2	208	23
3	1755	23
done	5000	23
0	21	22
1	39	22
2	98	22
3	357	22
4	1160	22
5	2745	22
6	4031	22
done	5001	22
0	21	22
1	39	22
2	98	22
3	357	22
4	1160	22
5	2745	22
6	4031	22
done	5001	22
0	23	25
1	55	25
2	164	25
3	817	25
done	5000	25
0	24	65
1	62	61
2	224	61
3	1553	47
done	5000	47
0	22	43
1	55	43
2	195	43
3	1307	43
done	5000	43
0	20	21
1	39	21
2	105	21
3	385	21
4	1211	21
5	3235	21
done	5001	21
0	10	10
1	15	10
2	22	10
3	31	10
4	40	10
5	43	10
6	49	10
7	66	10
8	97	10
9	139	10
10	171	10
11	187	10
12	217	10
13	239	10
done	239	10
0	22	22
1	42	21
2	114	17
3	331	16
4	1177	16
done	5000	16
0	21	21
1	40	20
2	104	17
3	281	16
4	929	16
5	4067	16
done	5000	16
0	20	20
1	39	19
2	96	17
3	255	16
4	840	16
5	2754	16
done	5000	16
0	19	19
1	38	18
2	98	17
3	281	16
4	893	16
5	2761	16
done	5000	16
0	18	18
1	32	18
2	75	18
3	205	18
4	469	18
5	891	18
6	1203	18
7	2028	18
8	4564	18
done	5000	18
0	18	18
1	35	18
2	93	17
3	290	17
4	831	16
5	2221	16
done	5000	16
0	19	37
1	33	37
2	76	37
3	205	37
4	475	37
5	908	37
6	1221	37
7	2046	37
8	4584	37
done	5000	37
0	18	18
1	32	18
2	75	18
3	205	18
4	469	18
5	891	18
6	1203	18
7	2028	18
8	4564	18
done	5000	18
0	19	53
1	46	53
2	185	19
3	1505	19
done	5001	19
0	18	18
1	32	18
2	75	18
3	205	18
4	469	18
5	891	18
6	1203	18
7	2028	18
8	4564	18
done	5000	18
0	18	18
1	32	18
2	75	18
3	205	18
4	469	18
5	891	18
6	1203	18
7	2028	18
8	4564	18
done	5000	18
0	34	70
1	94	66
2	309	66
3	1497	59
done	5000	59
0	22	44
1	55	40
2	192	40
3	960	33
done	5000	33
0	30	62
1	78	60
2	258	60
3	1301	53
done	5001	53
0	18	36
1	45	34
2	154	34
3	683	27
4	4644	27
done	5000	27
0	30	55
1	81	53
2	281	53
3	1713	42
done	5001	42
0	18	22
1	41	20
2	127	20
3	612	20
4	2360	20
done	5001	20
0	25	47
1	61	47
2	222	47
3	1368	36
done	5000	32
0	14	14
1	31	14
2	89	14
3	288	14
4	839	14
5	3535	14
done	5001	14
0	20	21
1	48	21
2	141	21
3	654	21
4	3971	21
done	5000	21
0	21	53
1	55	46
2	211	46
3	1283	42
done	5001	42
0	19	35
1	48	35
2	176	35
3	943	35
done	5002	35
0	17	17
1	32	17
2	82	17
3	231	17
4	622	17
5	1361	17
6	2563	17
done	5000	17
0	19	21
1	35	21
2	84	20
3	243	20
4	800	20
5	2738	20
done	5000	20
0	18	18
1	32	18
2	75	18
3	201	18
4	458	18
5	892	18
6	1204	18
7	2029	18
8	4581	18
done	5000	18
0	17	17
1	33	16
2	76	12
3	185	10
4	329	10
5	339	10
done	339	10
0	19	21
1	35	21
2	84	20
3	243	20
4	798	20
5	2733	20
done	5000	20
0	18	18
1	32	18
2	75	18
3	201	18
4	458	18
5	892	18
6	1204	18
7	2029	18
8	4581	18
done	5000	18
0	17	17
1	33	16
2	76	12
3	185	10
4	329	10
5	339	10
done	339	10
0	8	8
1	12	8
2	19	8
3	28	8
4	37	8
5	40	8
6	46	8
7	57	8
8	80	8
9	107	8
10	136	8
11	159	8
12	186	8
13	208	8
done	208	8
0	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	8	9
1	13	9
2	24	9
3	43	6
4	67	4
5	188	4
6	974	4
7	2318	4
done	5001	4
0	13	19
1	29	15
2	58	9
3	94	6
4	129	6
5	167	6
6	250	6
7	290	6
8	400	6
done	400	6
0	14	23
1	31	19
2	62	15
3	110	7
4	158	7
5	272	6
6	364	6
7	437	6
done	437	6
0	14	23
1	28	23
2	52	23
3	116	18
4	270	15
5	888	8
6	2584	6
done	5000	6
0	17	21
1	36	17
2	81	13
3	172	11
4	250	11
5	367	11
6	453	11
7	528	11
8	532	11
done	532	11
0	15	17
1	31	15
2	62	13
3	116	10
4	178	10
5	242	10
6	358	10
7	405	10
8	415	10
done	415	10
0	15	17
1	28	17
2	56	17
3	111	15
4	212	15
5	450	12
6	808	10
7	3500	10
done	5001	10
0	17	21
1	36	17
2	81	13
3	172	11
4	250	11
5	367	11
6	453	11
7	528	11
8	532	11
done	532	11
0	13	15
1	28	13
2	59	11
3	111	8
4	171	8
5	238	8
6	348	8
7	390	8
done	390	8
0	13	15
1	25	15
2	53	15
3	106	13
4	205	13
5	444	10
6	792	8
7	3413	8
done	5000	8

prune213.0ms

Filtered

89 candidates to 107 candidates (-20.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	100	7	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	7	108

Merged error: 0.0b

Counts

108 → 7

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 2 (log (cbrt y))) x)
0.3b	(+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod` `associate-+r+` `log-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`pow1/3`
1×	`+-commutative` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip-+`

Counts

4 → 63

Calls

4 calls:

7.0ms	(* (* 2 (log (cbrt y))) x)
10.0ms	(+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series111.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (* 2 (log (cbrt y))) x)
28.0ms	(+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
29.0ms	(cbrt y)
25.0ms	(cbrt y)

simplify1.4min

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	11	15
1	22	14
2	51	8
3	113	8
4	284	6
5	965	6
6	4857	3
done	5000	3
0	10	14
1	15	14
2	29	8
3	48	8
4	62	8
5	68	8
done	68	8
0	10	14
1	18	14
2	43	8
3	83	8
4	207	6
5	636	6
6	2268	3
done	5000	3
0	11	29
1	16	29
2	30	17
3	43	17
4	48	17
done	48	17
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	11	41
1	29	41
2	108	9
3	514	9
4	2346	9
done	5000	9
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	12	17
1	34	17
2	118	17
3	491	9
4	1713	9
5	4206	9
done	5001	9
0	13	41
1	42	35
2	133	31
3	419	23
4	1045	13
5	3415	13
done	5001	13
0	11	27
1	33	27
2	115	19
3	326	17
4	624	15
5	1251	15
6	2015	13
7	3873	13
done	5000	13
0	9	13
1	15	13
2	30	11
3	40	9
4	44	9
done	44	9
0	12	17
1	18	17
2	28	15
3	30	15
done	30	15
0	12	14
1	18	14
2	28	12
3	30	12
done	30	12
0	12	13
1	20	12
2	30	10
3	32	10
done	32	10
0	12	18
1	20	18
2	35	14
3	54	12
4	72	12
5	78	12
6	87	12
7	101	12
8	110	12
done	110	12
0	11	14
1	17	14
2	27	12
3	29	12
done	29	12
0	11	12
1	19	11
2	29	9
3	31	7
4	36	7
done	36	7
0	12	17
1	20	15
2	28	15
done	28	15
0	12	14
1	20	12
2	28	12
done	28	12
0	12	13
1	22	10
2	30	10
done	30	10
0	12	18
1	22	16
2	37	14
3	56	12
4	69	12
5	75	12
6	84	12
7	98	12
8	107	12
done	107	12
0	11	14
1	19	12
2	27	12
done	27	12
0	11	12
1	21	9
2	29	7
3	34	7
done	34	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	10	10
1	14	10
2	20	10
3	22	10
done	22	10
0	9	9
1	14	9
2	19	9
3	23	9
done	23	9
0	8	8
1	15	8
2	28	8
3	40	8
4	42	8
done	42	8
0	8	8
1	14	8
2	32	6
3	60	6
4	119	6
5	242	6
6	685	6
7	2651	6
done	5000	6
0	13	23
1	28	19
2	79	11
3	253	11
4	750	11
5	1985	9
6	4899	9
done	5000	9
0	11	23
1	29	21
2	94	11
3	366	11
4	1125	9
5	2076	9
6	4166	9
done	5001	9
0	9	17
1	13	17
2	19	17
done	19	17
0	8	8
1	12	8
2	18	8
done	18	8
0	9	23
1	23	23
2	94	9
3	427	9
4	1178	9
5	1586	9
6	2597	9
done	5000	9
0	8	8
1	12	8
2	18	8
done	18	8
0	8	8
1	12	8
2	18	8
done	18	8
0	9	11
1	15	11
2	28	11
3	40	11
done	40	11
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	13	5
2	25	5
done	25	5
0	5	5
1	6	5
done	6	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
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	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
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	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	17	18
1	35	17
2	73	15
3	186	15
4	565	14
5	1580	12
6	4060	8
done	5000	8
0	10	11
1	18	8
2	32	6
3	50	6
4	52	6
done	52	6
0	10	11
1	21	9
2	43	6
3	85	6
4	114	6
5	181	6
6	233	6
done	233	6
0	17	18
1	35	17
2	72	15
3	185	15
4	563	14
5	1572	12
6	4720	11
done	5000	11

prune158.0ms

Filtered

59 candidates to 75 candidates (-27.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	74	8	82

Merged error: 0.0b

Counts

82 → 8

localize34.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (log (cbrt (sqrt y))) (* 2 (log (cbrt y))))
0.6b	(cbrt y)
0.6b	(cbrt (sqrt y))
0.6b	(cbrt (sqrt y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod`
21×	`log-prod`
16×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`associate-+r+`
9×	`associate-+l+` `sqrt-prod`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`pow1/3`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 71

Calls

4 calls:

9.0ms	(+ (log (cbrt (sqrt y))) (* 2 (log (cbrt y))))
2.0ms	(cbrt y)
2.0ms	(cbrt (sqrt y))
3.0ms	(cbrt (sqrt y))

series126.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(+ (log (cbrt (sqrt y))) (* 2 (log (cbrt y))))
25.0ms	(cbrt y)
18.0ms	(cbrt (sqrt y))
18.0ms	(cbrt (sqrt y))

simplify55.1s

Counts

83 → 83

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	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	9	10
1	13	10
2	20	8
3	41	8
4	80	8
5	168	8
6	426	8
7	1488	8
done	5000	8
0	10	11
1	12	11
done	12	11
0	10	11
1	15	11
2	22	8
3	37	8
4	64	8
5	115	8
6	264	8
7	761	8
8	3370	8
done	5001	8
0	11	23
1	13	23
done	13	23
0	10	11
1	12	11
done	12	11
0	11	32
1	26	32
2	74	12
3	227	12
4	607	12
5	1533	12
6	3231	12
done	5001	12
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	12	14
1	30	14
2	65	14
3	132	14
4	197	14
5	378	14
6	1098	14
7	4228	14
done	5001	14
0	13	32
1	32	26
2	72	26
3	127	25
4	161	25
5	182	25
6	203	25
7	277	25
8	456	25
9	645	25
done	645	25
0	11	21
1	25	19
2	55	19
3	110	19
4	169	19
5	263	19
6	362	19
7	632	19
8	2080	19
done	5001	19
0	9	10
1	12	10
2	20	10
done	20	10
0	11	14
1	13	14
done	13	14
0	7	11
1	13	6
2	16	6
done	16	6
0	10	10
1	14	9
done	14	9
0	11	15
1	15	15
2	19	13
3	32	11
4	52	11
5	59	11
done	59	11
0	10	11
1	12	11
done	12	11
0	9	9
1	13	6
done	13	4
0	11	14
1	13	14
done	13	14
0	7	11
1	9	11
2	13	6
3	16	6
done	16	6
0	10	10
1	14	9
done	14	9
0	11	15
1	15	15
2	19	13
3	32	11
4	52	11
5	59	11
done	59	11
0	10	11
1	12	11
done	12	11
0	9	9
1	13	6
done	13	4
0	10	11
1	12	11
done	12	11
0	9	11
1	11	11
done	11	11
0	10	11
1	12	11
done	12	11
0	9	10
1	11	10
done	11	10
0	10	11
1	12	11
done	12	11
0	9	10
1	11	10
done	11	10
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	9	10
1	11	10
done	11	10
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	3055	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	64	26
2	167	22
3	562	22
4	1994	22
done	5001	22
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	3055	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	64	26
2	167	22
3	562	22
4	1994	22
done	5001	22
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
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	8	9
1	15	6
2	17	4
3	22	4
done	22	4
0	9	11
1	20	7
2	37	5
3	63	4
4	74	4
5	75	4
done	75	4
0	30	39
1	75	37
2	194	35
3	670	34
4	3138	32
done	5001	32

prune179.0ms

Filtered

68 candidates to 83 candidates (-22.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	83	8	91

Merged error: 0.0b

Counts

91 → 8

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
0.3b	(* x (log y))
0.6b	(cbrt c)
0.6b	(cbrt c)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

18×	`log-prod`
16×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`cbrt-prod` `associate-+r+`
11×	`distribute-rgt-in` `distribute-lft-in`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`associate-+l+` `flip3--` `associate-r/` `associate-r` `associate-l/` `frac-add` `flip--`
3×	`associate-l`
2×	`sub-neg` `pow1/3`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 78

Calls

4 calls:

14.0ms	(+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
5.0ms	(* x (log y))
2.0ms	(cbrt c)
2.0ms	(cbrt c)

series124.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
8.0ms	(* x (log y))
29.0ms	(cbrt c)
25.0ms	(cbrt c)

simplify2.1min

Counts

90 → 90

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
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	15	3
3	25	3
4	48	3
5	104	3
6	245	3
7	707	3
8	2686	3
done	5000	3
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
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	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	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	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
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	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
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	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	9
1	9	9
2	11	9
done	11	9
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	13	19
1	26	18
2	73	10
3	186	10
4	510	8
5	1757	8
done	5001	8
0	12	18
1	19	18
2	46	10
3	106	10
4	208	10
5	348	10
6	499	10
7	857	10
8	1438	10
9	1801	10
10	1915	10
11	1932	10
done	1932	10
0	12	18
1	22	18
2	60	10
3	152	10
4	416	8
5	1291	8
done	5000	8
0	13	37
1	20	37
2	47	21
3	100	21
4	191	21
5	325	21
6	484	21
7	840	21
8	1417	21
9	1786	21
10	1882	21
done	1882	21
0	12	18
1	19	18
2	46	10
3	100	10
4	193	10
5	327	10
6	480	10
7	836	10
8	1418	10
9	1774	10
10	1872	10
done	1872	10
0	13	53
1	33	53
2	125	11
3	707	11
4	4993	11
done	5000	11
0	12	18
1	19	18
2	46	10
3	100	10
4	193	10
5	327	10
6	480	10
7	836	10
8	1418	10
9	1774	10
10	1872	10
done	1872	10
0	12	18
1	19	18
2	46	10
3	100	10
4	193	10
5	327	10
6	480	10
7	836	10
8	1418	10
9	1774	10
10	1872	10
done	1872	10
0	21	49
1	57	45
2	201	35
3	1030	23
done	5000	23
0	8	23
1	21	19
2	74	19
3	306	19
4	909	19
5	2997	19
done	5001	19
0	23	41
1	64	39
2	200	39
3	872	35
4	4136	31
done	5000	31
0	9	15
1	23	13
2	73	13
3	156	13
4	341	13
5	599	13
6	785	13
7	841	13
8	920	13
9	1189	13
10	2321	13
done	5000	13
0	23	41
1	64	39
2	219	39
3	1092	35
done	5000	35
0	9	15
1	23	13
2	73	13
3	157	13
4	305	13
5	587	13
6	828	13
7	949	13
8	1032	13
9	1304	13
10	2424	13
done	5000	13
0	16	33
1	38	33
2	134	29
3	605	17
4	2384	17
done	5001	17
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	14	21
1	38	21
2	135	21
3	655	11
4	3540	11
done	5000	11
0	15	53
1	46	45
2	173	39
3	772	31
4	3065	17
done	5000	17
0	13	35
1	37	35
2	150	23
3	598	23
4	2217	21
done	5000	21
0	11	17
1	19	17
2	47	13
3	106	13
4	221	13
5	399	13
6	668	13
7	1162	11
8	2303	7
done	5000	7
0	14	21
1	22	21
2	51	17
3	92	17
4	146	17
5	208	17
6	271	17
7	472	17
8	845	17
9	1046	17
10	1067	17
done	1067	17
0	14	18
1	22	18
2	51	14
3	92	14
4	146	14
5	208	14
6	271	14
7	472	14
8	845	14
9	1046	14
10	1067	14
done	1067	14
0	14	17
1	24	16
2	53	12
3	96	12
4	150	12
5	214	12
6	277	12
7	478	12
8	848	12
9	1049	11
10	1086	9
11	1087	9
done	1087	9
0	14	22
1	24	22
2	58	16
3	134	14
4	291	14
5	655	14
6	1445	14
7	4155	14
done	5000	14
0	13	18
1	21	18
2	50	14
3	91	14
4	147	14
5	209	14
6	272	14
7	473	14
8	846	14
9	1045	14
10	1066	14
done	1066	14
0	13	16
1	23	15
2	52	11
3	88	9
4	118	9
5	143	9
6	156	9
7	177	9
8	238	9
9	370	9
10	673	9
11	719	9
done	719	9
0	14	21
1	24	17
2	51	17
3	98	17
4	148	17
5	209	17
6	267	17
7	468	17
8	839	17
9	1040	17
10	1061	17
done	1061	17
0	14	18
1	24	14
2	51	14
3	98	14
4	148	14
5	209	14
6	267	14
7	468	14
8	839	14
9	1040	14
10	1061	14
done	1061	14
0	14	17
1	26	12
2	53	12
3	102	12
4	154	12
5	215	12
6	273	12
7	474	12
8	838	12
9	1040	11
10	1076	9
11	1077	9
done	1077	9
0	14	22
1	26	18
2	60	16
3	144	14
4	318	14
5	720	14
6	1429	14
7	4115	14
done	5000	14
0	13	18
1	23	14
2	50	14
3	97	14
4	149	14
5	208	14
6	266	14
7	467	14
8	839	14
9	1038	14
10	1059	14
done	1059	14
0	13	16
1	25	11
2	52	9
3	95	9
4	116	9
5	144	9
6	162	9
7	222	9
8	339	9
9	536	9
10	648	9
11	676	9
done	676	9
0	12	16
1	21	16
2	41	15
3	71	11
4	126	11
5	172	9
6	252	9
7	375	9
8	468	9
9	586	9
10	600	9
done	600	9
0	12	16
1	21	16
2	41	15
3	71	11
4	126	11
5	172	9
6	252	9
7	375	9
8	468	9
9	586	9
10	600	9
done	600	9
0	12	16
1	21	16
2	45	12
3	82	11
4	128	10
5	185	9
6	258	9
7	335	9
8	450	9
9	501	9
10	539	9
11	546	9
done	546	9
0	12	16
1	21	16
2	45	12
3	82	11
4	128	10
5	185	9
6	258	9
7	335	9
8	450	9
9	501	9
10	539	9
11	546	9
done	546	9
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
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	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
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	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	8	9
1	13	9
2	24	9
3	43	6
4	67	4
5	188	4
6	974	4
7	2318	4
done	5001	4
0	13	19
1	29	15
2	58	9
3	94	6
4	129	6
5	167	6
6	250	6
7	290	6
8	400	6
done	400	6
0	14	23
1	31	19
2	62	15
3	110	7
4	158	7
5	272	6
6	364	6
7	437	6
done	437	6
0	20	35
1	41	33
2	92	29
3	248	17
4	823	16
5	3363	14
done	5000	14

prune130.0ms

Filtered

68 candidates to 90 candidates (-32.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	1	4	5
Picked	1	0	1
Done	0	2	2
Total	90	8	98

Merged error: 0.0b

Counts

98 → 8

regimes1.4s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	36
1	41	36
done	41	36

end0.0ms

sample6.6s

Algorithm

intervals

Results

2.2s	27635×	body	80	nan
805.0ms	9183×	body	80	valid

Details

sample221.0ms

simplify10.1s

prune11.0ms

localize19.0ms

rewrite52.0ms

series308.0ms

simplify4.0min

prune213.0ms

localize26.0ms

rewrite22.0ms

series111.0ms

simplify1.4min

prune158.0ms

localize34.0ms

rewrite24.0ms

series126.0ms

simplify55.1s

prune179.0ms

localize25.0ms

rewrite26.0ms

series124.0ms

simplify2.1min

prune130.0ms

regimes1.4s

bsearch0.0ms

simplify3.0ms

end0.0ms

sample6.6s

Profiling