Herbie run

Date:Saturday, February 10th, 2024
Commit:b35bd1f1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024041
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.9s (20.8%)

Compiler

Compiled 5305 to 2961 computations (44.2% saved)

sample12.9s (20.7%)

Results
9.6s62970×256valid
981.0ms7213×256infinite
1.9s4121×2048valid
396.0ms1965×256invalid
Bogosity

eval10.6s (17%)

Compiler

Compiled 445568 to 294914 computations (33.8% saved)

soundness6.4s (10.3%)

Rules
17428×fma-define
16458×fma-neg
14050×times-frac
12352×log-prod
11778×associate-*r*
Stop Event
2×saturated
26×node limit
Compiler

Compiled 1945 to 1100 computations (43.4% saved)

preprocess4.2s (6.8%)

Algorithm
9×egg-herbie
Rules
6504×fma-neg
5438×fma-define
3560×times-frac
3478×div-sub
2544×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3340 to 1917 computations (42.6% saved)

simplify4.2s (6.8%)

Algorithm
26×egg-herbie
Rules
11048×fma-define
9482×log-prod
9446×times-frac
9108×fma-neg
8776×associate-*r*
Stop Event
10×saturated
16×node limit
3×fuel
6×done
Counts
6111 → 5590
Compiler

Compiled 923 to 612 computations (33.7% saved)

rewrite3.4s (5.5%)

Algorithm
16×batch-egg-rewrite
Rules
10723×log1p-expm1-u
7341×expm1-log1p-u
4522×log-prod
4076×fma-define
3844×unpow-prod-down
Stop Event
16×node limit
Counts
114 → 3727

prune2.7s (4.4%)

Counts
10802 → 261
Compiler

Compiled 14753 to 9966 computations (32.4% saved)

regimes1.9s (3%)

Counts
393 → 69
Calls

22 calls:

347.0ms
x
286.0ms
c
233.0ms
a
232.0ms
b
200.0ms
y
Compiler

Compiled 420 to 289 computations (31.2% saved)

series1.2s (2%)

Counts
114 → 2384
Calls

630 calls:

TimeVariablePointExpression
61.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 a)) (*.f64 -1 (log.f64 (/.f64 -1 c))))))
49.0ms
f
@-inf
(*.f64 2 (/.f64 f n))
45.0ms
c
@0
(pow.f64 (fma.f64 c (*.f64 a -4) (pow.f64 b 2)) 1/4)
43.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
36.0ms
c
@0
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

bsearch1.1s (1.7%)

Algorithm
35×binary-search
Stop Event
8×predicate-same
27×narrow-enough
Results
962.0ms3265×256valid
35.0ms303×256infinite
22.0ms135×256invalid
Compiler

Compiled 6891 to 4959 computations (28% saved)

analyze611.0ms (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)

end1.0ms (0%)

Profiling

Loading profile data...