Details

Time bar (total: 4.3s)

sample25.0ms

Algorithm
intervals
Results
11.0ms365×body80valid
0.0ms2×body1280valid
0.0ms2×body320valid
0.0ms1×body640valid
0.0ms1×body160valid

simplify36.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0307
1867
22837
37427
411977
512737
612737

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

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (+ y z) z) y)
0.0b
(+ (+ y z) z)
0.0b
(* x (+ (+ (+ (+ y z) z) y) t))
0.0b
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
72×associate-+l+
42×*-un-lft-identity
23×distribute-lft-out
22×+-commutative
20×add-log-exp
16×distribute-rgt-in distribute-lft-in
10×sum-log
8×add-sqr-sqrt
7×associate-*r* associate-*l*
6×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
4×flip3-+ flip-+
2×associate-*r/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 107
Calls
4 calls:
9.0ms
(+ (+ (+ y z) z) y)
6.0ms
(+ (+ y z) z)
19.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
28.0ms
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))

series168.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(+ (+ (+ y z) z) y)
25.0ms
(+ (+ y z) z)
41.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
66.0ms
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))

simplify54.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0439663
11770617
25001598

prune168.0ms

Filtered
119 candidates to 74 candidates (37.8%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1163119
Fresh000
Picked101
Done000
Total1173120

Merged error: 0.0b

Counts
120 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* (+ y z) x) (+ (* (+ (+ z y) t) x) (* y 5.0)))
0.0b
(* (+ (+ z y) t) x)
0.0b
(+ (* (+ (+ z y) t) x) (* y 5.0))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
137×*-un-lft-identity
95×distribute-lft-out
63×associate-*l*
10×add-log-exp
7×add-sqr-sqrt flip3-+ flip-+
6×associate-*l/
5×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
4×frac-add sum-log
3×+-commutative associate-*r*
2×associate-+r+
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 86
Calls
3 calls:
35.0ms
(+ (* (+ y z) x) (+ (* (+ (+ z y) t) x) (* y 5.0)))
8.0ms
(* (+ (+ z y) t) x)
19.0ms
(+ (* (+ (+ z y) t) x) (* y 5.0))

series121.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(+ (* (+ y z) x) (+ (* (+ (+ z y) t) x) (* y 5.0)))
23.0ms
(* (+ (+ z y) t) x)
39.0ms
(+ (* (+ (+ z y) t) x) (* y 5.0))

simplify58.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0394804
11755767
25002767

prune126.0ms

Filtered
95 candidates to 47 candidates (50.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New92395
Fresh202
Picked011
Done000
Total94498

Merged error: 0.0b

Counts
98 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(* (cbrt x) (cbrt x))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
8×add-cbrt-cube
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×cbrt-unprod add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 76
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
6.0ms
(* (cbrt x) (cbrt x))

series762.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(cbrt x)
185.0ms
(cbrt x)
184.0ms
(cbrt x)
208.0ms
(* (cbrt x) (cbrt x))

simplify91.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 3 (85.0ms)

IterNodesCost
0124311
1520267
23231241
35001238

prune380.0ms

Filtered
88 candidates to 64 candidates (27.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New88088
Fresh022
Picked011
Done011
Total88492

Merged error: 0.0b

Counts
92 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (* (+ (+ z y) t) x) (* y 5.0))) (cbrt (+ (* (+ (+ z y) t) x) (* y 5.0))))
0.6b
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))
0.6b
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))
0.6b
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
537×*-un-lft-identity
322×distribute-lft-out
244×associate-*l*
225×cbrt-prod
86×swap-sqr
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
14×associate-*r*
11×pow1
9×flip3-+ pow1/3 flip-+
8×add-cbrt-cube
6×add-exp-log
4×frac-times cbrt-unprod add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 210
Calls
4 calls:
47.0ms
(* (cbrt (+ (* (+ (+ z y) t) x) (* y 5.0))) (cbrt (+ (* (+ (+ z y) t) x) (* y 5.0))))
23.0ms
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))
19.0ms
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))
20.0ms
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))

series929.0ms

Counts
4 → 12
Calls
4 calls:
285.0ms
(* (cbrt (+ (* (+ (+ z y) t) x) (* y 5.0))) (cbrt (+ (* (+ (+ z y) t) x) (* y 5.0))))
222.0ms
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))
211.0ms
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))
210.0ms
(cbrt (+ (* (+ (+ z y) t) x) (* y 5.0)))

simplify70.0ms

Algorithm
egg-herbie
Counts
222 → 222
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
03613181
112453058
250022182

prune246.0ms

Filtered
222 candidates to 75 candidates (66.2%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New2211222
Fresh011
Picked011
Done022
Total2215226

Merged error: 0b

Counts
226 → 5

regimes109.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0198
1218
2218

end0.0ms

sample640.0ms

Algorithm
intervals
Results
332.0ms10542×body80valid
13.0ms96×body1280valid
13.0ms112×body640valid
5.0ms58×body320valid
2.0ms37×body160valid