Herbie run

Date:Tuesday, February 13th, 2024
Commit:09454369 on fix-crashes
Hostname:nightly with Racket 8.11.1
Seed:2024044
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.2min)

sample13.6s (18.7%)

Results
10.3s63024×256valid
969.0ms7122×256infinite
1.9s4158×2048valid
352.0ms2022×256invalid
Bogosity

localize13.0s (17.9%)

Compiler

Compiled 6183 to 3268 computations (47.1% saved)

eval11.6s (16%)

Compiler

Compiled 543683 to 347604 computations (36.1% saved)

soundness9.1s (12.6%)

Rules
22392×fma-define
19178×fma-neg
18120×log-prod
17906×associate-*r*
13798×associate-*l*
Stop Event
2×saturated
39×node limit
Compiler

Compiled 4897 to 2878 computations (41.2% saved)

simplify6.0s (8.3%)

Algorithm
32×egg-herbie
Rules
16948×fma-define
12868×log-prod
11294×associate-*r*
11004×fma-neg
10112×associate-*l*
Stop Event
10×saturated
4×fuel
22×node limit
5×done
Counts
8433 → 6713
Compiler

Compiled 1519 to 1014 computations (33.2% saved)

rewrite4.6s (6.4%)

Algorithm
22×batch-egg-rewrite
Rules
15403×log1p-expm1-u
10772×expm1-log1p-u
6958×prod-diff
6472×log-prod
4818×unpow-prod-down
Stop Event
22×node limit
Counts
143 → 5569

preprocess4.2s (5.7%)

Algorithm
9×egg-herbie
Rules
7040×fma-neg
5094×div-sub
4612×fma-define
3724×times-frac
3230×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4590 to 2701 computations (41.2% saved)

prune3.9s (5.4%)

Counts
14136 → 331
Compiler

Compiled 17576 to 11905 computations (32.3% saved)

regimes2.5s (3.5%)

Counts
574 → 105
Calls

26 calls:

488.0ms
x
465.0ms
b
347.0ms
c
282.0ms
a
208.0ms
y
Compiler

Compiled 543 to 376 computations (30.8% saved)

series2.0s (2.7%)

Counts
143 → 2864
Calls

807 calls:

TimeVariablePointExpression
173.0ms
b
@0
(/.f64 a (/.f64 b c))
105.0ms
c
@-inf
(-.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))))
64.0ms
a
@-inf
(pow.f64 (*.f64 c (*.f64 a -4)) 3/2)
63.0ms
c
@-inf
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
61.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 a)) (*.f64 -1 (log.f64 (/.f64 -1 c))))))

bsearch1.2s (1.7%)

Algorithm
57×binary-search
Stop Event
9×predicate-same
48×narrow-enough
Results
961.0ms6445×256valid
86.0ms522×256invalid
53.0ms419×256infinite
Compiler

Compiled 14725 to 10602 computations (28% saved)

analyze804.0ms (1.1%)

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...