Herbie run

Date:Tuesday, November 14th, 2023
Commit:71362506 on hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023318
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: 56.5s)

localize13.0s (23.1%)

Compiler

Compiled 6716 to 3444 computations (48.7% saved)

sample11.6s (20.5%)

Results
8.6s62806×body256valid
1.4s4154×body2048valid
852.0ms7344×body256infinite
502.0ms2038×body256invalid
Bogosity

eval8.6s (15.2%)

Compiler

Compiled 472031 to 295509 computations (37.4% saved)

soundness6.7s (11.9%)

Rules
32720×fma-def
22842×times-frac
16666×associate-*r*
13354×associate-*l*
12114×fma-neg
Stop Event
2×saturated
37×node limit
Compiler

Compiled 3010 to 1629 computations (45.9% saved)

prune4.1s (7.2%)

Counts
12369 → 343
Compiler

Compiled 31516 to 21091 computations (33.1% saved)

simplify3.7s (6.5%)

Algorithm
30×egg-herbie
Rules
20562×fma-def
12854×times-frac
10774×associate-*r*
8938×associate-*l*
8662×log-prod
Stop Event
9×saturated
5×done
4×fuel
21×node limit
Counts
7194 → 7040
Compiler

Compiled 1098 to 744 computations (32.2% saved)

rewrite2.7s (4.7%)

Algorithm
21×batch-egg-rewrite
Rules
12228×log1p-expm1-u
9778×expm1-log1p-u
6672×fma-def
6248×log-prod
5522×unpow-prod-down
Stop Event
21×node limit
Counts
130 → 4445

preprocess2.4s (4.2%)

Algorithm
9×egg-herbie
Rules
5836×div-sub
5698×fma-neg
5666×fma-def
4802×times-frac
3040×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3088 to 1842 computations (40.3% saved)

regimes2.0s (3.5%)

Counts
456 → 71
Calls

23 calls:

311.0ms
b
293.0ms
c
292.0ms
a
175.0ms
x
131.0ms
y
Compiler

Compiled 9696 to 5548 computations (42.8% saved)

series774.0ms (1.4%)

Counts
130 → 2749
Calls

855 calls:

TimeVariablePointExpression
64.0ms
c
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (*.f64 -4 c)) (log.f64 a))))
46.0ms
a
@-inf
(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (*.f64 -4 c)) (log.f64 a))))
34.0ms
a
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (*.f64 -4 c)) (log.f64 a))))
33.0ms
c
@0
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
26.0ms
f
@0
(*.f64 -2 (/.f64 n f))

analyze504.0ms (0.9%)

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)

bsearch459.0ms (0.8%)

Algorithm
30×binary-search
Stop Event
20×narrow-enough
10×predicate-same
Results
354.0ms2883×body256valid
43.0ms349×body256infinite
13.0ms97×body256invalid
Compiler

Compiled 7248 to 5126 computations (29.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...