Details

Time bar (total: 1.4s)

sample71.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 30.084229%

Guaranteed chance to sample good point: 98.467918%

Results
7.0ms256×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
075
175

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.5b

Counts
2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

0.5b
(/ (exp a) (+ (exp a) (exp b)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
12×times-frac
10×add-sqr-sqrt add-cube-cbrt
4×associate-/r* distribute-lft-out
3×add-cbrt-cube associate-/l*
2×add-exp-log associate-/r/
1×pow1 cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv add-log-exp
Counts
1 → 33
Calls
1 calls:
7.0ms
(/ (exp a) (+ (exp a) (exp b)))

series11.0ms

Counts
1 → 3
Calls
1 calls:
11.0ms
(/ (exp a) (+ (exp a) (exp b)))

simplify87.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0139307
1427287
21132285
33865285
45001285

prune37.0ms

Filtered
27 candidates to 36 candidates (-33.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New33336
Fresh000
Picked101
Done000
Total34337

Merged error: 0.4b

Counts
37 → 3

localize12.0ms

Local error

Found 2 expressions with local error:

1.8b
(- a (log (+ (exp a) (exp b))))
4.3b
(log (+ (exp a) (exp b)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
8×log-prod
6×add-sqr-sqrt
4×pow1 add-cube-cbrt log-div associate--r+
3×add-exp-log add-log-exp
2×flip3-+ log-pow add-cbrt-cube flip-+ distribute-lft-out distribute-lft-out-- associate--r-
1×sub-neg flip3-- diff-log rem-log-exp flip-- difference-of-squares
Counts
2 → 36
Calls
2 calls:
7.0ms
(- a (log (+ (exp a) (exp b))))
4.0ms
(log (+ (exp a) (exp b)))

series18.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(- a (log (+ (exp a) (exp b))))
9.0ms
(log (+ (exp a) (exp b)))

simplify47.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 3 (16.0ms)

IterNodesCost
0153306
1305289
2529284
31452280
45001280

prune50.0ms

Filtered
31 candidates to 42 candidates (-35.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New42042
Fresh022
Picked011
Done000
Total42345

Merged error: 0.4b

Counts
45 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(pow (/ (exp a) (+ (exp b) (exp a))) 3)
0.3b
(cbrt (pow (/ (exp a) (+ (exp b) (exp a))) 3))
0.5b
(/ (exp a) (+ (exp b) (exp a)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity
60×times-frac
46×add-sqr-sqrt add-cube-cbrt
42×cbrt-prod
36×unpow-prod-down cube-prod
16×distribute-lft-out
10×associate-/r/
8×add-cbrt-cube
6×add-exp-log
5×flip3-+ flip-+ div-inv
4×pow1 associate-/r*
3×pow-unpow associate-/l* add-log-exp
2×cbrt-undiv cube-div cube-mult unpow3 div-exp pow-exp rem-cube-cbrt sqr-pow
1×pow-to-exp cbrt-div pow-pow frac-2neg pow1/3 clear-num rem-cbrt-cube
Counts
3 → 141
Calls
3 calls:
8.0ms
(pow (/ (exp a) (+ (exp b) (exp a))) 3)
8.0ms
(cbrt (pow (/ (exp a) (+ (exp b) (exp a))) 3))
7.0ms
(/ (exp a) (+ (exp b) (exp a)))

series44.0ms

Counts
3 → 9
Calls
3 calls:
22.0ms
(pow (/ (exp a) (+ (exp b) (exp a))) 3)
11.0ms
(cbrt (pow (/ (exp a) (+ (exp b) (exp a))) 3))
11.0ms
(/ (exp a) (+ (exp b) (exp a)))

simplify56.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
04221516
118581402
250011385

prune97.0ms

Filtered
71 candidates to 150 candidates (-111.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1491150
Fresh101
Picked011
Done011
Total1503153

Merged error: 0.4b

Counts
153 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 3/16 a) 1/8)
0.0b
(- (+ (* 3/16 a) 1/8) (* 3/16 b))
0.7b
(cbrt (- (+ (* 3/16 a) 1/8) (* 3/16 b)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×pow1 add-exp-log cbrt-prod add-cbrt-cube
2×cbrt-div flip3-- diff-log sum-log flip--
1×+-commutative sub-neg flip3-+ pow1/3 associate--l+ flip-+
Counts
3 → 38
Calls
3 calls:
4.0ms
(+ (* 3/16 a) 1/8)
6.0ms
(- (+ (* 3/16 a) 1/8) (* 3/16 b))
5.0ms
(cbrt (- (+ (* 3/16 a) 1/8) (* 3/16 b)))

series25.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(+ (* 3/16 a) 1/8)
4.0ms
(- (+ (* 3/16 a) 1/8) (* 3/16 b))
18.0ms
(cbrt (- (+ (* 3/16 a) 1/8) (* 3/16 b)))

simplify79.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0263347
1772326
22957307
35003307

prune70.0ms

Filtered
37 candidates to 47 candidates (-27.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New45247
Fresh000
Picked101
Done022
Total46450

Merged error: 0.4b

Counts
50 → 4

regimes167.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
096
196

end0.0ms

sample477.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 30.084229%

Guaranteed chance to sample good point: 98.467918%

Results
228.0ms8000×body80valid
0.0ms11×body80overflowed

Profiling

Loading profile data...