Herbie run

Date:Thursday, January 18th, 2024
Commit:24741fd0 on main
Hostname:nightly with Racket 8.6
Seed:2024018
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.1min)

sample1.8min (35.6%)

Results
34.9s32851×body2048valid
24.9s54078×body1024valid
16.0s96888×body256valid
15.1s62208×body256precondition
11.9s41056×body512valid
1.4s1102×body1024invalid
1.3s1810×body4096valid
787.0ms4132×body256infinite
646.0ms5132×body256invalid
500.0ms4041×body256unsamplable
243.0ms583×body512invalid
162.0ms163×body1024infinite
136.0ms190×body512infinite
Bogosity

localize41.5s (13.5%)

Compiler

Compiled 12574 to 6970 computations (44.6% saved)

soundness33.5s (10.9%)

Rules
106432×fma-def
56758×fma-neg
54146×associate-*r*
43612×times-frac
42208×associate-*l*
Stop Event
3×saturated
153×node limit
Compiler

Compiled 15607 to 9619 computations (38.4% saved)

eval31.7s (10.4%)

Compiler

Compiled 1291332 to 810240 computations (37.3% saved)

simplify22.8s (7.4%)

Algorithm
120×egg-herbie
Rules
69710×fma-def
42530×associate-*r*
39952×times-frac
39074×associate-*l*
36032×fma-neg
Stop Event
7×done
2×unsound
28×saturated
21×fuel
90×node limit
Counts
36739 → 35730
Compiler

Compiled 3677 to 2501 computations (32% saved)

rewrite19.3s (6.3%)

Algorithm
92×batch-egg-rewrite
Rules
50734×log1p-expm1-u
41974×expm1-log1p-u
40426×prod-diff
28682×expm1-udef
27474×log-prod
Stop Event
92×node limit
Counts
699 → 27261

prune14.9s (4.9%)

Counts
53237 → 2146
Compiler

Compiled 114343 to 81826 computations (28.4% saved)

regimes11.0s (3.6%)

Counts
3897 → 318
Calls

43 calls:

3.0s
x
2.3s
eps
895.0ms
c
773.0ms
a
522.0ms
b
Compiler

Compiled 46319 to 26207 computations (43.4% saved)

preprocess10.9s (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 11356 to 6815 computations (40% saved)

bsearch4.6s (1.5%)

Algorithm
114×binary-search
40×left-value
Stop Event
111×narrow-enough
3×predicate-same
Results
1.6s9392×body256valid
1.3s3356×body512valid
521.0ms1016×body1024valid
330.0ms441×body2048valid
165.0ms1371×body256invalid
72.0ms335×body256infinite
35.0ms50×body512infinite
1.0ms1×body1024infinite
0.0ms1×body4096valid
Compiler

Compiled 27111 to 19855 computations (26.8% saved)

series4.5s (1.5%)

Counts
699 → 9478
Calls

3126 calls:

TimeVariablePointExpression
304.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
154.0ms
x
@inf
(log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)))))
146.0ms
x
@inf
(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (*.f64 (neg.f64 (sin.f64 x)) (sin.f64 eps))) (cos.f64 x))
116.0ms
x
@inf
(pow.f64 (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 2)
101.0ms
a
@inf
(-.f64 b_2 (hypot.f64 (sqrt.f64 (*.f64 a c)) b_2))

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

end5.0ms (0%)

Profiling

Loading profile data...