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: 3.2min)

sample53.0s (28%)

Results
13.5s109610×body256valid
13.0s12826×body8192exit
12.6s29642×body1024valid
5.0s5855×body2048valid
4.0s15021×body512valid
1.9s4080×body1024invalid
629.0ms4680×body256infinite
404.0ms1999×body512invalid
240.0ms2439×body256invalid
146.0ms1177×body256unsamplable
60.0ms152×body1024infinite
45.0ms160×body512infinite
4.0ms5×body2048invalid
3.0ms1×body8192invalid
Bogosity

localize29.3s (15.4%)

Compiler

Compiled 8498 to 4099 computations (51.8% saved)

eval23.4s (12.3%)

Compiler

Compiled 1180005 to 692042 computations (41.4% saved)

soundness21.1s (11.1%)

Rules
41324×fma-def
36222×log1p-expm1-u
34194×log-prod
29258×prod-diff
27315×expm1-log1p-u
Stop Event
5×saturated
4×unsound
97×node limit
Compiler

Compiled 8943 to 5214 computations (41.7% saved)

simplify12.1s (6.4%)

Algorithm
80×egg-herbie
Rules
40276×fma-def
36046×log-prod
25530×times-frac
25130×fma-neg
25060×associate-*r*
Stop Event
2×done
4×unsound
20×saturated
18×fuel
56×node limit
Counts
25982 → 20386
Compiler

Compiled 1773 to 1211 computations (31.7% saved)

analyze11.1s (5.8%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

prune10.6s (5.6%)

Counts
43668 → 1514
Compiler

Compiled 80710 to 56039 computations (30.6% saved)

rewrite10.4s (5.5%)

Algorithm
60×batch-egg-rewrite
Rules
32510×log1p-expm1-u
27396×expm1-log1p-u
24010×log-prod
19096×expm1-udef
18398×prod-diff
Stop Event
60×node limit
Counts
456 → 18030

regimes8.1s (4.3%)

Counts
2759 → 154
Calls

53 calls:

1.2s
x
1.0s
a
835.0ms
b
559.0ms
(tan.f64 a)
464.0ms
r
Compiler

Compiled 34226 to 18495 computations (46% saved)

preprocess4.5s (2.4%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9572×fma-neg
5330×distribute-lft-neg-in
5272×sub-neg
4292×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 5036 to 2854 computations (43.3% saved)

series4.3s (2.3%)

Counts
456 → 7952
Calls

2097 calls:

TimeVariablePointExpression
1.1s
lo
@inf
(sqrt.f64 (pow.f64 (+.f64 (/.f64 hi lo) -1) -2))
167.0ms
b
@-inf
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
166.0ms
a
@inf
(cos.f64 (+.f64 b a))
132.0ms
a
@0
(+.f64 1 (expm1.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x))))
105.0ms
x
@-inf
(-.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 2)) 3/2) (sqrt.f64 (+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 2)) -1) 1)

bsearch1.7s (0.9%)

Algorithm
43×binary-search
7×left-value
Stop Event
41×narrow-enough
2×predicate-same
Results
692.0ms1301×body1024valid
567.0ms3253×body256valid
263.0ms658×body512valid
86.0ms115×body2048valid
5.0ms33×body256infinite
Compiler

Compiled 8378 to 5963 computations (28.8% saved)

end1.0ms (0%)

Profiling

Loading profile data...