Herbie run

Date:Friday, September 29th, 2023
Commit:9515c601 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023272
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Details

Time bar (total: 52.6s)

sample24.3s (46.2%)

Results
9.0s40021×body256valid
7.3s54975×body256invalid
2.5s9159×body1024valid
1.7s4223×body2048valid
1.3s5451×body512valid
1.1s2051×body2048infinite
868.0ms3578×body256infinite
229.0ms1026×body1024infinite
98.0ms539×body512infinite
36.0ms101×body8192exit
Bogosity

analyze8.3s (15.8%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
12.5%22.2%155.4%-77.6%0%0%0%1
6.7%22.2%310.8%-233%0%0%0%2
3.4%22.2%621.6%-543.8%0%0%0%3
1.8%22.2%1243.2%-1165.4%0%0%0%4
0.9%22.2%2486.5%-2408.7%0%0%0%5
0.4%22.2%4972.9%-4895.1%0%0%0%6
0.2%22.2%9945.8%-9868%0%0%0%7
0.1%22.2%19891.7%-19813.9%0%0%0%8
0.1%22.2%39783.3%-39705.6%0%0%0%9
0%22.2%79566.7%-79488.9%0%0%0%10
0%22.2%159133.4%-159055.6%0%0%0%11
0%22.2%318266.8%-318189%0%0%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

localize5.3s (10.1%)

Compiler

Compiled 2248 to 1005 computations (55.3% saved)

eval3.6s (6.8%)

Compiler

Compiled 209456 to 95200 computations (54.5% saved)

simplify2.9s (5.6%)

Algorithm
28×egg-herbie
Rules
21978×fma-def
10534×times-frac
10136×fma-neg
9086×distribute-lft-in
7176×distribute-rgt-in
Stop Event
11×saturated
4×done
2×fuel
17×node limit
Counts
5241 → 5131
Compiler

Compiled 434 to 272 computations (37.3% saved)

soundness2.3s (4.3%)

Rules
15090×fma-def
9390×fma-neg
6772×log-prod
6768×associate-*l*
6744×associate-*r*
Stop Event
2×saturated
15×node limit
Compiler

Compiled 1572 to 1072 computations (31.8% saved)

prune1.5s (2.9%)

Counts
8194 → 142
Compiler

Compiled 3459 to 2264 computations (34.5% saved)

rewrite1.5s (2.8%)

Algorithm
14×batch-egg-rewrite
Rules
9676×log-prod
9046×pow1
8486×add-exp-log
8470×log1p-expm1-u
8464×expm1-log1p-u
Stop Event
14×node limit
Counts
75 → 3773

regimes890.0ms (1.7%)

Counts
146 → 52
Calls

17 calls:

305.0ms
x
230.0ms
z
122.0ms
y
40.0ms
n
31.0ms
f
Compiler

Compiled 1312 to 782 computations (40.4% saved)

bsearch722.0ms (1.4%)

Algorithm
25×binary-search
1×left-value
Stop Event
24×narrow-enough
1×predicate-same
Results
430.0ms2480×body256valid
134.0ms175×body1024valid
88.0ms598×body256infinite
20.0ms99×body512valid
6.0ms24×body2048valid
Compiler

Compiled 3979 to 3029 computations (23.9% saved)

preprocess693.0ms (1.3%)

Algorithm
16×egg-herbie
Rules
7712×fma-def
4574×div-sub
3848×associate-/r*
3582×times-frac
3374×associate-/l*
Stop Event
1×unsound
11×saturated
4×node limit
Compiler

Compiled 155 to 109 computations (29.7% saved)

end476.0ms (0.9%)

Compiler

Compiled 922 to 528 computations (42.7% saved)

series163.0ms (0.3%)

Counts
75 → 1460
Calls

372 calls:

TimeVariablePointExpression
8.0ms
n
@-inf
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)
6.0ms
y
@0
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
6.0ms
n
@inf
(/.f64 (+.f64 (/.f64 (+.f64 n f) (-.f64 n f)) 2) (/.f64 (+.f64 n f) (-.f64 n f)))
5.0ms
n
@0
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)
5.0ms
f
@0
(/.f64 (-.f64 n f) (-.f64 (*.f64 f f) (*.f64 n n)))

Profiling

Loading profile data...