Details

Time bar (total: 7.5s)

sample20.0ms

Algorithm
intervals
Results
9.0ms347×body80valid

simplify117.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0275
1785
21795
32775
43755
54885
69775
725175
850015

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

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (* z z) (+ z 1.0))
12.8b
(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
417×add-sqr-sqrt
348×times-frac
342×associate-*l*
217×*-un-lft-identity
189×add-cube-cbrt
188×associate-*r*
128×unswap-sqr
72×*-commutative
56×swap-sqr
29×associate-/r*
28×add-exp-log add-cbrt-cube
14×distribute-lft-out
12×prod-exp cbrt-unprod associate-/l*
7×pow1
6×cbrt-undiv div-exp
4×associate-*r/
3×pow-prod-down
2×+-commutative distribute-rgt-in expm1-log1p-u distribute-lft-in flip3-+ associate-/r/ flip-+ log1p-expm1-u add-log-exp
1×frac-2neg clear-num div-inv
Counts
2 → 461
Calls
2 calls:
11.0ms
(* (* z z) (+ z 1.0))
25.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

series127.0ms

Counts
2 → 6
Calls
2 calls:
51.0ms
(* (* z z) (+ z 1.0))
76.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

simplify92.0ms

Algorithm
egg-herbie
Counts
467 → 467
Iterations

Useful iterations: 1 (41.0ms)

IterNodesCost
018854118
150014010

prune543.0ms

Filtered
467 candidates to 247 candidates (52.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New45710467
Fresh000
Picked101
Done000
Total45810468

Merged error: 0.0b

Counts
468 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (/ (cbrt x) (fabs z)) (/ y (+ z 1.0)))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
120×frac-times *-un-lft-identity
106×add-sqr-sqrt associate-/l*
87×add-cube-cbrt
85×associate-/r*
53×cbrt-prod
37×times-frac
25×clear-num
24×frac-2neg
22×associate-*l*
21×add-cbrt-cube
18×associate-*r*
16×add-exp-log distribute-lft-out
12×associate-*l/
10×associate-*r/
7×cbrt-undiv
6×pow1 cbrt-unprod unswap-sqr
4×expm1-log1p-u div-exp prod-exp log1p-expm1-u add-log-exp
3×pow1/3
2×associate-/r/ un-div-inv div-inv
1×flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 250
Calls
4 calls:
23.0ms
(* (/ (cbrt x) (fabs z)) (/ y (+ z 1.0)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series684.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(* (/ (cbrt x) (fabs z)) (/ y (+ z 1.0)))
194.0ms
(cbrt x)
186.0ms
(cbrt x)
185.0ms
(cbrt x)

simplify63.0ms

Algorithm
egg-herbie
Counts
262 → 262
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
011572153
150012053

prune584.0ms

Filtered
262 candidates to 184 candidates (70.2%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New2593262
Fresh189
Picked101
Done000
Total26111272

Merged error: 0.0b

Counts
272 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.7b
(* (/ (fabs z) (cbrt x)) (/ (+ z 1.0) y))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
144×frac-times
128×*-un-lft-identity
117×associate-/r*
112×add-sqr-sqrt
93×add-cube-cbrt associate-/l*
59×cbrt-prod
37×times-frac
27×clear-num
26×frac-2neg associate-/l/
22×associate-*l*
21×add-cbrt-cube
17×distribute-lft-out
16×add-exp-log associate-*r*
13×flip3-+ flip-+
12×associate-*r/ associate-*l/
7×cbrt-undiv
6×pow1 cbrt-unprod unswap-sqr
4×expm1-log1p-u div-exp prod-exp log1p-expm1-u add-log-exp
3×pow1/3 un-div-inv
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 275
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
25.0ms
(* (/ (fabs z) (cbrt x)) (/ (+ z 1.0) y))

series741.0ms

Counts
4 → 12
Calls
4 calls:
190.0ms
(cbrt x)
191.0ms
(cbrt x)
185.0ms
(cbrt x)
174.0ms
(* (/ (fabs z) (cbrt x)) (/ (+ z 1.0) y))

simplify62.0ms

Algorithm
egg-herbie
Counts
287 → 287
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
013202457
150022367

prune674.0ms

Filtered
287 candidates to 204 candidates (71.1%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New2852287
Fresh1910
Picked011
Done000
Total28612298

Merged error: 0b

Counts
298 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
1.2b
(/ (* (- (fabs z)) (/ (+ z 1.0) y)) (- (cbrt x)))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
749×times-frac
490×*-un-lft-identity
468×add-sqr-sqrt
383×add-cube-cbrt
272×associate-*r*
255×distribute-lft-neg-in distribute-rgt-neg-in
213×cbrt-prod
170×associate-*l*
53×distribute-lft-out
51×neg-mul-1
39×associate-/l*
34×unswap-sqr
19×associate-/r*
18×div-inv
17×*-commutative associate-/l/
13×add-exp-log add-cbrt-cube
12×associate-*r/
4×pow1 cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×pow1/3 clear-num un-div-inv
2×frac-2neg prod-exp cbrt-unprod
1×distribute-lft-neg-out flip3-+ distribute-frac-neg flip-+
Counts
4 → 650
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
35.0ms
(/ (* (- (fabs z)) (/ (+ z 1.0) y)) (- (cbrt x)))

series680.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt x)
188.0ms
(cbrt x)
182.0ms
(cbrt x)
127.0ms
(/ (* (- (fabs z)) (/ (+ z 1.0) y)) (- (cbrt x)))

simplify133.0ms

Algorithm
egg-herbie
Counts
662 → 662
Iterations

Useful iterations: 1 (46.0ms)

IterNodesCost
022869233
150029164

prune1.9s

Filtered
662 candidates to 499 candidates (75.4%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New6611662
Fresh1910
Picked011
Done011
Total66212674

Merged error: 0b

Counts
674 → 12

regimes195.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01913
11913

end0.0ms

sample512.0ms

Algorithm
intervals
Results
298.0ms10660×body80valid