Herbie run

Date:Wednesday, January 24th, 2024
Commit:5be52de6 on zane-regimes-2
Hostname:nightly with Racket 8.6
Seed:2024024
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.4min)

sample1.8min (33.2%)

Results
35.9s32784×body2048valid
24.2s54111×body1024valid
15.3s63976×body256precondition
15.2s96681×body256valid
11.1s41027×body512valid
1.7s1919×body4096valid
1.0s1137×body1024invalid
1.0s4295×body256infinite
724.0ms5195×body256invalid
556.0ms3959×body256unsamplable
291.0ms160×body1024infinite
243.0ms600×body512invalid
97.0ms191×body512infinite
Bogosity

localize44.2s (13.6%)

Compiler

Compiled 13318 to 7153 computations (46.3% saved)

soundness43.9s (13.5%)

Rules
121710×fma-def
74496×fma-neg
60776×associate-*r*
55398×log-prod
51860×log1p-expm1-u
Stop Event
3×saturated
2×unsound
189×node limit
Compiler

Compiled 19476 to 12618 computations (35.2% saved)

eval31.6s (9.7%)

Compiler

Compiled 1373494 to 834007 computations (39.3% saved)

simplify24.4s (7.5%)

Algorithm
125×egg-herbie
Rules
70370×fma-def
48366×fma-neg
41052×times-frac
40290×associate-*r*
36444×distribute-lft-in
Stop Event
5×done
2×unsound
28×saturated
23×fuel
95×node limit
Counts
37257 → 35501
Compiler

Compiled 3758 to 2588 computations (31.1% saved)

rewrite20.2s (6.2%)

Algorithm
97×batch-egg-rewrite
Rules
55341×log1p-expm1-u
45633×expm1-log1p-u
38192×prod-diff
31758×expm1-udef
28450×log1p-udef
Stop Event
97×node limit
Counts
690 → 27301

prune14.9s (4.6%)

Counts
55413 → 2195
Compiler

Compiled 115379 to 81191 computations (29.6% saved)

regimes13.0s (4%)

Counts
3693 → 343
Calls

43 calls:

2.8s
x
2.2s
eps
1.3s
c
1.2s
a
786.0ms
b_2
Compiler

Compiled 43166 to 24216 computations (43.9% saved)

preprocess11.7s (3.6%)

Algorithm
28×egg-herbie
Rules
34252×fma-def
12020×fma-neg
11952×div-sub
9422×sub-neg
8120×distribute-lft-neg-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 11428 to 6991 computations (38.8% saved)

series5.2s (1.6%)

Counts
690 → 9956
Calls

3141 calls:

TimeVariablePointExpression
580.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
159.0ms
N
@0
(cbrt.f64 (pow.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1)) 5/2))
156.0ms
c
@inf
(log.f64 (*.f64 -1/2 (/.f64 (*.f64 c (/.f64 a b_2)) a)))
143.0ms
x
@inf
(pow.f64 (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 2)
136.0ms
n
@inf
(pow.f64 (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))) 2)

bsearch4.7s (1.4%)

Algorithm
112×binary-search
51×left-value
Stop Event
109×narrow-enough
3×predicate-same
Results
2.0s10601×body256valid
1.0s2848×body512valid
501.0ms1254×body1024valid
367.0ms1819×body256invalid
323.0ms508×body2048valid
65.0ms308×body256infinite
36.0ms172×body256unsamplable
20.0ms22×body1024infinite
5.0ms11×body512infinite
Compiler

Compiled 26502 to 19056 computations (28.1% saved)

analyze2.9s (0.9%)

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.2%45.4%32.6%17.2%0%4.9%0%4
64.1%49.5%27.7%17.2%0%5.6%0%5
66.1%50.6%25.9%17.5%0%5.9%0%6
68.8%51.8%23.5%17.9%0%6.7%0.1%7
71%53.1%21.7%18.1%0%6.9%0.1%8
72.6%53.8%20.3%18.2%0%7.3%0.3%9
74%54.3%19.1%18.4%0%7.9%0.3%10
75.7%55.2%17.8%18.5%0%8.1%0.4%11
76.5%55.5%17.1%18.6%0%8.5%0.4%12
Compiler

Compiled 408 to 294 computations (27.9% saved)

end29.0ms (0%)

Profiling

Loading profile data...