Details

sample273.0ms

Algorithm

intervals

Results

124.0ms	1764×	body	80	nan
23.0ms	256×	body	80	valid

simplify5.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	16
1	27	16
2	58	16
3	121	16
4	296	16
5	667	16
6	1155	16
7	1891	16
8	2078	16
9	2081	16
done	2081	16

prune5.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.3b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (log (+ x y)) (log z)) t)
0.1b	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.1b	(* (- a 0.5) (log t))
0.6b	(+ (log (+ x y)) (log z))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity`
19×	`log-prod`
18×	`add-sqr-sqrt`
15×	`pow1`
14×	`add-log-exp`
12×	`add-cube-cbrt`
9×	`associate-+r+` `log-pow` `distribute-lft-out`
7×	`associate-+l+`
6×	`add-exp-log` `distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-*l/` `sum-log` `add-cbrt-cube` `flip--` `distribute-lft-out--`
5×	`associate-+l-` `associate-l`
4×	`log-div` `flip3-+` `diff-log` `associate-r` `frac-add` `flip-+`
2×	`+-commutative` `associate--l-` `sub-neg` `associate--l+` `difference-of-squares`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 102

Calls

4 calls:

9.0ms	(- (+ (log (+ x y)) (log z)) t)
14.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
8.0ms	(* (- a 0.5) (log t))
14.0ms	(+ (log (+ x y)) (log z))

series133.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(- (+ (log (+ x y)) (log z)) t)
65.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
11.0ms	(* (- a 0.5) (log t))
18.0ms	(+ (log (+ x y)) (log z))

simplify3.0min

Counts

114 → 114

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	15	5
done	15	5
0	8	8
1	10	8
done	10	8
0	8	8
1	13	8
2	14	5
3	22	5
done	22	5
0	9	17
1	11	17
done	11	17
0	8	8
1	10	8
done	10	8
0	9	23
1	24	23
2	56	9
3	121	9
4	284	9
5	860	9
6	1899	9
7	2673	9
8	3151	9
9	4200	9
done	5001	9
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	202	11
6	604	11
7	2441	11
done	5000	11
0	11	23
1	20	20
2	35	20
3	48	18
4	68	18
5	89	18
6	106	18
7	139	18
8	194	18
9	226	18
done	226	18
0	9	15
1	15	15
2	22	15
3	37	15
4	62	15
5	103	15
6	169	15
7	337	15
8	1640	15
done	5000	15
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	9	11
1	13	11
2	19	10
3	20	10
done	20	10
0	8	8
1	10	8
done	10	8
0	7	7
1	11	6
done	11	4
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	11	15
1	21	13
2	37	13
3	50	13
4	70	13
5	91	13
6	108	13
7	131	13
8	174	13
9	236	13
10	237	13
done	237	13
0	7	7
1	11	7
2	13	7
done	13	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	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	15	16
1	27	16
2	68	14
3	149	14
4	421	14
5	1394	14
done	5000	14
0	18	19
1	33	18
2	72	14
3	170	14
4	516	14
5	1685	14
done	5001	14
0	17	18
1	34	17
2	79	16
3	192	14
4	599	14
5	2052	14
done	5000	14
0	16	17
1	28	17
2	59	17
3	122	17
4	299	17
5	672	17
6	1165	17
7	1899	17
8	2087	17
9	2090	17
done	2090	17
0	16	17
1	31	17
2	78	16
3	197	15
4	575	14
5	1832	14
done	5000	14
0	17	35
1	29	35
2	60	35
3	122	35
4	299	35
5	666	35
6	1158	35
7	1892	35
8	2080	35
9	2083	35
done	2083	35
0	16	17
1	28	17
2	59	17
3	122	17
4	299	17
5	672	17
6	1165	17
7	1899	17
8	2087	17
9	2090	17
done	2090	17
0	17	50
1	42	50
2	145	18
3	963	18
done	5001	18
0	16	17
1	28	17
2	59	17
3	122	17
4	299	17
5	672	17
6	1165	17
7	1899	17
8	2087	17
9	2090	17
done	2090	17
0	16	17
1	28	17
2	59	17
3	122	17
4	299	17
5	672	17
6	1165	17
7	1899	17
8	2087	17
9	2090	17
done	2090	17
0	32	66
1	89	62
2	266	62
3	1202	56
done	5000	56
0	21	41
1	50	37
2	160	37
3	776	31
4	4455	31
done	5000	31
0	28	58
1	73	56
2	215	56
3	1005	50
done	5001	46
0	17	33
1	40	31
2	122	31
3	438	25
4	1993	25
done	5001	25
0	28	52
1	75	50
2	225	50
3	1102	40
done	5000	40
0	17	21
1	36	19
2	113	19
3	434	19
4	1330	19
done	5000	19
0	23	44
1	55	44
2	167	44
3	820	34
4	4186	30
done	5000	30
0	13	13
1	26	13
2	75	13
3	160	13
4	399	13
5	847	13
6	955	13
done	955	13
0	18	20
1	44	20
2	120	20
3	457	20
4	1867	20
done	5001	20
0	19	50
1	45	43
2	148	43
3	689	40
4	2946	40
done	5000	40
0	17	33
1	38	33
2	118	33
3	486	33
4	2180	33
done	5001	33
0	15	16
1	28	16
2	66	16
3	147	16
4	372	16
5	830	16
6	1405	16
7	2175	16
8	2241	16
done	2241	16
0	17	20
1	31	20
2	68	19
3	171	19
4	589	19
5	2015	19
done	5001	19
0	16	17
1	28	17
2	59	17
3	122	17
4	299	17
5	675	17
6	1168	17
7	1902	17
8	2090	17
9	2093	17
done	2093	17
0	16	16
1	30	15
2	61	11
3	99	9
4	146	9
5	217	9
6	295	9
7	341	9
8	344	9
done	344	9
0	17	20
1	31	20
2	68	19
3	171	19
4	587	19
5	2016	19
done	5001	19
0	16	17
1	28	17
2	59	17
3	122	17
4	299	17
5	675	17
6	1168	17
7	1902	17
8	2090	17
9	2093	17
done	2093	17
0	16	16
1	30	15
2	61	11
3	99	9
4	146	9
5	217	9
6	295	9
7	341	9
8	344	9
done	344	9
0	8	9
1	12	9
2	20	8
3	31	8
4	45	8
5	53	8
6	65	8
7	91	8
8	134	8
9	191	8
10	205	8
11	214	8
12	217	8
done	217	8
0	10	11
1	18	11
2	35	11
3	68	11
4	145	11
5	260	11
6	344	11
7	471	11
8	585	11
9	595	11
done	595	11
0	8	9
1	12	9
2	20	8
3	31	8
4	45	8
5	53	8
6	65	8
7	91	8
8	134	8
9	191	8
10	205	8
11	214	8
12	217	8
done	217	8
0	7	8
1	12	8
2	26	8
3	48	8
4	79	8
5	90	8
6	103	8
7	127	8
8	172	8
9	201	8
done	201	8
0	8	8
1	12	8
2	24	8
3	27	8
4	36	8
5	38	8
6	44	8
7	48	8
8	54	8
9	56	8
done	56	8
0	11	11
1	18	10
2	27	8
3	50	8
4	69	8
5	107	8
6	179	8
7	279	8
8	477	8
9	722	8
10	1018	8
11	1163	8
12	1259	8
done	1259	8
0	10	10
1	16	10
2	23	10
3	29	10
4	35	10
5	44	10
6	57	10
7	75	10
8	91	10
9	98	10
10	115	10
11	119	10
done	119	10
0	10	10
1	19	10
2	34	10
3	55	8
4	95	8
5	160	8
6	254	8
7	427	8
8	675	8
9	941	8
10	1262	8
11	1389	8
done	1389	8
0	11	21
1	17	21
2	24	21
3	30	21
4	36	21
5	45	21
6	58	21
7	76	21
8	92	21
9	99	21
10	116	21
11	118	21
done	118	21
0	10	10
1	16	10
2	23	10
3	29	10
4	35	10
5	44	10
6	57	10
7	75	10
8	91	10
9	98	10
10	115	10
11	119	10
done	119	10
0	11	29
1	18	29
2	51	11
3	226	11
4	1060	11
done	5001	11
0	10	10
1	16	10
2	23	10
3	29	10
4	35	10
5	44	10
6	57	10
7	75	10
8	91	10
9	98	10
10	115	10
11	119	10
done	119	10
0	10	10
1	16	10
2	23	10
3	29	10
4	35	10
5	44	10
6	57	10
7	75	10
8	91	10
9	98	10
10	115	10
11	119	10
done	119	10
0	12	13
1	29	13
2	67	13
3	145	13
4	336	13
5	1062	13
6	4851	13
done	5000	13
0	13	29
1	28	27
2	67	27
3	168	21
4	595	21
5	1712	21
6	2447	21
7	2511	21
done	2511	21
0	2	2
done	2	2
0	11	19
1	24	19
2	56	19
3	140	19
4	451	19
5	1297	19
done	5000	19
0	9	9
1	14	9
2	20	9
done	20	9
0	11	11
1	14	11
done	14	11
0	11	11
1	15	11
2	16	11
done	16	11
0	9	9
1	15	9
2	22	9
3	28	9
4	34	9
5	43	9
6	56	9
7	74	9
8	90	9
9	97	9
10	114	9
11	116	9
done	116	9
0	9	9
1	15	9
2	22	9
3	28	9
4	34	9
5	43	9
6	56	9
7	74	9
8	90	9
9	97	9
10	114	9
11	116	9
done	116	9
0	9	9
1	15	9
2	22	9
3	28	9
4	34	9
5	43	9
6	56	9
7	74	9
8	90	9
9	97	9
10	114	9
11	116	9
done	116	9
0	9	9
1	15	9
2	22	9
3	28	9
4	34	9
5	43	9
6	56	9
7	74	9
8	90	9
9	97	9
10	114	9
11	116	9
done	116	9
0	9	9
1	15	9
2	22	9
3	28	9
4	34	9
5	43	9
6	56	9
7	74	9
8	90	9
9	97	9
10	114	9
11	116	9
done	116	9
0	4	4
1	6	4
2	7	4
done	7	4
0	13	17
1	26	15
2	51	15
3	73	15
4	102	15
5	128	15
6	154	15
7	192	15
8	254	15
9	325	15
10	326	15
done	326	15
0	9	9
1	16	9
2	27	9
3	36	9
4	45	9
5	50	9
6	59	9
7	74	9
8	93	9
9	102	9
done	102	9
0	2	2
done	2	2
0	10	10
1	17	7
2	23	5
3	36	5
done	36	5
0	12	14
1	26	11
2	55	8
3	103	5
4	116	5
5	120	5
done	120	5
0	14	16
1	28	15
2	60	15
3	153	14
4	437	9
5	1049	5
6	3650	5
done	5000	5
0	13	19
1	30	13
2	61	6
3	96	6
4	151	6
5	216	6
6	254	6
7	396	6
8	405	6
done	405	6
0	14	23
1	31	19
2	62	13
3	122	7
4	189	6
5	303	6
6	414	6
7	471	6
done	471	6
0	14	23
1	28	23
2	52	23
3	116	18
4	270	15
5	873	9
6	2689	6
done	5001	6
0	21	27
1	46	23
2	117	19
3	391	17
4	796	14
5	1369	14
6	2340	14
7	3728	14
8	3811	14
9	3886	14
done	3886	14
0	24	35
1	58	27
2	161	21
3	575	15
4	2000	15
5	3491	14
6	4411	14
7	4622	14
done	4622	14
0	27	39
1	61	36
2	171	36
3	862	35
done	5000	35
0	12	12
1	23	9
2	43	7
3	89	7
4	108	7
5	151	7
6	216	7
7	284	7
8	314	7
9	351	7
done	351	7
0	14	16
1	31	13
2	77	9
3	205	7
4	346	7
5	377	7
done	377	7
0	16	18
1	33	17
2	84	17
3	278	16
4	965	11
5	3235	7
done	5000	7

prune210.0ms

Filtered

86 candidates to 114 candidates (-32.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	106	8	114
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	8	115

Merged error: 0.0b

Counts

115 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log z) t)
0.1b	(+ (+ (log (+ x y)) (- (log z) t)) (* (- a 0.5) (log t)))
0.1b	(* (- a 0.5) (log t))
0.3b	(+ (log (+ x y)) (- (log z) t))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
22×	`log-prod`
19×	`add-sqr-sqrt`
13×	`pow1` `add-cube-cbrt` `add-log-exp`
11×	`associate-+r+`
7×	`associate-+l-` `sum-log` `log-pow` `distribute-lft-out` `distribute-lft-out--`
6×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `flip3-+` `associate-*l/` `associate--l+` `add-cbrt-cube` `flip-+`
5×	`associate-+l+` `associate-l`
4×	`log-div` `flip3--` `associate-r` `frac-add` `flip--`
3×	`diff-log`
2×	`+-commutative` `associate-+r-` `sub-neg` `difference-of-squares`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 104

Calls

4 calls:

5.0ms	(- (log z) t)
14.0ms	(+ (+ (log (+ x y)) (- (log z) t)) (* (- a 0.5) (log t)))
8.0ms	(* (- a 0.5) (log t))
11.0ms	(+ (log (+ x y)) (- (log z) t))

series130.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (log z) t)
64.0ms	(+ (+ (log (+ x y)) (- (log z) t)) (* (- a 0.5) (log t)))
12.0ms	(* (- a 0.5) (log t))
43.0ms	(+ (log (+ x y)) (- (log z) t))

simplify3.2min

Counts

116 → 116

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	8	8
1	12	8
2	23	8
3	39	8
4	46	8
5	50	8
6	56	8
7	58	8
done	58	8
0	9	9
1	16	9
2	31	8
3	59	8
4	98	8
5	144	8
6	206	8
7	224	8
8	225	8
done	225	8
0	10	10
1	16	10
2	23	10
3	32	10
4	38	10
5	48	10
6	55	10
7	67	10
8	90	10
9	104	10
10	111	10
11	116	10
done	116	10
0	10	10
1	19	10
2	34	9
3	66	8
4	122	8
5	191	8
6	307	8
7	439	8
8	820	8
9	1180	8
10	1287	8
11	1303	8
done	1303	8
0	11	21
1	17	21
2	24	21
3	33	21
4	39	21
5	49	21
6	56	21
7	68	21
8	91	21
9	105	21
10	112	21
11	117	21
done	117	21
0	10	10
1	16	10
2	23	10
3	32	10
4	38	10
5	48	10
6	55	10
7	67	10
8	90	10
9	104	10
10	111	10
11	116	10
done	116	10
0	11	29
1	30	29
2	81	11
3	305	11
4	1571	11
done	5000	11
0	10	10
1	16	10
2	23	10
3	32	10
4	38	10
5	48	10
6	55	10
7	67	10
8	90	10
9	104	10
10	111	10
11	116	10
done	116	10
0	10	10
1	16	10
2	23	10
3	32	10
4	38	10
5	48	10
6	55	10
7	67	10
8	90	10
9	104	10
10	111	10
11	116	10
done	116	10
0	12	13
1	29	13
2	51	13
3	110	13
4	265	13
5	778	13
6	3056	13
done	5000	13
0	13	29
1	24	24
2	56	24
3	149	24
4	476	24
5	1508	24
6	4442	24
done	5000	24
0	11	19
1	19	19
2	39	19
3	113	19
4	389	19
5	1192	19
done	5000	19
0	9	9
1	16	9
2	24	9
3	37	9
4	41	9
5	49	9
6	64	9
7	88	9
8	98	9
done	98	9
0	9	9
1	15	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	89	9
9	103	9
10	110	9
11	115	9
done	115	9
0	9	9
1	15	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	89	9
9	103	9
10	110	9
11	115	9
done	115	9
0	9	9
1	15	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	89	9
9	103	9
10	110	9
11	115	9
done	115	9
0	9	9
1	15	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	89	9
9	103	9
10	110	9
11	115	9
done	115	9
0	9	9
1	15	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	89	9
9	103	9
10	110	9
11	115	9
done	115	9
0	9	9
1	15	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	89	9
9	103	9
10	110	9
11	115	9
done	115	9
0	7	7
1	9	7
done	9	7
0	9	11
1	13	11
2	19	10
3	20	10
done	20	10
0	8	8
1	10	8
done	10	8
0	7	7
1	11	6
done	11	4
0	7	7
1	9	7
done	9	7
0	10	10
1	16	10
2	23	10
3	32	10
4	38	10
5	48	10
6	55	10
7	67	10
8	90	10
9	104	10
10	111	10
11	116	10
done	116	10
0	10	10
1	16	10
2	23	10
3	32	10
4	38	10
5	48	10
6	55	10
7	67	10
8	90	10
9	104	10
10	111	10
11	116	10
done	116	10
0	9	9
1	15	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	89	9
9	103	9
10	110	9
11	115	9
done	115	9
0	9	9
1	15	9
2	22	9
3	31	9
4	37	9
5	47	9
6	54	9
7	66	9
8	89	9
9	103	9
10	110	9
11	115	9
done	115	9
0	7	7
1	9	7
done	9	7
0	13	17
1	27	15
2	50	15
3	76	15
4	101	15
5	130	15
6	162	15
7	209	15
8	262	15
9	324	15
10	325	15
done	325	15
0	9	9
1	17	9
2	26	9
3	39	9
4	44	9
5	52	9
6	67	9
7	91	9
8	101	9
done	101	9
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	15	16
1	27	16
2	69	14
3	165	14
4	477	14
5	1566	14
done	5000	14
0	16	17
1	31	17
2	75	14
3	191	14
4	596	14
5	2319	14
done	5000	14
0	17	18
1	34	17
2	79	15
3	211	14
4	666	14
5	2297	14
done	5001	14
0	16	17
1	28	17
2	55	17
3	126	17
4	285	17
5	642	17
6	1116	17
7	1702	17
8	2150	17
9	2177	17
done	2177	17
0	16	17
1	31	17
2	73	16
3	196	15
4	558	14
5	1744	14
done	5000	14
0	17	35
1	29	35
2	56	35
3	129	35
4	288	35
5	641	35
6	1108	35
7	1698	35
8	2154	35
9	2181	35
done	2181	35
0	16	17
1	28	17
2	55	17
3	126	17
4	285	17
5	642	17
6	1116	17
7	1702	17
8	2150	17
9	2177	17
done	2177	17
0	17	50
1	42	50
2	153	18
3	891	18
done	5001	18
0	16	17
1	28	17
2	55	17
3	126	17
4	285	17
5	642	17
6	1116	17
7	1702	17
8	2150	17
9	2177	17
done	2177	17
0	16	17
1	28	17
2	55	17
3	126	17
4	285	17
5	642	17
6	1116	17
7	1702	17
8	2150	17
9	2177	17
done	2177	17
0	32	66
1	84	59
2	233	59
3	928	59
done	5000	59
0	21	41
1	46	34
2	131	34
3	504	34
4	2444	34
done	5000	34
0	28	58
1	68	53
2	182	53
3	729	53
4	3795	49
done	5001	49
0	17	33
1	36	28
2	93	28
3	290	28
4	1173	28
5	4971	28
done	5000	28
0	28	52
1	71	50
2	220	50
3	1098	40
done	5000	40
0	17	21
1	38	19
2	111	19
3	386	19
4	1173	19
done	5001	19
0	23	44
1	51	44
2	161	44
3	785	34
4	3755	30
done	5000	30
0	13	13
1	28	13
2	73	13
3	152	13
4	347	13
5	945	13
6	2627	13
7	4727	13
done	5000	13
0	18	20
1	44	20
2	112	20
3	386	20
4	1439	20
done	5000	20
0	19	50
1	51	43
2	164	43
3	717	40
4	3532	40
done	5000	40
0	17	33
1	44	33
2	135	33
3	534	33
4	2486	33
done	5001	33
0	15	16
1	28	16
2	62	16
3	152	16
4	408	16
5	916	16
6	1410	16
7	2155	16
8	2253	16
done	2253	16
0	17	20
1	31	20
2	64	19
3	177	19
4	572	19
5	1977	19
done	5000	19
0	16	17
1	28	17
2	55	17
3	126	17
4	285	17
5	639	17
6	1109	17
7	1700	17
8	2149	17
9	2176	17
done	2176	17
0	16	16
1	30	15
2	57	11
3	109	9
4	141	9
5	180	9
6	225	9
7	292	9
8	367	9
9	370	9
done	370	9
0	17	20
1	31	20
2	64	19
3	177	19
4	572	19
5	1980	19
done	5000	19
0	16	17
1	28	17
2	55	17
3	126	17
4	285	17
5	639	17
6	1109	17
7	1700	17
8	2149	17
9	2176	17
done	2176	17
0	16	16
1	30	15
2	57	11
3	109	9
4	141	9
5	180	9
6	225	9
7	292	9
8	367	9
9	370	9
done	370	9
0	10	11
1	18	11
2	35	11
3	68	11
4	145	11
5	260	11
6	344	11
7	471	11
8	585	11
9	595	11
done	595	11
0	7	8
1	12	8
2	26	8
3	48	8
4	79	8
5	90	8
6	103	8
7	127	8
8	172	8
9	201	8
done	201	8
0	19	24
1	40	22
2	93	22
3	200	22
4	495	22
5	1001	22
6	1569	22
7	2365	22
8	2454	22
9	2516	22
10	2517	22
done	2517	22
0	15	16
1	30	16
2	69	16
3	163	16
4	439	16
5	940	16
6	1500	16
7	2281	16
8	2327	16
done	2327	16
0	4	4
done	4	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	4
3	16	4
4	22	4
5	26	4
6	27	4
7	33	4
8	34	4
done	34	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	24	6
3	67	6
4	176	6
5	500	6
6	1715	6
done	5000	6
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	7	8
1	22	8
2	44	8
3	78	8
4	162	8
5	495	8
6	2253	8
done	5000	8
0	8	14
1	15	12
2	23	12
3	26	11
4	27	11
done	27	11
0	2	2
done	2	2
0	6	9
1	11	9
2	18	9
3	33	9
4	58	9
5	99	9
6	161	9
7	329	9
8	1627	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
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	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	12	12
1	23	9
2	43	7
3	89	7
4	108	7
5	151	7
6	216	7
7	284	7
8	314	7
9	351	7
done	351	7
0	14	16
1	31	13
2	77	9
3	205	7
4	346	7
5	377	7
done	377	7
0	16	18
1	33	17
2	84	17
3	278	16
4	965	11
5	3235	7
done	5000	7
0	13	19
1	30	13
2	61	6
3	96	6
4	151	6
5	216	6
6	254	6
7	396	6
8	405	6
done	405	6
0	14	23
1	31	19
2	62	13
3	122	7
4	189	6
5	303	6
6	414	6
7	471	6
done	471	6
0	14	23
1	28	23
2	52	23
3	116	18
4	270	15
5	873	9
6	2689	6
done	5001	6
0	21	27
1	46	23
2	117	19
3	391	17
4	796	14
5	1369	14
6	2340	14
7	3728	14
8	3811	14
9	3886	14
done	3886	14
0	24	35
1	58	27
2	161	21
3	575	15
4	2000	15
5	3491	14
6	4411	14
7	4622	14
done	4622	14
0	27	39
1	61	36
2	171	36
3	862	35
done	5000	35
0	7	7
1	14	6
2	21	4
3	31	4
4	40	4
5	59	4
6	83	4
7	86	4
8	95	4
9	107	4
done	107	4
0	8	9
1	18	7
2	35	5
3	83	4
4	97	4
5	110	4
done	110	4
0	8	9
1	15	9
2	32	9
3	64	9
4	135	6
5	232	4
6	898	4
7	3506	4
done	5001	4

prune178.0ms

Filtered

88 candidates to 116 candidates (-31.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	116	8	124

Merged error: 0.0b

Counts

124 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- a 0.5) (log (sqrt t)))
0.1b	(* (- a 0.5) (log (sqrt t)))
0.1b	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (sqrt t)))) (* (- a 0.5) (log (sqrt t))))
0.6b	(+ (log (+ x y)) (log z))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

43×	`log-prod`
32×	`*-un-lft-identity`
30×	`add-sqr-sqrt`
24×	`associate-*l/`
22×	`add-cube-cbrt`
20×	`frac-add`
18×	`distribute-rgt-in` `distribute-lft-in` `sqrt-prod`
16×	`pow1` `flip3--` `flip--` `add-log-exp`
15×	`associate-+r+`
12×	`associate-r`
10×	`associate-l` `log-pow`
9×	`sum-log`
8×	`add-exp-log` `add-cbrt-cube`
5×	`associate-+l+` `flip3-+` `flip-+` `distribute-lft-out`
4×	`associate-+l-`
2×	`+-commutative` `log-div` `sqrt-pow1` `pow1/2` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 138

Calls

4 calls:

10.0ms	(* (- a 0.5) (log (sqrt t)))
9.0ms	(* (- a 0.5) (log (sqrt t)))
20.0ms	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (sqrt t)))) (* (- a 0.5) (log (sqrt t))))
8.0ms	(+ (log (+ x y)) (log z))

series111.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (- a 0.5) (log (sqrt t)))
8.0ms	(* (- a 0.5) (log (sqrt t)))
74.0ms	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (sqrt t)))) (* (- a 0.5) (log (sqrt t))))
21.0ms	(+ (log (+ x y)) (log z))

simplify3.4min

Counts

150 → 150

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	15	5
done	15	5
0	8	8
1	10	8
done	10	8
0	8	8
1	13	8
2	14	5
3	22	5
done	22	5
0	9	17
1	11	17
done	11	17
0	8	8
1	10	8
done	10	8
0	9	23
1	24	23
2	56	9
3	121	9
4	284	9
5	860	9
6	1899	9
7	2673	9
8	3151	9
9	4200	9
done	5001	9
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	202	11
6	604	11
7	2441	11
done	5000	11
0	11	23
1	20	20
2	35	20
3	48	18
4	68	18
5	89	18
6	106	18
7	139	18
8	194	18
9	226	18
done	226	18
0	9	15
1	15	15
2	22	15
3	37	15
4	62	15
5	103	15
6	169	15
7	337	15
8	1640	15
done	5000	15
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	9	11
1	13	11
2	19	10
3	20	10
done	20	10
0	8	8
1	10	8
done	10	8
0	7	7
1	11	6
done	11	4
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	11	15
1	21	13
2	37	13
3	50	13
4	70	13
5	91	13
6	108	13
7	131	13
8	174	13
9	236	13
10	237	13
done	237	13
0	7	7
1	11	7
2	13	7
done	13	7
0	17	26
1	32	26
2	86	19
3	224	17
4	823	17
5	4276	17
done	5000	17
0	20	29
1	38	28
2	88	19
3	244	17
4	948	17
5	4837	17
done	5000	17
0	19	28
1	39	27
2	95	21
3	268	17
4	1089	17
done	5000	17
0	19	27
1	38	26
2	99	24
3	299	18
4	1196	17
done	5000	17
0	18	26
1	33	26
2	80	20
3	230	20
4	755	20
5	2452	20
done	5000	20
0	18	26
1	36	26
2	97	20
3	313	19
4	1128	17
5	4735	17
done	5000	17
0	19	53
1	34	53
2	81	41
3	231	41
4	757	41
5	2447	41
done	5000	41
0	18	26
1	33	26
2	80	20
3	230	20
4	755	20
5	2452	20
done	5000	20
0	19	77
1	47	77
2	174	21
3	1201	21
done	5001	21
0	18	26
1	33	26
2	80	20
3	230	20
4	755	20
5	2452	20
done	5000	20
0	18	26
1	33	26
2	80	20
3	230	20
4	755	20
5	2452	20
done	5000	20
0	37	133
1	114	123
2	429	123
3	2634	101
done	5001	101
0	22	53
1	60	47
2	226	47
3	1496	41
done	5001	41
0	40	125
1	122	117
2	437	117
3	2637	105
done	5000	105
0	23	45
1	61	41
2	211	41
3	1297	35
done	5000	35
0	40	117
1	122	111
2	416	111
3	2247	99
done	5000	99
0	23	45
1	61	41
2	221	41
3	1188	35
done	5000	35
0	33	109
1	98	105
2	339	105
3	1824	89
done	5000	89
0	18	37
1	50	35
2	162	35
3	742	29
4	4036	29
done	5001	29
0	33	99
1	100	93
2	385	93
3	2276	73
done	5000	73
0	18	33
1	46	29
2	179	29
3	1120	29
done	5001	29
0	36	91
1	108	87
2	393	87
3	2270	77
done	5000	77
0	19	25
1	47	23
2	164	23
3	909	23
4	3817	23
done	5001	23
0	36	83
1	108	81
2	372	81
3	1892	71
done	5001	71
0	19	25
1	47	23
2	174	23
3	840	23
4	3631	23
done	5000	23
0	28	75
1	80	75
2	288	75
3	1467	61
done	5000	61
0	14	17
1	36	17
2	115	17
3	432	17
4	1239	17
done	5000	17
0	36	99
1	106	89
2	357	89
3	1816	86
done	5000	86
0	26	65
1	66	55
2	222	55
3	1109	53
done	5000	53
0	32	91
1	89	83
2	309	83
3	1626	80
done	5001	80
0	22	57
1	56	49
2	184	49
3	887	47
4	4630	47
done	5000	47
0	32	77
1	88	75
2	296	75
3	1689	57
done	5000	57
0	22	29
1	49	27
2	134	27
3	628	27
4	2679	27
done	5001	27
0	27	69
1	67	69
2	240	69
3	1405	51
done	5000	47
0	18	21
1	39	21
2	96	21
3	360	21
4	1142	21
5	4531	21
done	5000	21
0	20	29
1	49	29
2	134	29
3	577	29
4	4114	29
done	5000	29
0	21	77
1	54	69
2	180	69
3	1105	45
done	5000	45
0	19	51
1	49	51
2	167	51
3	971	31
done	5000	31
0	17	25
1	33	25
2	91	11
3	287	9
4	1368	9
done	5001	9
0	21	30
1	39	30
2	100	24
3	320	24
4	1369	24
done	5000	24
0	22	29
1	39	26
2	94	22
3	272	22
4	975	22
5	3587	22
done	5000	22
0	20	26
1	36	26
2	91	22
3	269	22
4	970	22
5	3573	22
done	5000	22
0	21	25
1	39	24
2	94	20
3	272	20
4	971	20
5	3563	20
done	5000	20
0	20	26
1	36	26
2	91	22
3	269	22
4	970	22
5	3573	22
done	5000	22
0	20	24
1	38	23
2	93	19
3	253	17
4	717	17
5	1416	17
6	2485	17
7	3619	17
8	3708	17
done	3708	17
0	21	30
1	39	30
2	100	24
3	320	24
4	1369	24
done	5000	24
0	22	29
1	39	26
2	94	22
3	272	22
4	975	22
5	3587	22
done	5000	22
0	20	26
1	36	26
2	91	22
3	269	22
4	970	22
5	3573	22
done	5000	22
0	21	25
1	39	24
2	94	20
3	272	20
4	971	20
5	3563	20
done	5000	20
0	20	26
1	36	26
2	91	22
3	269	22
4	970	22
5	3573	22
done	5000	22
0	20	24
1	38	23
2	93	19
3	253	17
4	717	17
5	1416	17
6	2485	17
7	3619	17
8	3708	17
done	3708	17
0	8	15
1	17	9
2	38	9
3	98	9
4	164	9
5	262	9
6	378	9
7	506	9
8	720	9
9	766	9
done	766	9
0	9	17
1	17	17
2	46	11
3	131	11
4	415	11
5	881	11
6	1256	11
7	1481	11
8	1542	11
done	1542	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	14	8
2	22	8
3	27	8
4	31	8
done	31	8
0	8	8
1	13	8
2	32	6
3	53	6
4	96	6
5	181	6
6	432	6
7	1321	6
done	5001	6
0	11	23
1	20	23
2	58	11
3	180	11
4	617	9
5	2412	9
done	5000	9
0	9	17
1	12	17
2	19	17
3	24	17
4	28	17
done	28	17
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	23
1	22	23
2	76	9
3	287	9
4	867	9
5	2746	9
done	5000	9
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	9	12
1	14	12
2	27	10
3	56	10
4	118	10
5	182	10
6	229	10
7	326	10
8	499	10
9	680	10
10	744	10
done	744	10
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	11
1	13	8
2	20	8
3	25	8
4	29	8
done	29	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	7	7
1	12	6
2	19	6
3	24	6
4	28	6
done	28	6
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	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	9	12
1	14	12
2	27	10
3	56	10
4	118	10
5	182	10
6	229	10
7	326	10
8	496	10
9	677	10
10	741	10
done	741	10
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	11
1	13	8
2	20	8
3	25	8
4	29	8
done	29	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	7	7
1	12	6
2	19	6
3	24	6
4	28	6
done	28	6
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	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
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	25	5
done	25	5
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	15	5
2	25	5
3	52	5
4	88	5
5	119	5
6	142	5
7	150	5
8	156	5
9	157	5
done	157	5
0	9	13
1	14	13
2	23	13
3	40	13
4	50	13
5	58	13
done	58	13
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
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	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	9	9
1	12	9
2	19	9
3	24	9
4	28	9
done	28	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	10	11
1	26	11
2	54	11
3	133	11
4	308	11
5	985	11
6	4492	11
done	5000	11
0	9	11
1	15	11
2	32	11
3	78	11
4	165	11
5	251	11
6	417	11
7	790	11
8	3472	11
done	5000	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	14	8
2	22	8
3	27	8
4	31	8
done	31	8
0	8	8
1	13	8
2	32	6
3	53	6
4	96	6
5	181	6
6	432	6
7	1321	6
done	5001	6
0	11	23
1	20	23
2	58	11
3	180	11
4	617	9
5	2412	9
done	5000	9
0	9	17
1	12	17
2	19	17
3	24	17
4	28	17
done	28	17
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	23
1	22	23
2	76	9
3	287	9
4	867	9
5	2746	9
done	5000	9
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	9	12
1	14	12
2	27	10
3	56	10
4	118	10
5	182	10
6	229	10
7	326	10
8	499	10
9	680	10
10	744	10
done	744	10
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	11
1	13	8
2	20	8
3	25	8
4	29	8
done	29	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	7	7
1	12	6
2	19	6
3	24	6
4	28	6
done	28	6
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	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	9	12
1	14	12
2	27	10
3	56	10
4	118	10
5	182	10
6	229	10
7	326	10
8	496	10
9	677	10
10	741	10
done	741	10
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	11
1	13	8
2	20	8
3	25	8
4	29	8
done	29	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	7	7
1	12	6
2	19	6
3	24	6
4	28	6
done	28	6
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	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
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	25	5
done	25	5
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	15	5
2	25	5
3	52	5
4	88	5
5	119	5
6	142	5
7	150	5
8	156	5
9	157	5
done	157	5
0	9	13
1	14	13
2	23	13
3	40	13
4	50	13
5	58	13
done	58	13
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
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	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	9	9
1	12	9
2	19	9
3	24	9
4	28	9
done	28	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	10	11
1	26	11
2	54	11
3	133	11
4	308	11
5	985	11
6	4492	11
done	5000	11
0	9	11
1	15	11
2	32	11
3	78	11
4	165	11
5	251	11
6	417	11
7	790	11
8	3472	11
done	5000	11
0	10	10
1	17	7
2	23	5
3	36	5
done	36	5
0	12	14
1	26	11
2	55	8
3	103	5
4	116	5
5	120	5
done	120	5
0	14	16
1	28	15
2	60	15
3	153	14
4	437	9
5	1049	5
6	3650	5
done	5000	5
0	31	44
1	77	41
2	219	37
3	851	31
4	4397	27
done	5000	27
0	13	18
1	35	16
2	82	16
3	159	16
4	442	14
5	1594	14
done	5001	14
0	13	18
1	33	18
2	80	18
3	177	16
4	577	14
5	2450	14
done	5000	14
0	18	27
1	46	23
2	120	21
3	312	17
4	858	17
5	2847	17
done	5000	17
0	13	17
1	28	17
2	67	14
3	113	14
4	276	14
5	989	14
6	4259	14
done	5000	14
0	13	17
1	28	17
2	63	14
3	128	14
4	345	14
5	1377	14
done	5000	14
0	18	27
1	46	23
2	120	21
3	312	17
4	858	17
5	2847	17
done	5000	17
0	13	17
1	28	17
2	67	14
3	113	14
4	276	14
5	989	14
6	4259	14
done	5000	14
0	13	17
1	28	17
2	63	14
3	128	14
4	345	14
5	1377	14
done	5000	14

prune265.0ms

Filtered

125 candidates to 150 candidates (-20.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	148	2	150
Fresh	2	4	6
Picked	0	1	1
Done	1	0	1
Total	151	7	158

Merged error: 0b

Counts

158 → 7

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (log (sqrt t)) (log (fabs (cbrt t))))
0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(+ (log (+ x y)) (log z))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity`
16×	`log-prod`
12×	`pow1`
11×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`associate-+l+`
9×	`distribute-lft-out`
8×	`log-pow`
6×	`cbrt-prod` `associate-+r+`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`flip3-+` `sqrt-prod` `flip-+`
2×	`+-commutative` `associate-+l-` `log-div` `pow1/3` `sum-log`

