Details

sample22.0ms

Algorithm

intervals

Results

7.0ms

303×

body

valid

simplify8.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5

prune12.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: 8.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

7.7b	(/ (* x y) z)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

5.0ms

(/ (* x y) z)

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ (* x y) z)

simplify29.2s

Counts

24 → 24

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5

prune55.0ms

Filtered

19 candidates to 24 candidates (-26.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	17	7	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	8	25

Merged error: 0.0b

Counts

25 → 8

localize4.0ms

Local error

Found 1 expressions with local error:

5.9b	(* x (/ y z))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`associate-r`
10×	`times-frac`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-l`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 32

Calls

1 calls:

13.0ms

(* x (/ y z))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* x (/ y z))

simplify22.1s

Counts

35 → 35

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	13	8
2	20	8
3	29	8
4	35	8
5	45	8
6	52	8
7	64	8
8	87	8
9	101	8
10	107	8
done	107	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	35	6
4	55	6
5	69	6
6	81	6
7	99	6
8	115	6
9	122	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	34	6
4	67	6
5	148	6
6	360	6
7	1389	6
done	5000	6
0	11	17
1	26	17
2	104	11
3	444	9
4	1700	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	225	9
4	778	7
5	2424	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	270	7
4	827	7
5	2540	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	8	10
1	13	10
2	23	10
3	38	10
4	51	10
5	53	10
done	53	10
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	8	10
1	13	10
2	24	10
3	38	10
4	50	10
done	50	10
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	3	3
1	4	3
done	4	3
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5

prune75.0ms

Filtered

25 candidates to 35 candidates (-40.0%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	30	5	35
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	30	13	43

Merged error: 0.0b

Counts

43 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
2.4b	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log`
14×	`add-cbrt-cube`
12×	`add-sqr-sqrt`
9×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity` `prod-exp` `cbrt-unprod`
6×	`pow1`
5×	`associate-r`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`pow1/3` `associate-l`
2×	`times-frac` `unswap-sqr`
1×	`associate-r/` `pow-prod-down` `-commutative` `div-inv`

Counts

4 → 63

Calls

4 calls:

1.0ms	(cbrt y)
2.0ms	(cbrt y)
1.0ms	(cbrt y)
14.0ms	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

series113.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
26.0ms	(cbrt y)
26.0ms	(cbrt y)
35.0ms	(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

simplify1.3min

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	12	18
1	24	14
2	58	12
3	112	12
4	214	12
5	397	12
6	648	12
7	777	12
8	798	12
done	798	12
0	12	17
1	23	15
2	47	14
3	96	12
4	183	12
5	351	12
6	633	12
7	784	12
8	838	12
done	838	12
0	12	17
1	23	15
2	54	14
3	111	12
4	197	12
5	365	12
6	573	12
7	830	12
8	865	12
9	866	12
done	866	12
0	12	16
1	21	16
2	43	14
3	92	12
4	159	12
5	299	12
6	509	12
7	778	12
8	842	12
9	845	12
done	845	12
0	11	15
1	21	15
2	46	15
3	101	11
4	196	11
5	365	11
6	591	11
7	748	11
8	832	11
9	836	11
done	836	11
0	10	14
1	22	14
2	65	14
3	155	11
4	337	11
5	590	11
6	926	11
7	1075	11
8	1154	11
9	1155	11
done	1155	11
0	10	14
1	21	14
2	56	14
3	124	14
4	280	14
5	610	14
6	1404	14
7	4965	14
done	5000	14
0	9	13
1	21	13
2	71	11
3	213	11
4	547	11
5	1081	11
6	1938	11
7	4968	11
done	5000	11
0	12	27
1	33	27
2	132	15
3	707	11
4	3215	11
done	5000	11
0	12	27
1	33	27
2	125	15
3	564	11
4	2202	11
done	5001	11
0	15	41
1	44	41
2	234	19
3	1968	11
done	5001	11
0	13	41
1	32	41
2	149	17
3	886	17
done	5001	17
0	11	29
1	20	29
2	49	29
3	89	29
4	145	29
5	161	29
done	161	29
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	11	41
1	30	41
2	140	15
3	882	15
done	5000	15
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	10	14
1	19	14
2	48	14
3	89	14
4	145	14
5	161	14
done	161	14
0	11	15
1	18	15
2	28	9
3	34	9
done	34	9
0	11	15
1	18	15
2	28	9
3	34	9
done	34	9
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	11	27
1	20	27
2	31	27
3	37	27
done	37	27
0	10	14
1	17	14
2	27	8
3	33	8
done	33	8
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	3	3
1	6	1
done	6	1
0	5	7
1	8	7
2	10	7
done	10	7
0	10	14
1	19	14
2	48	14
3	90	14
4	146	14
5	162	14
done	162	14
0	10	14
1	19	14
2	48	14
3	90	14
4	146	14
5	162	14
done	162	14
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	5	7
1	8	7
2	10	7
done	10	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	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	16	17
1	29	16
2	60	14
3	142	11
4	304	9
5	701	9
6	2388	7
done	5001	7
0	18	21
1	37	18
2	80	14
3	212	11
4	506	10
5	1227	7
6	3766	7
done	5001	7
0	19	21
1	37	20
2	74	16
3	194	14
4	542	13
5	1721	11
done	5000	10
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

prune113.0ms

Filtered

54 candidates to 75 candidates (-38.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	10	10
Picked	1	0	1
Done	0	2	2
Total	75	13	88

Merged error: 0.0b

Counts

88 → 13

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
3.3b	(sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
5×	`pow1` `sqrt-prod`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`pow1/3`
2×	`rem-sqrt-square` `times-frac`
1×	`sqrt-pow1` `pow1/2` `sqrt-div` `div-inv`

Counts

4 → 50

Calls

4 calls:

2.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
10.0ms	(sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

series99.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
33.0ms	(cbrt y)
25.0ms	(cbrt y)
16.0ms	(sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

simplify48.5s

Counts

62 → 62

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	10	27
1	16	27
2	26	15
3	32	15
done	32	15
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	10	38
1	17	24
2	46	8
3	90	8
4	153	8
5	187	8
6	211	8
7	276	8
8	481	8
9	1394	8
done	5000	8
0	10	26
1	17	13
2	26	13
3	32	13
done	32	13
0	9	13
1	15	13
2	24	13
3	30	13
done	30	13
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	6	6
done	6	6
0	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	8	12
1	14	12
2	24	6
3	30	6
done	30	6
0	4	6
1	5	3
done	5	3
0	6	8
1	10	8
done	10	8
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	3	3
1	6	1
done	6	1
0	9	13
1	15	13
2	25	7
3	31	7
done	31	7
0	9	13
1	15	13
2	25	7
3	31	7
done	31	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	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	11
1	21	10
2	46	8
3	94	7
4	167	4
5	315	4
6	762	4
7	2220	4
done	5000	4
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	14	15
1	29	14
2	68	12
3	209	11
4	586	8
5	1441	4
6	3675	4
done	5001	4
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

prune61.0ms

Filtered

43 candidates to 62 candidates (-44.2%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	62	13	75

Merged error: 0.0b

Counts

75 → 13

regimes523.0ms

Accuracy

39.9% (1.3b remaining)

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

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	53
1	28	53
done	28	53

end0.0ms

sample650.0ms

Algorithm

intervals

Results

229.0ms

9577×

body

valid

Details

sample22.0ms

simplify8.0ms

prune12.0ms

localize4.0ms

rewrite6.0ms

series6.0ms

simplify29.2s

prune55.0ms

localize4.0ms

rewrite15.0ms

series5.0ms

simplify22.1s

prune75.0ms

localize12.0ms

rewrite20.0ms

series113.0ms

simplify1.3min

prune113.0ms

localize23.0ms

rewrite15.0ms

series99.0ms

simplify48.5s

prune61.0ms

regimes523.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample650.0ms

Profiling