Details

sample49.0ms

Algorithm

intervals

Results

21.0ms

481×

body

valid

simplify1.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	19	13
2	49	13
3	136	13
4	287	13
5	418	13
6	502	13
7	569	13
8	705	13
9	990	13
done	990	13

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: 5.8b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x x) (* (* y 4.0) (- (* z z) t)))
0.0b	(- (* z z) t)
5.5b	(* (* y 4.0) (- (* z z) t))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

8×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`add-log-exp`
6×	`add-sqr-sqrt` `sub-neg`
4×	`distribute-rgt-in` `add-cube-cbrt` `-un-lft-identity` `distribute-lft-in` `associate-r*` `associate--r+`
3×	`flip3--` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod`
2×	`diff-log` `associate-*r/` `difference-of-squares`
1×	`associate-l` `*-commutative`

Counts

3 → 54

Calls

3 calls:

5.0ms	(- (* x x) (* (* y 4.0) (- (* z z) t)))
5.0ms	(- (* z z) t)
9.0ms	(* (* y 4.0) (- (* z z) t))

series46.0ms

Counts

3 → 9

Calls

3 calls:

22.0ms	(- (* x x) (* (* y 4.0) (- (* z z) t)))
4.0ms	(- (* z z) t)
19.0ms	(* (* y 4.0) (- (* z z) t))

simplify1.3min

Counts

63 → 63

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	33	9
3	67	9
4	96	9
5	110	9
done	110	9
0	8	9
1	14	9
2	33	9
3	67	9
4	96	9
5	110	9
done	110	9
0	11	12
1	17	12
2	24	12
done	24	12
0	10	11
1	17	11
2	23	11
3	27	11
done	27	11
0	9	10
1	18	10
2	44	10
3	90	10
4	125	10
5	145	10
done	145	10
0	9	10
1	17	10
2	47	10
3	115	10
4	235	10
5	510	10
6	1424	10
done	5000	10
0	14	29
1	29	29
2	113	15
3	550	15
4	3253	13
done	5001	13
0	12	29
1	31	29
2	117	13
3	574	13
4	3319	11
done	5001	11
0	10	21
1	16	21
2	35	21
3	69	21
4	100	21
5	118	21
done	118	21
0	9	10
1	15	10
2	34	10
3	68	10
4	101	10
5	119	10
done	119	10
0	10	29
1	26	29
2	127	11
3	723	11
4	3860	11
done	5001	11
0	9	10
1	15	10
2	34	10
3	68	10
4	101	10
5	119	10
done	119	10
0	9	10
1	15	10
2	34	10
3	68	10
4	101	10
5	119	10
done	119	10
0	6	7
1	12	7
2	25	7
3	37	7
done	37	7
0	6	6
1	12	6
2	26	6
3	43	6
4	51	6
done	51	6
0	6	7
1	12	7
2	25	7
3	37	7
done	37	7
0	6	6
1	12	6
2	26	6
3	43	6
4	51	6
done	51	6
0	6	7
1	12	7
2	25	7
3	36	7
done	36	7
0	6	6
1	12	6
2	26	6
3	41	6
4	49	6
done	49	6
0	6	7
1	12	7
2	25	7
3	36	7
done	36	7
0	6	6
1	12	6
2	26	6
3	41	6
4	49	6
done	49	6
0	10	17
1	18	17
2	32	17
3	44	17
done	44	17
0	9	10
1	15	10
2	22	10
done	22	10
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	8	8
1	19	8
2	46	8
3	54	8
done	54	8
0	6	7
1	9	7
2	16	7
3	25	7
4	29	7
done	29	7
0	11	13
1	32	13
2	90	11
3	295	11
4	1040	11
5	4075	11
done	5000	11
0	10	15
1	23	15
2	58	13
3	193	11
4	532	11
5	1087	11
6	2145	11
done	5000	11
0	6	7
1	10	6
2	16	6
3	26	6
4	55	6
5	138	6
6	417	6
7	1623	6
done	5001	6
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	10	6
2	15	6
3	22	6
4	39	6
5	81	6
6	235	6
7	622	6
8	1926	6
done	5000	6
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	9	17
2	24	7
3	77	7
4	229	7
5	662	7
6	2131	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	7	9
1	24	9
2	64	7
3	123	7
4	290	7
5	944	7
6	4470	7
done	5000	7
0	8	17
1	21	15
2	35	13
3	49	11
4	69	11
5	98	11
6	180	11
7	420	11
8	1399	11
done	5000	11
0	2	2
done	2	2
0	6	11
1	15	11
2	26	9
3	50	7
4	98	7
5	186	7
6	349	7
7	830	7
8	3556	7
done	5001	7
0	4	5
1	5	5
done	5	5
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	13	15
1	25	14
2	60	14
3	165	14
4	461	14
5	1449	14
done	5000	14
0	12	14
1	20	14
2	50	14
3	137	14
4	288	14
5	423	14
6	509	14
7	576	14
8	715	14
9	1010	14
done	1010	14
0	12	14
1	23	14
2	63	14
3	192	14
4	497	14
5	1273	14
done	5000	14
0	13	29
1	21	29
2	51	29
3	138	29
4	289	29
5	414	29
6	500	29
7	567	29
8	708	29
9	999	29
done	999	29
0	12	14
1	20	14
2	50	14
3	137	14
4	288	14
5	423	14
6	509	14
7	576	14
8	715	14
9	1010	14
done	1010	14
0	13	41
1	22	41
2	66	15
3	254	15
4	1345	15
done	5000	15
0	12	14
1	20	14
2	50	14
3	137	14
4	288	14
5	423	14
6	509	14
7	576	14
8	715	14
9	1010	14
done	1010	14
0	12	14
1	20	14
2	50	14
3	137	14
4	288	14
5	423	14
6	509	14
7	576	14
8	715	14
9	1010	14
done	1010	14
0	14	17
1	40	17
2	149	15
3	764	15
done	5000	15
0	15	41
1	43	31
2	163	29
3	655	27
4	2174	27
done	5001	27
0	9	10
1	19	10
2	62	10
3	176	10
4	292	9
5	374	9
6	553	9
7	658	9
8	940	9
9	944	9
done	944	9
0	13	27
1	35	27
2	128	25
3	599	23
4	2806	23
done	5000	23
0	11	13
1	18	13
2	37	13
3	77	13
4	111	13
5	136	13
6	142	13
7	160	13
8	223	13
9	398	13
10	645	13
11	685	13
12	751	13
13	865	13
done	865	13
0	9	11
1	17	11
2	45	11
3	104	11
4	158	11
done	158	11
0	9	11
1	17	11
2	45	11
3	104	11
4	158	11
done	158	11
0	9	11
1	17	11
2	45	11
3	103	11
4	156	11
done	156	11
0	9	11
1	17	11
2	45	11
3	103	11
4	156	11
done	156	11
0	9	10
1	19	10
2	62	10
3	176	10
4	292	9
5	374	9
6	553	9
7	658	9
8	940	9
9	944	9
done	944	9
0	1	1
done	1	1
0	11	13
1	28	11
2	75	9
3	130	9
4	143	9
5	153	9
6	175	9
7	238	9
8	452	9
9	1397	9
done	5001	9
0	11	13
1	28	11
2	75	9
3	130	9
4	143	9
5	153	9
6	175	9
7	238	9
8	452	9
9	1397	9
done	5001	9
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	3	3
1	8	3
2	16	3
3	21	3
4	27	3
5	37	3
6	59	3
7	118	3
8	332	3
9	1245	3
done	5000	3
0	14	17
1	35	17
2	89	15
3	169	13
4	247	13
5	288	13
6	379	13
7	596	13
8	1142	13
9	3008	13
done	5000	13
0	14	17
1	35	17
2	89	15
3	169	13
4	247	13
5	288	13
6	379	13
7	596	13
8	1142	13
9	3008	13
done	5000	13

prune108.0ms

Filtered

47 candidates to 63 candidates (-34.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	57	6	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	6	64

Merged error: 1.8b

Counts

64 → 6

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x x) (+ (* (* y 4.0) (* z z)) (* (* y 4.0) (neg t))))
0.0b	(+ (* (* y 4.0) (* z z)) (* (* y 4.0) (neg t)))
9.6b	(* (* y 4.0) (* z z))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

15×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-log-exp`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `distribute-rgt-neg-out`
3×	`add-cube-cbrt` `*-un-lft-identity`
2×	`diff-log` `unsub-neg` `sum-log` `associate--r-`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `associate-r` `associate-l` `*-commutative` `flip--` `flip-+` `distribute-lft-out` `associate--r+` `difference-of-squares`

