Details

Time bar (total: 3.3s)

sample62.0ms

Algorithm
intervals
Results
45.0ms113×body10240exit
8.0ms256×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
075
175

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize5.0ms

Local error

Found 1 expressions with local error:

1.5b
(/ (exp a) (+ (exp a) (exp b)))

rewrite10.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 expm1-log1p-u frac-2neg flip3-+ div-exp clear-num flip-+ log1p-expm1-u div-inv add-log-exp
Counts
1 → 35
Calls
1 calls:
9.0ms
(/ (exp a) (+ (exp a) (exp b)))

series30.0ms

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

simplify81.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 3 (28.0ms)

IterNodesCost
0143319
1446298
21221297
34142296
45001296

prune80.0ms

Filtered
38 candidates to 29 candidates (76.3%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b
(expm1 (/ (exp a) (+ (exp a) (exp b))))
1.5b
(/ (exp a) (+ (exp a) (exp b)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
12×times-frac
11×add-sqr-sqrt add-cube-cbrt
4×associate-/r* add-cbrt-cube distribute-lft-out
3×add-exp-log log1p-expm1-u associate-/l*
2×pow1 expm1-log1p-u associate-/r/ add-log-exp
1×cbrt-undiv expm1-log1p frac-2neg flip3-+ div-exp clear-num flip-+ div-inv expm1-udef
Counts
2 → 46
Calls
2 calls:
0.0ms
(expm1 (/ (exp a) (+ (exp a) (exp b))))
9.0ms
(/ (exp a) (+ (exp a) (exp b)))

series91.0ms

Counts
2 → 6
Calls
2 calls:
57.0ms
(expm1 (/ (exp a) (+ (exp a) (exp b))))
33.0ms
(/ (exp a) (+ (exp a) (exp b)))

simplify98.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 3 (35.0ms)

IterNodesCost
0180429
1552394
21548391
34963389
45001389

prune126.0ms

Filtered
52 candidates to 38 candidates (73.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.3b

localize11.0ms

Local error

Found 1 expressions with local error:

0.2b
(fma (exp 1/2) (- (fma a 1/4 1) (* 1/4 b)) (- 1))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (exp 1/2) (- (fma a 1/4 1) (* 1/4 b)) (- 1))

series72.0ms

Counts
1 → 3
Calls
1 calls:
72.0ms
(fma (exp 1/2) (- (fma a 1/4 1) (* 1/4 b)) (- 1))

simplify59.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 4 (56.0ms)

IterNodesCost
060116
1145103
244894
3205094
4500389

prune42.0ms

Filtered
13 candidates to 11 candidates (84.6%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 1.3b

localize13.0ms

Local error

Found 3 expressions with local error:

0.2b
(fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1))
0.3b
(log (fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1)))
1.0b
(exp (log (fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt add-cube-cbrt log-prod *-un-lft-identity
5×pow1
4×add-exp-log exp-prod
3×expm1-log1p-u exp-sum add-cbrt-cube log1p-expm1-u add-log-exp
2×log-pow
1×rem-log-exp fma-udef rem-exp-log
Counts
3 → 41
Calls
3 calls:
0.0ms
(fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1))
1.0ms
(log (fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1)))
2.0ms
(exp (log (fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1))))

series394.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1))
246.0ms
(log (fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1)))
71.0ms
(exp (log (fma (fma 1/4 (- a b) 1) (exp 1/2) (- 1))))

simplify104.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 3 (98.0ms)

IterNodesCost
0232465
1741417
23546372
35001369

prune146.0ms

Filtered
50 candidates to 37 candidates (74.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.8b

regimes132.0ms

Accuracy

0% (0.3b remaining)

Error of 0.7b against oracle of 0.3b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
097
197

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.3s3409×body10240exit
203.0ms8000×body80valid