Herbie run

Date:Thursday, October 5th, 2023
Commit:d0ce0259 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023278
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: 1.2hr)

sample29.1min (40.9%)

Results
12.8min737668×body8192exit
4.8min925294×body256valid
2.6min285812×body1024valid
2.5min451717×body256invalid
2.2min185814×body2048valid
2.1min343546×body256infinite
1.1min162867×body512valid
25.6s25438×body4096valid
9.1s13594×body1024infinite
5.2s10778×body512infinite
3.1s3359×body2048infinite
1.4s2854×body512invalid
1.0s1993×body1024invalid
667.0ms310×body8192valid
91.0ms117×body4096infinite
5.0ms4×body8192infinite
1.0ms2×body2048invalid
Bogosity

localize10.3min (14.4%)

Compiler

Compiled 91353 to 33550 computations (63.3% saved)

analyze6.6min (9.3%)

Algorithm
270×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
2.5%4.8%190.1%-94.9%0%0%0%1
4.5%16.7%356.5%-273.1%0%0%0%2
9.4%64%618.2%-582.2%0%0%0%3
11%135%1094.4%-1129.5%0%0%0%4
7.7%176.4%2106.1%-2182.5%0%0%0%5
4%176.4%4212.2%-4288.6%0%0%0%6
3.2%271%8235.3%-8406.3%0%0%0%7
1.6%271%16470.6%-16641.6%0%0%0%8
1.4%459.9%32563.5%-32923.3%0%0%0%9
1.3%837.4%64371.8%-65109.2%0%0%0%10
0.9%1214.9%127988.7%-129103.5%0%0%0%11
0.5%1214.9%255977.4%-257092.2%0%0%0%12
Compiler

Compiled 4021 to 2770 computations (31.1% saved)

regimes5.9min (8.3%)

Counts
26290 → 4652
Calls

409 calls:

53.3s
y
51.0s
z
47.6s
x
39.2s
t
31.3s
a
Compiler

Compiled 278201 to 139358 computations (49.9% saved)

soundness5.0min (7%)

Rules
980910×fma-def
480224×associate-*r*
451336×log-prod
430744×times-frac
399608×fma-neg
Stop Event
7×unsound
103×saturated
1095×node limit
Compiler

Compiled 73228 to 37639 computations (48.6% saved)

simplify3.4min (4.8%)

Algorithm
1157×egg-herbie
Rules
799836×fma-def
409216×log-prod
389056×associate-*r*
374908×fma-neg
335920×associate-*l*
Stop Event
4×unsound
67×done
378×saturated
169×fuel
775×node limit
Counts
296826 → 219211
Compiler

Compiled 44764 to 27384 computations (38.8% saved)

eval2.7min (3.8%)

Compiler

Compiled 6065066 to 2700670 computations (55.5% saved)

bsearch2.7min (3.8%)

Algorithm
2755×binary-search
187×left-value
Stop Event
2717×narrow-enough
38×predicate-same
Results
41.5s152948×body256valid
40.3s85629×body256infinite
26.9s44510×body1024valid
17.8s21996×body2048valid
11.4s28222×body512valid
7.8s8411×body8192exit
2.4s3538×body1024infinite
1.0s1141×body4096valid
935.0ms2339×body512infinite
818.0ms974×body2048infinite
518.0ms2782×body256invalid
4.0ms9×body512invalid
1.0ms2×body4096infinite
0.0ms1×body1024invalid
Compiler

Compiled 640886 to 477395 computations (25.5% saved)

rewrite1.9min (2.6%)

Algorithm
684×batch-egg-rewrite
Rules
430804×pow1
404288×add-exp-log
404032×log1p-expm1-u
404008×expm1-log1p-u
378924×add-log-exp
Stop Event
684×node limit
Counts
4405 → 166055

prune1.8min (2.6%)

Counts
265815 → 11072
Compiler

Compiled 505546 to 332141 computations (34.3% saved)

preprocess1.2min (1.7%)

Algorithm
237×egg-herbie
Rules
331060×fma-def
114280×fma-neg
109114×sub-neg
94352×unsub-neg
91884×div-sub
Stop Event
102×saturated
135×node limit
Compiler

Compiled 101607 to 50268 computations (50.5% saved)

series34.1s (0.8%)

Counts
4405 → 130534
Calls

32622 calls:

TimeVariablePointExpression
453.0ms
y
@inf
(log1p.f64 (log.f64 (/.f64 x y)))
266.0ms
x
@-inf
(sqrt.f64 (*.f64 x (*.f64 27 y)))
260.0ms
x
@0
(*.f64 x (log.f64 y))
252.0ms
x
@-inf
(log.f64 (*.f64 (exp.f64 (*.f64 4481/100000 (*.f64 x x))) (exp.f64 (*.f64 x 99229/100000))))
199.0ms
x
@-inf
(log.f64 (*.f64 x (log.f64 x)))

end197.0ms (0%)

Profiling

Loading profile data...