Details

Time bar (total: 7.3s)

sample46.0ms

Algorithm
intervals
Results
17.0ms278×body80valid
10.0ms249×body80nan

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01214
12414
24714
37514
49414
511114
613514
717014
821214
924014
1026514
1129614
1232514
1334914
1438014
1540914
1643314
1746414
1849314
1951714
2054814
2157714
2260114
2363214
2466114
2568514
2671614
2774514
2876914
2980014
3082914
3185314
3288414
3391314
3493714
3596814
3699714
37102114
38105214
39108114
40110514
41113614
42116514
43118914
44122014
45124914
46127314
47130414
48133314
49135714
50138814
51141714
52144114
53147214
54150114
55152514
56155614
57158514
58160914
59164014
60166914
61169314
62172414
63175314
64177714
65180814
66183714
67186114
68189214
69192114
70194514
71197614
72200514
73202914
74206014
75208914
76211314
77214414
78217314
79219714
80222814
81225714
82228114
83231214
84234114
85236514
86239614
87242514
88244914
89248014
90250914
91253314
92256414
93259314
94261714
95264814
96267714
97270114
98273214
99276114
100278514
101281614
102284514
103286914
104290014
105292914
106295314
107298414
108301314
109303714
110306814
111309714
112312114
113315214
114318114
115320514
116323614
117326514
118328914
119332014
120334914
121337314
122340414
123343314
124345714
125348814
126351714
127354114
128357214
129360114
130362514
131365614
132368514
133370914
134374014
135376914
136379314
137382414
138385314
139387714
140390814
141393714
142396114
143399214
144402114
145404514
146407614
147410514
148412914
149416014
150418914
151421314
152424414
153427314
154429714
155432814
156435714
157438114
158441214
159444114
160446514
161449614
162452514
163454914
164458014
165460914
166463314
167466414
168469314
169471714
170474814
171477714
172480114
173483214
174486114
175488514
176491614
177494514
178496914
done500014

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.3b
(/ y (* 3.0 (sqrt x)))
0.3b
(/ 1.0 (* x 9.0))
0.3b
(* 3.0 (sqrt x))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
16×add-exp-log *-un-lft-identity add-cbrt-cube
11×add-cube-cbrt
9×add-log-exp
6×pow1 times-frac associate-*r* associate-/l*
4×cbrt-undiv div-exp sqrt-prod
3×diff-log associate-*l* prod-exp cbrt-unprod distribute-lft-out--
2×sub-neg flip3-- frac-2neg associate--l+ clear-num associate-/r* frac-sub flip-- div-inv unswap-sqr
1×associate--l- pow-prod-down *-commutative difference-of-squares
Counts
4 → 85
Calls
4 calls:
11.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
6.0ms
(/ y (* 3.0 (sqrt x)))
5.0ms
(/ 1.0 (* x 9.0))
6.0ms
(* 3.0 (sqrt x))

series28.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
10.0ms
(/ y (* 3.0 (sqrt x)))
2.0ms
(/ 1.0 (* x 9.0))
5.0ms
(* 3.0 (sqrt x))

simplify475.0ms

Counts
97 → 97
Iterations

Useful iterations: 2 (153.0ms)

IterNodesCost
02141221
15371126
219111040
done50001040

prune179.0ms

