Details

Time bar (total: 4.0s)

sample602.0ms

Algorithm
intervals
Results
4.0ms178×body80valid
4.0ms29×body1280valid
3.0ms30×body640valid
1.0ms75×body80overflowed
1.0ms19×body320valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
074
184
284

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

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ (exp x) (- (exp x) 1.0))
0.7b
(- (exp x) 1.0)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/r* distribute-lft-out-- difference-of-squares
4×add-cbrt-cube add-log-exp
3×add-exp-log associate-/l*
2×pow1 flip3-- associate-/r/ flip--
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num div-inv
Counts
2 → 51
Calls
2 calls:
6.0ms
(/ (exp x) (- (exp x) 1.0))
4.0ms
(- (exp x) 1.0)

series18.0ms

Counts
2 → 6
Calls
2 calls:
16.0ms
(/ (exp x) (- (exp x) 1.0))
2.0ms
(- (exp x) 1.0)

simplify70.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
0180378
1542357
22174354
35003354

prune70.0ms

Filtered
57 candidates to 41 candidates (28.1%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New53457
Fresh000
Picked101
Done000
Total54458

Merged error: 0.0b

Counts
58 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1.0 (exp x))
0.7b
(- 1 (/ 1.0 (exp x)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
14×*-un-lft-identity
11×times-frac
10×add-cube-cbrt
4×add-cbrt-cube add-log-exp difference-of-squares
3×add-exp-log associate-/r* associate-/l*
2×pow1
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- div-inv distribute-lft-out--
Counts
2 → 44
Calls
2 calls:
4.0ms
(/ 1.0 (exp x))
6.0ms
(- 1 (/ 1.0 (exp x)))

series9.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(/ 1.0 (exp x))
6.0ms
(- 1 (/ 1.0 (exp x)))

simplify102.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
0194264
1739246
23283244
35001244

prune55.0ms

Filtered
50 candidates to 36 candidates (28.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New49150
Fresh123
Picked011
Done000
Total50454

Merged error: 0.0b

Counts
54 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (exp x))
0.0b
(exp (- 1 (/ 1.0 (exp x))))
0.7b
(- 1 (/ 1.0 (exp x)))
0.7b
(log (exp (- 1 (/ 1.0 (exp x)))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
27×*-un-lft-identity
16×exp-prod
15×add-cube-cbrt times-frac
12×difference-of-squares
9×log-pow add-log-exp
6×add-cbrt-cube
5×pow1 add-exp-log log-prod
4×exp-sum
3×sub-neg associate-/r* associate-/l* distribute-lft-out--
2×exp-diff diff-log rem-exp-log
1×cbrt-undiv log-div flip3-- frac-2neg div-exp rem-log-exp clear-num flip-- div-inv
Counts
4 → 87
Calls
4 calls:
4.0ms
(/ 1.0 (exp x))
7.0ms
(exp (- 1 (/ 1.0 (exp x))))
6.0ms
(- 1 (/ 1.0 (exp x)))
10.0ms
(log (exp (- 1 (/ 1.0 (exp x)))))

series26.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(/ 1.0 (exp x))
11.0ms
(exp (- 1 (/ 1.0 (exp x))))
5.0ms
(- 1 (/ 1.0 (exp x)))
6.0ms
(log (exp (- 1 (/ 1.0 (exp x)))))

simplify121.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0256509
1914462
23799459
35001459

prune125.0ms

Filtered
99 candidates to 71 candidates (28.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New99099
Fresh022
Picked011
Done011
Total994103

Merged error: 0.0b

Counts
103 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
0.4b
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
0.5b
(/ (exp x) (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
0.7b
(- (pow (exp x) 3) (pow 1.0 3))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
640×add-sqr-sqrt
618×times-frac
402×*-un-lft-identity
272×difference-of-squares
232×add-cube-cbrt
204×unpow-prod-down cube-prod
136×sqr-pow
85×distribute-lft-out--
84×associate-/r*
28×associate-/l*
17×difference-cubes
11×associate-/r/ add-cbrt-cube
9×add-exp-log
8×add-log-exp
6×flip3-+ flip-+ div-inv
4×pow1 cbrt-undiv div-exp
2×associate-+l+ flip3-- frac-2neg clear-num flip-- associate-/l/
1×+-commutative distribute-rgt-in sub-neg distribute-lft-in diff-log div-sub sum-log
Counts
4 → 509
Calls
4 calls:
9.0ms
(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
26.0ms
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
32.0ms
(/ (exp x) (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
11.0ms
(- (pow (exp x) 3) (pow 1.0 3))

series53.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
17.0ms
(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
26.0ms
(/ (exp x) (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
5.0ms
(- (pow (exp x) 3) (pow 1.0 3))

simplify128.0ms

Algorithm
egg-herbie
Counts
521 → 521
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
0142111912
1500211715

prune1.1s

Filtered
521 candidates to 295 candidates (43.4%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New5201521
Fresh011
Picked101
Done022
Total5214525

Merged error: 0.0b

Counts
525 → 4

regimes92.0ms

Accuracy

97.1% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 20.9b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0219
1219

end0.0ms

sample1.2s

Algorithm
intervals
Results
137.0ms1138×body1280valid
132.0ms5363×body80valid
72.0ms854×body640valid
50.0ms2439×body80overflowed
27.0ms404×body320valid
11.0ms241×body160valid

Profiling

Loading profile data...