Counts

4 → 70

Calls

4 calls:

7.0ms	(+ (log (sqrt t)) (log (fabs (cbrt t))))
2.0ms	(cbrt t)
1.0ms	(cbrt t)
8.0ms	(+ (log (+ x y)) (log z))

series83.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+ (log (sqrt t)) (log (fabs (cbrt t))))
25.0ms	(cbrt t)
31.0ms	(cbrt t)
17.0ms	(+ (log (+ x y)) (log z))

simplify1.4min

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	15	5
done	15	5
0	8	8
1	10	8
done	10	8
0	8	8
1	13	8
2	14	5
3	22	5
done	22	5
0	9	17
1	11	17
done	11	17
0	8	8
1	10	8
done	10	8
0	9	23
1	24	23
2	56	9
3	121	9
4	284	9
5	860	9
6	1899	9
7	2673	9
8	3151	9
9	4200	9
done	5001	9
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	202	11
6	604	11
7	2441	11
done	5000	11
0	11	23
1	20	20
2	35	20
3	48	18
4	68	18
5	89	18
6	106	18
7	139	18
8	194	18
9	226	18
done	226	18
0	9	15
1	15	15
2	22	15
3	37	15
4	62	15
5	103	15
6	169	15
7	337	15
8	1640	15
done	5000	15
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	9	11
1	13	11
2	19	10
3	20	10
done	20	10
0	8	8
1	10	8
done	10	8
0	7	7
1	11	6
done	11	4
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	11	15
1	21	13
2	37	13
3	50	13
4	70	13
5	91	13
6	108	13
7	131	13
8	174	13
9	236	13
10	237	13
done	237	13
0	7	7
1	11	7
2	13	7
done	13	7
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	5	6
1	6	6
done	6	6
0	8	9
1	9	9
done	9	9
0	8	9
1	12	9
2	13	6
done	13	6
0	9	19
1	10	19
done	10	19
0	8	9
1	9	9
done	9	9
0	9	26
1	23	26
2	55	10
3	120	10
4	283	10
5	869	10
6	1942	10
7	2703	10
8	3184	10
9	4236	10
done	5000	10
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	10	12
1	24	12
2	33	12
3	50	12
4	91	12
5	210	12
6	623	12
7	2467	12
done	5000	12
0	11	26
1	19	21
2	34	21
3	47	21
4	67	21
5	88	21
6	105	21
7	138	21
8	193	21
9	225	21
done	225	21
0	9	17
1	14	17
2	21	17
3	36	17
4	61	17
5	102	17
6	168	17
7	336	17
8	1637	17
done	5000	17
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	9	14
1	12	14
2	18	11
3	19	11
done	19	11
0	8	9
1	9	9
done	9	9
0	6	6
1	9	5
done	9	3
0	8	9
1	9	9
done	9	9
0	7	9
1	8	9
done	8	9
0	8	9
1	9	9
done	9	9
0	7	8
1	8	8
done	8	8
0	8	9
1	9	9
done	9	9
0	7	8
1	8	8
done	8	8
0	10	10
1	17	7
2	23	5
3	36	5
done	36	5
0	12	14
1	26	11
2	55	8
3	103	5
4	116	5
5	120	5
done	120	5
0	14	16
1	28	15
2	60	15
3	153	14
4	437	9
5	1049	5
6	3650	5
done	5000	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	21	27
1	52	26
2	155	26
3	393	26
4	1090	24
5	3654	24
done	5000	24
0	19	24
1	45	23
2	121	23
3	266	23
4	800	23
5	3504	21
done	5000	21
0	23	29
1	53	27
2	135	27
3	303	27
4	911	27
5	3894	25
done	5000	25

prune113.0ms

Filtered

59 candidates to 82 candidates (-39.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	82	7	89

Merged error: 0b

Counts

89 → 7

regimes941.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	25
1	22	25
done	22	25

end0.0ms

sample8.6s

Algorithm

intervals

Results

4.0s	57070×	body	80	nan
613.0ms	8039×	body	80	valid

Details

sample273.0ms

simplify5.8s

prune5.0ms

localize16.0ms

rewrite50.0ms

series133.0ms

simplify3.0min

prune210.0ms

localize16.0ms

rewrite42.0ms

series130.0ms

simplify3.2min

prune178.0ms

localize19.0ms

rewrite53.0ms

series111.0ms

simplify3.4min

prune265.0ms

localize29.0ms

rewrite20.0ms

series83.0ms

simplify1.4min

prune113.0ms

regimes941.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample8.6s

Profiling