Details

sample21.0ms

Algorithm

intervals

Results

8.0ms

344×

body

valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	14	7
2	19	7
done	19	7

prune2.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: 4.8b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ 1.0 (* y y))
4.5b	(* x (+ 1.0 (* y y)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

3.0ms	(+ 1.0 (* y y))
6.0ms	(* x (+ 1.0 (* y y)))

series16.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(+ 1.0 (* y y))
11.0ms	(* x (+ 1.0 (* y y)))

simplify51.9s

Counts

39 → 39

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	14	7
2	19	7
done	19	7
0	8	9
1	10	9
done	10	9
0	7	8
1	18	8
2	24	8
3	26	8
done	26	8
0	7	8
1	17	8
2	31	8
3	54	8
4	96	8
5	253	8
6	719	8
7	2567	8
done	5001	8
0	10	23
1	30	23
2	121	11
3	457	11
4	1715	9
done	5000	9
0	8	17
1	16	17
2	21	17
done	21	17
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	8	23
1	26	23
2	102	9
3	394	9
4	1127	9
5	3442	9
done	5001	9
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	3	3
1	4	3
done	4	3
0	4	5
1	7	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	7	5
2	9	5
done	9	5
0	8	15
1	12	15
2	14	15
done	14	15
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	6	7
1	14	7
2	19	7
done	19	7
0	9	11
1	32	11
2	85	9
3	183	9
4	386	9
5	1092	9
6	3647	9
done	5000	9
0	8	13
1	18	13
2	43	11
3	126	9
4	285	9
5	596	9
6	1278	9
7	3488	9
done	5000	9
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	117	6
6	311	6
7	1004	6
8	3775	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	312	6
8	1002	6
9	3766	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	167	7
4	412	7
5	1132	7
6	2574	7
7	4038	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	184	7
5	461	7
6	1472	7
done	5000	7
0	8	17
1	22	13
2	49	13
3	91	11
4	127	11
5	176	11
6	280	11
7	596	11
8	2365	11
done	5000	11
0	6	11
1	15	11
2	30	9
3	66	7
4	125	7
5	245	7
6	503	7
7	1334	7
done	5000	7
0	4	5
1	6	5
2	10	5
done	10	5
0	3	3
1	4	3
done	4	3
0	8	9
1	16	9
2	36	7
3	43	7
4	49	7
5	59	7
6	81	7
7	143	7
8	362	7
9	1285	7
done	5000	7
0	8	9
1	16	9
2	36	7
3	43	7
4	49	7
5	59	7
6	81	7
7	143	7
8	362	7
9	1285	7
done	5000	7
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune72.0ms

Filtered

31 candidates to 39 candidates (-25.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	33	6	39
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	34	6	40

Merged error: 4.7b

Counts

40 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 1.0) (* x (* y y)))
9.2b	(* x (* y y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

2 calls:

4.0ms	(+ (* x 1.0) (* x (* y y)))
6.0ms	(* x (* y y))

series23.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(+ (* x 1.0) (* x (* y y)))
7.0ms	(* x (* y y))

simplify54.1s

Counts

37 → 37

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	9	11
1	19	10
2	37	8
3	77	8
4	234	8
5	854	8
6	3870	8
done	5000	8
0	8	10
1	15	8
2	22	8
3	23	8
done	23	8
0	8	10
1	18	8
2	33	8
3	58	8
4	145	8
5	478	8
6	1727	8
done	5000	8
0	9	21
1	16	17
2	20	17
done	20	17
0	8	10
1	15	8
2	19	8
done	19	8
0	9	29
1	29	23
2	118	9
3	555	9
4	1783	9
done	5000	9
0	8	10
1	15	8
2	19	8
done	19	8
0	8	10
1	15	8
2	19	8
done	19	8
0	10	13
1	33	13
2	115	13
3	382	11
4	805	11
5	2216	11
done	5001	11
0	11	29
1	39	23
2	135	21
3	371	19
4	741	17
5	1042	15
6	1419	15
7	2161	15
done	5001	15
0	9	19
1	31	19
2	96	15
3	263	13
4	544	11
5	953	11
6	1650	11
7	3208	11
done	5001	11
0	7	9
1	15	7
2	30	7
3	43	7
done	43	7
0	4	5
1	5	5
done	5	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	3	3
1	4	3
done	4	3
0	8	9
1	16	9
2	36	7
3	43	7
4	49	7
5	59	7
6	81	7
7	143	7
8	362	7
9	1285	7
done	5000	7
0	8	9
1	16	9
2	36	7
3	43	7
4	49	7
5	59	7
6	81	7
7	143	7
8	362	7
9	1285	7
done	5000	7

prune52.0ms

Filtered

27 candidates to 37 candidates (-37.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	35	2	37
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	38	5	43

Merged error: 0.0b

Counts

43 → 5

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 1.0) (* (* x y) y))
0.2b	(* (* x y) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip-+`

Counts

2 → 29

Calls

2 calls:

4.0ms	(+ (* x 1.0) (* (* x y) y))
6.0ms	(* (* x y) y)

series19.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(+ (* x 1.0) (* (* x y) y))
7.0ms	(* (* x y) y)

simplify55.0s

Counts

35 → 35

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	8	5
2	9	5
done	9	5
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	10	8
2	13	7
3	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	12	6
2	19	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	11	6
2	22	6
3	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6
0	8	17
1	20	17
2	77	11
3	219	7
4	454	7
5	1201	7
6	4018	7
done	5001	7
0	8	17
1	24	17
2	89	9
3	270	9
4	451	7
5	1025	7
6	3081	7
done	5001	7
0	6	13
1	10	13
2	11	13
done	11	13
0	5	6
1	9	6
2	10	6
done	10	6
0	6	17
1	19	17
2	72	7
3	211	7
4	361	7
5	532	7
6	1355	7
7	4489	7
done	5000	7
0	5	6
1	9	6
2	10	6
done	10	6
0	5	6
1	9	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	2	3
done	2	3
0	9	11
1	21	10
2	39	8
3	79	8
4	238	8
5	864	8
6	3916	8
done	5000	8
0	8	10
1	14	10
2	19	8
3	24	8
4	25	8
done	25	8
0	8	10
1	17	10
2	32	8
3	55	8
4	141	8
5	467	8
6	1713	8
done	5000	8
0	9	21
1	15	21
2	20	17
3	22	17
done	22	17
0	8	10
1	14	10
2	19	8
3	21	8
done	21	8
0	9	29
1	28	29
2	103	9
3	461	9
4	1679	9
5	4862	9
done	5000	9
0	8	10
1	14	10
2	19	8
3	21	8
done	21	8
0	8	10
1	14	10
2	19	8
3	21	8
done	21	8
0	10	13
1	35	13
2	116	13
3	399	13
4	913	11
5	3129	11
done	5000	11
0	11	29
1	41	23
2	139	21
3	368	19
4	755	19
5	1042	15
6	1358	15
7	1820	15
8	3396	15
done	5001	15
0	9	19
1	32	19
2	98	15
3	256	15
4	517	13
5	885	11
6	1423	11
7	2420	11
done	5001	11
0	7	9
1	14	9
2	28	7
3	45	7
4	46	7
done	46	7
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	3	3
1	4	3
done	4	3
0	8	9
1	16	9
2	36	7
3	43	7
4	49	7
5	59	7
6	81	7
7	143	7
8	362	7
9	1285	7
done	5000	7
0	8	9
1	16	9
2	36	7
3	43	7
4	49	7
5	59	7
6	81	7
7	143	7
8	362	7
9	1285	7
done	5000	7

prune60.0ms

Filtered

28 candidates to 35 candidates (-25.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	34	6	40

Merged error: 0.0b

Counts

40 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

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 y) (cbrt y))
2.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series110.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (cbrt y) (cbrt y))
25.0ms	(cbrt y)
25.0ms	(cbrt y)
30.0ms	(cbrt y)

simplify51.2s

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

prune69.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	84	7	91

Merged error: 0b

Counts

91 → 7

regimes259.0ms

Accuracy

0% (0.1b 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	7	9
1	11	9
done	11	9

end0.0ms

sample592.0ms

Algorithm

intervals

Results

280.0ms

10601×

body

valid

Details

sample21.0ms

simplify6.0ms

prune2.0ms

localize5.0ms

rewrite9.0ms

series16.0ms

simplify51.9s

prune72.0ms

localize6.0ms

rewrite11.0ms

series23.0ms

simplify54.1s

prune52.0ms

localize11.0ms

rewrite11.0ms

series19.0ms

simplify55.0s

prune60.0ms

localize10.0ms

rewrite13.0ms

series110.0ms

simplify51.2s

prune69.0ms

regimes259.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample592.0ms

Profiling