Herbie run

Date:Wednesday, December 13th, 2023
Commit:cbab2036 on mixed-precision
Hostname:nightly with Racket 8.6
Seed:2023347
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.0min)

sample1.7min (34.1%)

Results
32.7s32728×body2048valid
24.9s54457×body1024valid
15.3s96736×body256valid
13.3s63688×body256precondition
10.4s40892×body512valid
1.1s1805×body4096valid
1.1s1126×body1024invalid
859.0ms5194×body256invalid
802.0ms4260×body256infinite
462.0ms3872×body256unsamplable
234.0ms585×body512invalid
115.0ms131×body1024infinite
75.0ms159×body512infinite
Bogosity

localize42.9s (14.3%)

Compiler

Compiled 14381 to 7764 computations (46% saved)

soundness35.9s (12%)

Rules
113904×fma-def
67898×times-frac
65686×fma-neg
60548×associate-*r*
55003×log1p-expm1-u
Stop Event
3×saturated
192×node limit
Compiler

Compiled 20068 to 13273 computations (33.9% saved)

eval32.3s (10.8%)

Compiler

Compiled 1489123 to 890120 computations (40.2% saved)

simplify20.7s (6.9%)

Algorithm
122×egg-herbie
Rules
69140×fma-def
44138×times-frac
43450×associate-*r*
40010×distribute-lft-in
38366×fma-neg
Stop Event
5×done
2×unsound
28×saturated
23×fuel
92×node limit
Counts
40693 → 36597
Compiler

Compiled 4662 to 3205 computations (31.3% saved)

prune15.1s (5%)

Counts
59475 → 2280
Compiler

Compiled 121965 to 86052 computations (29.4% saved)

regimes14.2s (4.8%)

Counts
4459 → 389
Calls

43 calls:

3.0s
x
2.5s
eps
1.9s
(/.f64 1 n)
1.1s
c
1.0s
n
Compiler

Compiled 51611 to 29826 computations (42.2% saved)

rewrite14.2s (4.7%)

Algorithm
94×batch-egg-rewrite
Rules
54976×log1p-expm1-u
43514×expm1-log1p-u
41008×prod-diff
33226×expm1-udef
29678×log1p-udef
Stop Event
94×node limit
Counts
770 → 30021

preprocess10.2s (3.4%)

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 13224 to 8113 computations (38.6% saved)

bsearch4.7s (1.6%)

Algorithm
141×binary-search
60×left-value
Stop Event
136×narrow-enough
5×predicate-same
Results
1.5s3363×body512valid
1.5s10959×body256valid
555.0ms749×body2048valid
368.0ms1004×body1024valid
153.0ms611×body256infinite
129.0ms1155×body256invalid
24.0ms133×body256unsamplable
1.0ms2×body1024infinite
Compiler

Compiled 27344 to 20262 computations (25.9% saved)

series4.2s (1.4%)

Counts
770 → 10672
Calls

3396 calls:

TimeVariablePointExpression
296.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
237.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 3)
92.0ms
N
@-inf
(*.f64 (pow.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1)) 1/4) (sqrt.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1))))
74.0ms
x
@0
(/.f64 (pow.f64 (log1p.f64 x) 2) (pow.f64 n 2))
67.0ms
x
@inf
(fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (sin.f64 x))

analyze2.7s (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)

end4.0ms (0%)

Profiling

Loading profile data...