Herbie run

Date:Thursday, September 14th, 2023
Commit:4716b437 on main
Hostname:nightly with Racket 8.6
Seed:2023257
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: 2.7min)

sample50.6s (31.3%)

Results
13.2s12981×body8192exit
13.0s109777×body256valid
12.0s29684×body1024valid
5.1s5950×body2048valid
3.9s14813×body512valid
1.3s3888×body1024invalid
709.0ms4550×body256infinite
405.0ms2065×body512invalid
257.0ms2537×body256invalid
132.0ms1137×body256unsamplable
62.0ms198×body512infinite
59.0ms148×body1024infinite
7.0ms3×body8192invalid
3.0ms5×body2048invalid
1.0ms1×body4096invalid
Bogosity

localize24.3s (15%)

Compiler

Compiled 9372 to 4100 computations (56.3% saved)

soundness18.8s (11.7%)

Rules
67590×fma-def
49396×pow1
46478×add-exp-log
46460×log1p-expm1-u
46438×expm1-log1p-u
Stop Event
9×saturated
2×unsound
119×node limit
Compiler

Compiled 11668 to 5930 computations (49.2% saved)

eval13.9s (8.6%)

Compiler

Compiled 809412 to 412885 computations (49% saved)

regimes12.3s (7.6%)

Counts
4146 → 156
Calls

53 calls:

2.2s
a
1.5s
x
1.3s
b
955.0ms
r
667.0ms
(tan.f64 a)
Compiler

Compiled 53653 to 25555 computations (52.4% saved)

simplify10.9s (6.8%)

Algorithm
102×egg-herbie
Rules
61956×fma-def
34814×associate-*r*
33862×log-prod
30978×associate-*l*
29780×unswap-sqr
Stop Event
3×unsound
5×done
33×saturated
15×fuel
66×node limit
Counts
21745 → 16756
Compiler

Compiled 2374 to 1467 computations (38.2% saved)

prune8.8s (5.4%)

Counts
30122 → 1735
Compiler

Compiled 93345 to 61105 computations (34.5% saved)

analyze8.5s (5.3%)

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)

rewrite6.8s (4.2%)

Algorithm
62×batch-egg-rewrite
Rules
52476×pow1
49080×add-exp-log
49032×log1p-expm1-u
49018×expm1-log1p-u
45446×add-log-exp
Stop Event
62×node limit
Counts
455 → 12576

preprocess3.2s (2%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9552×fma-neg
5312×distribute-lft-neg-in
4910×sub-neg
4300×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 5605 to 2800 computations (50% saved)

series2.2s (1.4%)

Counts
455 → 9149
Calls

2370 calls:

TimeVariablePointExpression
127.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
85.0ms
y
@inf
(log1p.f64 (tan.f64 (+.f64 y z)))
62.0ms
w
@-inf
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) 3)
61.0ms
b
@-inf
(log.f64 (*.f64 (sin.f64 b) r))
45.0ms
x
@0
(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))

bsearch1.3s (0.8%)

Algorithm
42×binary-search
4×left-value
Stop Event
41×narrow-enough
1×predicate-same
Results
554.0ms3783×body256valid
396.0ms694×body1024valid
118.0ms393×body512valid
53.0ms71×body2048valid
31.0ms211×body256infinite
4.0ms38×body256unsamplable
Compiler

Compiled 12332 to 7778 computations (36.9% saved)

end2.0ms (0%)

Profiling

Loading profile data...