Details

Time bar (total: 4.2s)

sample74.0ms

Algorithm
intervals
Results
43.0ms101×body10240exit
10.0ms257×body80valid
4.0ms14×body640valid
4.0ms7×body1280valid
1.0ms9×body160valid
0.0ms3×body320valid

simplify7.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: 1.0b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (exp x))
0.0b
(- (log (+ 1.0 (exp x))) (* x y))
1.0b
(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)))

series128.0ms

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

simplify64.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (54.0ms)

IterNodesCost
0236404
1702369
22284367
35002340

prune164.0ms

Filtered
71 candidates to 54 candidates (76.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New68371
Fresh000
Picked011
Done000
Total68472

Merged error: 0.7b

Counts
72 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
50×log-pow
40×pow1
37×*-un-lft-identity
26×fma-neg prod-diff
20×distribute-rgt-out
19×add-sqr-sqrt add-cube-cbrt distribute-lft-out
14×log-prod sqrt-pow1 pow1/2
9×add-log-exp
8×log-div sqrt-div sqrt-prod
6×add-exp-log
5×flip3-+ flip-+
4×associate--l- expm1-log1p-u distribute-lft1-in distribute-rgt1-in add-cbrt-cube log1p-expm1-u
3×fma-def
2×associate-+l- associate-+r- count-2 diff-log rem-log-exp sum-log
1×+-commutative sub-neg flip3-- associate--l+ flip--
Counts
4 → 133
Calls
4 calls:
4.0ms
(+ 1.0 (exp x))
14.0ms
(- (+ (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x))))) (* x y))
4.0ms
(log (sqrt (+ 1.0 (exp x))))
4.0ms
(log (sqrt (+ 1.0 (exp x))))

series357.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(+ 1.0 (exp x))
144.0ms
(- (+ (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x))))) (* x y))
100.0ms
(log (sqrt (+ 1.0 (exp x))))
105.0ms
(log (sqrt (+ 1.0 (exp x))))

simplify42.0ms

Algorithm
egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
03601216
11267981
25001919

prune322.0ms

Filtered
145 candidates to 90 candidates (62.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1432145
Fresh112
Picked101
Done011
Total1454149

Merged error: 0.7b

Counts
149 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(expm1 (log1p (+ 1.0 (exp x))))
1.4b
(log1p (+ 1.0 (exp x)))
1.6b
(log (sqrt (+ 1.0 (exp x))))
19.8b
(log (sqrt (expm1 (log1p (+ 1.0 (exp x))))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
13×log-prod
10×*-un-lft-identity
8×pow1 add-sqr-sqrt add-cube-cbrt
7×sqrt-prod
6×add-exp-log log-pow
5×expm1-log1p-u
4×add-cbrt-cube log1p-expm1-u add-log-exp
2×log-div sqrt-pow1 pow1/2 sqrt-div rem-log-exp
1×log1p-udef expm1-log1p flip3-+ log1p-expm1 flip-+ distribute-lft-out expm1-udef
Counts
4 → 63
Calls
4 calls:
1.0ms
(expm1 (log1p (+ 1.0 (exp x))))
1.0ms
(log1p (+ 1.0 (exp x)))
4.0ms
(log (sqrt (+ 1.0 (exp x))))
2.0ms
(log (sqrt (expm1 (log1p (+ 1.0 (exp x))))))

series512.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(expm1 (log1p (+ 1.0 (exp x))))
67.0ms
(log1p (+ 1.0 (exp x)))
101.0ms
(log (sqrt (+ 1.0 (exp x))))
232.0ms
(log (sqrt (expm1 (log1p (+ 1.0 (exp x))))))

simplify63.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 3 (58.0ms)

IterNodesCost
0279474
1792422
22585410
35001403

prune234.0ms

Filtered
75 candidates to 55 candidates (73.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New75075
Fresh022
Picked011
Done011
Total75479

Merged error: 0.7b

Counts
79 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma 1/2 (pow x 2) (+ x 2.0))
0.0b
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
8.3b
(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:
1.0ms
(fma 1/2 (pow x 2) (+ x 2.0))
4.0ms
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
2.0ms
(log (fma 1/2 (pow x 2) (+ x 2.0)))

series147.0ms

Counts
3 → 9
Calls
3 calls:
16.0ms
(fma 1/2 (pow x 2) (+ x 2.0))
75.0ms
(- (log (fma 1/2 (pow x 2) (+ x 2.0))) (* x y))
55.0ms
(log (fma 1/2 (pow x 2) (+ x 2.0)))

simplify83.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
0229423
1763380
23267376
35001356

prune146.0ms

Filtered
58 candidates to 46 candidates (79.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New57158
Fresh011
Picked101
Done022
Total58462

Merged error: 0.7b

Counts
62 → 4

regimes70.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0105
1105

end0.0ms

sample1.7s

Algorithm
intervals
Results
997.0ms2410×body10240exit
324.0ms8289×body80valid
80.0ms290×body640valid
66.0ms128×body1280valid
29.0ms182×body320valid
8.0ms87×body160valid