Details

sample33.0ms

Algorithm

intervals

Results

17.0ms

322×

body

valid

simplify286.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	20	9
3	29	9
4	38	9
5	45	9
6	56	9
7	77	9
8	114	9
9	162	9
10	194	9
11	204	9
12	230	9
13	239	9
14	240	9
done	240	9

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) (* z (- 1.0 y)))
0.0b	(* z (- 1.0 y))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

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

series15.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(+ (* x y) (* z (- 1.0 y)))
6.0ms	(* z (- 1.0 y))

simplify31.0s

Counts

47 → 47

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
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	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	10	11
1	21	10
2	40	10
3	87	10
4	238	10
5	801	10
6	3660	10
done	5001	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	17	10
2	33	10
3	63	10
4	143	10
5	410	10
6	1584	10
done	5000	10
0	10	21
1	15	21
2	22	21
3	31	21
4	40	21
5	47	21
6	58	21
7	79	21
8	116	21
9	164	21
10	196	21
11	206	21
12	232	21
13	241	21
14	242	21
done	242	21
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	10	29
1	28	29
2	99	11
3	419	11
4	1906	11
done	5001	11
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	9	10
1	14	10
2	21	10
3	30	10
4	39	10
5	46	10
6	57	10
7	78	10
8	115	10
9	163	10
10	195	10
11	205	10
12	231	10
13	240	10
14	241	10
done	241	10
0	11	13
1	35	13
2	109	13
3	341	13
4	966	13
5	2798	13
done	5000	13
0	12	29
1	42	23
2	137	23
3	440	23
4	1221	23
5	2948	23
done	5000	23
0	10	19
1	33	19
2	93	19
3	268	19
4	793	19
5	2087	19
done	5001	19
0	8	9
1	14	9
2	28	9
3	50	9
4	81	9
5	91	9
6	114	9
7	140	9
8	188	9
9	235	9
10	236	9
done	236	9
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9
0	9	11
1	17	11
2	32	9
3	44	9
4	56	9
5	77	9
6	114	9
7	162	9
8	194	9
9	204	9
10	230	9
11	239	9
12	240	9
done	240	9

prune59.0ms

Filtered

