Details

Time bar (total: 7.4s)

sample20.0ms

Algorithm
intervals
Results
9.0ms347×body80valid

simplify128.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0275
1765
21685
32645
43545
54425
69125
724365
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

localize10.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)))

rewrite61.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 distribute-lft-in flip3-+ associate-/r/ flip-+ add-log-exp
1×frac-2neg clear-num div-inv
Counts
2 → 457
Calls
2 calls:
10.0ms
(* (* z z) (+ z 1.0))
25.0ms
(/ (* x y) (* (* z z) (+ z 1.0)))

series129.0ms

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

simplify95.0ms

Algorithm
egg-herbie
Counts
463 → 463
Iterations

Useful iterations: 1 (43.0ms)

IterNodesCost
018784098
150013993

prune516.0ms

Filtered
463 candidates to 243 candidates (52.5%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New45310463
Fresh000
Picked101
Done000
Total45410464

Merged error: 0.0b

Counts
464 → 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)

rewrite40.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×div-exp prod-exp add-log-exp
3×pow1/3
2×associate-/r/ un-div-inv div-inv
1×flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 242
Calls
4 calls:
25.0ms
(* (/ (cbrt x) (fabs z)) (/ y (+ z 1.0)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series673.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(* (/ (cbrt x) (fabs z)) (/ y (+ z 1.0)))
181.0ms
(cbrt x)
190.0ms
(cbrt x)
180.0ms
(cbrt x)

simplify62.0ms

Algorithm
egg-herbie
Counts
254 → 254
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
011492127
150012029

prune524.0ms

Filtered
254 candidates to 176 candidates (69.3%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New2513254
Fresh189
Picked101
Done000
Total25311264

Merged error: 0.0b

Counts
264 → 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))

rewrite39.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×div-exp prod-exp add-log-exp
3×pow1/3 un-div-inv
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 267
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
23.0ms
(* (/ (fabs z) (cbrt x)) (/ (+ z 1.0) y))

series744.0ms

Counts
4 → 12
Calls
4 calls:
194.0ms
(cbrt x)
182.0ms
(cbrt x)
193.0ms
(cbrt x)
174.0ms
(* (/ (fabs z) (cbrt x)) (/ (+ z 1.0) y))

simplify66.0ms

Algorithm
egg-herbie
Counts
279 → 279
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
013112434
150022353

prune675.0ms

Filtered
279 candidates to 196 candidates (70.3%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New2772279
Fresh1910
Picked011
Done000
Total27812290

Merged error: 0b

Counts
290 → 12

localize16.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) (cbrt 1)) (/ (+ z 1.0) y)) (cbrt x))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
586×times-frac
498×add-sqr-sqrt
415×*-un-lft-identity
330×add-cube-cbrt
295×cbrt-prod
197×associate-/l/
154×associate-*l*
144×frac-times associate-/l*
123×associate-/r*
112×associate-*r*
56×unswap-sqr
47×add-cbrt-cube
35×distribute-lft-out
28×cbrt-undiv clear-num
27×frac-2neg
22×add-exp-log
15×div-inv
13×flip3-+ flip-+
12×associate-*r/ associate-*l/ cbrt-unprod
9×div-exp
7×*-commutative
4×pow1 prod-exp add-log-exp
3×pow1/3 un-div-inv
Counts
4 → 596
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
48.0ms
(/ (* (/ (fabs z) (cbrt 1)) (/ (+ z 1.0) y)) (cbrt x))

series687.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt x)
180.0ms
(cbrt x)
190.0ms
(cbrt x)
132.0ms
(/ (* (/ (fabs z) (cbrt 1)) (/ (+ z 1.0) y)) (cbrt x))

simplify129.0ms

Algorithm
egg-herbie
Counts
608 → 608
Iterations

Useful iterations: 1 (49.0ms)

IterNodesCost
022737769
150017572

prune2.0s

Filtered
608 candidates to 468 candidates (77.0%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New6071608
Fresh1910
Picked011
Done011
Total60812620

Merged error: 0b

Counts
620 → 12

regimes186.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02014
12014

end0.0ms

sample500.0ms

Algorithm
intervals
Results
283.0ms10660×body80valid