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: 4.2min)

sample1.5min (37.1%)

Results
33.8s21911×body8192exit
16.6s30282×body1024valid
14.0s79894×body256valid
8.9s19321×body2048valid
6.2s15694×body512valid
3.6s24688×body256precondition
3.5s6350×body4096valid
3.1s19166×body256invalid
823.0ms3962×body256infinite
716.0ms2799×body1024invalid
613.0ms2766×body512invalid
391.0ms1347×body512infinite
4.0ms3×body8192valid
4.0ms4×body8192invalid
3.0ms2×body8192infinite
2.0ms7×body1024infinite
2.0ms4×body4096invalid
2.0ms5×body2048invalid
1.0ms1×body4096infinite
0.0ms1×body2048infinite
Bogosity

analyze54.4s (21.8%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%85%15%0%0%0%0
0%0%169.7%-69.7%0%0%0%1
0%0%339.2%-239.2%0%0%0%2
0.7%4.8%668.3%-573.1%0%0%0%3
0.7%9.6%1326.4%-1236%0%0%0%4
0.5%14.3%2641.2%-2555.6%0%0%0%5
0.4%19.1%5270.4%-5189.6%0%0%0%6
0.2%23.9%10526.6%-10450.5%0%0%0%7
0.1%28.7%21034.3%-20963%0%0%0%8
0.1%33.5%42035.1%-41968.6%0%0%0%9
0%38.3%84024.2%-83962.5%0%0%0%10
0%43.1%167966.1%-167909.1%0%0%0%11
0%47.8%335777.1%-335725%0%0%0%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

localize30.4s (12.2%)

Compiler

Compiled 7604 to 3238 computations (57.4% saved)

soundness20.5s (8.2%)

Rules
42786×fma-def
38644×associate-*r*
37832×log-prod
37780×pow1
35308×add-exp-log
Stop Event
2×unsound
8×saturated
94×node limit
Compiler

Compiled 7698 to 4105 computations (46.7% saved)

simplify11.5s (4.6%)

Algorithm
97×egg-herbie
Rules
51018×fma-def
38246×log-prod
35704×associate-*r*
33532×associate-*l*
25540×*-commutative
Stop Event
3×unsound
31×saturated
3×done
16×fuel
63×node limit
Counts
26269 → 17177
Compiler

Compiled 1688 to 1088 computations (35.5% saved)

regimes9.2s (3.7%)

Counts
2494 → 156
Calls

50 calls:

1.5s
x
1.3s
a
609.0ms
(tan.f64 a)
507.0ms
b
419.0ms
r
Compiler

Compiled 29460 to 12707 computations (56.9% saved)

eval8.9s (3.6%)

Compiler

Compiled 501368 to 237866 computations (52.6% saved)

rewrite8.1s (3.3%)

Algorithm
59×batch-egg-rewrite
Rules
44884×pow1
42032×add-exp-log
41964×log1p-expm1-u
41952×expm1-log1p-u
41476×add-log-exp
Stop Event
59×node limit
Counts
480 → 18358

prune7.0s (2.8%)

Counts
24420 → 1535
Compiler

Compiled 73309 to 47841 computations (34.7% saved)

series2.6s (1%)

Counts
480 → 7892
Calls

2115 calls:

TimeVariablePointExpression
130.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
91.0ms
x
@0
(sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 4)))
79.0ms
b
@-inf
(log1p.f64 (cos.f64 (+.f64 b a)))
73.0ms
b
@inf
(log1p.f64 (cos.f64 (+.f64 b a)))
64.0ms
a
@inf
(log1p.f64 (cos.f64 (+.f64 b a)))

end1.6s (0.7%)

Compiler

Compiled 3670 to 1936 computations (47.2% saved)

bsearch1.6s (0.6%)

Algorithm
45×binary-search
11×left-value
Stop Event
43×narrow-enough
2×predicate-failed
Results
564.0ms3939×body256valid
398.0ms723×body1024valid
143.0ms1436×body256invalid
134.0ms443×body256infinite
129.0ms416×body512valid
49.0ms110×body2048valid
1.0ms3×body1024infinite
Compiler

Compiled 8443 to 5882 computations (30.3% saved)

preprocess1.3s (0.5%)

Algorithm
38×egg-herbie
Rules
10622×fma-def
6350×sqr-pow
5984×associate-/l/
5720×unswap-sqr
3518×associate-*r*
Stop Event
3×unsound
28×saturated
7×node limit
Compiler

Compiled 208 to 153 computations (26.4% saved)

Profiling

Loading profile data...