Details

sample38.0ms

Algorithm

intervals

Results

11.0ms	249×	body	80	nan
9.0ms	276×	body	80	valid

simplify1.2min

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	13	8
2	23	8
3	38	8
4	55	8
5	76	8
6	101	8
7	132	8
8	163	8
9	187	8
10	218	8
11	253	8
12	284	8
13	318	8
14	347	8
15	380	8
16	409	8
17	442	8
18	472	8
19	505	8
20	535	8
21	568	8
22	597	8
23	632	8
24	661	8
25	695	8
26	725	8
27	758	8
28	787	8
29	821	8
30	851	8
31	886	8
32	916	8
33	950	8
34	980	8
35	1015	8
36	1044	8
37	1079	8
38	1109	8
39	1144	8
40	1174	8
41	1209	8
42	1239	8
43	1274	8
44	1303	8
45	1338	8
46	1367	8
47	1402	8
48	1432	8
49	1465	8
50	1495	8
51	1528	8
52	1558	8
53	1591	8
54	1620	8
55	1653	8
56	1683	8
57	1717	8
58	1746	8
59	1781	8
60	1811	8
61	1846	8
62	1876	8
63	1911	8
64	1941	8
65	1976	8
66	2006	8
67	2041	8
68	2070	8
69	2105	8
70	2134	8
71	2169	8
72	2199	8
73	2234	8
74	2264	8
75	2299	8
76	2329	8
77	2362	8
78	2391	8
79	2426	8
80	2456	8
81	2489	8
82	2518	8
83	2552	8
84	2581	8
85	2616	8
86	2646	8
87	2681	8
88	2711	8
89	2745	8
90	2774	8
91	2807	8
92	2836	8
93	2869	8
94	2898	8
95	2931	8
96	2960	8
97	2993	8
98	3022	8
99	3056	8
100	3086	8
101	3121	8
102	3151	8
103	3186	8
104	3216	8
105	3249	8
106	3278	8
107	3312	8
108	3342	8
109	3375	8
110	3404	8
111	3438	8
112	3467	8
113	3501	8
114	3531	8
115	3564	8
116	3593	8
117	3627	8
118	3657	8
119	3690	8
120	3719	8
121	3753	8
122	3783	8
123	3816	8
124	3845	8
125	3878	8
126	3908	8
127	3943	8
128	3973	8
129	4008	8
130	4037	8
131	4070	8
132	4099	8
133	4132	8
134	4161	8
135	4194	8
136	4223	8
137	4256	8
138	4286	8
139	4321	8
140	4351	8
141	4386	8
142	4416	8
143	4449	8
144	4479	8
145	4513	8
146	4542	8
147	4575	8
148	4604	8
149	4637	8
150	4666	8
151	4699	8
152	4728	8
153	4761	8
154	4791	8
155	4825	8
156	4855	8
157	4889	8
158	4918	8
159	4952	8
160	4982	8
done	5001	8

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.1b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- 1.0 x) (* y (sqrt x)))
0.3b	(* y (sqrt x))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`add-log-exp`
6×	`associate-r`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `sqrt-prod` `add-cbrt-cube`
3×	`associate-l`
2×	`associate-+l+` `sum-log` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+`

Counts

2 → 37

Calls

2 calls:

16.0ms	(+ (- 1.0 x) (* y (sqrt x)))
5.0ms	(* y (sqrt x))

series15.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (- 1.0 x) (* y (sqrt x)))
8.0ms	(* y (sqrt x))

simplify703.0ms

Counts

43 → 43

Iterations

Useful iterations: 3 (228.0ms)

Iter	Nodes	Cost
0	93	442
1	239	413
2	720	388
3	2230	370
done	5001	370

prune74.0ms

Filtered

34 candidates to 43 candidates (-26.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	37	6	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	7	44

Merged error: 0.0b

Counts

44 → 7

localize8.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt x))
0.1b	(sqrt (sqrt x))
0.3b	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))
0.3b	(* y (sqrt (sqrt x)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

41×	`sqrt-prod`
25×	`add-sqr-sqrt`
18×	`associate-r`
15×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
8×	`sqrt-pow1`
4×	`rem-sqrt-square` `pow1/2` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`unswap-sqr`
2×	`*-commutative`

Counts

4 → 88

Calls

4 calls:

2.0ms	(sqrt (sqrt x))
2.0ms	(sqrt (sqrt x))
10.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))
7.0ms	(* y (sqrt (sqrt x)))

series59.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sqrt (sqrt x))
23.0ms	(sqrt (sqrt x))
7.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))
12.0ms	(* y (sqrt (sqrt x)))

simplify818.0ms

Counts

100 → 100

Iterations

Useful iterations: 3 (344.0ms)

Iter	Nodes	Cost
0	129	917
1	323	751
2	1037	663
3	3257	635
done	5000	635

prune129.0ms

Filtered

59 candidates to 100 candidates (-69.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	94	6	100
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	98	9	107

Merged error: 0b

Counts

107 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(sqrt (sqrt (sqrt x)))
0.2b	(* (sqrt (sqrt (sqrt x))) y)
0.3b	(* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))
0.3b	(* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

72×	`sqrt-prod`
30×	`add-sqr-sqrt`
24×	`associate-r`
23×	`pow1`
20×	`add-exp-log` `add-cbrt-cube`
19×	`add-cube-cbrt` `*-un-lft-identity`
14×	`associate-l`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`sqrt-pow1`
4×	`add-log-exp` `unswap-sqr`
3×	`rem-sqrt-square` `pow1/2` `*-commutative`

Counts

4 → 109

Calls

4 calls:

3.0ms	(sqrt (sqrt (sqrt x)))
8.0ms	(* (sqrt (sqrt (sqrt x))) y)
14.0ms	(* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))
23.0ms	(* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(sqrt (sqrt (sqrt x)))
19.0ms	(* (sqrt (sqrt (sqrt x))) y)
17.0ms	(* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))
10.0ms	(* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))

simplify592.0ms

Counts

121 → 121

Iterations

Useful iterations: done (589.0ms)

Iter	Nodes	Cost
0	189	1609
1	485	1403
2	1753	1004
done	5000	942

prune142.0ms

Filtered

75 candidates to 121 candidates (-61.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	121	9	130

Merged error: 0b

Counts

130 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(sqrt (sqrt (sqrt x)))
0.3b	(* y (sqrt (sqrt x)))
0.3b	(* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
0.3b	(* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

69×	`sqrt-prod`
33×	`associate-r`
28×	`add-sqr-sqrt`
23×	`pow1`
20×	`add-exp-log` `add-cbrt-cube`
19×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`sqrt-pow1`
5×	`associate-l`
4×	`add-log-exp`
3×	`rem-sqrt-square` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

3.0ms	(sqrt (sqrt (sqrt x)))
8.0ms	(* y (sqrt (sqrt x)))
12.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
18.0ms	(* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))

series66.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(sqrt (sqrt (sqrt x)))
19.0ms	(* y (sqrt (sqrt x)))
22.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
8.0ms	(* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))

simplify651.0ms

Counts

120 → 120

Iterations

Useful iterations: done (648.0ms)

Iter	Nodes	Cost
0	207	1573
1	545	1303
2	2016	1041
done	5001	994

prune117.0ms

Filtered

76 candidates to 120 candidates (-57.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	120	9	129

Merged error: 0b

Counts

129 → 9

regimes188.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	8
1	9	8
done	9	8

end0.0ms

sample1.0s

Algorithm

intervals

Results

288.0ms	8584×	body	80	valid
249.0ms	8398×	body	80	nan
0.0ms	1×	body	1280	valid

Details

sample38.0ms

simplify1.2min

prune3.0ms

localize6.0ms

rewrite23.0ms

series15.0ms

simplify703.0ms

prune74.0ms

localize8.0ms

rewrite24.0ms

series59.0ms

simplify818.0ms

prune129.0ms

localize11.0ms

rewrite53.0ms

series72.0ms

simplify592.0ms

prune142.0ms

localize12.0ms

rewrite45.0ms

series66.0ms

simplify651.0ms

prune117.0ms

regimes188.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling