Details

sample27.0ms

Algorithm

intervals

Results

9.0ms	313×	body	80	valid
0.0ms	3×	body	640	valid
0.0ms	2×	body	1280	valid
0.0ms	2×	body	320	valid

simplify22.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	18	9
2	23	9
3	29	9
4	31	9
done	31	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.1b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ y z))
0.0b	(+ (* x (+ y z)) (* z 5.0))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 36

Calls

2 calls:

7.0ms	(* x (+ y z))
8.0ms	(+ (* x (+ y z)) (* z 5.0))

series16.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* x (+ y z))
9.0ms	(+ (* x (+ y z)) (* z 5.0))

simplify29.1s

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	26	10
2	44	10
3	94	10
4	250	10
5	932	10
done	5001	10
0	9	10
1	19	10
2	24	10
3	30	10
4	32	10
done	32	10
0	9	10
1	22	10
2	39	10
3	74	10
4	152	10
5	529	10
6	2774	10
done	5000	10
0	10	21
1	20	21
2	25	21
3	31	21
4	33	21
done	33	21
0	9	10
1	19	10
2	24	10
3	30	10
4	32	10
done	32	10
0	10	29
1	33	29
2	114	11
3	577	11
4	3059	11
done	5000	11
0	9	10
1	19	10
2	24	10
3	30	10
4	32	10
done	32	10
0	9	10
1	19	10
2	24	10
3	30	10
4	32	10
done	32	10
0	11	13
1	40	13
2	120	13
3	430	13
4	1133	13
5	2882	13
done	5001	13
0	12	29
1	47	25
2	151	25
3	434	23
4	1203	23
5	3417	23
done	5000	23
0	10	19
1	38	19
2	112	19
3	296	19
4	668	19
5	1881	19
done	5001	19
0	8	9
1	19	9
2	31	9
3	44	9
4	50	9
5	56	9
6	73	9
7	103	9
8	150	9
9	192	9
10	209	9
11	236	9
12	259	9
13	260	9
done	260	9
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	11	5
2	13	5
done	13	5
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	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	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune57.0ms

Filtered

32 candidates to 42 candidates (-31.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	4	43

Merged error: 0.0b

Counts

43 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) (* z (+ x 5.0)))
0.0b	(* z (+ x 5.0))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 36

Calls

2 calls:

4.0ms	(+ (* x y) (* z (+ x 5.0)))
7.0ms	(* z (+ x 5.0))

series14.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(+ (* x y) (* z (+ x 5.0)))
6.0ms	(* z (+ x 5.0))

simplify30.1s

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	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	26	10
2	44	10
3	94	10
4	250	10
5	923	10
done	5001	10
0	9	10
1	19	10
2	24	10
3	30	10
4	32	10
done	32	10
0	9	10
1	22	10
2	39	10
3	74	10
4	152	10
5	529	10
6	2772	10
done	5001	10
0	10	21
1	20	21
2	25	21
3	31	21
4	33	21
done	33	21
0	9	10
1	19	10
2	24	10
3	30	10
4	32	10
done	32	10
0	10	29
1	33	29
2	114	11
3	577	11
4	3056	11
done	5000	11
0	9	10
1	19	10
2	24	10
3	30	10
4	32	10
done	32	10
0	9	10
1	19	10
2	24	10
3	30	10
4	32	10
done	32	10
0	11	13
1	40	13
2	120	13
3	426	13
4	1120	13
5	2845	13
done	5000	13
0	12	29
1	47	23
2	166	23
3	507	23
4	1451	23
5	3619	23
done	5001	23
0	10	19
1	38	19
2	112	19
3	329	19
4	898	19
5	2363	19
done	5000	19
0	8	9
1	19	9
2	32	9
3	58	9
4	72	9
5	87	9
6	128	9
7	199	9
8	260	9
9	269	9
10	270	9
done	270	9
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9

prune56.0ms

Filtered

31 candidates to 42 candidates (-35.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	40	2	42
Fresh	2	0	2
Picked	0	1	1
Done	0	1	1
Total	42	4	46

Merged error: 0.0b

Counts

46 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (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)
2.0ms	(cbrt z)

series112.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (cbrt z) (cbrt z))
26.0ms	(cbrt z)
26.0ms	(cbrt z)
26.0ms	(cbrt z)

simplify51.7s

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

prune75.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	84	5	89

Merged error: 0.0b

Counts

89 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod`
9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 47

Calls

4 calls:

2.0ms	(cbrt z)
2.0ms	(cbrt z)
2.0ms	(cbrt z)
2.0ms	(cbrt (cbrt z))

series119.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt z)
26.0ms	(cbrt z)
30.0ms	(cbrt z)
36.0ms	(cbrt (cbrt z))

simplify47.5s

Counts

59 → 59

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
done	4	4
0	4	4
done	4	4
0	5	7
done	5	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	5	8
done	5	8
0	4	4
done	4	4
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	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	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	14	15
1	31	13
2	57	12
3	139	12
4	398	11
5	1510	9
done	5000	9
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

prune62.0ms

Filtered

40 candidates to 59 candidates (-47.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	59	5	64

Merged error: 0.0b

Counts

64 → 5

regimes213.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample797.0ms

Algorithm

intervals

Results

322.0ms	9826×	body	80	valid
15.0ms	109×	body	1280	valid
14.0ms	125×	body	640	valid
6.0ms	73×	body	320	valid
2.0ms	39×	body	160	valid

Details

sample27.0ms

simplify22.0ms

prune3.0ms

localize7.0ms

rewrite16.0ms

series16.0ms

simplify29.1s

prune57.0ms

localize7.0ms

rewrite12.0ms

series14.0ms

simplify30.1s

prune56.0ms

localize15.0ms

rewrite13.0ms

series112.0ms

simplify51.7s

prune75.0ms

localize16.0ms

rewrite8.0ms

series119.0ms

simplify47.5s

prune62.0ms

regimes213.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample797.0ms

Profiling