Details

sample142.0ms

Algorithm

intervals

Results

47.0ms	761×	body	80	nan
13.0ms	20×	body	1280	valid
11.0ms	170×	body	80	valid
9.0ms	27×	body	640	valid
4.0ms	21×	body	320	valid
3.0ms	20×	body	160	valid

simplify3.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	21	13
2	29	13
3	35	13
4	41	13
5	56	13
6	83	13
7	119	13
8	154	13
9	175	13
10	202	13
11	237	13
12	268	13
13	295	13
14	328	13
15	359	13
16	386	13
17	419	13
18	450	13
19	477	13
20	510	13
21	541	13
22	568	13
23	601	13
24	632	13
25	659	13
26	692	13
27	723	13
28	750	13
29	783	13
30	814	13
31	841	13
32	874	13
33	905	13
34	932	13
35	965	13
36	996	13
37	1023	13
38	1056	13
39	1087	13
40	1114	13
41	1147	13
42	1178	13
43	1205	13
44	1238	13
45	1269	13
46	1296	13
47	1329	13
48	1360	13
49	1387	13
50	1420	13
51	1451	13
52	1478	13
53	1511	13
54	1542	13
55	1569	13
56	1602	13
57	1633	13
58	1660	13
59	1693	13
60	1724	13
61	1751	13
62	1784	13
63	1815	13
64	1842	13
65	1875	13
66	1906	13
67	1933	13
68	1966	13
69	1997	13
70	2024	13
71	2057	13
72	2088	13
73	2115	13
74	2148	13
75	2179	13
76	2206	13
77	2239	13
78	2270	13
79	2297	13
80	2330	13
81	2361	13
82	2388	13
83	2421	13
84	2452	13
85	2479	13
86	2512	13
87	2543	13
88	2570	13
89	2603	13
90	2634	13
91	2661	13
92	2694	13
93	2725	13
94	2752	13
95	2785	13
96	2816	13
97	2843	13
98	2876	13
99	2907	13
100	2934	13
101	2967	13
102	2998	13
103	3025	13
104	3058	13
105	3089	13
106	3116	13
107	3149	13
108	3180	13
109	3207	13
110	3240	13
111	3271	13
112	3298	13
113	3331	13
114	3362	13
115	3389	13
116	3422	13
117	3453	13
118	3480	13
119	3513	13
120	3544	13
121	3571	13
122	3604	13
123	3635	13
124	3662	13
125	3695	13
126	3726	13
127	3753	13
128	3786	13
129	3817	13
130	3844	13
131	3877	13
132	3908	13
133	3935	13
134	3968	13
135	3999	13
136	4026	13
137	4059	13
138	4090	13
139	4117	13
140	4150	13
141	4181	13
142	4208	13
143	4241	13
144	4272	13
145	4299	13
146	4332	13
147	4363	13
148	4390	13
149	4423	13
150	4454	13
151	4481	13
152	4514	13
153	4545	13
154	4572	13
155	4605	13
156	4636	13
157	4663	13
158	4696	13
159	4727	13
160	4754	13
161	4787	13
162	4818	13
163	4845	13
164	4878	13
165	4909	13
166	4936	13
167	4969	13
done	5000	13

prune4.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: 11.1b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.0b	(* z (log (- 1.0 y)))
0.3b	(* x (log y))
7.3b	(log (- 1.0 y))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
21×	`log-prod` `*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`pow1`
9×	`add-exp-log` `add-log-exp`
8×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `add-cbrt-cube`
6×	`associate-l`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`log-pow`
2×	`log-div` `flip3--` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `rem-log-exp` `associate--l+` `sum-log`

Counts

4 → 86

Calls

4 calls:

7.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
8.0ms	(* z (log (- 1.0 y)))
8.0ms	(* x (log y))
4.0ms	(log (- 1.0 y))

series44.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
10.0ms	(* z (log (- 1.0 y)))
8.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

simplify845.0ms

Counts

98 → 98

Iterations

Useful iterations: done (843.0ms)

Iter	Nodes	Cost
0	217	1169
1	469	1120
2	1292	990
3	3438	954
done	5000	951

prune204.0ms

Filtered

68 candidates to 98 candidates (-44.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	89	9	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	9	99

Merged error: 0.1b

Counts

99 → 9

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))) t)
0.0b	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y)))))
0.0b	(* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))
0.3b	(* x (log y))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `log-prod`
21×	`*-un-lft-identity`
16×	`distribute-rgt-in` `add-cube-cbrt` `distribute-lft-in`
13×	`associate--l+`
11×	`add-log-exp`
10×	`pow1` `associate-+r+` `associate-r`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-+l+` `associate-l`
5×	`sub-neg`
3×	`distribute-lft-out--`
2×	`flip3--` `diff-log` `associate-r/` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `-commutative` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

