Herbie run

Date:Monday, November 6th, 2023
Commit:ec08111b on hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023310
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: 34.6min)

soundness6.8min (19.6%)

Rules
1133008×fma-def
601952×associate-*r*
544674×fma-neg
530794×times-frac
529018×log-prod
Stop Event
6×unsound
80×saturated
1473×node limit
Compiler

Compiled 101736 to 56662 computations (44.3% saved)

sample6.3min (18.1%)

Results
4.1min1786410×body256valid
52.5s337709×body256infinite
26.2s144298×body256invalid
24.4s46209×body1024valid
12.4s32209×body512valid
7.3s9662×body2048valid
1.9s5016×body1024infinite
1.6s1542×body8192exit
1.1s3299×body512infinite
606.0ms349×body4096valid
363.0ms1274×body1024invalid
186.0ms973×body512invalid
1.0ms2×body2048invalid
0.0ms1×body2048infinite
Bogosity

regimes5.0min (14.5%)

Counts
32713 → 5455
Calls

486 calls:

47.7s
x
46.6s
y
44.4s
z
31.8s
t
25.9s
a
Compiler

Compiled 390466 to 219716 computations (43.7% saved)

simplify3.2min (9.2%)

Algorithm
1072×egg-herbie
Rules
583864×fma-def
457784×log-prod
384870×associate-*r*
345778×associate-*l*
344354×times-frac
Stop Event
77×done
5×unsound
269×saturated
192×fuel
798×node limit
Counts
366807 → 270058
Compiler

Compiled 62763 to 38054 computations (39.4% saved)

localize3.1min (9%)

Compiler

Compiled 108696 to 47468 computations (56.3% saved)

eval2.8min (8%)

Compiler

Compiled 8010262 to 4283950 computations (46.5% saved)

rewrite2.0min (5.7%)

Algorithm
803×batch-egg-rewrite
Rules
488860×log1p-expm1-u
377442×expm1-log1p-u
289874×expm1-udef
274798×prod-diff
265634×log1p-udef
Stop Event
1×unsound
1×saturated
801×node limit
Counts
5580 → 215189

prune1.7min (4.9%)

Counts
347331 → 13029
Compiler

Compiled 699903 to 486739 computations (30.5% saved)

bsearch1.6min (4.6%)

Algorithm
3197×binary-search
280×left-value
Stop Event
3155×narrow-enough
42×predicate-same
Results
53.5s304506×body256valid
28.6s85142×body256infinite
2.6s4527×body1024valid
1.5s4123×body512valid
1.1s7548×body256invalid
94.0ms231×body2048valid
84.0ms215×body1024infinite
75.0ms168×body512infinite
Compiler

Compiled 742681 to 558125 computations (24.8% saved)

preprocess1.4min (4%)

Algorithm
269×egg-herbie
Rules
379496×fma-def
124020×fma-neg
116236×sub-neg
103518×unsub-neg
98712×div-sub
Stop Event
123×saturated
146×node limit
Compiler

Compiled 151618 to 73044 computations (51.8% saved)

series31.4s (1.5%)

Counts
5580 → 151618
Calls

39390 calls:

TimeVariablePointExpression
3.0s
y
@0
(-.f64 (log.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2))) (log.f64 (cbrt.f64 y)))
285.0ms
c
@-inf
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y 54929528941/2000000) y 28832688827/125000) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
280.0ms
c
@inf
(/.f64 (*.f64 (+.f64 (pow.f64 b 3) -1/8) (log.f64 c)) (fma.f64 b b (-.f64 1/4 (*.f64 b -1/2))))
265.0ms
y
@-inf
(-.f64 (log.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2))) (log.f64 (cbrt.f64 y)))
184.0ms
x
@0
(*.f64 x (log.f64 y))

analyze17.2s (0.8%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
49.9%49.7%49.9%0.1%0%0.2%0%2
57.9%57.4%41.7%0.1%0%0.7%0%3
64%63.2%35.5%0.1%0%1.2%0%4
69.8%68.7%29.8%0.1%0%1.4%0%5
74.4%72.7%25.1%0.1%0%2.1%0%6
78.5%76%20.8%0.1%0%3%0%7
80.3%77.4%19%0.1%0%3.5%0%8
83.1%79.6%16.2%0.1%0%4.1%0%9
84.8%80.8%14.4%0.1%0%4.7%0%10
87.7%83.1%11.7%0.1%0%5.1%0%11
88.9%83.8%10.5%0.1%0%5.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

end57.0ms (0%)

Profiling

Loading profile data...