Details

sample24.0ms

Algorithm

intervals

Results

9.0ms

456×

body

valid

simplify74.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	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: 0.0b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
8×	`pow1`
7×	`add-sqr-sqrt`
6×	`flip3-+` `swap-sqr` `flip-+` `distribute-lft-out`
5×	`add-cube-cbrt`
4×	`frac-times` `associate-r` `associate-l`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-r/` `associate-l/`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 40

Calls

1 calls:

9.0ms

(* (+ x y) (+ x y))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* (+ x y) (+ x y))

simplify1.1min

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	6	1
done	6	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	6	1
done	6	1
0	5	9
1	8	6
2	9	6
done	9	6
0	5	8
1	14	8
2	29	6
3	46	6
4	65	6
5	80	6
6	87	6
7	89	6
done	89	6
0	5	8
1	14	8
2	38	8
3	71	8
4	147	8
5	323	8
6	988	8
done	5000	8
0	6	23
1	26	23
2	105	11
3	362	5
4	1483	5
done	5002	5
0	6	17
1	13	17
2	26	17
3	42	17
4	61	17
5	77	17
6	84	17
7	86	17
done	86	17
0	5	8
1	12	8
2	25	8
3	41	8
4	62	8
5	78	8
6	85	8
7	87	8
done	87	8
0	6	23
1	21	23
2	92	9
3	297	5
4	1027	5
done	5001	5
0	5	8
1	13	4
2	26	4
3	42	4
4	61	4
5	77	4
6	84	4
7	86	4
done	86	4
0	5	8
1	13	4
2	26	4
3	42	4
4	61	4
5	77	4
6	84	4
7	86	4
done	86	4
0	7	15
1	27	15
2	73	15
3	224	15
4	665	15
5	2459	15
done	5000	15
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	10	15
1	28	15
2	62	15
3	193	15
4	793	15
5	3088	15
done	5000	15
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	10	15
1	34	15
2	105	15
3	413	15
4	1430	15
5	4883	15
done	5000	15
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	6	15
1	11	15
2	31	15
3	126	15
4	505	15
5	1516	15
done	5000	15
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	6	19
1	11	19
2	13	11
3	22	6
4	45	6
5	71	6
6	143	6
7	358	6
8	1286	6
done	5000	6
0	5	9
1	6	9
done	6	9
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	3	3
1	6	1
done	6	1
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	11	5
2	12	5
done	12	5
0	4	5
1	11	5
2	12	5
done	12	5
0	6	13
1	10	13
2	20	13
3	32	13
4	34	13
done	34	13
0	5	8
1	7	8
2	15	8
done	15	8
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	8
1	13	8
2	14	8
done	14	8
0	5	8
1	13	8
2	14	8
done	14	8
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	8	11
1	30	11
2	88	11
3	207	11
4	433	11
5	1016	11
6	3242	11
done	5001	11
0	7	11
1	13	11
2	35	11
3	106	11
4	259	11
5	562	11
6	1875	11
done	5001	11
0	8	11
1	30	11
2	64	11
3	162	11
4	382	11
5	901	11
6	2996	11
done	5000	11
0	7	11
1	19	11
2	54	11
3	145	11
4	330	11
5	921	11
6	4155	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11

prune42.0ms

Filtered

24 candidates to 43 candidates (-79.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	2	44

Merged error: 0b

Counts

44 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 58

Calls

3 calls:

6.0ms	(* (+ x y) x)
7.0ms	(+ (* (+ x y) x) (* (+ x y) y))
7.0ms	(* (+ x y) y)

series18.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* (+ x y) x)
7.0ms	(+ (* (+ x y) x) (* (+ x y) y))
6.0ms	(* (+ x y) y)

simplify2.0min

Counts

67 → 67

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
2	13	5
done	13	5
0	6	7
1	8	7
done	8	7
0	5	6
1	10	6
2	18	6
done	18	6
0	5	6
1	9	6
2	25	6
3	37	6
4	63	6
5	126	6
6	309	6
7	879	6
8	3038	6
done	5000	6
0	8	17
1	28	17
2	87	9
3	237	9
4	854	7
5	3156	7
done	5001	7
0	6	13
1	8	13
2	15	13
done	15	13
0	5	6
1	7	6
2	14	6
done	14	6
0	6	17
1	18	17
2	71	7
3	231	7
4	621	7
5	1859	7
done	5000	7
0	5	6
1	7	6
2	14	6
done	14	6
0	5	6
1	7	6
2	14	6
done	14	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	6	9
1	10	9
2	20	9
3	32	9
4	34	9
done	34	9
0	5	6
1	7	6
2	15	6
done	15	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	6	5
2	13	5
done	13	5
0	7	9
1	22	9
2	39	9
3	77	9
4	156	9
5	391	9
6	1301	9
done	5000	9
0	6	9
1	12	9
2	29	9
3	67	9
4	135	9
5	214	9
6	358	9
7	702	9
8	3273	9
done	5001	9
0	8	13
1	17	12
2	44	8
3	95	8
4	282	8
5	867	8
6	3943	8
done	5000	8
0	7	12
1	12	8
2	26	8
3	44	6
4	68	6
5	83	6
6	90	6
7	92	6
done	92	6
0	7	12
1	15	8
2	36	8
3	75	8
4	180	8
5	478	8
6	1754	8
done	5000	8
0	8	25
1	13	17
2	25	17
3	41	17
4	66	17
5	82	17
6	89	17
7	91	17
done	91	17
0	7	12
1	12	8
2	24	8
3	40	8
4	61	8
5	77	8
6	84	8
7	86	8
done	86	8
0	8	35
1	26	23
2	112	9
3	446	9
4	1629	5
done	5001	5
0	7	12
1	12	8
2	25	4
3	41	4
4	66	4
5	82	4
6	89	4
7	91	4
done	91	4
0	7	12
1	12	8
2	25	4
3	41	4
4	66	4
5	82	4
6	89	4
7	91	4
done	91	4
0	16	43
1	51	39
2	158	29
3	621	21
4	2757	21
done	5001	21
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	18	35
1	53	33
2	142	33
3	511	33
4	2279	29
done	5001	29
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	18	35
1	59	33
2	174	33
3	682	33
4	3074	29
done	5000	29
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	11	27
1	26	27
2	93	23
3	363	15
4	1154	15
5	4694	15
done	5000	15
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	9	15
1	31	15
2	107	13
3	362	13
4	1045	13
5	4044	13
done	5001	13
0	10	35
1	37	29
2	123	25
3	427	21
4	1478	17
done	5000	17
0	8	23
1	29	23
2	98	15
3	318	15
4	1074	15
5	3634	9
done	5000	9
0	6	11
1	13	7
2	34	7
3	74	7
4	154	7
5	225	7
6	596	7
7	2870	7
done	5000	7
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	13	5
done	13	5
0	6	7
1	8	7
done	8	7
0	5	6
1	10	6
2	18	6
done	18	6
0	5	6
1	9	6
2	25	6
3	37	6
4	63	6
5	126	6
6	309	6
7	879	6
8	3024	6
done	5000	6
0	8	17
1	28	17
2	87	9
3	237	9
4	862	7
5	3172	7
done	5000	7
0	6	13
1	8	13
2	15	13
done	15	13
0	5	6
1	7	6
2	14	6
done	14	6
0	6	17
1	18	17
2	71	7
3	231	7
4	622	7
5	1853	7
done	5000	7
0	5	6
1	7	6
2	14	6
done	14	6
0	5	6
1	7	6
2	14	6
done	14	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	6	9
1	10	9
2	20	9
3	32	9
4	34	9
done	34	9
0	5	6
1	7	6
2	15	6
done	15	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	6	5
2	13	5
done	13	5
0	7	9
1	22	9
2	39	9
3	77	9
4	156	9
5	392	9
6	1343	9
done	5001	9
0	6	9
1	12	9
2	29	9
3	69	9
4	143	9
5	238	9
6	436	9
7	1135	9
done	5001	9
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5

prune68.0ms

Filtered

49 candidates to 67 candidates (-36.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	67	2	69

Merged error: 0b

Counts

69 → 2

regimes129.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	6	11
1	10	11
done	10	11

end0.0ms

sample691.0ms

Algorithm

intervals

Results

278.0ms

14170×

body

valid

Details

sample24.0ms

simplify74.0ms

prune2.0ms

localize3.0ms

rewrite11.0ms

series5.0ms

simplify1.1min

prune42.0ms

localize7.0ms

rewrite23.0ms

series18.0ms

simplify2.0min

prune68.0ms

regimes129.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample691.0ms

Profiling