Details

Time bar (total: 34.4s)

sample19.0ms

Algorithm
intervals
Results
8.0ms305×body80valid

simplify96.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
0164
1423
21092
35772
444382
550012

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.0b

Counts
2 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

3.9b
(* x (/ y z))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity
11×add-cube-cbrt
10×times-frac
9×associate-*r/
6×add-exp-log add-cbrt-cube
4×associate-/l*
3×pow1 associate-*l* associate-/r*
2×prod-exp clear-num un-div-inv cbrt-unprod unswap-sqr
1×cbrt-undiv expm1-log1p-u frac-2neg div-exp pow-prod-down *-commutative log1p-expm1-u div-inv add-log-exp
Counts
1 → 44
Calls
1 calls:
8.0ms
(* x (/ y z))

series23.0ms

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

simplify86.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0190156
1890141
23671141
35001141

prune67.0ms

Filtered
47 candidates to 32 candidates (31.9%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New40747
Fresh101
Picked011
Done000
Total41849

Merged error: 0.0b

Counts
49 → 8

localize4.0ms

Local error

Found 1 expressions with local error:

3.6b
(/ x (/ z y))

rewrite10.0ms

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

series23.0ms

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

simplify46.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0336475
11435455
25001454

prune130.0ms

Filtered
83 candidates to 67 candidates (19.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New79483
Fresh516
Picked011
Done011
Total84791

Merged error: 0.0b

Counts
91 → 7

localize8.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(* (cbrt x) (cbrt x))
3.2b
(* (/ (* (cbrt x) (cbrt x)) z) (* y (cbrt x)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
246×add-sqr-sqrt
118×cbrt-prod associate-*l*
108×times-frac
84×unswap-sqr
83×add-cube-cbrt *-un-lft-identity
65×add-cbrt-cube
52×associate-*r*
46×cbrt-unprod
36×swap-sqr
33×associate-*l/
27×add-exp-log associate-/l*
16×pow1
15×cbrt-undiv
12×prod-exp
10×*-commutative
8×pow1/3
5×pow-prod-down
4×expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×associate-/r*
2×pow-sqr pow-prod-up
1×pow2 frac-2neg pow-plus clear-num div-inv
Counts
4 → 271
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
6.0ms
(* (cbrt x) (cbrt x))
45.0ms
(* (/ (* (cbrt x) (cbrt x)) z) (* y (cbrt x)))

series643.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(cbrt x)
191.0ms
(cbrt x)
214.0ms
(* (cbrt x) (cbrt x))
51.0ms
(* (/ (* (cbrt x) (cbrt x)) z) (* y (cbrt x)))

simplify54.0ms

Algorithm
egg-herbie
Counts
283 → 283
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
010162331
150011925

prune484.0ms

Filtered
283 candidates to 204 candidates (27.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2821283
Fresh134
Picked101
Done022
Total2846290

Merged error: 0b

Counts
290 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt (* (cbrt x) (cbrt x)))
1.0b
(* (/ (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt z) (cbrt z))) (* (/ (cbrt (cbrt x)) (cbrt z)) (* y (cbrt x))))
1.4b
(* (/ (cbrt (cbrt x)) (cbrt z)) (* y (cbrt x)))

rewrite3.8s

Algorithm
rewrite-expression-head
Rules
35241×add-sqr-sqrt
23788×cbrt-prod
20092×unswap-sqr
9369×times-frac
2811×associate-*l*
2662×swap-sqr
2286×associate-*r*
1996×associate-/l*
1881×add-cube-cbrt *-un-lft-identity
1791×add-cbrt-cube
1765×associate-*l/
1731×cbrt-unprod
1638×frac-times
1128×*-commutative
1071×associate-/r*
724×cbrt-undiv
146×add-exp-log
112×frac-2neg clear-num
81×prod-exp
32×div-exp
18×pow1 associate-*r/
9×pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×div-inv
2×pow1/3
Counts
4 → 8326
Calls
4 calls:
1.0ms
(cbrt z)
7.0ms
(cbrt (* (cbrt x) (cbrt x)))
1.9s
(* (/ (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt z) (cbrt z))) (* (/ (cbrt (cbrt x)) (cbrt z)) (* y (cbrt x))))
32.0ms
(* (/ (cbrt (cbrt x)) (cbrt z)) (* y (cbrt x)))

series811.0ms

Counts
4 → 12
Calls
4 calls:
195.0ms
(cbrt z)
301.0ms
(cbrt (* (cbrt x) (cbrt x)))
26.0ms
(* (/ (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt z) (cbrt z))) (* (/ (cbrt (cbrt x)) (cbrt z)) (* y (cbrt x))))
289.0ms
(* (/ (cbrt (cbrt x)) (cbrt z)) (* y (cbrt x)))

simplify2.3s

Algorithm
egg-herbie
Counts
8338 → 8338
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
05950302164

prune25.0s

Filtered
8338 candidates to 5264 candidates (36.9%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New833808338
Fresh033
Picked011
Done022
Total833868344

Merged error: 0b

Counts
8344 → 6

regimes182.0ms

Accuracy

22.8% (2.3b remaining)

Error of 2.3b against oracle of 0.0b and baseline of 3.0b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
02515
1329
2389
3389

end0.0ms

sample563.0ms

Algorithm
intervals
Results
305.0ms9541×body80valid