Herbie run

Date:Thursday, November 16th, 2023
Commit:8ea339bb on hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023320
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: 6.9min)

series2.5min (36%)

Counts
702 → 10088
Calls

3260 calls:

TimeVariablePointExpression
2.4min
x
@inf
(pow.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3) 1/3)
287.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
107.0ms
x
@inf
(log.f64 (-.f64 (*.f64 (sin.f64 eps) (cos.f64 x)) (*.f64 (-.f64 1 (cos.f64 eps)) (sin.f64 x))))
105.0ms
n
@0
(*.f64 n (log.f64 n))
88.0ms
x
@0
(/.f64 (+.f64 (/.f64 1/2 (pow.f64 n 2)) (/.f64 -1/2 n)) (/.f64 (pow.f64 x 2) (exp.f64 (/.f64 (log.f64 x) n))))
Results

sample1.6min (22.7%)

Results
32.6s37083×body2048valid
25.5s65310×body1024valid
12.4s75460×body256precondition
10.7s87980×body256valid
7.7s34147×body512valid
1.5s2123×body4096valid
1.0s1202×body1024invalid
667.0ms4156×body256infinite
598.0ms5107×body256invalid
439.0ms3966×body256unsamplable
248.0ms591×body512invalid
137.0ms171×body1024infinite
89.0ms196×body512infinite
3.0ms3×body2048invalid
2.0ms2×body2048infinite
Bogosity

localize33.4s (8.1%)

Compiler

Compiled 13010 to 7120 computations (45.3% saved)

soundness33.4s (8.1%)

Rules
110094×fma-def
66888×fma-neg
64844×times-frac
53006×associate-*r*
47462×distribute-lft-in
Stop Event
3×saturated
171×node limit
Compiler

Compiled 16952 to 10527 computations (37.9% saved)

eval28.9s (7%)

Compiler

Compiled 1468454 to 900541 computations (38.7% saved)

simplify18.5s (4.5%)

Algorithm
117×egg-herbie
Rules
66898×fma-def
50384×times-frac
42032×associate-*r*
37984×fma-neg
37620×distribute-lft-in
Stop Event
1×unsound
8×done
27×saturated
19×fuel
89×node limit
Counts
38378 → 37440
Compiler

Compiled 3937 to 2714 computations (31.1% saved)

prune15.1s (3.6%)

Counts
58652 → 2184
Compiler

Compiled 111718 to 78312 computations (29.9% saved)

rewrite13.8s (3.3%)

Algorithm
90×batch-egg-rewrite
Rules
49859×log1p-expm1-u
43824×prod-diff
39576×expm1-log1p-u
30702×expm1-udef
27598×log1p-udef
Stop Event
90×node limit
Counts
702 → 28290

regimes11.9s (2.9%)

Counts
4081 → 365
Calls

42 calls:

2.8s
x
2.1s
eps
1.3s
c
953.0ms
b
770.0ms
(/.f64 1 n)
Compiler

Compiled 45907 to 26349 computations (42.6% saved)

preprocess9.0s (2.2%)

Algorithm
28×egg-herbie
Rules
42740×fma-def
13024×fma-neg
9294×div-sub
9242×associate-/r*
9062×distribute-rgt-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 10648 to 6292 computations (40.9% saved)

bsearch4.9s (1.2%)

Algorithm
158×binary-search
36×left-value
Stop Event
158×narrow-enough
Results
1.9s13682×body256valid
1.1s2944×body1024valid
622.0ms934×body2048valid
469.0ms1969×body512valid
156.0ms1484×body256invalid
118.0ms562×body256infinite
24.0ms22×body1024infinite
19.0ms105×body256unsamplable
3.0ms8×body512infinite
3.0ms7×body4096valid
Compiler

Compiled 31105 to 23261 computations (25.2% saved)

analyze2.1s (0.5%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%89.4%10.6%0%0%0%0
20.9%18.7%70.7%10.6%0%0%0%1
32.5%28.5%59.1%10.6%0%1.8%0%2
47.1%38.6%43.2%12.9%0%5.4%0%3
55.3%44.6%36.1%13.1%0%6.2%0%4
63.2%50%29.1%13.8%0%7.1%0%5
65.8%51.5%26.8%14.1%0%7.6%0%6
68.8%53%24.1%14.3%0%8.5%0.1%7
71.3%54.6%22%14.6%0%8.7%0.1%8
72.9%55.4%20.6%14.7%0%9.1%0.3%9
74.4%55.9%19.2%14.9%0%9.7%0.3%10
76.1%56.9%17.8%15%0%9.9%0.4%11
77%57.2%17.1%15.1%0%10.2%0.4%12
Compiler

Compiled 405 to 296 computations (26.9% saved)

end3.0ms (0%)

Profiling

Loading profile data...