Herbie run

Date:Saturday, January 27th, 2024
Commit:72aaa402 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024027
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.9min)

series2.5min (31.7%)

Counts
696 → 10131
Calls

3221 calls:

TimeVariablePointExpression
2.4min
x
@inf
(pow.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3) 1/3)
452.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
221.0ms
x
@0
(fma.f64 (neg.f64 (pow.f64 (pow.f64 (+.f64 1 x) 1/4) -1)) (pow.f64 (pow.f64 (+.f64 1 x) 1/4) -1) (pow.f64 (+.f64 1 x) -1/2))
93.0ms
a
@0
(sqrt.f64 (*.f64 a (*.f64 -4 c)))
72.0ms
n
@inf
(*.f64 n (log.f64 n))
Results

sample2.1min (26.6%)

Results
25.1s141216×256precondition
14.1s95354×256valid
26.1s58329×1024valid
45.0s36264×2048valid
9.8s34721×512valid
753.0ms4987×256invalid
731.0ms4254×256infinite
479.0ms4006×256unsamplable
1.2s1904×4096valid
1.3s1142×1024invalid
295.0ms594×512invalid
147.0ms183×512infinite
150.0ms159×1024infinite
Bogosity

localize47.5s (10.1%)

Compiler

Compiled 17367 to 10218 computations (41.2% saved)

soundness35.1s (7.4%)

Rules
106536×fma-def
54490×fma-neg
50058×associate-*r*
46308×times-frac
41332×associate-*l*
Stop Event
2×saturated
146×node limit
Compiler

Compiled 14668 to 9584 computations (34.7% saved)

eval34.5s (7.3%)

Compiler

Compiled 1546665 to 1008929 computations (34.8% saved)

simplify21.3s (4.5%)

Algorithm
118×egg-herbie
Rules
72102×fma-def
45824×fma-neg
43058×times-frac
39128×associate-*r*
37626×distribute-lft-in
Stop Event
27×saturated
91×node limit
17×fuel
10×done
Counts
35573 → 34321
Compiler

Compiled 2839 to 1945 computations (31.5% saved)

rewrite17.2s (3.6%)

Algorithm
91×batch-egg-rewrite
Rules
50991×log1p-expm1-u
41030×expm1-log1p-u
31918×prod-diff
27750×log-prod
26202×expm1-udef
Stop Event
91×node limit
Counts
696 → 25442

preprocess15.3s (3.2%)

Algorithm
28×egg-herbie
Rules
34252×fma-def
12020×fma-neg
11952×div-sub
9422×sub-neg
8120×distribute-lft-neg-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 10359 to 6262 computations (39.6% saved)

prune11.8s (2.5%)

Counts
50328 → 1680
Compiler

Compiled 59335 to 42521 computations (28.3% saved)

regimes8.2s (1.7%)

Counts
2323 → 241
Calls

42 calls:

1.7s
b
1.4s
a
1.3s
x
815.0ms
c
590.0ms
n
Compiler

Compiled 1264 to 884 computations (30.1% saved)

bsearch3.7s (0.8%)

Algorithm
22×left-value
82×binary-search
Stop Event
2×predicate-same
80×narrow-enough
Results
1.0s5681×256valid
169.0ms1476×256invalid
333.0ms1205×256infinite
726.0ms1040×1024valid
842.0ms604×2048valid
178.0ms587×512valid
11.0ms22×512infinite
13.0ms13×1024infinite
2.0ms10×256unsamplable
Compiler

Compiled 13700 to 10045 computations (26.7% saved)

analyze2.4s (0.5%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.9%32.5%24.6%42.4%0%0.4%0%5
59.4%33.4%22.8%43.1%0%0.7%0%6
63.2%34.4%20%44%0%1.4%0.1%7
66.4%35.7%18.1%44.5%0%1.6%0.1%8
68.8%36.4%16.5%44.9%0%2%0.3%9
70.9%36.8%15.1%45.2%0%2.6%0.3%10
73.5%37.8%13.6%45.4%0%2.8%0.4%11
74.7%38.1%12.9%45.6%0%3.1%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

end9.0ms (0%)

Profiling

Loading profile data...