Counts

3 → 53

Calls

3 calls:

14.0ms	(- (* x x) (+ (* (* y 4.0) (* z z)) (* (* y 4.0) (neg t))))
9.0ms	(+ (* (* y 4.0) (* z z)) (* (* y 4.0) (neg t)))
8.0ms	(* (* y 4.0) (* z z))

series49.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(- (* x x) (+ (* (* y 4.0) (* z z)) (* (* y 4.0) (neg t))))
17.0ms	(+ (* (* y 4.0) (* z z)) (* (* y 4.0) (neg t)))
8.0ms	(* (* y 4.0) (* z z))

simplify1.5min

Counts

62 → 62

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	25	7
3	37	7
done	37	7
0	6	7
1	12	7
2	25	7
3	37	7
done	37	7
0	6	7
1	12	7
2	25	7
3	37	7
done	37	7
0	6	7
1	12	7
2	25	7
3	37	7
done	37	7
0	9	11
1	17	10
2	31	10
3	41	10
done	41	10
0	9	10
1	15	10
2	29	10
3	43	10
4	46	10
done	46	10
0	8	10
1	17	9
2	27	9
3	41	9
4	44	9
done	44	9
0	8	9
1	15	9
2	26	9
3	43	9
4	49	9
done	49	9
0	7	8
1	16	8
2	40	8
3	74	8
4	96	8
done	96	8
0	7	8
1	15	8
2	41	8
3	87	8
4	181	8
5	422	8
6	1024	8
7	2800	8
done	5000	8
0	12	23
1	31	23
2	121	15
3	578	11
4	2538	9
done	5000	9
0	12	23
1	32	23
2	121	13
3	572	11
4	2485	9
done	5001	9
0	10	23
1	33	23
2	127	13
3	603	9
4	2477	9
done	5000	9
0	10	23
1	34	23
2	124	11
3	616	9
4	2547	9
done	5000	9
0	8	17
1	14	17
2	27	17
3	37	17
done	37	17
0	7	8
1	13	8
2	26	8
3	36	8
done	36	8
0	8	23
1	24	23
2	121	9
3	670	9
4	2968	9
done	5000	9
0	7	8
1	13	8
2	26	8
3	36	8
done	36	8
0	7	8
1	13	8
2	26	8
3	36	8
done	36	8
0	5	5
1	9	5
2	15	5
done	15	5
0	4	5
1	7	5
2	9	5
done	9	5
0	12	16
1	29	15
2	84	11
3	207	10
4	560	10
5	2692	10
done	5001	10
0	11	15
1	25	11
2	67	10
3	114	10
4	133	10
done	133	10
0	11	15
1	28	11
2	84	10
3	185	10
4	454	10
5	2068	10
done	5001	10
0	12	31
1	26	23
2	65	21
3	105	21
4	114	21
done	114	21
0	11	15
1	25	11
2	64	10
3	102	10
4	111	10
done	111	10
0	12	44
1	39	32
2	185	11
3	1275	11
done	5000	11
0	11	15
1	25	11
2	64	10
3	102	10
4	111	10
done	111	10
0	11	15
1	25	11
2	64	10
3	102	10
4	111	10
done	111	10
0	13	18
1	43	18
2	192	16
3	1099	13
done	5000	13
0	14	44
1	49	37
2	250	33
3	1264	27
done	5000	23
0	12	29
1	41	29
2	197	19
3	892	17
4	2644	15
done	5000	15
0	10	14
1	25	10
2	70	10
3	156	9
4	212	9
5	285	9
6	354	9
7	491	9
8	748	9
9	752	9
done	752	9
0	5	6
1	7	5
done	7	5
0	16	21
1	37	20
2	101	15
3	264	14
4	922	14
done	5000	14
0	15	20
1	36	15
2	104	14
3	250	14
4	789	14
done	5000	14
0	14	19
1	32	15
2	83	14
3	188	14
4	406	14
5	616	14
6	750	14
7	1045	14
8	1054	14
done	1054	14
0	14	19
1	35	15
2	98	14
3	261	14
4	690	14
5	2204	14
done	5001	14
0	15	39
1	33	31
2	84	29
3	191	29
4	411	29
5	633	29
6	754	29
7	1047	29
8	1056	29
done	1056	29
0	14	19
1	32	15
2	83	14
3	188	14
4	406	14
5	616	14
6	750	14
7	1045	14
8	1054	14
done	1054	14
0	15	56
1	34	44
2	99	15
3	311	15
4	1835	15
done	5000	15
0	14	19
1	32	15
2	83	14
3	188	14
4	406	14
5	616	14
6	750	14
7	1045	14
8	1054	14
done	1054	14
0	14	19
1	32	15
2	83	14
3	188	14
4	406	14
5	616	14
6	750	14
7	1045	14
8	1054	14
done	1054	14
0	16	22
1	47	18
2	156	15
3	672	15
4	4729	15
done	5000	15
0	17	56
1	56	33
2	230	29
3	1147	27
4	4584	27
done	5000	27
0	11	15
1	28	11
2	93	10
3	246	10
4	425	9
5	533	9
6	632	9
7	908	9
8	912	9
done	912	9
0	15	37
1	44	29
2	163	25
3	856	23
4	4497	23
done	5000	23
0	13	18
1	30	14
2	76	13
3	117	13
4	132	13
5	150	13
6	213	13
7	388	13
8	635	13
9	675	13
10	743	13
11	857	13
done	857	13
0	13	17
1	28	13
2	67	12
3	107	12
4	116	12
done	116	12
0	13	17
1	29	13
2	69	12
3	109	12
4	118	12
done	118	12
0	9	11
1	17	11
2	45	11
3	104	11
4	158	11
done	158	11
0	9	11
1	17	11
2	45	11
3	104	11
4	158	11
done	158	11
0	9	11
1	17	11
2	45	11
3	104	11
4	158	11
done	158	11
0	11	15
1	28	11
2	93	10
3	246	10
4	425	9
5	533	9
6	632	9
7	908	9
8	912	9
done	912	9
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	1	1
done	1	1
0	11	13
1	28	11
2	75	9
3	130	9
4	143	9
5	153	9
6	175	9
7	238	9
8	452	9
9	1397	9
done	5001	9
0	11	13
1	28	11
2	75	9
3	130	9
4	143	9
5	153	9
6	175	9
7	238	9
8	452	9
9	1397	9
done	5001	9
0	3	3
1	8	3
2	16	3
3	21	3
4	27	3
5	37	3
6	59	3
7	118	3
8	332	3
9	1245	3
done	5000	3
0	14	17
1	35	17
2	89	15
3	169	13
4	247	13
5	288	13
6	379	13
7	596	13
8	1142	13
9	3008	13
done	5000	13
0	14	17
1	35	17
2	89	15
3	169	13
4	247	13
5	288	13
6	379	13
7	596	13
8	1142	13
9	3008	13
done	5000	13

