Details

Time bar (total: 4.5s)

sample73.0ms

Algorithm
intervals
Results
42.0ms91×body5120exit
13.0ms273×body80valid
2.0ms7×body640valid
2.0ms4×body1280valid
1.0ms7×body320valid
0.0ms2×body160valid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1195
2235
3235

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.5b

Counts
2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (exp x))
0.0b
(- (log (+ 1.0 (exp x))) (* x y))
0.7b
(log (+ 1.0 (exp x)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
8×add-sqr-sqrt add-cube-cbrt log-prod
6×pow1 add-log-exp
4×add-exp-log log-div fma-neg prod-diff associate--l+
3×expm1-log1p-u fma-def flip3-+ log-pow add-cbrt-cube flip-+ log1p-expm1-u distribute-lft-out
2×associate--l-
1×+-commutative sub-neg flip3-- diff-log rem-log-exp sum-log flip--
Counts
3 → 62
Calls
3 calls:
3.0ms
(+ 1.0 (exp x))
6.0ms
(- (log (+ 1.0 (exp x))) (* x y))
3.0ms
(log (+ 1.0 (exp x)))

series129.0ms

Counts
3 → 9
Calls
3 calls:
8.0ms
(+ 1.0 (exp x))
62.0ms
(- (log (+ 1.0 (exp x))) (* x y))
60.0ms
(log (+ 1.0 (exp x)))

simplify61.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (55.0ms)

IterNodesCost
0236404
1702369
22284367
35002340

prune281.0ms

Filtered
71 candidates to 54 candidates (76.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New69271
Fresh000
Picked101
Done000
Total70272

Merged error: 0.2b

Counts
72 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (exp x))
0.0b
(+ 1.0 (exp x))
1.2b
(log (sqrt (+ 1.0 (exp x))))
1.2b
(log (sqrt (+ 1.0 (exp x))))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
14×log-prod
10×add-sqr-sqrt add-cube-cbrt
8×pow1 sqrt-prod add-log-exp
6×add-exp-log fma-def log-pow
4×expm1-log1p-u log-div flip3-+ sqrt-div add-cbrt-cube flip-+ log1p-expm1-u distribute-lft-out
2×+-commutative sqrt-pow1 pow1/2 rem-log-exp sum-log
Counts
4 → 78
Calls
4 calls:
3.0ms
(+ 1.0 (exp x))
4.0ms
(+ 1.0 (exp x))
4.0ms
(log (sqrt (+ 1.0 (exp x))))
5.0ms
(log (sqrt (+ 1.0 (exp x))))

series225.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(+ 1.0 (exp x))
8.0ms
(+ 1.0 (exp x))
102.0ms
(log (sqrt (+ 1.0 (exp x))))
107.0ms
(log (sqrt (+ 1.0 (exp x))))

simplify46.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 3 (39.0ms)

IterNodesCost
0165504
1423460
21201448
35002438

prune228.0ms

Filtered
90 candidates to 68 candidates (75.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New89190
Fresh011
Picked101
Done000
Total90292

Merged error: 0.2b

Counts
92 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (exp x))
0.0b
(expm1 (log1p (log (sqrt (+ 1.0 (exp x))))))
1.2b
(log (sqrt (+ 1.0 (exp x))))
1.2b
(log (sqrt (+ 1.0 (exp x))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
14×log-prod
9×add-sqr-sqrt add-cube-cbrt
8×pow1 sqrt-prod
6×add-exp-log log-pow add-log-exp
4×expm1-log1p-u log-div sqrt-div add-cbrt-cube log1p-expm1-u
3×fma-def flip3-+ flip-+ distribute-lft-out
2×sqrt-pow1 pow1/2 rem-log-exp
1×+-commutative expm1-log1p sum-log expm1-udef
Counts
4 → 72
Calls
4 calls:
4.0ms
(+ 1.0 (exp x))
1.0ms
(expm1 (log1p (log (sqrt (+ 1.0 (exp x))))))
4.0ms
(log (sqrt (+ 1.0 (exp x))))
5.0ms
(log (sqrt (+ 1.0 (exp x))))

series556.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(+ 1.0 (exp x))
333.0ms
(expm1 (log1p (log (sqrt (+ 1.0 (exp x))))))
109.0ms
(log (sqrt (+ 1.0 (exp x))))
106.0ms
(log (sqrt (+ 1.0 (exp x))))

simplify116.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 3 (108.0ms)

IterNodesCost
0249562
1773509
23536484
35001482

prune234.0ms

Filtered
84 candidates to 62 candidates (73.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New84084
Fresh011
Picked011
Done000
Total84286

Merged error: 0.2b

Counts
86 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
0.0b
(fma 1/2 (pow x 2) (+ x 2.0))
6.6b
(log (fma 1/2 (pow x 2) (+ x 2.0)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow1 log-prod
4×add-exp-log fma-neg prod-diff add-log-exp
3×expm1-log1p-u associate--l+ log-pow add-cbrt-cube log1p-expm1-u
1×sub-neg flip3-- diff-log rem-log-exp flip-- fma-udef
Counts
3 → 49
Calls
3 calls:
4.0ms
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
1.0ms
(fma 1/2 (pow x 2) (+ x 2.0))
1.0ms
(log (fma 1/2 (pow x 2) (+ x 2.0)))

series154.0ms

Counts
3 → 9
Calls
3 calls:
81.0ms
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
18.0ms
(fma 1/2 (pow x 2) (+ x 2.0))
56.0ms
(log (fma 1/2 (pow x 2) (+ x 2.0)))

simplify93.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 3 (86.0ms)

IterNodesCost
0229423
1763380
23267376
35001356

prune137.0ms

Filtered
58 candidates to 46 candidates (79.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New57158
Fresh000
Picked011
Done011
Total57360

Merged error: 0.2b

Counts
60 → 3

regimes36.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01513
11513

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.2s2452×body5120exit
412.0ms8381×body80valid
83.0ms149×body1280valid
81.0ms258×body640valid
34.0ms182×body320valid
14.0ms119×body160valid