Details

Time bar (total: 2.2s)

analyze373.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
26.5%73.3%0.1%8
33.5%66.3%0.1%9
49.1%50.7%0.1%10
56.9%42.9%0.1%11
60.8%39%0.1%12
69%30.9%0.1%13
72.5%27.3%0.1%14

sample34.0ms

Algorithm
intervals
Results
11.0ms74×body1280valid
5.0ms46×body640valid
3.0ms19×body2560valid
3.0ms85×body80valid
2.0ms27×body320valid
0.0ms5×body160valid

simplify22.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
052212
152212

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 41.1b

Counts
2 → 1

localize11.0ms

Local error

Found 1 expressions with local error:

9.1b
(-.f64 (fma.f64 x y z) (+.f64 1.0 (+.f64 (*.f64 x y) z)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp_binary64
6×*-un-lft-identity_binary64
3×diff-log_binary64 add-sqr-sqrt_binary64 sum-log_binary64
2×distribute-lft-out--_binary64
1×sub-neg_binary64 pow1_binary64 associate--r+_binary64 flip3--_binary64 distribute-lft-out_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_binary64 flip--_binary64
Counts
1 → 17
Calls
1 calls:
9.0ms
(-.f64 (fma.f64 x y z) (+.f64 1.0 (+.f64 (*.f64 x y) z)))

series12.0ms

Counts
1 → 3
Calls
1 calls:
12.0ms
(-.f64 (fma.f64 x y z) (+.f64 1.0 (+.f64 (*.f64 x y) z)))

simplify53.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04771314
14771314

prune24.0ms

Filtered
15 candidates to 20 candidates (-33.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New18220
Fresh000
Picked011
Done000
Total18321

Merged error: 40.6b

Counts
21 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

2.2b
(-.f64 (fma.f64 x y z) (+.f64 z 1.0))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity_binary64 add-log-exp_binary64
3×add-sqr-sqrt_binary64
2×diff-log_binary64 distribute-lft-out--_binary64
1×sub-neg_binary64 pow1_binary64 associate--r+_binary64 flip3--_binary64 distribute-lft-out_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_binary64 flip--_binary64 sum-log_binary64
Counts
1 → 16
Calls
1 calls:
6.0ms
(-.f64 (fma.f64 x y z) (+.f64 z 1.0))

series8.0ms

Counts
1 → 3
Calls
1 calls:
8.0ms
(-.f64 (fma.f64 x y z) (+.f64 z 1.0))

simplify73.0ms

Algorithm
egg-herbie
Counts
19 → 19
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04880220
14880220

prune29.0ms

Filtered
12 candidates to 19 candidates (-58.3%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New16319
Fresh011
Picked101
Done011
Total17522

Merged error: 21.4b

Counts
22 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (-.f64 (fma.f64 x y z) z) 1.0)
2.2b
(-.f64 (fma.f64 x y z) z)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity_binary64 add-log-exp_binary64
6×add-sqr-sqrt_binary64
4×diff-log_binary64 distribute-lft-out--_binary64
3×sub-neg_binary64
2×pow1_binary64 flip3--_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_binary64 flip--_binary64
1×associate--l-_binary64 associate--l+_binary64
Counts
2 → 30
Calls
2 calls:
7.0ms
(-.f64 (-.f64 (fma.f64 x y z) z) 1.0)
4.0ms
(-.f64 (fma.f64 x y z) z)

series14.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(-.f64 (-.f64 (fma.f64 x y z) z) 1.0)
7.0ms
(-.f64 (fma.f64 x y z) z)

simplify47.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
04936368
14936368

prune35.0ms

Filtered
24 candidates to 36 candidates (-50.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New35136
Fresh123
Picked011
Done011
Total36541

Merged error: 21.4b

Counts
41 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

2.2b
(-.f64 (fma.f64 x y z) z)
7.4b
(cbrt.f64 (-.f64 (fma.f64 x y z) z))
7.4b
(cbrt.f64 (-.f64 (fma.f64 x y z) z))
7.4b
(cbrt.f64 (-.f64 (fma.f64 x y z) z))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity_binary64 add-sqr-sqrt_binary64 cbrt-prod_binary64
7×add-cube-cbrt_binary64
6×cbrt-div_binary64 add-log-exp_binary64
4×pow1_binary64 flip3--_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 flip--_binary64
3×pow1/3_binary64
1×sub-neg_binary64 diff-log_binary64
Counts
4 → 58
Calls
4 calls:
4.0ms
(-.f64 (fma.f64 x y z) z)
3.0ms
(cbrt.f64 (-.f64 (fma.f64 x y z) z))
3.0ms
(cbrt.f64 (-.f64 (fma.f64 x y z) z))
4.0ms
(cbrt.f64 (-.f64 (fma.f64 x y z) z))

series84.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(-.f64 (fma.f64 x y z) z)
25.0ms
(cbrt.f64 (-.f64 (fma.f64 x y z) z))
26.0ms
(cbrt.f64 (-.f64 (fma.f64 x y z) z))
27.0ms
(cbrt.f64 (-.f64 (fma.f64 x y z) z))

simplify27.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
04907985
14907985

prune68.0ms

Filtered
59 candidates to 70 candidates (-18.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New67370
Fresh022
Picked101
Done022
Total68775

Merged error: 21.4b

Counts
75 → 7

regimes234.0ms

Accuracy

0% (1.5b remaining)

Error of 26.1b against oracle of 24.6b and baseline of 26.1b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03344
13344

end0.0ms

sample1.0s

Algorithm
intervals
Results
402.0ms2668×body1280valid
183.0ms1559×body640valid
107.0ms614×body2560valid
76.0ms2112×body80valid
67.0ms709×body320valid
21.0ms338×body160valid

Profiling

Loading profile data...