prune105.0ms

Filtered

46 candidates to 62 candidates (-34.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	60	2	62
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	62	6	68

Merged error: 0.0b

Counts

68 → 6

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x x) (+ (* (* (* y 4.0) z) z) (* (* y 4.0) (neg t))))
0.0b	(+ (* (* (* y 4.0) z) z) (* (* y 4.0) (neg t)))
0.2b	(* (* (* y 4.0) z) z)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

12×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-log-exp`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt`
4×	`add-cube-cbrt` `*-un-lft-identity` `distribute-rgt-neg-out`
3×	`associate-r`
2×	`diff-log` `unsub-neg` `sum-log` `associate--r-`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `associate-l` `*-commutative` `flip--` `flip-+` `associate--r+` `difference-of-squares`

Counts

3 → 51

Calls

3 calls:

9.0ms	(- (* x x) (+ (* (* (* y 4.0) z) z) (* (* y 4.0) (neg t))))
8.0ms	(+ (* (* (* y 4.0) z) z) (* (* y 4.0) (neg t)))
11.0ms	(* (* (* y 4.0) z) z)

series48.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(- (* x x) (+ (* (* (* y 4.0) z) z) (* (* y 4.0) (neg t))))
17.0ms	(+ (* (* (* y 4.0) z) z) (* (* y 4.0) (neg t)))
8.0ms	(* (* (* y 4.0) z) z)

