Herbie run

Date:Wednesday, September 20th, 2023
Commit:c5f986cd on arb-support
Hostname:nightly with Racket 8.6
Seed:2023263
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: 7.3min)

sample2.8min (38.8%)

Results
37.5s63708×body1024valid
30.6s30803×body2048valid
27.6s11916×body8192exit
21.3s86992×body256valid
17.0s77382×body256invalid
13.0s33765×body512valid
8.2s28629×body256precondition
4.2s2940×body1024invalid
2.7s5576×body1024infinite
2.6s2078×body4096valid
1.5s5414×body256infinite
1.3s1464×body512invalid
1.0s2825×body512infinite
56.0ms28×body2048invalid
5.0ms4×body2048infinite
2.0ms3×body8192valid
Bogosity

localize1.6min (22.1%)

Compiler

Compiled 14250 to 7258 computations (49.1% saved)

soundness38.7s (8.9%)

Rules
169432×fma-def
105676×fma-neg
103568×log-prod
86790×associate-*r*
72496×associate-*l*
Stop Event
8×saturated
241×node limit
Compiler

Compiled 21166 to 13006 computations (38.6% saved)

analyze33.9s (7.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
5.7%10.7%178.4%-89.1%0%0%0%1
2.9%10.7%356.9%-267.6%0%0%0%2
5.6%39.3%656.7%-595.9%0%0%0%3
2.9%39.3%1313.3%-1252.6%0%0%0%4
1.5%39.3%2626.6%-2565.9%0%0%0%5
0.7%39.3%5253.2%-5192.5%0%0%0%6
0.4%39.3%10506.5%-10445.7%0%0%0%7
0.2%39.3%21013%-20952.2%0%0%0%8
0.1%39.3%42025.9%-41965.2%0%0%0%9
0%39.3%84051.8%-83991.1%0%0%0%10
0%39.3%168103.6%-168042.9%0%0%0%11
0%39.3%336207.2%-336146.5%0%0%0%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

eval23.3s (5.3%)

Compiler

Compiled 1195622 to 693280 computations (42% saved)

simplify19.0s (4.3%)

Algorithm
153×egg-herbie
Rules
101018×fma-def
60674×fma-neg
56862×associate-*r*
51032×associate-*l*
47440×times-frac
Stop Event
3×done
47×saturated
25×fuel
106×node limit
Counts
36573 → 35997
Compiler

Compiled 4608 to 3162 computations (31.4% saved)

regimes13.4s (3.1%)

Counts
4905 → 422
Calls

43 calls:

2.6s
x
2.5s
eps
1.1s
c
1.1s
a
961.0ms
b_2
Compiler

Compiled 56743 to 30159 computations (46.8% saved)

prune13.0s (3%)

Counts
51254 → 2329
Compiler

Compiled 119512 to 82256 computations (31.2% saved)

rewrite11.5s (2.6%)

Algorithm
97×batch-egg-rewrite
Rules
57238×pow1
54510×log1p-expm1-u
54504×add-exp-log
54466×expm1-log1p-u
51054×add-log-exp
Stop Event
97×node limit
Counts
795 → 24760

bsearch9.4s (2.1%)

Algorithm
178×binary-search
36×left-value
Stop Event
174×narrow-enough
4×predicate-same
Results
4.7s18538×body256valid
1.8s2411×body1024valid
704.0ms640×body2048valid
592.0ms1230×body512valid
513.0ms1954×body256invalid
493.0ms106×body8192exit
58.0ms237×body256infinite
20.0ms16×body4096valid
Compiler

Compiled 35268 to 25694 computations (27.1% saved)

series3.7s (0.8%)

Counts
795 → 11785
Calls

3534 calls:

TimeVariablePointExpression
262.0ms
n
@0
(+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n)) (/.f64 (*.f64 (fma.f64 1/2 (pow.f64 n -2) (/.f64 -1/2 n)) (pow.f64 x (/.f64 1 n))) (*.f64 x x)))
134.0ms
b_2
@0
(*.f64 (*.f64 -1/2 (/.f64 c b_2)) (*.f64 -1/2 (/.f64 c b_2)))
113.0ms
N
@inf
(pow.f64 (cbrt.f64 (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) 4)
79.0ms
N
@-inf
(*.f64 (pow.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) 1/4) (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
46.0ms
x
@inf
(*.f64 (sin.f64 x) (*.f64 (/.f64 (sin.f64 eps) -1) (tan.f64 (/.f64 eps 2))))

end3.1s (0.7%)

Compiler

Compiled 9946 to 5956 computations (40.1% saved)

preprocess2.0s (0.5%)

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...