Herbie run

Date:Wednesday, September 13th, 2023
Commit:b1fecaca on arb-support
Hostname:nightly with Racket 8.6
Seed:2023256
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: 1.4min)

sample26.9s (32.4%)

Results
15.2s48117×body256valid
10.9s55081×body256invalid
677.0ms1414×body256infinite
4.0ms3×body2048valid
1.0ms2×body1024valid
Bogosity

localize26.9s (32.3%)

Compiler

Compiled 5088 to 2570 computations (49.5% saved)

analyze8.6s (10.3%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
9.1%11.1%111%-55.4%0%33.3%0%1
4.8%11.1%222%-166.4%0%33.3%0%2
2.4%11.1%444%-388.4%0%33.3%0%3
1.2%11.1%888%-832.4%0%33.3%0%4
0.6%11.1%1776%-1720.4%0%33.3%0%5
0.3%11.1%3552.1%-3496.5%0%33.3%0%6
0.2%11.1%7104.2%-7048.6%0%33.3%0%7
0.1%11.1%14208.3%-14152.7%0%33.3%0%8
0%11.1%28416.7%-28361.1%0%33.3%0%9
0%11.1%56833.4%-56777.8%0%33.3%0%10
0%11.1%113666.7%-113611.1%0%33.3%0%11
0%11.1%227333.4%-227277.8%0%33.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

eval6.5s (7.8%)

Compiler

Compiled 442674 to 260310 computations (41.2% saved)

soundness3.6s (4.3%)

Rules
22698×fma-def
12306×times-frac
11734×associate-*r*
9436×distribute-rgt-in
9288×distribute-lft-in
Stop Event
1×saturated
22×node limit
Compiler

Compiled 2600 to 1521 computations (41.5% saved)

prune3.0s (3.6%)

Counts
11599 → 295
Compiler

Compiled 28767 to 18765 computations (34.8% saved)

simplify2.8s (3.4%)

Algorithm
27×egg-herbie
Rules
20150×fma-def
11640×times-frac
10120×associate-*r*
7970×fma-neg
7710×distribute-rgt-in
Stop Event
9×saturated
2×done
4×fuel
18×node limit
Counts
5720 → 5711
Compiler

Compiled 663 to 420 computations (36.7% saved)

rewrite1.6s (1.9%)

Algorithm
15×batch-egg-rewrite
Rules
10700×pow1
10128×add-exp-log
10126×log1p-expm1-u
10124×expm1-log1p-u
10054×add-log-exp
Stop Event
15×node limit
Counts
124 → 3483

regimes1.5s (1.8%)

Counts
293 → 43
Calls

14 calls:

404.0ms
a
385.0ms
c
261.0ms
b
76.0ms
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
70.0ms
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
Compiler

Compiled 6993 to 3868 computations (44.7% saved)

bsearch572.0ms (0.7%)

Algorithm
15×binary-search
Stop Event
11×narrow-enough
4×predicate-same
Results
482.0ms1462×body256valid
37.0ms143×body256invalid
22.0ms58×body256infinite
Compiler

Compiled 4261 to 2876 computations (32.5% saved)

series479.0ms (0.6%)

Counts
124 → 2231
Calls

747 calls:

TimeVariablePointExpression
55.0ms
f
@-inf
(/.f64 (*.f64 n n) (+.f64 f f))
15.0ms
a
@-inf
(*.f64 (/.f64 -1/2 a) (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 (*.f64 c -4)) (sqrt.f64 a)))))
11.0ms
c
@0
(-.f64 (*.f64 b b) (fma.f64 b b (*.f64 c (*.f64 a -4))))
9.0ms
c
@inf
(*.f64 c (/.f64 -2 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))))))
7.0ms
n
@-inf
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)

preprocess385.0ms (0.5%)

Algorithm
12×egg-herbie
Rules
4840×fma-def
2914×div-sub
2482×associate-/r*
2368×associate-/l*
1902×sub-neg
Stop Event
9×saturated
1×unsound
2×node limit
Compiler

Compiled 128 to 89 computations (30.5% saved)

end352.0ms (0.4%)

Compiler

Compiled 1468 to 794 computations (45.9% saved)

Profiling

Loading profile data...