Herbie run

Date:Wednesday, January 31st, 2024
Commit:92b4fbd0 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 10.5min)

eval2.4min (23%)

Results
Compiler

Compiled 4266978 to 2924719 computations (31.5% saved)

localize2.0min (19.4%)

Compiler

Compiled 40077 to 22027 computations (45% saved)

sample1.5min (14.7%)

Results
41.5s180192×256valid
13.3s67334×256invalid
8.5s42345×256infinite
6.8s10890×1024valid
6.0s9365×2048valid
3.5s8409×512valid
3.8s5631×1024invalid
1.2s3007×512invalid
2.4s1925×4096valid
1.0s820×8192valid
2.5s649×4096infinite
1.3s604×2048infinite
237.0ms398×512infinite
222.0ms339×1024infinite
46.0ms198×256unsamplable
6.0ms7×8192exit
Bogosity

soundness1.3min (12.4%)

Rules
158962×fma-def
136904×times-frac
117816×associate-*r*
88900×associate-*l*
80768×log-prod
Stop Event
2×saturated
307×node limit
5×unsound
Compiler

Compiled 28984 to 18243 computations (37.1% saved)

regimes42.7s (6.8%)

Counts
7749 → 694
Calls

148 calls:

3.2s
l
2.7s
NdChar
2.7s
t
2.2s
EDonor
1.7s
Vef
Compiler

Compiled 8034 to 6213 computations (22.7% saved)

simplify41.1s (6.5%)

Algorithm
146×egg-herbie
Rules
93104×fma-def
79114×times-frac
70146×associate-*r*
59484×associate-*l*
53028×*-commutative
Stop Event
30×saturated
116×node limit
28×fuel
2×done
Counts
60209 → 47594
Compiler

Compiled 10820 to 7300 computations (32.5% saved)

rewrite25.2s (4%)

Algorithm
116×batch-egg-rewrite
Rules
57872×log1p-expm1-u
42942×expm1-log1p-u
41286×expm1-udef
39092×log1p-udef
30598×log-prod
Stop Event
114×node limit
2×unsound
Counts
1158 → 33863

preprocess24.7s (3.9%)

Algorithm
31×egg-herbie
Rules
40752×fma-def
16598×fma-neg
15324×div-sub
14446×distribute-lft-neg-in
13254×associate-/l*
Stop Event
4×saturated
27×node limit
Compiler

Compiled 50972 to 31026 computations (39.1% saved)

prune23.8s (3.8%)

Counts
79218 → 2819
Compiler

Compiled 128744 to 91919 computations (28.6% saved)

bsearch12.5s (2%)

Algorithm
311×binary-search
73×left-value
Stop Event
9×predicate-same
302×narrow-enough
Results
7.2s29929×256valid
2.0s8046×256invalid
1.6s6744×256infinite
271.0ms684×1024valid
179.0ms650×512valid
167.0ms266×2048valid
39.0ms96×1024invalid
66.0ms93×4096valid
18.0ms66×512invalid
22.0ms50×512infinite
9.0ms17×1024infinite
12.0ms17×2048infinite
17.0ms14×8192valid
Compiler

Compiled 91037 to 69750 computations (23.4% saved)

analyze11.8s (1.9%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.8%1.8%0%7.5%0.7%6
45.3%40.3%48.7%1.8%0%8.1%1.1%7
47.6%41.8%45.9%1.8%0%9.4%1.2%8
50.6%44.1%43.1%1.8%0%9.7%1.2%9
51.8%44.9%41.8%1.8%0%10.1%1.3%10
53.5%46.1%40.1%1.8%0%10.7%1.3%11
55.2%47.2%38.3%1.8%0%11.3%1.4%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

series10.3s (1.6%)

Counts
1158 → 26346
Calls

7782 calls:

TimeVariablePointExpression
159.0ms
mu
@inf
(log1p.f64 (exp.f64 (/.f64 (+.f64 (+.f64 Vef EAccept) (-.f64 Ev mu)) KbT)))
150.0ms
f
@inf
(exp.f64 (log1p.f64 (/.f64 (log.f64 (/.f64 (/.f64 2 (*.f64 (PI.f64) 1/2)) f)) (*.f64 (PI.f64) 1/4))))
131.0ms
l
@0
(/.f64 (tan.f64 (pow.f64 (sqrt.f64 (*.f64 (PI.f64) l)) 2)) (*.f64 F F))
126.0ms
KbT
@0
(log1p.f64 (exp.f64 (/.f64 (+.f64 (+.f64 Vef EAccept) (-.f64 Ev mu)) KbT)))
105.0ms
v
@inf
(*.f64 t (*.f64 (sqrt.f64 (+.f64 2 (*.f64 (*.f64 v v) -6))) (fma.f64 v (neg.f64 v) 1)))

end19.0ms (0%)

Profiling

Loading profile data...