31 candidates to 47 candidates (-51.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	46	1	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	2	48

Merged error: 0b

Counts

48 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
0.5b	(cbrt (* z (- 1.0 y)))
0.5b	(cbrt (* z (- 1.0 y)))
0.5b	(cbrt (* z (- 1.0 y)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

8.0ms	(* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
5.0ms	(cbrt (* z (- 1.0 y)))
6.0ms	(cbrt (* z (- 1.0 y)))
8.0ms	(cbrt (* z (- 1.0 y)))

series94.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (cbrt (* z (- 1.0 y))) (cbrt (* z (- 1.0 y))))
20.0ms	(cbrt (* z (- 1.0 y)))
19.0ms	(cbrt (* z (- 1.0 y)))
22.0ms	(cbrt (* z (- 1.0 y)))

simplify1.8min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	2	2
done	2	2
0	4	4
1	6	4
2	7	4
done	7	4
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	985	10
6	4550	10
done	5000	10
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	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	3434	10
done	5001	10
0	4	4
1	5	4
done	5	4
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	12	20
2	21	8
3	31	5
4	41	5
5	51	5
6	72	5
7	136	5
8	353	5
9	1278	5
done	5001	5
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	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	2	2
done	2	2
0	4	4
1	6	4
2	7	4
done	7	4
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	985	10
6	4550	10
done	5000	10
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	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	3434	10
done	5001	10
0	4	4
1	5	4
done	5	4
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	12	20
2	21	8
3	31	5
4	41	5
5	51	5
6	72	5
7	136	5
8	353	5
9	1278	5
done	5001	5
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	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	2	2
done	2	2
0	4	4
1	6	4
2	7	4
done	7	4
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	985	10
6	4550	10
done	5000	10
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	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	3434	10
done	5001	10
0	4	4
1	5	4
done	5	4
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	12	20
2	21	8
3	31	5
4	41	5
5	51	5
6	72	5
7	136	5
8	353	5
9	1278	5
done	5001	5
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	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	6	11
1	16	11
2	46	11
3	123	11
4	286	11
5	560	11
6	995	11
7	1728	11
8	3042	11
9	4660	11
10	4931	11
done	4931	11
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	2	3
1	6	1
done	6	1
0	8	15
1	13	9
2	21	9
3	26	9
4	30	9
done	30	9
0	8	14
1	13	14
2	22	9
3	28	9
4	32	9
done	32	9
0	8	14
1	13	14
2	24	14
3	34	14
4	56	14
5	96	14
6	205	14
7	585	14
8	2275	14
done	5000	14
0	6	11
1	16	11
2	46	11
3	123	11
4	286	11
5	560	11
6	995	11
7	1728	11
8	3042	11
9	4660	11
10	4931	11
done	4931	11
0	9	29
1	12	29
2	19	29
3	24	29
4	28	29
done	28	29
0	8	14
1	11	14
2	18	14
3	23	14
4	27	14
done	27	14
0	9	41
1	20	41
2	34	15
3	53	8
4	143	8
5	432	8
6	1144	8
7	3558	8
done	5001	8
0	8	14
1	12	7
2	19	7
3	24	7
4	28	7
done	28	7
0	8	14
1	12	7
2	19	7
3	24	7
4	28	7
done	28	7
0	10	21
1	26	21
2	54	21
3	133	21
4	307	21
5	970	21
6	4474	21
done	5000	21
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	15	21
1	36	21
2	79	21
3	188	21
4	442	21
5	1201	21
done	5001	21
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	15	21
1	36	21
2	79	21
3	188	21
4	442	21
5	1209	21
6	4995	21
done	5000	21
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	9	21
1	15	21
2	32	21
3	78	21
4	165	21
5	251	21
6	409	21
7	782	21
8	3432	21
done	5001	21
0	5	9
1	6	9
done	6	9
0	3	5
done	3	5
0	5	9
1	7	9
2	8	9
done	8	9
0	9	31
1	16	31
2	25	17
3	39	9
4	58	9
5	84	9
6	156	9
7	375	9
8	1266	9
done	5001	9
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	8	15
1	11	6
2	19	6
3	24	6
4	28	6
done	28	6
0	8	15
1	11	6
2	19	6
3	24	6
4	28	6
done	28	6
0	2	3
1	4	1
done	4	1
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	8	15
1	11	6
2	19	6
3	24	6
4	28	6
done	28	6
0	8	15
1	11	6
2	19	6
3	24	6
4	28	6
done	28	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	8	9
1	12	9
2	19	9
3	24	9
4	28	9
done	28	9
0	9	22
1	15	22
2	24	22
3	29	22
4	33	22
done	33	22
0	8	14
1	12	14
2	19	14
3	24	14
4	28	14
done	28	14
0	8	8
1	14	6
2	24	6
3	29	6
4	33	6
done	33	6
0	8	11
1	12	11
2	19	11
3	24	11
4	28	11
done	28	11
0	8	14
1	12	14
2	19	14
3	24	14
4	28	14
done	28	14
0	8	14
1	12	14
2	19	14
3	24	14
4	28	14
done	28	14
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	13	17
1	33	17
2	67	17
3	145	17
4	324	17
5	990	17
6	4544	17
done	5000	17
0	12	17
1	21	17
2	48	17
3	116	17
4	227	17
5	359	17
6	616	17
7	2035	17
done	5000	17
0	13	17
1	33	17
2	67	17
3	145	17
4	334	17
5	1032	17
6	4605	17
done	5000	17
0	12	17
1	21	17
2	48	17
3	116	17
4	229	17
5	358	17
6	612	17
7	2055	17
done	5000	17
0	24	55
1	63	55
2	175	55
3	492	43
4	1982	28
done	5001	28
0	24	60
1	57	51
2	129	48
3	358	29
4	1130	25
done	5000	19
0	26	66
1	61	63
2	160	60
3	539	39
4	2375	35
done	5001	35
0	24	55
1	63	55
2	175	55
3	492	43
4	1982	28
done	5001	28
0	24	60
1	57	51
2	129	48
3	358	29
4	1130	25
done	5000	19
0	26	66
1	61	63
2	160	60
3	539	39
4	2375	35
done	5001	35
0	24	55
1	63	55
2	175	55
3	492	43
4	1982	28
done	5001	28
0	24	60
1	57	51
2	129	48
3	358	29
4	1130	25
done	5000	19
0	26	66
1	61	63
2	160	60
3	539	39
4	2375	35
done	5001	35
0	24	63
1	66	61
2	186	52
3	497	35
4	2016	32
done	5000	31
0	25	69
1	60	54
2	136	45
3	404	25
4	1398	25
done	5000	25
0	29	84
1	71	75
2	194	69
3	818	43
done	5000	43

prune195.0ms

Filtered

69 candidates to 84 candidates (-21.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	84	2	86

Merged error: 0b

Counts

86 → 2

regimes174.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
done	11	9

end0.0ms

sample766.0ms

Algorithm

intervals

Results

334.0ms

10146×

body

valid

Details

sample33.0ms

simplify286.0ms

prune3.0ms

localize7.0ms

rewrite13.0ms

series15.0ms

simplify31.0s

prune59.0ms

localize11.0ms

rewrite30.0ms

series94.0ms

simplify1.8min

prune195.0ms

regimes174.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample766.0ms

Profiling