Details

Time bar (total: 8.2s)

sample85.0ms

Algorithm
intervals
Results
46.0ms115×body1280valid
16.0ms75×body640valid
6.0ms45×body320valid
5.0ms258×body80nan
1.0ms17×body160valid
0.0ms4×body80valid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0154
1204
2234
3234

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 59.2b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
4.9b
(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/l*
4×associate-/r* associate-/r/ add-cbrt-cube
3×pow1
2×expm1-log1p-u flip3-+ div-exp rem-log-exp flip-+ log1p-expm1-u div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div flip3-- frac-2neg div-sub clear-num log-pow flip--
Counts
2 → 87
Calls
2 calls:
8.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
6.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series159.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
127.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify138.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 3 (129.0ms)

IterNodesCost
0354672
11096638
24786623
35001622

prune191.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (pow eps 2) (fma (/ eps 1.0) (/ eps 1.0) eps))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
24×prod-diff
23×add-sqr-sqrt
19×*-un-lft-identity
17×add-cube-cbrt
13×unpow-prod-down
8×fma-neg
5×unpow2 sqr-pow
4×difference-of-squares
3×add-log-exp
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- fma-udef log1p-expm1-u associate--r+ distribute-lft-out--
Counts
1 → 52
Calls
1 calls:
7.0ms
(- (pow eps 2) (fma (/ eps 1.0) (/ eps 1.0) eps))

series92.0ms

Counts
1 → 3
Calls
1 calls:
92.0ms
(- (pow eps 2) (fma (/ eps 1.0) (/ eps 1.0) eps))

simplify140.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 3 (128.0ms)

IterNodesCost
0203877
1600486
23825462
35001461

prune91.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps))
0.6b
(pow (cbrt (fma (/ eps 1.0) (/ eps 1.0) eps)) 6)
0.7b
(cbrt (fma (/ eps 1.0) (/ eps 1.0) eps))
29.7b
(/ (fma (- 1) (pow (cbrt (fma (/ eps 1.0) (/ eps 1.0) eps)) 6) (pow eps 4)) (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
7×add-exp-log
6×cbrt-prod unpow-prod-down add-cbrt-cube
5×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow associate-/r* associate-/l*
2×pow-pow pow1/3
1×cbrt-undiv pow-to-exp frac-2neg div-exp pow-exp clear-num fma-udef div-inv sqr-pow
Counts
4 → 75
Calls
4 calls:
1.0ms
(fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps))
3.0ms
(pow (cbrt (fma (/ eps 1.0) (/ eps 1.0) eps)) 6)
1.0ms
(cbrt (fma (/ eps 1.0) (/ eps 1.0) eps))
3.0ms
(/ (fma (- 1) (pow (cbrt (fma (/ eps 1.0) (/ eps 1.0) eps)) 6) (pow eps 4)) (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)))

series501.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps))
144.0ms
(pow (cbrt (fma (/ eps 1.0) (/ eps 1.0) eps)) 6)
109.0ms
(cbrt (fma (/ eps 1.0) (/ eps 1.0) eps))
140.0ms
(/ (fma (- 1) (pow (cbrt (fma (/ eps 1.0) (/ eps 1.0) eps)) 6) (pow eps 4)) (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)))

simplify55.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
04191121
115431031
25002990

prune326.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

2.7b
(exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps))))))
15.6b
(/ (fma (- 1) (fma 2.0 (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) eps) (- (fma 2.0 (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (pow eps 2)) (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6)) (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (* (pow eps 2) (pow 1.0 2))))) (pow eps 4)) (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)))
23.3b
(/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (pow eps 2))
23.3b
(/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (* (pow eps 2) (pow 1.0 2)))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
309×unpow-prod-down
234×times-frac
216×exp-sum
134×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
108×distribute-rgt-in distribute-lft-in
96×prod-diff
72×log-prod associate--l+
64×add-exp-log
53×associate-/l*
40×div-exp
37×sqr-pow
34×pow-to-exp pow-exp
28×pow1
27×prod-exp
26×unpow2
24×sub-neg log-pow
13×add-cbrt-cube
12×associate-/r*
6×add-log-exp
4×cbrt-undiv expm1-log1p-u log1p-expm1-u
3×frac-2neg clear-num div-inv
1×exp-prod exp-to-pow cbrt-unprod rem-exp-log
Counts
4 → 409
Calls
4 calls:
5.0ms
(exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps))))))
3.0ms
(/ (fma (- 1) (fma 2.0 (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) eps) (- (fma 2.0 (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (pow eps 2)) (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6)) (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (* (pow eps 2) (pow 1.0 2))))) (pow eps 4)) (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)))
18.0ms
(/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (pow eps 2))
15.0ms
(/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (* (pow eps 2) (pow 1.0 2)))

series1.7s

Counts
4 → 12
Calls
4 calls:
345.0ms
(exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps))))))
336.0ms
(/ (fma (- 1) (fma 2.0 (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) eps) (- (fma 2.0 (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (pow eps 2)) (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6)) (/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (* (pow eps 2) (pow 1.0 2))))) (pow eps 4)) (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)))
504.0ms
(/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (pow eps 2))
552.0ms
(/ (pow (exp (* 1/3 (- (log 1.0) (* 2 (log (/ 1 eps)))))) 6) (* (pow eps 2) (pow 1.0 2)))

simplify154.0ms

Algorithm
egg-herbie
Counts
421 → 421
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
010718968
139898047
250017755

prune1.8s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes52.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0138
1138

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.4s3450×body1280valid
554.0ms2535×body640valid
172.0ms7870×body80nan
157.0ms1232×body320valid
44.0ms584×body160valid
9.0ms199×body80valid