Herbie run

Date:Friday, September 15th, 2023
Commit:4716b437 on main
Hostname:nightly with Racket 8.6
Seed:2023258
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: 55.4s)

sample11.8s (21.3%)

Results
8.8s63132×body256valid
1.8s4066×body2048valid
731.0ms7106×body256infinite
360.0ms1892×body256invalid
Bogosity

localize11.3s (20.4%)

Compiler

Compiled 6561 to 3341 computations (49.1% saved)

eval9.7s (17.6%)

Compiler

Compiled 532035 to 313142 computations (41.1% saved)

soundness6.6s (11.9%)

Rules
39232×fma-def
16718×times-frac
16710×associate-*r*
13336×log-prod
13224×associate-*l*
Stop Event
4×saturated
35×node limit
Compiler

Compiled 5246 to 3068 computations (41.5% saved)

simplify4.3s (7.9%)

Algorithm
39×egg-herbie
Rules
34678×fma-def
15512×times-frac
11684×distribute-rgt-in
11542×distribute-lft-in
10370×associate-*r*
Stop Event
15×saturated
4×done
5×fuel
24×node limit
Counts
7341 → 7191
Compiler

Compiled 1294 to 812 computations (37.2% saved)

prune3.4s (6.1%)

Counts
13095 → 344
Compiler

Compiled 31321 to 20449 computations (34.7% saved)

rewrite2.5s (4.4%)

Algorithm
21×batch-egg-rewrite
Rules
14000×pow1
13260×add-exp-log
13254×expm1-log1p-u
13254×log1p-expm1-u
13162×add-log-exp
Stop Event
21×node limit
Counts
140 → 4362

regimes2.2s (3.9%)

Counts
475 → 91
Calls

23 calls:

384.0ms
c
356.0ms
b
243.0ms
a
230.0ms
x
159.0ms
y
Compiler

Compiled 9886 to 5433 computations (45% saved)

preprocess1.4s (2.5%)

Algorithm
9×egg-herbie
Rules
5828×div-sub
5698×fma-neg
5666×fma-def
4786×times-frac
3022×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3003 to 1722 computations (42.7% saved)

bsearch1.0s (1.9%)

Algorithm
50×binary-search
1×left-value
Stop Event
48×narrow-enough
2×predicate-same
Results
845.0ms5458×body256valid
76.0ms670×body256infinite
25.0ms184×body256invalid
Compiler

Compiled 12455 to 8785 computations (29.5% saved)

series653.0ms (1.2%)

Counts
140 → 2970
Calls

933 calls:

TimeVariablePointExpression
96.0ms
x
@0
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
12.0ms
c
@inf
(exp.f64 (log.f64 (*.f64 c (/.f64 -2 (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 a c)))))))))
9.0ms
c
@inf
(log.f64 (*.f64 c (/.f64 -2 (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 a c))))))))
9.0ms
b
@-inf
(/.f64 (*.f64 a 2) (fma.f64 -1 b (sqrt.f64 (fma.f64 b b (*.f64 (neg.f64 (*.f64 a 4)) c)))))
9.0ms
b
@inf
(*.f64 (/.f64 -1/2 a) (+.f64 b b))

analyze509.0ms (0.9%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end1.0ms (0%)

Profiling

Loading profile data...