Details

Time bar (total: 2.3s)

sample29.0ms

Algorithm
intervals
Results
8.0ms274×body80valid
7.0ms262×body80nan

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0247
1477
2737
3927
41057
51287
61617
72107
82447
92447

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
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)))
0.2b
(/ y (* 3.0 (sqrt x)))
0.3b
(/ 1.0 (* x 9.0))
0.3b
(* 3.0 (sqrt x))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-/r*
3×*-commutative
2×frac-2neg clear-num div-inv
1×sub-neg flip3-- flip--
Counts
4 → 15
Calls
4 calls:
2.0ms
(- 1.0 (/ 1.0 (* x 9.0)))
3.0ms
(/ y (* 3.0 (sqrt x)))
3.0ms
(/ 1.0 (* x 9.0))
2.0ms
(* 3.0 (sqrt x))

series149.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(- 1.0 (/ 1.0 (* x 9.0)))
56.0ms
(/ y (* 3.0 (sqrt x)))
16.0ms
(/ 1.0 (* x 9.0))
42.0ms
(* 3.0 (sqrt x))

simplify101.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
0217128
1627110
22973102
35002102

prune67.0ms

Filtered
27 candidates to 21 candidates (77.8%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New21627
Fresh000
Picked101
Done000
Total22628

Merged error: 0.1b

Counts
28 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
3×frac-2neg clear-num div-inv associate-/l/
2×associate-/r* *-commutative
1×sub-neg flip3-- flip-- associate-/l*
Counts
4 → 17
Calls
4 calls:
2.0ms
(- 1.0 (/ (/ 1.0 x) 9.0))
3.0ms
(/ y (* 3.0 (sqrt x)))
3.0ms
(/ (/ 1.0 x) 9.0)
2.0ms
(* 3.0 (sqrt x))

series147.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- 1.0 (/ (/ 1.0 x) 9.0))
59.0ms
(/ y (* 3.0 (sqrt x)))
16.0ms
(/ (/ 1.0 x) 9.0)
41.0ms
(* 3.0 (sqrt x))

simplify104.0ms

Algorithm
egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0228132
1623113
22962105
35001105

prune68.0ms

Filtered
29 candidates to 19 candidates (65.5%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New27229
Fresh235
Picked101
Done000
Total30535

Merged error: 0.1b

Counts
35 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
14×frac-sub
9×flip3-- flip-- associate-/l/
7×frac-2neg clear-num
5×div-inv
3×sub-neg associate-/l*
2×associate--l+ associate-/r*
1×associate--l- *-commutative
Counts
4 → 37
Calls
4 calls:
5.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
2.0ms
(- 1.0 (/ 1.0 (* x 9.0)))
3.0ms
(/ 1.0 (* x 9.0))
3.0ms
(/ (/ y 3.0) (sqrt x))

series155.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
31.0ms
(- 1.0 (/ 1.0 (* x 9.0)))
19.0ms
(/ 1.0 (* x 9.0))
57.0ms
(/ (/ y 3.0) (sqrt x))

simplify53.0ms

Algorithm
egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0387593
11658551
25002551

prune124.0ms

Filtered
49 candidates to 36 candidates (73.5%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New46349
Fresh134
Picked101
Done000
Total48654

Merged error: 0.0b

Counts
54 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-*r/ clear-num
5×associate-/r*
4×frac-2neg associate-/r/ div-inv
3×*-commutative
2×associate-*r* un-div-inv
1×sub-neg flip3-- flip-- inv-pow
Counts
4 → 26
Calls
4 calls:
2.0ms
(- 1.0 (/ 1.0 (* x 9.0)))
3.0ms
(/ 1.0 (* x 9.0))
3.0ms
(* (sqrt x) (/ 3.0 y))
5.0ms
(/ 1 (* (sqrt x) (/ 3.0 y)))

series175.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(- 1.0 (/ 1.0 (* x 9.0)))
16.0ms
(/ 1.0 (* x 9.0))
68.0ms
(* (sqrt x) (/ 3.0 y))
59.0ms
(/ 1 (* (sqrt x) (/ 3.0 y)))

simplify133.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0257164
1845144
24399134
35001134

prune88.0ms

Filtered
38 candidates to 29 candidates (76.3%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New35338
Fresh145
Picked101
Done000
Total37744

Merged error: 0.0b

Counts
44 → 7

regimes54.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0126
1126

end0.0ms

sample779.0ms

Algorithm
intervals
Results
262.0ms8559×body80valid
251.0ms8459×body80nan