Details

sample40.0ms

Algorithm

intervals

Results

18.0ms

374×

body

valid

simplify2.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	15
1	24	15
2	53	15
3	88	15
4	134	15
5	182	15
6	222	15
7	247	15
8	280	15
9	338	15
10	395	15
11	429	15
12	476	15
13	534	15
14	567	15
15	614	15
16	672	15
17	705	15
18	752	15
19	810	15
20	843	15
21	890	15
22	948	15
23	981	15
24	1028	15
25	1086	15
26	1119	15
27	1166	15
28	1224	15
29	1257	15
30	1304	15
31	1363	15
32	1396	15
33	1443	15
34	1501	15
35	1534	15
36	1581	15
37	1639	15
38	1672	15
39	1719	15
40	1777	15
41	1810	15
42	1857	15
43	1915	15
44	1948	15
45	1995	15
46	2053	15
47	2086	15
48	2133	15
49	2191	15
50	2224	15
51	2271	15
52	2330	15
53	2363	15
54	2410	15
55	2468	15
56	2501	15
57	2548	15
58	2606	15
59	2639	15
60	2686	15
61	2744	15
62	2777	15
63	2824	15
64	2882	15
65	2915	15
66	2962	15
67	3020	15
68	3053	15
69	3100	15
70	3158	15
71	3191	15
72	3238	15
73	3296	15
74	3329	15
75	3376	15
76	3434	15
77	3467	15
78	3514	15
79	3572	15
80	3605	15
81	3652	15
82	3710	15
83	3743	15
84	3790	15
85	3848	15
86	3881	15
87	3928	15
88	3986	15
89	4019	15
90	4066	15
91	4124	15
92	4157	15
93	4204	15
94	4262	15
95	4295	15
96	4342	15
97	4400	15
98	4433	15
99	4480	15
100	4538	15
101	4571	15
102	4618	15
103	4676	15
104	4709	15
105	4756	15
106	4814	15
107	4847	15
108	4894	15
109	4952	15
110	4985	15
done	5000	15

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: 2.4b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b	(/ y (* z 3.0))
0.2b	(* (* z 3.0) y)
6.0b	(/ t (* (* z 3.0) y))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
14×	`*-un-lft-identity`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac` `associate-/l*`
5×	`cbrt-undiv` `div-exp`
3×	`associate-r` `pow-prod-down`
2×	`associate-+l+` `frac-2neg` `frac-add` `clear-num` `associate-/r*` `sum-log` `div-inv` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `associate-l` `*-commutative` `flip--` `flip-+` `distribute-lft-out--`

Counts

4 → 81

Calls

4 calls:

11.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
5.0ms	(/ y (* z 3.0))
9.0ms	(* (* z 3.0) y)
7.0ms	(/ t (* (* z 3.0) y))

series33.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
3.0ms	(/ y (* z 3.0))
4.0ms	(* (* z 3.0) y)
7.0ms	(/ t (* (* z 3.0) y))

simplify489.0ms

Counts

93 → 93

Iterations

Useful iterations: 2 (128.0ms)

Iter	Nodes	Cost
0	149	1162
1	412	1101
2	1829	977
done	5000	977

prune157.0ms

Filtered

60 candidates to 93 candidates (-55.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	84	9	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	9	94

Merged error: 0.0b

Counts

94 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y))))
0.2b	(/ y (* z 3.0))
0.2b	(* 0.3333333333333333 (/ t (* z y)))
6.1b	(/ t (* z y))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
13×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac` `add-log-exp`
7×	`associate-r`
6×	`pow1` `cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `associate-/l*`
3×	`associate-r/` `associate-l*` `div-inv`
2×	`associate-+l+` `frac-2neg` `frac-add` `clear-num` `associate-/r*` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `pow-prod-down` `*-commutative` `flip--` `flip-+` `unswap-sqr`

Counts

4 → 86

Calls

4 calls:

9.0ms	(+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y))))
5.0ms	(/ y (* z 3.0))
7.0ms	(* 0.3333333333333333 (/ t (* z y)))
5.0ms	(/ t (* z y))

series37.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y))))
3.0ms	(/ y (* z 3.0))
9.0ms	(* 0.3333333333333333 (/ t (* z y)))
5.0ms	(/ t (* z y))

simplify433.0ms

Counts

98 → 98

Iterations

Useful iterations: 2 (119.0ms)

Iter	Nodes	Cost
0	162	1175
1	430	1112
2	1581	988
done	5001	988

prune132.0ms

Filtered

66 candidates to 98 candidates (-48.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	99	8	107

Merged error: 0.0b

Counts

107 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ (/ t z) y)))
0.2b	(/ y (* z 3.0))
0.2b	(* 0.3333333333333333 (/ (/ t z) y))
5.7b	(/ (/ t z) y)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

147×	`times-frac`
93×	`add-sqr-sqrt`
84×	`add-cube-cbrt` `*-un-lft-identity`
43×	`associate-r`
23×	`add-exp-log` `add-cbrt-cube`
16×	`associate-/l*`
10×	`div-inv`
9×	`add-log-exp`
8×	`cbrt-undiv` `div-exp`
6×	`pow1`
4×	`prod-exp` `associate-/r*` `cbrt-unprod`
3×	`associate-r/` `associate-l*` `unswap-sqr`
2×	`associate-+l+` `frac-2neg` `frac-add` `clear-num` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `pow-prod-down` `*-commutative` `flip--` `flip-+` `associate-/l/`

Counts

4 → 173

Calls

4 calls:

8.0ms	(+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ (/ t z) y)))
8.0ms	(/ y (* z 3.0))
15.0ms	(* 0.3333333333333333 (/ (/ t z) y))
7.0ms	(/ (/ t z) y)

series34.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ (/ t z) y)))
3.0ms	(/ y (* z 3.0))
6.0ms	(* 0.3333333333333333 (/ (/ t z) y))
5.0ms	(/ (/ t z) y)

simplify580.0ms

Counts

185 → 185

Iterations

Useful iterations: 2 (222.0ms)

Iter	Nodes	Cost
0	301	2311
1	781	2148
2	2774	2010
done	5000	2010

prune220.0ms

Filtered

147 candidates to 185 candidates (-25.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	184	9	193

Merged error: 0b

Counts

193 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z 3.0) y)
0.2b	(* (* z 3.0) y)
0.4b	(/ 1 (/ (* z 3.0) y))
6.0b	(/ t (* (* z 3.0) y))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-exp-log`
39×	`times-frac`
32×	`add-cbrt-cube`
25×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
17×	`div-exp`
11×	`associate-/r*`
10×	`pow1` `cbrt-undiv` `prod-exp`
8×	`cbrt-unprod`
7×	`div-inv` `associate-/l*`
4×	`add-log-exp`
3×	`rec-exp` `frac-2neg` `1-exp` `associate-r` `pow-prod-down` `clear-num`
1×	`pow-flip` `associate-l` `associate-/r/` `*-commutative` `inv-pow`

