Details

Time bar (total: 54.5s)

sample24.0ms

Algorithm
intervals
Results
12.0ms317×body80valid

simplify207.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0164
1423
21092
35772
444382
550012

prune8.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 6.3b

Counts
2 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

6.2b
(* x (/ y z))

rewrite11.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:
9.0ms
(* x (/ y z))

series25.0ms

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

simplify199.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
0190156
1890141
23671141
35001141

prune83.0ms

Filtered
47 candidates to 32 candidates (68.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New40747
Fresh101
Picked011
Done000
Total41849

Merged error: 0.0b

Counts
49 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt y)
0.7b
(cbrt y)
0.7b
(cbrt y)
1.4b
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
1278×add-sqr-sqrt
1069×associate-*r*
1013×cbrt-prod
810×times-frac
515×*-un-lft-identity
513×add-cube-cbrt
378×unswap-sqr
372×swap-sqr
340×associate-*l*
81×add-cbrt-cube
75×*-commutative
66×cbrt-unprod
57×associate-*r/
29×associate-/l*
27×associate-/r*
25×cbrt-undiv
22×add-exp-log
9×prod-exp
6×pow1
4×expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×pow1/3 un-div-inv
2×clear-num
1×frac-2neg pow-prod-down div-inv
Counts
4 → 959
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
2.0ms
(cbrt y)
194.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

series797.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(cbrt y)
222.0ms
(cbrt y)
235.0ms
(cbrt y)
111.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

simplify256.0ms

Algorithm
egg-herbie
Counts
971 → 971
Iterations

Useful iterations: 1 (154.0ms)

IterNodesCost
039059200
150018976

prune2.0s

Filtered
971 candidates to 565 candidates (58.2%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New9701971
Fresh066
Picked011
Done011
Total9709979

Merged error: 0.0b

Counts
979 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
4.1b
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
555×associate-/r*
554×add-sqr-sqrt
404×cbrt-prod
396×frac-times
308×*-un-lft-identity
307×add-cube-cbrt
181×associate-*l*
146×times-frac
142×associate-/l*
118×associate-*r*
106×unswap-sqr
102×swap-sqr
61×add-cbrt-cube
48×clear-num
47×frac-2neg
33×associate-*l/
30×cbrt-unprod
27×cbrt-undiv
25×add-exp-log
20×*-commutative
12×associate-*r/
8×prod-exp
7×div-exp
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
2×un-div-inv div-inv
1×pow-prod-down
Counts
4 → 654
Calls
4 calls:
1.0ms
(cbrt z)
2.0ms
(cbrt z)
1.0ms
(cbrt z)
65.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

series726.0ms

Counts
4 → 12
Calls
4 calls:
214.0ms
(cbrt z)
224.0ms
(cbrt z)
225.0ms
(cbrt z)
63.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify188.0ms

Algorithm
egg-herbie
Counts
666 → 666
Iterations

Useful iterations: 1 (115.0ms)

IterNodesCost
025217358
150017073

prune1.1s

Filtered
666 candidates to 395 candidates (59.3%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New6642666
Fresh336
Picked011
Done022
Total6678675

Merged error: 0.0b

Counts
675 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
32778×times-frac
32224×add-sqr-sqrt
23281×cbrt-prod
12826×*-un-lft-identity
12824×add-cube-cbrt
9196×unswap-sqr
8502×associate-*l*
7662×associate-*r*
4974×swap-sqr
1333×*-commutative
691×add-cbrt-cube
456×cbrt-undiv
452×cbrt-unprod
251×div-inv
184×associate-/r*
116×associate-/l*
85×add-exp-log
36×associate-/r/
33×div-exp
29×prod-exp
24×associate-*r/
14×associate-/l/
9×pow1
6×clear-num
4×expm1-log1p-u frac-2neg un-div-inv log1p-expm1-u add-log-exp
3×pow-prod-down
2×pow1/3
Counts
4 → 14093
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
344.0ms
(/ (* (* (cbrt x) (cbrt x)) (/ y (cbrt z))) (/ (* (cbrt z) (cbrt z)) (cbrt x)))
29.0ms
(* (* (cbrt x) (cbrt x)) (/ y (cbrt z)))

series615.0ms

Counts
4 → 12
Calls
4 calls:
216.0ms
(cbrt x)
239.0ms
(cbrt x)
26.0ms
(/ (* (* (cbrt x) (cbrt x)) (/ y (cbrt z))) (/ (* (cbrt z) (cbrt z)) (cbrt x)))
134.0ms
(* (* (cbrt x) (cbrt x)) (/ y (cbrt z)))

simplify3.8s

Algorithm
egg-herbie
Counts
14105 → 14105
Iterations

Useful iterations: 0 (333.0ms)

IterNodesCost
012602390247

prune40.5s

Filtered
14105 candidates to 9356 candidates (66.3%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New14104114105
Fresh044
Picked011
Done123
Total14105814113

Merged error: 0b

Counts
14113 → 8

regimes247.0ms

Accuracy

54.8% (1.6b remaining)

Error of 1.6b against oracle of 0.0b and baseline of 3.5b

bsearch1.0ms

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03125
13725
23825
33825

end0.0ms

sample549.0ms

Algorithm
intervals
Results
302.0ms9594×body80valid