Herbie run

Date:Wednesday, January 31st, 2024
Commit:92b4fbd0 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024031
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.3min)

sample2.1min (39.5%)

Results
26.4s144588×256precondition
15.0s95140×256valid
28.7s58779×1024valid
41.5s35790×2048valid
9.3s34942×512valid
605.0ms5179×256invalid
852.0ms4311×256infinite
619.0ms3925×256unsamplable
1.1s1906×4096valid
922.0ms1094×1024invalid
232.0ms574×512invalid
96.0ms172×512infinite
123.0ms128×1024infinite
Bogosity

localize41.2s (13%)

Compiler

Compiled 15781 to 9164 computations (41.9% saved)

soundness34.0s (10.7%)

Rules
99180×fma-def
54398×fma-neg
52778×times-frac
49990×associate-*r*
48194×log-prod
Stop Event
2×saturated
153×node limit
1×unsound
Compiler

Compiled 16367 to 10655 computations (34.9% saved)

eval32.2s (10.1%)

Compiler

Compiled 1314591 to 859162 computations (34.6% saved)

simplify20.1s (6.3%)

Algorithm
119×egg-herbie
Rules
66708×fma-def
51736×times-frac
42184×associate-*r*
38256×associate-*l*
36464×log-prod
Stop Event
28×saturated
90×node limit
18×fuel
1×unsound
10×done
Counts
34368 → 32828
Compiler

Compiled 2658 to 1884 computations (29.1% saved)

rewrite18.0s (5.7%)

Algorithm
91×batch-egg-rewrite
Rules
53461×log1p-expm1-u
41973×expm1-log1p-u
40518×prod-diff
27906×expm1-udef
27264×log-prod
Stop Event
91×node limit
Counts
653 → 25377

preprocess15.5s (4.9%)

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 10143 to 6278 computations (38.1% saved)

prune11.5s (3.6%)

Counts
49850 → 1841
Compiler

Compiled 63364 to 45210 computations (28.7% saved)

regimes9.0s (2.8%)

Counts
2634 → 231
Calls

43 calls:

1.7s
c
1.7s
x
1.0s
a
818.0ms
b_2
700.0ms
b
Compiler

Compiled 1425 to 1000 computations (29.8% saved)

series5.8s (1.8%)

Counts
653 → 8991
Calls

2943 calls:

TimeVariablePointExpression
396.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
296.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 3)
294.0ms
c
@-inf
(pow.f64 (cbrt.f64 (/.f64 -1/2 (/.f64 b_2 c))) 3)
146.0ms
N
@-inf
(cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1))) 4) 2))
136.0ms
x
@-inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))

analyze2.5s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.9%32.5%24.6%42.4%0%0.4%0%5
59.4%33.4%22.8%43.1%0%0.7%0%6
63.2%34.4%20%44%0%1.4%0.1%7
66.4%35.7%18.1%44.5%0%1.6%0.1%8
68.8%36.4%16.5%44.9%0%2%0.3%9
70.9%36.8%15.1%45.2%0%2.6%0.3%10
73.5%37.8%13.6%45.4%0%2.8%0.4%11
74.7%38.1%12.9%45.6%0%3.1%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

bsearch1.9s (0.6%)

Algorithm
49×binary-search
35×left-value
Stop Event
2×predicate-same
47×narrow-enough
Results
793.0ms4063×256valid
110.0ms947×256invalid
411.0ms766×1024valid
322.0ms425×2048valid
111.0ms372×512valid
68.0ms276×256infinite
10.0ms57×256unsamplable
10.0ms10×1024infinite
4.0ms8×4096valid
Compiler

Compiled 9061 to 6715 computations (25.9% saved)

end4.0ms (0%)

Profiling

Loading profile data...