Filtered
71 candidates to 97 candidates (-36.6%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New90797
Fresh000
Picked101
Done000
Total91798

Merged error: 0.0b

Counts
98 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
0.3b
(/ y (* 3.0 (sqrt x)))
0.3b
(/ (/ 1.0 x) 9.0)
0.3b
(* 3.0 (sqrt x))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
57×add-sqr-sqrt
56×*-un-lft-identity
51×add-cube-cbrt
16×add-exp-log add-cbrt-cube associate-/l*
9×add-log-exp
6×pow1 associate-*r* div-inv
5×cbrt-undiv div-exp
4×associate-/r* sqrt-prod
3×diff-log associate-*l* distribute-lft-out--
2×sub-neg flip3-- frac-2neg prod-exp associate--l+ clear-num frac-sub flip-- cbrt-unprod unswap-sqr
1×associate--l- pow-prod-down *-commutative associate-/l/ difference-of-squares
Counts
4 → 134
Calls
4 calls:
25.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
6.0ms
(/ y (* 3.0 (sqrt x)))
7.0ms
(/ (/ 1.0 x) 9.0)
6.0ms
(* 3.0 (sqrt x))

series26.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
10.0ms
(/ y (* 3.0 (sqrt x)))
2.0ms
(/ (/ 1.0 x) 9.0)
4.0ms
(* 3.0 (sqrt x))

simplify562.0ms

Counts
146 → 146
Iterations

Useful iterations: 2 (217.0ms)

IterNodesCost
03131898
17741759
225781669
done50001669

prune245.0ms

Filtered
113 candidates to 146 candidates (-29.2%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1451146
Fresh246
Picked011
Done000
Total1476153

Merged error: 0.0b

Counts
153 → 6

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
0.3b
(/ (/ y 3.0) (sqrt x))
0.3b
(/ 1.0 (* x 9.0))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
150×times-frac
98×add-sqr-sqrt
87×*-un-lft-identity
82×add-cube-cbrt
44×sqrt-prod
16×associate-/l*
13×add-exp-log add-cbrt-cube
9×div-inv
8×add-log-exp
7×associate-/r*
5×cbrt-undiv div-exp difference-of-squares
3×pow1 diff-log distribute-lft-out--
2×sub-neg flip3-- frac-2neg associate--l+ clear-num frac-sub flip--
1×associate--l- prod-exp cbrt-unprod associate-/l/
Counts
3 → 158
Calls
3 calls:
37.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
8.0ms
(/ (/ y 3.0) (sqrt x))
5.0ms
(/ 1.0 (* x 9.0))

series22.0ms

Counts
3 → 9
Calls
3 calls:
10.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
10.0ms
(/ (/ y 3.0) (sqrt x))
2.0ms
(/ 1.0 (* x 9.0))

simplify549.0ms

Counts
167 → 167
Iterations

Useful iterations: done (544.0ms)

IterNodesCost
03282633
17772439
225392343
done50012339

prune234.0ms

Filtered
112 candidates to 167 candidates (-49.1%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1670167
Fresh044
Picked011
Done011
Total1676173

Merged error: 0.0b

Counts
173 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
0.2b
(/ y (sqrt x))
0.3b
(/ 1.0 (* x 9.0))
0.4b
(* (/ 1 3.0) (/ y (sqrt x)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
68×add-sqr-sqrt
60×times-frac
44×*-un-lft-identity
41×add-cube-cbrt
33×add-exp-log
24×sqrt-prod
23×add-cbrt-cube
22×associate-*r*
13×associate-*l*
11×div-exp
9×prod-exp add-log-exp unswap-sqr
7×cbrt-undiv associate-/r*
6×pow1 frac-sub associate-/l*
5×cbrt-unprod
4×flip3-- flip-- div-inv
3×frac-times diff-log associate-*r/ associate-*l/
2×sub-neg rec-exp frac-2neg 1-exp associate--l+ clear-num
1×associate--l- pow-prod-down *-commutative
Counts
4 → 150
Calls
4 calls:
9.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
5.0ms
(/ y (sqrt x))
5.0ms
(/ 1.0 (* x 9.0))
15.0ms
(* (/ 1 3.0) (/ y (sqrt x)))

series35.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
12.0ms
(/ y (sqrt x))
2.0ms
(/ 1.0 (* x 9.0))
10.0ms
(* (/ 1 3.0) (/ y (sqrt x)))

simplify645.0ms

Counts
162 → 162
Iterations

Useful iterations: done (640.0ms)

IterNodesCost
03002297
17961989
229001805
done50011791

prune189.0ms

Filtered
111 candidates to 162 candidates (-45.9%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1620162
Fresh033
Picked011
Done022
Total1626168

Merged error: 0.0b

Counts
168 → 6

regimes105.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01214
11314
done1314

end0.0ms

sample1.3s

Algorithm
intervals
Results
406.0ms8581×body80valid
363.0ms8396×body80nan

Profiling

Loading profile data...