Details

Time bar (total: 5.5s)

sample16.0ms

Algorithm
intervals
Results
8.0ms341×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0103
1113
2113

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

Counts
2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

10.8b
(/ x (* y y))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt times-frac
37×add-cube-cbrt *-un-lft-identity
15×associate-/r*
12×swap-sqr associate-*r* associate-*l*
6×add-exp-log add-cbrt-cube
4×*-commutative unswap-sqr
3×associate-/l*
2×cbrt-undiv div-exp
1×pow1 frac-2neg prod-exp clear-num cbrt-unprod div-inv add-log-exp
Counts
1 → 77
Calls
1 calls:
8.0ms
(/ x (* y y))

series23.0ms

Counts
1 → 3
Calls
1 calls:
23.0ms
(/ x (* y y))

simplify39.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0260399
11163372
25001359

prune100.0ms

Filtered
80 candidates to 47 candidates (58.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New75580
Fresh000
Picked011
Done000
Total75681

Merged error: 0.0b

Counts
81 → 6

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b
(/ (/ x y) y)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
45×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
16×associate-/l*
9×associate-/l/
6×add-exp-log associate-/r* add-cbrt-cube
5×div-inv
3×cbrt-undiv div-exp
2×frac-2neg clear-num
1×pow1 add-log-exp
Counts
1 → 78
Calls
1 calls:
7.0ms
(/ (/ x y) y)

series24.0ms

Counts
1 → 3
Calls
1 calls:
24.0ms
(/ (/ x y) y)

simplify37.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0320466
11190432
25001423

prune111.0ms

Filtered
81 candidates to 55 candidates (67.9%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New78381
Fresh224
Picked011
Done011
Total80787

Merged error: 0.0b

Counts
87 → 7

localize10.0ms

Local error

Found 2 expressions with local error:

0.2b
(* y (/ y x))
0.4b
(/ (/ 1 1) (* y (/ y x)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
665×times-frac
385×add-sqr-sqrt
312×*-un-lft-identity
310×add-cube-cbrt
195×associate-*r*
67×add-exp-log
45×associate-*l*
41×div-exp
40×div-inv
32×associate-/r*
30×unswap-sqr
28×add-cbrt-cube
24×associate-/l*
18×associate-*r/
16×prod-exp
15×1-exp *-commutative
12×cbrt-undiv
11×associate-/r/
9×associate-/l/
6×rec-exp clear-num cbrt-unprod
4×pow1 frac-2neg un-div-inv
2×add-log-exp
1×pow-prod-down
Counts
2 → 434
Calls
2 calls:
8.0ms
(* y (/ y x))
23.0ms
(/ (/ 1 1) (* y (/ y x)))

series44.0ms

Counts
2 → 6
Calls
2 calls:
20.0ms
(* y (/ y x))
24.0ms
(/ (/ 1 1) (* y (/ y x)))

simplify76.0ms

Algorithm
egg-herbie
Counts
440 → 440
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
018633576
150013020

prune275.0ms

Filtered
440 candidates to 128 candidates (29.1%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New4382440
Fresh314
Picked011
Done112
Total4425447

Merged error: 0b

Counts
447 → 5

localize9.0ms

Local error

Found 2 expressions with local error:

0.3b
(* (/ (* (cbrt 1) (cbrt 1)) (/ y x)) (/ (cbrt 1) y))
0.7b
(/ (* (cbrt 1) (cbrt 1)) (/ y x))

rewrite388.0ms

Algorithm
rewrite-expression-head
Rules
2059×add-sqr-sqrt
1825×times-frac
1409×*-un-lft-identity
1306×cbrt-prod
1073×add-cube-cbrt
749×associate-/l*
669×associate-*l*
576×frac-times
556×unswap-sqr
335×associate-/r*
264×swap-sqr
262×associate-*r*
149×add-cbrt-cube
82×cbrt-undiv
81×div-inv
66×clear-num
65×frac-2neg cbrt-unprod
55×add-exp-log
49×*-commutative
48×associate-*l/
23×div-exp
18×associate-/r/
16×prod-exp
12×associate-*r/
4×pow1
2×un-div-inv add-log-exp
1×pow-prod-down
Counts
2 → 1759
Calls
2 calls:
193.0ms
(* (/ (* (cbrt 1) (cbrt 1)) (/ y x)) (/ (cbrt 1) y))
24.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ y x))

series30.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(* (/ (* (cbrt 1) (cbrt 1)) (/ y x)) (/ (cbrt 1) y))
10.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ y x))

simplify250.0ms

Algorithm
egg-herbie
Counts
1765 → 1765
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
0500122436

prune3.3s

Filtered
1765 candidates to 1145 candidates (64.9%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New176501765
Fresh022
Picked011
Done022
Total176551770

Merged error: 0b

Counts
1770 → 5

regimes91.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0125
1125

end0.0ms

sample539.0ms

Algorithm
intervals
Results
385.0ms10645×body80valid