Details

sample27.0ms

Algorithm

intervals

Results

16.0ms

306×

body

valid

simplify41.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	19	11
2	42	11
3	71	11
4	134	11
5	212	11
6	309	11
7	514	11
8	840	11
9	1005	11
10	1093	11
11	1157	11
12	1220	11
13	1279	11
14	1340	11
15	1398	11
16	1455	11
17	1503	11
18	1551	11
19	1597	11
20	1645	11
21	1691	11
22	1739	11
23	1785	11
24	1833	11
25	1879	11
26	1927	11
27	1973	11
28	2021	11
29	2067	11
30	2115	11
31	2161	11
32	2209	11
33	2255	11
34	2303	11
35	2349	11
36	2397	11
37	2443	11
38	2491	11
39	2537	11
40	2585	11
41	2631	11
42	2679	11
43	2725	11
44	2773	11
45	2819	11
46	2867	11
47	2913	11
48	2961	11
49	3007	11
50	3055	11
51	3101	11
52	3149	11
53	3195	11
54	3243	11
55	3289	11
56	3337	11
57	3383	11
58	3431	11
59	3477	11
60	3525	11
61	3571	11
62	3619	11
63	3665	11
64	3713	11
65	3759	11
66	3807	11
67	3853	11
68	3901	11
69	3947	11
70	3995	11
71	4041	11
72	4089	11
73	4135	11
74	4183	11
75	4229	11
76	4277	11
77	4323	11
78	4371	11
79	4417	11
80	4465	11
81	4511	11
82	4559	11
83	4605	11
84	4653	11
85	4699	11
86	4747	11
87	4793	11
88	4841	11
89	4887	11
90	4935	11
91	4981	11
done	5001	11

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

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (- y 1.0))

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

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* x (- y 1.0))

simplify881.0ms

Counts

29 → 29

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	52	217
1	114	213
2	266	186
3	717	186
4	1900	186
done	5001	186

prune33.0ms

Filtered

17 candidates to 29 candidates (-70.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

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
2×	`distribute-lft-neg-out`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `distribute-rgt-out` `*-un-lft-identity` `flip3-+` `unsub-neg` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 14

Calls

1 calls:

4.0ms

(+ (* y x) (* (neg 1.0) x))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ (* y x) (* (neg 1.0) x))

simplify734.0ms

Counts

17 → 17

Iterations

Useful iterations: done (733.0ms)

Iter	Nodes	Cost
0	32	188
1	106	141
2	418	122
3	1535	118
done	5000	116

prune19.0ms

Filtered

11 candidates to 17 candidates (-54.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	17	2	19

Merged error: 0b

Counts

19 → 2

regimes136.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	10	11
1	13	11
done	13	11

end0.0ms

sample543.0ms

Algorithm

intervals

Results

281.0ms	9171×	body	80	valid
0.0ms	1×	body	320	valid

Details

sample27.0ms

simplify41.5s

prune3.0ms

localize8.0ms

rewrite8.0ms

series5.0ms

simplify881.0ms

prune33.0ms

localize9.0ms

rewrite5.0ms

series6.0ms

simplify734.0ms

prune19.0ms

regimes136.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample543.0ms

Profiling