Herbie run

Date:Thursday, January 11th, 2024
Commit:0cc17b7d on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.6
Seed:2024011
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: 5.2min)

sample2.0min (38.8%)

Results
41.4s54542×body1024valid
21.5s62846×body512valid
20.6s64168×body256precondition
19.5s97012×body256valid
12.5s11511×body2048valid
1.4s1201×body1024invalid
1.1s5118×body256invalid
1.0s4190×body256infinite
763.0ms3863×body256unsamplable
574.0ms756×body4096valid
315.0ms583×body512invalid
172.0ms134×body1024infinite
112.0ms177×body512infinite
Bogosity

localize46.1s (14.7%)

Compiler

Compiled 13164 to 7268 computations (44.8% saved)

soundness36.4s (11.6%)

Rules
129104×fma-def
73202×fma-neg
66480×times-frac
57070×associate-*r*
50686×log-prod
Stop Event
1×saturated
184×node limit
Compiler

Compiled 18611 to 11703 computations (37.1% saved)

eval27.3s (8.7%)

Compiler

Compiled 1336223 to 811871 computations (39.2% saved)

simplify19.5s (6.2%)

Algorithm
122×egg-herbie
Rules
77292×fma-def
44206×times-frac
41578×fma-neg
40900×associate-*r*
37152×log-prod
Stop Event
1×unsound
8×done
28×saturated
20×fuel
93×node limit
Counts
37259 → 35227
Compiler

Compiled 4712 to 3278 computations (30.4% saved)

rewrite13.4s (4.3%)

Algorithm
94×batch-egg-rewrite
Rules
51695×log1p-expm1-u
46764×prod-diff
43810×expm1-log1p-u
31616×expm1-udef
27612×log-prod
Stop Event
94×node limit
Counts
691 → 27426

prune13.0s (4.1%)

Counts
56024 → 2196
Compiler

Compiled 118229 to 82936 computations (29.9% saved)

regimes13.0s (4.1%)

Counts
4338 → 394
Calls

43 calls:

2.4s
x
1.8s
eps
1.7s
(/.f64 1 n)
1.4s
n
1.2s
a
Compiler

Compiled 52279 to 29081 computations (44.4% saved)

preprocess10.3s (3.3%)

Algorithm
28×egg-herbie
Rules
34252×fma-def
11926×fma-neg
11896×div-sub
9418×sub-neg
8164×distribute-lft-neg-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 12916 to 7910 computations (38.8% saved)

bsearch6.0s (1.9%)

Algorithm
134×binary-search
76×left-value
Stop Event
131×narrow-enough
3×predicate-same
Results
2.2s4537×body512valid
2.2s11408×body256valid
904.0ms1283×body1024valid
235.0ms1159×body256invalid
73.0ms303×body256infinite
16.0ms73×body256unsamplable
15.0ms18×body2048valid
2.0ms3×body512infinite
Compiler

Compiled 32323 to 23244 computations (28.1% saved)

series4.3s (1.4%)

Counts
691 → 9833
Calls

3180 calls:

TimeVariablePointExpression
317.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
148.0ms
b_2
@0
(expm1.f64 (+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 b_2)))) (*.f64 -1 (log.f64 (/.f64 1 c)))))
57.0ms
x
@-inf
(log1p.f64 (*.f64 (sin.f64 eps) (cos.f64 x)))
56.0ms
eps
@0
(*.f64 eps (+.f64 a b))
56.0ms
eps
@0
(*.f64 (/.f64 eps (expm1.f64 (*.f64 eps a))) (/.f64 (expm1.f64 (*.f64 eps (+.f64 a b))) (expm1.f64 (*.f64 eps b))))

analyze3.1s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%83%17%0%0%0%0
26.9%22.3%60.7%17%0%0%0%1
40.4%32.1%47.3%17%0%3.6%0%2
51.4%40.3%38.2%17%0%4.5%0%3
58.6%45.7%32.2%17.2%0%4.9%0%4
66.2%51.1%26.1%17.2%0%5.6%0%5
69.4%53.1%23.5%17.5%0%5.9%0%6
72.6%54.6%20.6%17.9%0%6.7%0.1%7
75%56.1%18.7%18.1%0%6.9%0.1%8
76.7%56.9%17.3%18.2%0%7.3%0.3%9
78.1%57.3%16%18.4%0%7.9%0.3%10
79.8%58.3%14.7%18.5%0%8.1%0.4%11
80.7%58.6%14%18.6%0%8.5%0.4%12
Compiler

Compiled 408 to 294 computations (27.9% saved)

end4.0ms (0%)

Profiling

Loading profile data...