4 → 101

Calls

4 calls:

8.0ms	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))) t)
7.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y)))))
18.0ms	(* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))
5.0ms	(* x (log y))

series106.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))) t)
35.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y)))))
18.0ms	(* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))
8.0ms	(* x (log y))

simplify1.2s

Counts

113 → 113

Iterations

Useful iterations: 3 (406.0ms)

Iter	Nodes	Cost
0	204	2388
1	456	2246
2	1292	2110
3	4470	2067
done	5000	2067

prune304.0ms

Filtered

77 candidates to 113 candidates (-46.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	112	10	122

Merged error: 0.1b

Counts

122 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (cbrt y)))
0.3b	(* (* 2 (log (cbrt y))) x)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1` `cbrt-prod` `log-prod`
11×	`add-exp-log` `add-cbrt-cube`
8×	`associate-r`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
2×	`log-pow` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 72

Calls

4 calls:

8.0ms	(* x (log (cbrt y)))
6.0ms	(* (* 2 (log (cbrt y))) x)
1.0ms	(cbrt y)
2.0ms	(cbrt y)

series110.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* x (log (cbrt y)))
29.0ms	(* (* 2 (log (cbrt y))) x)
27.0ms	(cbrt y)
27.0ms	(cbrt y)

simplify1.5s

Counts

84 → 84

Iterations

Useful iterations: 4 (908.0ms)

Iter	Nodes	Cost
0	122	720
1	258	680
2	801	572
3	2188	548
4	4770	537
done	5000	537

prune225.0ms

Filtered

53 candidates to 84 candidates (-58.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	80	4	84
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	84	10	94

Merged error: 0.0b

Counts

94 → 10

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (pow y 1/3)))
0.3b	(* (* 2 (log (cbrt y))) x)
0.6b	(cbrt y)
5.0b	(pow y 1/3)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `log-prod` `*-un-lft-identity`
12×	`pow1` `add-exp-log`
11×	`add-cbrt-cube`
9×	`unpow-prod-down`
7×	`distribute-rgt-in` `distribute-lft-in` `associate-r`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`cbrt-prod` `pow-unpow` `sqr-pow`
2×	`*-commutative`
1×	`pow-to-exp` `pow-pow` `unpow1/3` `pow1/3` `pow-exp` `log-pow` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

6.0ms	(* x (log (pow y 1/3)))
6.0ms	(* (* 2 (log (cbrt y))) x)
1.0ms	(cbrt y)
3.0ms	(pow y 1/3)

series104.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* x (log (pow y 1/3)))
33.0ms	(* (* 2 (log (cbrt y))) x)
27.0ms	(cbrt y)
24.0ms	(pow y 1/3)

simplify413.0ms

Counts

92 → 92

Iterations

Useful iterations: 2 (90.0ms)

Iter	Nodes	Cost
0	160	839
1	342	706
2	1133	579
done	5000	579

prune208.0ms

Filtered

62 candidates to 92 candidates (-48.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	92	10	102

Merged error: 0.0b

Counts

102 → 10

regimes736.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	35
1	36	35
done	36	35

end0.0ms

sample4.4s

Algorithm

intervals

Results

1.7s	24910×	body	80	nan
373.0ms	5510×	body	80	valid
315.0ms	923×	body	640	valid
250.0ms	407×	body	1280	valid
162.0ms	741×	body	320	valid
61.0ms	448×	body	160	valid

Details

sample142.0ms

simplify3.4s

prune4.0ms

localize12.0ms

rewrite30.0ms

series44.0ms

simplify845.0ms

prune204.0ms

localize22.0ms

rewrite41.0ms

series106.0ms

simplify1.2s

prune304.0ms

localize24.0ms

rewrite20.0ms

series110.0ms

simplify1.5s

prune225.0ms

localize33.0ms

rewrite19.0ms

series104.0ms

simplify413.0ms

prune208.0ms

regimes736.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.4s

Profiling