Herbie run

Date:Thursday, August 31st, 2023
Commit:2b220105 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023243
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: 3.6min)

sample3.3min (92.6%)

Results
3.0min147288×body8192exit
7.0s25162×body256valid
5.1s7426×body1024valid
1.5s9099×body256infinite
1.3s2796×body512valid
428.0ms1244×body256invalid
102.0ms128×body1024invalid
38.0ms76×body512invalid
Bogosity

localize5.3s (2.5%)

Compiler

Compiled 4720 to 1035 computations (78.1% saved)

simplify2.4s (1.1%)

Algorithm
20×egg-herbie
Rules
15572×fma-def
10052×associate-*r*
8686×log-prod
8308×associate-*l*
7262×fma-neg
Stop Event
6×saturated
1×done
1×fuel
14×node limit
Counts
4773 → 3013
Compiler

Compiled 286 to 186 computations (35% saved)

eval2.3s (1.1%)

Compiler

Compiled 236736 to 65535 computations (72.3% saved)

prune1.7s (0.8%)

Counts
7677 → 278
Compiler

Compiled 23704 to 15183 computations (35.9% saved)

rewrite1.4s (0.6%)

Algorithm
13×batch-egg-rewrite
Rules
9370×log-prod
8186×pow1
7734×add-exp-log
7728×log1p-expm1-u
7726×expm1-log1p-u
Stop Event
1×unsound
12×node limit
Counts
105 → 2557

soundness1.2s (0.6%)

Rules
10388×fma-def
9272×log-prod
4080×pow1
3914×associate-*r*
3902×add-exp-log
Stop Event
1×saturated
2×unsound
10×node limit
Compiler

Compiled 896 to 603 computations (32.7% saved)

preprocess702.0ms (0.3%)

Algorithm
10×egg-herbie
Rules
12568×fma-def
2488×distribute-lft-neg-in
2366×unsub-neg
2216×cancel-sign-sub-inv
2120×fma-neg
Stop Event
1×unsound
7×saturated
2×node limit
Compiler

Compiled 125 to 83 computations (33.6% saved)

series329.0ms (0.2%)

Counts
105 → 2211
Calls

633 calls:

TimeVariablePointExpression
28.0ms
b
@-inf
(pow.f64 (*.f64 a b) 3/2)
26.0ms
a
@0
(pow.f64 (*.f64 a b) 3/2)
20.0ms
a
@-inf
(pow.f64 (*.f64 a b) 3/2)
11.0ms
b
@0
(pow.f64 (*.f64 a b) 3/2)
10.0ms
a
@inf
(pow.f64 (*.f64 a b) 3/2)

regimes304.0ms (0.1%)

Counts
137 → 24
Calls

8 calls:

140.0ms
x
32.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
32.0ms
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
17.0ms
b
17.0ms
a
Compiler

Compiled 1474 to 1036 computations (29.7% saved)

end157.0ms (0.1%)

Compiler

Compiled 604 to 358 computations (40.7% saved)

bsearch116.0ms (0.1%)

Algorithm
3×binary-search
8×left-value
Stop Event
2×narrow-enough
1×predicate-failed
Results
90.0ms101×body8192exit
21.0ms176×body256valid
Compiler

Compiled 342 to 269 computations (21.3% saved)

analyze35.0ms (0%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%85.4%14.6%0%0%0%0
41.8%11.3%15.7%14.6%0%58.4%0%1
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

Profiling

Loading profile data...