simplify1.5min

Counts

60 → 60

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	9	11
1	16	11
2	32	10
3	47	10
4	48	10
done	48	10
0	8	10
1	16	10
2	26	9
3	42	9
4	46	9
done	46	9
0	8	9
1	15	9
2	30	9
3	52	9
4	71	9
done	71	9
0	7	8
1	17	8
2	40	8
3	74	8
4	100	8
5	101	8
done	101	8
0	7	8
1	16	8
2	42	8
3	86	8
4	177	8
5	413	8
6	1002	8
7	2637	8
done	5000	8
0	12	23
1	30	23
2	131	15
3	608	11
4	2477	9
done	5000	9
0	10	23
1	32	23
2	133	13
3	694	9
4	2851	9
done	5001	9
0	10	23
1	29	23
2	137	11
3	801	11
4	3268	9
done	5001	9
0	8	17
1	15	17
2	29	17
3	41	17
done	41	17
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	8	23
1	24	23
2	103	9
3	550	9
4	2426	9
done	5000	9
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	8	11
1	17	11
2	46	11
3	110	11
4	153	11
done	153	11
0	7	8
1	14	8
2	34	8
3	57	8
4	58	8
done	58	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	2	3
done	2	3
0	12	16
1	31	15
2	86	11
3	213	10
4	539	10
5	2428	10
done	5000	10
0	11	15
1	24	15
2	57	11
3	107	10
4	134	10
5	144	10
done	144	10
0	11	15
1	27	15
2	75	11
3	178	10
4	418	10
5	1793	10
done	5001	10
0	12	31
1	25	31
2	58	23
3	105	21
4	123	21
done	123	21
0	11	15
1	24	15
2	57	11
3	104	10
4	122	10
done	122	10
0	12	44
1	38	44
2	157	12
3	961	11
done	5000	11
0	11	15
1	24	15
2	57	11
3	104	10
4	122	10
done	122	10
0	11	15
1	24	15
2	57	11
3	104	10
4	122	10
done	122	10
0	13	18
1	45	18
2	185	18
3	1060	16
done	5001	15
0	14	44
1	51	37
2	247	33
3	1327	29
done	5000	25
0	12	29
1	42	29
2	188	21
3	869	19
4	2527	17
done	5001	17
0	10	14
1	24	14
2	64	10
3	154	9
4	218	9
5	291	9
6	360	9
7	497	9
8	742	9
9	746	9
done	746	9
0	16	21
1	39	20
2	103	15
3	271	14
4	884	14
done	5000	14
0	15	20
1	35	19
2	95	15
3	231	14
4	696	14
5	4403	14
done	5001	14
0	14	19
1	31	19
2	73	15
3	172	14
4	391	14
5	602	14
6	733	14
7	1030	14
8	1039	14
done	1039	14
0	14	19
1	34	19
2	86	15
3	231	14
4	621	14
5	1891	14
done	5000	14
0	15	39
1	32	39
2	74	31
3	171	29
4	390	29
5	600	29
6	727	29
7	1018	29
8	1027	29
done	1027	29
0	14	19
1	31	19
2	73	15
3	172	14
4	391	14
5	602	14
6	733	14
7	1030	14
8	1039	14
done	1039	14
0	15	56
1	33	56
2	89	16
3	275	15
4	1459	15
done	5001	15
0	14	19
1	31	19
2	73	15
3	172	14
4	391	14
5	602	14
6	733	14
7	1030	14
8	1039	14
done	1039	14
0	14	19
1	31	19
2	73	15
3	172	14
4	391	14
5	602	14
6	733	14
7	1030	14
8	1039	14
done	1039	14
0	16	22
1	46	22
2	135	16
3	449	15
4	2896	15
done	5000	15
0	17	56
1	55	41
2	198	31
3	886	27
4	3943	27
done	5000	27
0	11	15
1	27	15
2	80	11
3	231	10
4	428	9
5	554	9
6	649	9
7	928	9
8	931	9
done	931	9
0	15	37
1	43	37
2	140	27
3	645	23
4	3643	23
done	5000	23
0	13	18
1	29	18
2	69	14
3	117	13
4	141	13
5	159	13
6	222	13
7	397	13
8	644	13
9	684	13
10	756	13
11	874	13
done	874	13
0	13	17
1	27	17
2	60	13
3	107	12
4	125	12
done	125	12
0	13	17
1	28	17
2	62	13
3	109	12
4	127	12
done	127	12
0	9	11
1	18	11
2	43	11
3	111	11
4	174	11
done	174	11
0	9	11
1	18	11
2	43	11
3	111	11
4	174	11
done	174	11
0	9	11
1	18	11
2	43	11
3	111	11
4	174	11
done	174	11
0	11	15
1	27	15
2	80	11
3	231	10
4	428	9
5	554	9
6	649	9
7	928	9
8	931	9
done	931	9
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	1	1
done	1	1
0	11	13
1	28	11
2	75	9
3	130	9
4	143	9
5	153	9
6	175	9
7	238	9
8	452	9
9	1397	9
done	5001	9
0	11	13
1	28	11
2	75	9
3	130	9
4	143	9
5	153	9
6	175	9
7	238	9
8	452	9
9	1397	9
done	5001	9
0	3	3
1	8	3
2	16	3
3	21	3
4	27	3
5	37	3
6	59	3
7	118	3
8	332	3
9	1245	3
done	5000	3
0	14	17
1	35	17
2	89	15
3	169	13
4	247	13
5	288	13
6	379	13
7	596	13
8	1142	13
9	3008	13
done	5000	13
0	14	17
1	35	17
2	89	15
3	169	13
4	247	13
5	288	13
6	379	13
7	596	13
8	1142	13
9	3008	13
done	5000	13

