Details

Time bar (total: 10.8s)

sample245.0ms

Algorithm
intervals
Results
92.0ms85×body2560valid
58.0ms112×body1280valid
51.0ms61×body10240exit
12.0ms40×body640valid
6.0ms317×pre80true
6.0ms7×body320valid
1.0ms10×body80valid
0.0ms2×body160valid

simplify102.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04013
110113
224513
369713
4346313
5500113

prune7.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: 61.5b

Counts
2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
3.5b
(- (exp (* b eps)) 1.0)
3.5b
(- (exp (* a eps)) 1.0)
6.5b
(- (exp (* (+ a b) eps)) 1.0)

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
264×add-sqr-sqrt
224×times-frac
200×*-un-lft-identity
160×associate-*r*
126×associate-*l*
100×add-cube-cbrt
50×distribute-lft-out-- difference-of-squares
32×*-commutative unswap-sqr
16×add-exp-log associate-/r* add-cbrt-cube
14×associate-/l*
10×flip3-- flip-- add-log-exp
8×associate-/r/
4×pow1 cbrt-undiv frac-times associate-*r/ div-exp prod-exp cbrt-unprod
3×sub-neg diff-log
2×associate-*l/ associate-/l/
1×frac-2neg clear-num div-inv
Counts
4 → 324
Calls
4 calls:
39.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
7.0ms
(- (exp (* b eps)) 1.0)
7.0ms
(- (exp (* a eps)) 1.0)
9.0ms
(- (exp (* (+ a b) eps)) 1.0)

series337.0ms

Counts
4 → 12
Calls
4 calls:
210.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
35.0ms
(- (exp (* b eps)) 1.0)
42.0ms
(- (exp (* a eps)) 1.0)
49.0ms
(- (exp (* (+ a b) eps)) 1.0)

simplify85.0ms

Algorithm
egg-herbie
Counts
336 → 336
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
014676408
150016248

prune864.0ms

Filtered
336 candidates to 213 candidates (63.4%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New3324336
Fresh000
Picked101
Done000
Total3334337

Merged error: 0.1b

Counts
337 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (/ 1 b) (/ 1 a))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-add
54×associate-/r* associate-/l*
49×*-un-lft-identity
39×add-sqr-sqrt add-cube-cbrt
18×frac-2neg clear-num
7×distribute-lft-out
6×times-frac
4×div-inv
3×add-log-exp
1×pow1 add-exp-log +-commutative flip3-+ sum-log add-cbrt-cube flip-+
Counts
1 → 99
Calls
1 calls:
16.0ms
(+ (/ 1 b) (/ 1 a))

series11.0ms

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

simplify78.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
0699750
12789714
25001606

prune83.0ms

Filtered
102 candidates to 36 candidates (35.3%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1002102
Fresh033
Picked011
Done000
Total1006106

Merged error: 0.1b

Counts
106 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
9.2b
(/ (- (+ (/ b (* (cbrt a) (cbrt a))) (cbrt a))) (* (- b) (cbrt a)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
253×*-un-lft-identity
209×add-sqr-sqrt
157×add-cube-cbrt
135×distribute-lft-neg-in distribute-rgt-neg-in
130×associate-*l*
78×associate-*r*
61×cbrt-prod
48×distribute-lft-out
37×neg-mul-1
26×unswap-sqr
23×associate-/r*
13×*-commutative
12×associate-/l*
11×add-cbrt-cube
9×add-exp-log
4×pow1 add-log-exp
3×cbrt-undiv pow1/3
2×div-exp cbrt-unprod associate-/l/ distribute-neg-frac
1×neg-sub0 frac-2neg flip3-+ div-sub distribute-frac-neg prod-exp clear-num flip-+ div-inv
Counts
4 → 363
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
61.0ms
(/ (- (+ (/ b (* (cbrt a) (cbrt a))) (cbrt a))) (* (- b) (cbrt a)))

series800.0ms

Counts
4 → 12
Calls
4 calls:
191.0ms
(cbrt a)
191.0ms
(cbrt a)
184.0ms
(cbrt a)
234.0ms
(/ (- (+ (/ b (* (cbrt a) (cbrt a))) (cbrt a))) (* (- b) (cbrt a)))

simplify143.0ms

Algorithm
egg-herbie
Counts
375 → 375
Iterations

Useful iterations: 2 (86.0ms)

IterNodesCost
010976554
148526445
250016439

prune617.0ms

Filtered
375 candidates to 257 candidates (68.5%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New3741375
Fresh044
Picked101
Done011
Total3756381

Merged error: 0.1b

Counts
381 → 6

localize7.0ms

Local error

Found 1 expressions with local error:

13.0b
(/ (+ b a) (* a b))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
48×times-frac
39×add-sqr-sqrt
29×add-cube-cbrt
15×associate-*r* associate-*l*
13×distribute-lft-out
12×associate-/r*
6×add-exp-log add-cbrt-cube
5×*-commutative unswap-sqr
4×associate-/l*
2×cbrt-undiv div-exp associate-/l/
1×pow1 frac-2neg flip3-+ prod-exp clear-num cbrt-unprod flip-+ div-inv add-log-exp
Counts
1 → 80
Calls
1 calls:
9.0ms
(/ (+ b a) (* a b))

series43.0ms

Counts
1 → 3
Calls
1 calls:
43.0ms
(/ (+ b a) (* a b))

simplify37.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0295537
11225516
25001516

prune85.0ms

Filtered
83 candidates to 53 candidates (63.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New83083
Fresh044
Picked011
Done011
Total83689

Merged error: 0.1b

Counts
89 → 6

regimes106.0ms

Accuracy

0% (3.2b remaining)

Error of 3.4b against oracle of 0.2b and baseline of 3.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
093
193

end0.0ms

sample7.0s

Algorithm
intervals
Results
2.6s2572×body2560valid
1.8s1942×body10240exit
1.8s3488×body1280valid
290.0ms1007×body640valid
180.0ms9945×pre80true
69.0ms356×body320valid
26.0ms465×body80valid
14.0ms115×body160valid