Herbie run

Date:Tuesday, November 28th, 2023
Commit:8360f233 on main
Hostname:nightly with Racket 8.6
Seed:2023332
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

Time bar (total: 1.0min)

localize12.7s (21.2%)

Compiler

Compiled 5649 to 2980 computations (47.2% saved)

sample11.1s (18.5%)

Results
8.7s63115×body256valid
1.2s4029×body2048valid
816.0ms7160×body256infinite
342.0ms1940×body256invalid
Bogosity

eval10.2s (17%)

Compiler

Compiled 526504 to 340588 computations (35.3% saved)

soundness7.6s (12.6%)

Rules
27418×fma-def
18480×associate-*r*
17112×log-prod
15966×times-frac
15360×fma-neg
Stop Event
2×saturated
38×node limit
Compiler

Compiled 3425 to 2089 computations (39% saved)

simplify4.5s (7.4%)

Algorithm
31×egg-herbie
Rules
18630×fma-def
12564×associate-*r*
12140×log-prod
11110×times-frac
10558×fma-neg
Stop Event
9×saturated
5×done
4×fuel
22×node limit
Counts
7263 → 6451
Compiler

Compiled 1427 to 900 computations (36.9% saved)

prune3.2s (5.3%)

Counts
13463 → 281
Compiler

Compiled 21873 to 14724 computations (32.7% saved)

rewrite3.1s (5.1%)

Algorithm
22×batch-egg-rewrite
Rules
11217×log1p-expm1-u
9446×expm1-log1p-u
8184×expm1-udef
7806×prod-diff
7030×log1p-udef
Stop Event
22×node limit
Counts
129 → 4742

preprocess2.7s (4.5%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5098×div-sub
4546×fma-neg
3720×times-frac
3216×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3730 to 2048 computations (45.1% saved)

regimes2.1s (3.6%)

Counts
479 → 106
Calls

26 calls:

408.0ms
b
403.0ms
a
289.0ms
c
268.0ms
x
135.0ms
y
Compiler

Compiled 9269 to 5120 computations (44.8% saved)

bsearch1.2s (2.1%)

Algorithm
62×binary-search
Stop Event
55×narrow-enough
7×predicate-same
Results
956.0ms6296×body256valid
90.0ms808×body256infinite
86.0ms594×body256invalid
Compiler

Compiled 14383 to 10236 computations (28.8% saved)

series896.0ms (1.5%)

Counts
129 → 2521
Calls

771 calls:

TimeVariablePointExpression
290.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
33.0ms
a
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)
31.0ms
c
@0
(pow.f64 (fma.f64 c (*.f64 a -4) (pow.f64 b 2)) 1/4)
28.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)
22.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))

analyze728.0ms (1.2%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end2.0ms (0%)

Profiling

Loading profile data...