Herbie run

Date:Saturday, November 11th, 2023
Commit:6874b725 on cleanup
Hostname:nightly with Racket 8.6
Seed:2023315
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: 3.0min)

sample51.4s (28.4%)

Results
13.8s29773×body1024valid
13.0s109758×body256valid
12.5s12838×body8192exit
4.8s5874×body2048valid
3.7s14726×body512valid
1.3s4001×body1024invalid
878.0ms4677×body256infinite
403.0ms1985×body512invalid
253.0ms2478×body256invalid
232.0ms1179×body256unsamplable
52.0ms180×body512infinite
50.0ms132×body1024infinite
13.0ms5×body8192invalid
1.0ms1×body4096invalid
1.0ms3×body2048invalid
Bogosity

localize28.2s (15.6%)

Compiler

Compiled 8149 to 3962 computations (51.4% saved)

soundness22.5s (12.4%)

Rules
50422×fma-def
33124×log1p-expm1-u
32824×associate-*r*
28350×prod-diff
27456×log-prod
Stop Event
6×saturated
2×unsound
95×node limit
Compiler

Compiled 8869 to 4606 computations (48.1% saved)

eval18.2s (10.1%)

Compiler

Compiled 863564 to 508293 computations (41.1% saved)

simplify13.8s (7.6%)

Algorithm
86×egg-herbie
Rules
47946×fma-def
34296×log-prod
29824×associate-*r*
27134×fma-neg
26368×associate-*l*
Stop Event
8×done
6×unsound
20×saturated
12×fuel
60×node limit
Counts
29109 → 22343
Compiler

Compiled 1590 to 1040 computations (34.6% saved)

regimes9.9s (5.5%)

Counts
2681 → 147
Calls

55 calls:

1.8s
a
1.4s
x
1.3s
b
693.0ms
r
490.0ms
y
Compiler

Compiled 1662 to 1174 computations (29.4% saved)

rewrite9.1s (5%)

Algorithm
66×batch-egg-rewrite
Rules
35906×log1p-expm1-u
28764×expm1-log1p-u
23930×prod-diff
22170×log-prod
21816×expm1-udef
Stop Event
66×node limit
Counts
511 → 20099

analyze9.1s (5%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

prune8.8s (4.8%)

Counts
36976 → 1619
Compiler

Compiled 52448 to 34465 computations (34.3% saved)

preprocess4.5s (2.5%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6946×fma-neg
6348×distribute-lft-neg-in
5222×div-sub
4908×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 4686 to 2496 computations (46.7% saved)

series4.1s (2.3%)

Counts
511 → 9010
Calls

2436 calls:

TimeVariablePointExpression
167.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
160.0ms
l
@-inf
(/.f64 (pow.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (exp.f64 w))
110.0ms
w
@-inf
(pow.f64 (exp.f64 (exp.f64 w)) (log.f64 l))
87.0ms
w
@-inf
(/.f64 (pow.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (exp.f64 w))
76.0ms
b
@0
(*.f64 (sqrt.f64 (+.f64 b a)) (*.f64 (pow.f64 (-.f64 a b) 1/8) (*.f64 (pow.f64 (-.f64 a b) 1/8) (pow.f64 (-.f64 a b) 1/4))))

bsearch1.4s (0.8%)

Algorithm
32×binary-search
8×left-value
Stop Event
32×narrow-enough
Results
598.0ms2534×body256valid
461.0ms810×body1024valid
98.0ms242×body512valid
54.0ms82×body2048valid
46.0ms302×body256infinite
5.0ms14×body1024infinite
Compiler

Compiled 6400 to 4443 computations (30.6% saved)

end1.0ms (0%)

Profiling

Loading profile data...