Details

Time bar (total: 9.0s)

sample192.0ms

Algorithm
intervals
Results
89.0ms91×body2560valid
58.0ms102×body1280valid
12.0ms36×body640valid
7.0ms329×pre80true
5.0ms73×body80overflowed
2.0ms7×body320valid
1.0ms8×body160valid
1.0ms12×body80valid

simplify105.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04013
110113
225813
376613
4389513
5500113

prune4.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.0b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
2.8b
(- (exp (* a eps)) 1.0)
3.0b
(- (exp (* b eps)) 1.0)
3.6b
(- (exp (* (+ a b) eps)) 1.0)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
49×*-un-lft-identity
45×prod-diff
39×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
10×add-log-exp
9×flip3-- fma-neg flip--
6×pow1 add-exp-log add-cbrt-cube
5×sub-neg associate-*r* associate-*l* distribute-lft-out-- difference-of-squares
4×expm1-log1p-u frac-times log1p-expm1-u
3×diff-log
2×associate-*r/ associate-*l/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 138
Calls
4 calls:
11.0ms
(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
5.0ms
(- (exp (* a eps)) 1.0)
8.0ms
(- (exp (* b eps)) 1.0)
5.0ms
(- (exp (* (+ a b) eps)) 1.0)

series169.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
34.0ms
(- (exp (* a eps)) 1.0)
36.0ms
(- (exp (* b eps)) 1.0)
47.0ms
(- (exp (* (+ a b) eps)) 1.0)

simplify68.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
04881660
120511241
250031216

prune400.0ms

Filtered
150 candidates to 91 candidates (60.7%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1446150
Fresh000
Picked101
Done000
Total1456151

Merged error: 50.3b

Counts
151 → 6

localize27.0ms

Local error

Found 4 expressions with local error:

3.0b
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0)))
3.6b
(- (exp (* (+ a b) eps)) 1.0)
10.9b
(* (pow a 2) (pow eps 2))
12.3b
(* (pow a 3) (pow eps 3))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
40×add-exp-log
32×unswap-sqr
28×unpow-prod-down
23×*-un-lft-identity
22×prod-exp
21×add-cube-cbrt
20×associate-*r* associate-*l* add-cbrt-cube sqr-pow
14×cube-prod
12×pow-to-exp pow-exp
10×unpow2
9×prod-diff
6×cbrt-unprod add-log-exp
4×pow1 cbrt-undiv expm1-log1p-u associate-*r/ div-exp log1p-expm1-u
3×flip3-- fma-neg flip--
2×cube-mult unpow3 pow-prod-down associate-/r/ *-commutative associate-/l/
1×sub-neg frac-2neg times-frac diff-log clear-num associate-/r* div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 169
Calls
4 calls:
13.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0)))
5.0ms
(- (exp (* (+ a b) eps)) 1.0)
10.0ms
(* (pow a 2) (pow eps 2))
9.0ms
(* (pow a 3) (pow eps 3))

series914.0ms

Counts
4 → 12
Calls
4 calls:
773.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0)))
44.0ms
(- (exp (* (+ a b) eps)) 1.0)
31.0ms
(* (pow a 2) (pow eps 2))
65.0ms
(* (pow a 3) (pow eps 3))

simplify144.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 2 (124.0ms)

IterNodesCost
07901768
143601410
250011405

prune653.0ms

Filtered
181 candidates to 103 candidates (56.9%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1792181
Fresh325
Picked101
Done000
Total1834187

Merged error: 0.1b

Counts
187 → 4

localize4.0ms

Local error

Found 1 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
15×times-frac
13×fma-def
10×add-sqr-sqrt add-cube-cbrt
7×distribute-lft-out
5×div-inv
3×add-log-exp
1×pow1 add-exp-log +-commutative expm1-log1p-u flip3-+ frac-add sum-log add-cbrt-cube flip-+ log1p-expm1-u
Counts
1 → 34
Calls
1 calls:
13.0ms
(+ (/ 1 b) (/ 1 a))

series10.0ms

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

simplify71.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0107112
1368101
2127498
3314498
4500198

prune66.0ms

Filtered
37 candidates to 28 candidates (75.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New36137
Fresh123
Picked011
Done000
Total37441

Merged error: 0.1b

Counts
41 → 4

localize8.0ms

Local error

Found 1 expressions with local error:

14.9b
(/ (+ b a) (* b a))

rewrite7.0ms

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

series35.0ms

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

simplify50.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0149142
1531120
22110120
35001120

prune41.0ms

Filtered
30 candidates to 21 candidates (70.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New29130
Fresh022
Picked011
Done011
Total29534

Merged error: 0.1b

Counts
34 → 5

regimes80.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

sample5.8s

Algorithm
intervals
Results
2.7s2571×body2560valid
1.9s3429×body1280valid
357.0ms1052×body640valid
211.0ms9950×pre80true
136.0ms1949×body80overflowed
87.0ms381×body320valid
35.0ms454×body80valid
17.0ms114×body160valid