Details

sample18.0ms

Algorithm

intervals

Results

6.0ms

301×

body

valid

simplify12.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5

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

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (- 1.0 y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 26

Calls

1 calls:

7.0ms

(* x (- 1.0 y))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(* x (- 1.0 y))

simplify15.4s

Counts

29 → 29

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	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

prune38.0ms

Filtered

19 candidates to 29 candidates (-52.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	2	30

Merged error: 0b

Counts

30 → 2

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- 1.0 y))
0.0b	(sqrt (- 1.0 y))
0.1b	(* x (sqrt (- 1.0 y)))
0.1b	(* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
21×	`sqrt-prod`
19×	`*-un-lft-identity`
18×	`sqrt-div`
16×	`associate-r`
13×	`pow1`
11×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
10×	`associate-*r/`
9×	`flip3--` `flip--`
4×	`frac-times` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-l/` `-commutative` `unswap-sqr`

Counts

4 → 91

Calls

4 calls:

4.0ms	(sqrt (- 1.0 y))
4.0ms	(sqrt (- 1.0 y))
8.0ms	(* x (sqrt (- 1.0 y)))
14.0ms	(* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (- 1.0 y))
4.0ms	(sqrt (- 1.0 y))
10.0ms	(* x (sqrt (- 1.0 y)))
6.0ms	(* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))

simplify1.8min

Counts

103 → 103

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	7	11
1	13	11
2	15	5
3	24	5
4	28	5
5	32	5
done	32	5
0	9	14
1	15	14
2	19	10
3	20	10
done	20	10
0	9	13
1	15	13
2	19	13
3	22	10
4	23	10
done	23	10
0	8	12
1	17	12
2	25	6
3	38	6
4	44	6
5	49	6
done	49	6
0	8	12
1	16	12
2	28	6
3	55	6
4	116	6
5	244	6
6	576	6
7	1517	6
done	5000	6
0	11	35
1	25	23
2	102	15
3	432	9
4	1600	9
done	5000	9
0	11	35
1	29	23
2	114	15
3	464	15
4	1597	7
5	4746	7
done	5000	7
0	9	25
1	15	25
2	17	13
3	26	13
4	30	13
5	34	13
done	34	13
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	9	35
1	24	35
2	80	7
3	271	7
4	867	7
5	2399	7
done	5000	7
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	8	12
1	14	12
2	16	6
3	25	6
4	29	6
5	33	6
done	33	6
0	10	19
1	29	19
2	52	9
3	99	9
4	257	9
5	906	9
6	4198	9
done	5000	9
0	9	25
1	16	9
2	25	9
3	26	9
4	27	9
done	27	9
0	14	19
1	36	19
2	69	19
3	114	19
4	223	19
5	595	19
6	2426	19
done	5000	19
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	14	19
1	36	19
2	69	19
3	114	19
4	229	19
5	604	19
6	2439	19
done	5000	19
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	9	19
1	18	19
2	26	9
3	58	9
4	141	9
5	256	9
6	405	9
7	686	9
8	2298	9
done	5000	9
0	5	9
1	6	3
2	7	3
done	7	3
0	9	18
1	17	18
2	31	18
3	41	18
done	41	18
0	10	17
1	17	12
2	24	12
3	26	12
done	26	12
0	8	12
1	14	12
2	21	12
done	21	12
0	9	9
1	17	8
2	24	8
done	24	6
0	11	13
1	18	13
2	25	13
done	25	13
0	9	9
1	17	8
2	24	8
done	24	6
0	8	12
1	14	12
2	21	12
done	21	12
0	8	8
1	16	6
2	29	6
3	35	6
done	35	6
0	5	9
1	7	3
2	9	3
done	9	3
0	12	15
1	33	15
2	61	15
3	95	15
4	184	15
5	516	15
6	2321	15
done	5001	15
0	11	15
1	21	15
2	39	15
3	64	15
4	92	15
5	153	15
6	304	15
7	1445	15
done	5001	15
0	12	15
1	33	15
2	61	15
3	95	15
4	185	15
5	516	15
6	2305	15
done	5001	15
0	11	15
1	21	15
2	39	15
3	64	15
4	92	15
5	144	15
6	291	15
7	1431	15
done	5001	15
0	6	6
1	9	6
2	10	6
done	10	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	15	7
done	15	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	253	7
7	719	7
8	2745	7
done	5001	7
0	10	20
1	19	14
2	58	10
3	172	10
4	347	8
5	661	8
6	1484	8
7	4488	8
done	5001	8
0	8	15
1	11	15
2	12	15
done	12	15
0	7	7
1	10	7
2	11	7
done	11	7
0	8	20
1	21	20
2	51	8
3	119	8
4	241	8
5	383	8
6	704	8
7	1510	8
8	4519	8
done	5000	8
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	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	13
1	13	13
2	16	13
done	16	13
0	8	12
1	12	7
2	13	7
done	13	7
0	7	7
1	10	7
2	11	7
done	11	7
0	4	4
1	7	3
done	7	3
0	8	8
1	10	8
done	10	8
0	4	4
1	7	3
done	7	3
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	6	1
done	6	1
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	6	6
1	9	6
2	10	6
done	10	6
0	9	10
1	25	10
2	47	10
3	81	10
4	165	10
5	498	10
6	2240	10
done	5001	10
0	8	10
1	14	10
2	21	10
3	36	10
4	61	10
5	102	10
6	164	10
7	332	10
8	1616	10
done	5000	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	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	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	19	26
1	49	26
2	152	26
3	505	26
4	2133	19
done	5001	19
0	25	43
1	72	43
2	251	43
3	796	37
4	3029	33
done	5001	33
0	25	43
1	72	43
2	251	43
3	794	43
4	2981	33
done	5000	33
0	15	20
1	38	20
2	103	20
3	277	20
4	819	15
5	2866	15
done	5001	15
0	21	33
1	57	33
2	182	33
3	496	29
4	1449	29
5	4899	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	496	33
4	1416	30
5	4541	27
done	5000	27
0	15	20
1	38	20
2	103	20
3	277	20
4	819	15
5	2866	15
done	5001	15
0	21	33
1	57	33
2	182	33
3	496	29
4	1449	29
5	4899	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	496	33
4	1416	30
5	4541	27
done	5000	27

prune174.0ms

Filtered

78 candidates to 103 candidates (-32.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	103	2	105

Merged error: 0b

Counts

105 → 2

regimes143.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	5	5
1	6	5
done	6	5

end0.0ms

sample469.0ms

Algorithm

intervals

Results

188.0ms

9127×

body

valid

Details

sample18.0ms

simplify12.0ms

prune3.0ms

localize4.0ms

rewrite8.0ms

series6.0ms

simplify15.4s

prune38.0ms

localize6.0ms

rewrite34.0ms

series24.0ms

simplify1.8min

prune174.0ms

regimes143.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample469.0ms

Profiling