Herbie run

Date:Friday, March 15th, 2024
Commit:bd111d3e on cost-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024075
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: 7.3min)

sample1.5min (21%)

Results
49.5s270317×256valid
6.0s31240×256infinite
10.6s19376×1024valid
17.9s13712×2048valid
3.3s10992×512valid
445.0ms4131×256invalid
157.0ms948×256unsamplable
866.0ms718×4096valid
103.0ms231×512infinite
1.9s202×8192exit
175.0ms156×1024infinite
11.0ms10×2048infinite
Bogosity

eval1.2min (16%)

Compiler

Compiled 2916301 to 1864109 computations (36.1% saved)

localize1.0min (14.1%)

Compiler

Compiled 27456 to 16439 computations (40.1% saved)

soundness57.3s (13.2%)

Rules
156510×fma-def
88076×associate-*r*
69676×distribute-lft-in
68972×distribute-rgt-in
67928×times-frac
Stop Event
1×saturated
244×node limit
Compiler

Compiled 23295 to 13725 computations (41.1% saved)

simplify32.1s (7.4%)

Algorithm
169×egg-herbie
Rules
103436×fma-def
60552×associate-*r*
59848×log-prod
58536×fma-neg
57258×distribute-lft-in
Stop Event
36×saturated
131×node limit
24×fuel
2×unsound
11×done
Counts
57397 → 51106
Compiler

Compiled 8148 to 5300 computations (35% saved)

rewrite28.4s (6.5%)

Algorithm
134×batch-egg-rewrite
Rules
72533×log1p-expm1-u
61146×expm1-log1p-u
42480×log-prod
42292×prod-diff
41060×expm1-udef
Stop Event
1×saturated
133×node limit
Counts
1411 → 39173

prune27.8s (6.4%)

Counts
124279 → 2069
Compiler

Compiled 72120 to 50383 computations (30.1% saved)

preprocess26.2s (6%)

Algorithm
42×egg-herbie
Rules
48610×fma-def
20956×sub-neg
19818×fma-neg
19082×div-sub
18016×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 31463 to 19431 computations (38.2% saved)

regimes17.3s (4%)

Counts
3926 → 517
Calls

88 calls:

3.4s
c
1.6s
b
1.6s
a
1.6s
x1
1.6s
d
Compiler

Compiled 4002 to 2877 computations (28.1% saved)

bsearch10.8s (2.5%)

Algorithm
250×binary-search
24×left-value
Stop Event
14×predicate-same
236×narrow-enough
Results
5.6s21643×256valid
2.9s6297×256infinite
167.0ms1371×256invalid
781.0ms1331×1024valid
441.0ms928×512valid
309.0ms315×2048valid
25.0ms66×512infinite
7.0ms12×1024infinite
2.0ms12×256unsamplable
Compiler

Compiled 83396 to 57709 computations (30.8% saved)

analyze8.5s (2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78%40.8%11.5%45.6%0%2.1%0%7
81.6%42.6%9.6%45.7%0%2.1%0%8
84.2%43.8%8.2%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series4.6s (1.1%)

Counts
1411 → 18224
Calls

5157 calls:

TimeVariablePointExpression
270.0ms
t
@-inf
(pow.f64 (*.f64 t 1/5000000000000000) 2)
152.0ms
x1
@inf
(fma.f64 (*.f64 3 (*.f64 x1 x1)) (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (pow.f64 x1 3))
136.0ms
c
@-inf
(pow.f64 (*.f64 a (*.f64 c -4)) 1/4)
83.0ms
x
@-inf
(/.f64 10 (-.f64 1 (*.f64 x x)))
78.0ms
a
@-inf
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 a 2))

end15.0ms (0%)

Profiling

Loading profile data...