Details

Time bar (total: 4.8s)

sample14.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0368
11528
25018
321538
450018

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 19.0b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
18.8b
(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
473×*-un-lft-identity
447×add-sqr-sqrt
444×associate-*l*
420×times-frac
234×associate-*r*
207×add-cube-cbrt
134×unswap-sqr
126×distribute-lft-out
98×swap-sqr
78×*-commutative
56×frac-times
54×flip3-+ flip-+
35×associate-/r*
28×add-exp-log associate-*l/ add-cbrt-cube
26×associate-/r/
16×associate-*r/
12×prod-exp cbrt-unprod associate-/l*
7×pow1
6×cbrt-undiv div-exp
4×+-commutative distribute-rgt-in associate-+l+ distribute-lft-in
3×pow-prod-down
2×add-log-exp
1×frac-2neg clear-num div-inv
Counts
2 → 593
Calls
2 calls:
21.0ms
(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
42.0ms
(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

series225.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
181.0ms
(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

simplify131.0ms

Algorithm
egg-herbie
Counts
599 → 599
Iterations

Useful iterations: 1 (49.0ms)

IterNodesCost
023977377
150017219

prune652.0ms

Filtered
599 candidates to 280 candidates (53.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New5918599
Fresh000
Picked101
Done000
Total5928600

Merged error: 0.0b

Counts
600 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (cbrt x) (/ (fabs (+ x y)) (cbrt x)))
0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
258×times-frac
147×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
144×cbrt-prod
28×associate-/r*
15×add-cbrt-cube
12×associate-/r/
10×cbrt-undiv
9×add-exp-log associate-/l*
8×div-inv
4×pow1 add-log-exp
3×pow1/3 div-exp
2×frac-2neg clear-num
Counts
4 → 223
Calls
4 calls:
11.0ms
(/ (cbrt x) (/ (fabs (+ x y)) (cbrt x)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series663.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(/ (cbrt x) (/ (fabs (+ x y)) (cbrt x)))
182.0ms
(cbrt x)
180.0ms
(cbrt x)
188.0ms
(cbrt x)

simplify119.0ms

Algorithm
egg-herbie
Counts
235 → 235
Iterations

Useful iterations: 2 (95.0ms)

IterNodesCost
06722837
139912701
250022600

prune690.0ms

Filtered
235 candidates to 150 candidates (36.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New2305235
Fresh257
Picked101
Done000
Total23310243

Merged error: 0b

Counts
243 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (fabs (+ x y)))
0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt (fabs (+ x y)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series597.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(cbrt (fabs (+ x y)))
178.0ms
(cbrt x)
186.0ms
(cbrt x)
183.0ms
(cbrt x)

simplify44.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (7.0ms)

IterNodesCost
059190
1125174
2298166
31072166
45001166

prune178.0ms

Filtered
56 candidates to 46 candidates (17.9%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New55156
Fresh189
Picked101
Done000
Total57966

Merged error: 0b

Counts
66 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (fabs (+ x y)))
0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls
4 calls:
4.0ms
(cbrt (fabs (+ x y)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series609.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(cbrt (fabs (+ x y)))
204.0ms
(cbrt x)
181.0ms
(cbrt x)
181.0ms
(cbrt x)

simplify45.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 2 (7.0ms)

IterNodesCost
059190
1125174
2298166
31072166
45001166

prune156.0ms

Filtered
56 candidates to 46 candidates (17.9%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New56056
Fresh088
Picked011
Done000
Total56965

Merged error: 0b

Counts
65 → 9

regimes76.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02124
12124

end0.0ms

sample354.0ms

Algorithm
intervals
Results
226.0ms8000×body80valid