Herbie run

Date:Friday, September 29th, 2023
Commit:9515c601 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023272
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

Details

Time bar (total: 5.4min)

sample1.8min (33.4%)

Results
20.0s55184×body1024valid
19.1s37615×body2048valid
14.5s15164×body8192exit
13.2s75395×body256valid
11.9s76689×body256invalid
8.4s31725×body512valid
7.4s13001×body4096valid
6.9s28783×body256precondition
1.7s8832×body256infinite
1.4s6174×body512infinite
1.3s2943×body1024infinite
1.1s2746×body1024invalid
421.0ms2136×body1024unsamplable
368.0ms1340×body512invalid
216.0ms1039×body512unsamplable
153.0ms276×body2048infinite
117.0ms1067×body256unsamplable
14.0ms22×body8192valid
5.0ms17×body2048invalid
1.0ms1×body4096infinite
Bogosity

localize54.3s (16.7%)

Compiler

Compiled 13442 to 6792 computations (49.5% saved)

soundness35.6s (10.9%)

Rules
147140×fma-def
75572×associate-*r*
73638×fma-neg
72356×log-prod
63204×times-frac
Stop Event
1×unsound
8×saturated
203×node limit
Compiler

Compiled 18988 to 11625 computations (38.8% saved)

eval27.0s (8.3%)

Compiler

Compiled 1281757 to 708815 computations (44.7% saved)

analyze24.5s (7.5%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
1.8%3.6%192.7%-96.3%0%0%0%1
4.8%17.8%356.9%-274.7%0%0%0%2
6.6%46.4%656.7%-603%0%0%0%3
3.4%46.4%1313.3%-1259.7%0%0%0%4
1.7%46.4%2626.6%-2573%0%0%0%5
0.9%46.4%5253.2%-5199.6%0%0%0%6
0.4%46.4%10506.5%-10452.9%0%0%0%7
0.2%46.4%21013%-20959.3%0%0%0%8
0.1%46.4%42025.9%-41972.3%0%0%0%9
0.1%46.4%84051.8%-83998.2%0%0%0%10
0%46.4%168103.6%-168050%0%0%0%11
0%46.4%336207.2%-336153.6%0%0%0%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

simplify20.1s (6.2%)

Algorithm
152×egg-herbie
Rules
91558×fma-def
56214×fma-neg
56024×associate-*r*
49942×times-frac
47978×associate-*l*
Stop Event
1×unsound
47×saturated
3×done
25×fuel
104×node limit
Counts
35451 → 35047
Compiler

Compiled 3976 to 2767 computations (30.4% saved)

prune14.3s (4.4%)

Counts
53080 → 2299
Compiler

Compiled 113942 to 78252 computations (31.3% saved)

regimes13.8s (4.2%)

Counts
4042 → 368
Calls

43 calls:

3.3s
x
1.9s
eps
1.8s
a
1.4s
c
705.0ms
b
Compiler

Compiled 43890 to 24713 computations (43.7% saved)

rewrite11.7s (3.6%)

Algorithm
96×batch-egg-rewrite
Rules
59174×pow1
56210×add-exp-log
56176×log1p-expm1-u
56138×expm1-log1p-u
52674×add-log-exp
Stop Event
96×node limit
Counts
715 → 24100

bsearch5.9s (1.8%)

Algorithm
140×binary-search
41×left-value
Stop Event
135×narrow-enough
5×predicate-same
Results
2.4s12806×body256valid
990.0ms2626×body1024valid
786.0ms403×body8192exit
460.0ms1493×body512valid
307.0ms605×body2048valid
175.0ms394×body2048infinite
160.0ms1415×body256invalid
152.0ms110×body256infinite
63.0ms214×body1024infinite
30.0ms136×body512infinite
Compiler

Compiled 27122 to 20047 computations (26.1% saved)

series4.1s (1.2%)

Counts
715 → 11323
Calls

3411 calls:

TimeVariablePointExpression
239.0ms
c
@0
(log.f64 (*.f64 (*.f64 (/.f64 c b) a) -2))
93.0ms
a
@0
(pow.f64 (*.f64 (neg.f64 a) c) 3/2)
80.0ms
n
@0
(*.f64 n (log.f64 n))
69.0ms
a
@inf
(/.f64 (*.f64 -1/2 (exp.f64 (+.f64 (log.f64 (/.f64 c b_2)) (log.f64 a)))) a)
69.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 c) (*.f64 -1 (log.f64 (/.f64 -1 a))))))

end3.7s (1.1%)

Compiler

Compiled 8798 to 5474 computations (37.8% saved)

preprocess2.1s (0.7%)

Algorithm
56×egg-herbie
Rules
25662×fma-def
8366×div-sub
7144×distribute-lft-in
6960×distribute-rgt-in
6546×fma-neg
Stop Event
2×unsound
43×saturated
11×node limit
Compiler

Compiled 368 to 279 computations (24.2% saved)

Profiling

Loading profile data...