Counts

4 → 118

Calls

4 calls:

5.0ms	(/ (* z 3.0) y)
5.0ms	(* (* z 3.0) y)
7.0ms	(/ 1 (/ (* z 3.0) y))
7.0ms	(/ t (* (* z 3.0) y))

series18.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (* z 3.0) y)
4.0ms	(* (* z 3.0) y)
4.0ms	(/ 1 (/ (* z 3.0) y))
7.0ms	(/ t (* (* z 3.0) y))

simplify468.0ms

Counts

130 → 130

Iterations

Useful iterations: 2 (155.0ms)

Iter	Nodes	Cost
0	177	1309
1	457	1195
2	2072	967
done	5000	967

prune105.0ms

Filtered

68 candidates to 130 candidates (-91.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

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

Merged error: 0b

Counts

139 → 9

regimes566.0ms

Accuracy

69.5% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 2.0b

bsearch46.0ms

Steps

Iters	Range		Point
10	7.177172347199853e+39	5.56095495485529e+53	2.139897000552487e+43
9	-7.343606000070361e+110	-1.6992524523314454e+105	-1.1934376281185142e+108

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	63
1	37	63
done	37	63

end0.0ms

sample1.1s

Algorithm

intervals

Results

547.0ms

11167×

body

valid

Details

sample40.0ms

simplify2.3s

prune4.0ms

localize10.0ms

rewrite33.0ms

series33.0ms

simplify489.0ms

prune157.0ms

localize11.0ms

rewrite28.0ms

series37.0ms

simplify433.0ms

prune132.0ms

localize11.0ms

rewrite47.0ms

series34.0ms

simplify580.0ms

prune220.0ms

localize11.0ms

rewrite28.0ms

series18.0ms

simplify468.0ms

prune105.0ms

regimes566.0ms

bsearch46.0ms

simplify3.0ms

end0.0ms

sample1.1s

Profiling