prune110.0ms

Filtered

47 candidates to 60 candidates (-27.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	57	3	60
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	58	8	66

Merged error: 0.0b

Counts

66 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt z) (cbrt z))
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

7.0ms	(* (cbrt z) (cbrt z))
2.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series109.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (cbrt z) (cbrt z))
29.0ms	(cbrt z)
25.0ms	(cbrt z)
26.0ms	(cbrt z)

simplify51.9s

Counts

85 → 85

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	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	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	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	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	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	314	3
6	887	3
7	2959	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	548	10
5	2145	10
done	5001	9

prune78.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	0	5	5
Picked	1	0	1
Done	0	2	2
Total	83	10	93

Merged error: 0.0b

Counts

93 → 10

regimes804.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	20	18
2	23	18
3	30	18
done	30	18

end0.0ms

sample1.5s

Algorithm

intervals

Results

715.0ms

15907×

body

valid

Details

sample49.0ms

simplify1.2s

prune4.0ms

localize9.0ms

rewrite20.0ms

series46.0ms

simplify1.3min

prune108.0ms

localize12.0ms

rewrite34.0ms

series49.0ms

simplify1.5min

prune105.0ms

localize12.0ms

rewrite31.0ms

series48.0ms

simplify1.5min

prune110.0ms

localize16.0ms

rewrite13.0ms

series109.0ms

simplify51.9s

prune78.0ms

regimes804.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample1.5s

Profiling