Details

Time bar (total: 8.6s)

sample86.0ms

Algorithm
intervals
Results
44.0ms103×body1280valid
19.0ms83×body640valid
6.0ms277×body80nan
5.0ms40×body320valid
2.0ms24×body160valid
0.0ms6×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: 58.7b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite21.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:
12.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
5.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series158.0ms

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

simplify133.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 3 (125.0ms)

IterNodesCost
0354672
11096638
24786623
35001622

prune185.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.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:
10.0ms
(- (pow eps 2) (fma (/ eps 1.0) (/ eps 1.0) eps))

series96.0ms

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

simplify136.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 3 (128.0ms)

IterNodesCost
0203877
1600486
23825462
35001461

prune99.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps))
0.0b
(pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)
0.1b
(pow (pow eps 2) 3)
41.9b
(/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
266×add-sqr-sqrt
169×unpow-prod-down
160×difference-of-squares
147×times-frac
131×cube-prod
106×*-un-lft-identity
92×sqr-pow
66×add-cube-cbrt
49×associate-/l*
34×unpow2
20×distribute-lft-out--
9×add-exp-log
8×add-cbrt-cube
6×pow-unpow
5×pow1 pow-exp
4×difference-cubes expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-to-exp associate-/r*
2×cube-mult pow-pow unpow3 associate-/l/ rem-cube-cbrt
1×cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- fma-udef div-inv
Counts
4 → 288
Calls
4 calls:
0.0ms
(fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps))
1.0ms
(pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)
3.0ms
(pow (pow eps 2) 3)
117.0ms
(/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))

series632.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps))
47.0ms
(pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)
41.0ms
(pow (pow eps 2) 3)
442.0ms
(/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))

simplify151.0ms

Algorithm
egg-herbie
Counts
300 → 300
Iterations

Useful iterations: 2 (79.0ms)

IterNodesCost
07487039
128926790
250016581

prune590.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

12.4b
(/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4))))
27.1b
(sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))
27.1b
(sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))
27.3b
(* (/ 1 (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))) (/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))))

rewrite441.0ms

Algorithm
rewrite-expression-head
Rules
929×add-sqr-sqrt
628×times-frac
520×difference-of-squares
494×unpow-prod-down
390×cube-prod
367×*-un-lft-identity
323×sqrt-prod
298×associate-*r*
286×sqr-pow
231×add-cube-cbrt
104×unpow2
65×distribute-lft-out--
49×associate-/l*
28×add-exp-log
22×associate-*l*
18×add-cbrt-cube
15×unswap-sqr
13×difference-cubes
9×div-exp
8×pow1 prod-exp
6×associate-/r*
5×cbrt-undiv
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
3×div-inv
2×rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp associate-/l/
1×frac-times flip3-- frac-2neg div-sub associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative flip--
Counts
4 → 757
Calls
4 calls:
120.0ms
(/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4))))
1.0ms
(sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))
1.0ms
(sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))
251.0ms
(* (/ 1 (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))) (/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
398.0ms
(/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4))))
173.0ms
(sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))
170.0ms
(sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))
444.0ms
(* (/ 1 (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))) (/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))))

simplify272.0ms

Algorithm
egg-herbie
Counts
769 → 769
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
0166024749
1500123732

prune1.6s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes44.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0138
1138

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.4s3361×body1280valid
564.0ms2591×body640valid
169.0ms8044×body80nan
152.0ms1219×body320valid
47.0ms631×body160valid
7.0ms198×body80valid