Herbie run

Date:Tuesday, June 27th, 2023
Commit:99c486fd on tutorial-update
Hostname:nightly with Racket 8.6
Seed:2023178
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: 52.2s)

sample11.8s (22.7%)

Results
9.0s63141×body256valid
1.2s4116×body2048valid
936.0ms7047×body256infinite
558.0ms1978×body256invalid
Bogosity

localize10.5s (20.1%)

Compiler

Compiled 5622 to 2860 computations (49.1% saved)

soundness8.0s (15.4%)

Rules
41576×fma-def
16808×associate-*r*
15414×fma-neg
14908×associate-*l*
13868×log-prod
Stop Event
4×saturated
36×node limit
Compiler

Compiled 4052 to 2393 computations (40.9% saved)

eval7.3s (14%)

Compiler

Compiled 371056 to 212652 computations (42.7% saved)

simplify4.5s (8.6%)

Algorithm
36×egg-herbie
Rules
28740×fma-def
12930×times-frac
12616×associate-*r*
11128×fma-neg
10442×associate-*l*
Stop Event
15×saturated
4×done
5×fuel
21×node limit
Counts
6584 → 6157
Compiler

Compiled 1028 to 689 computations (33% saved)

prune2.9s (5.5%)

Counts
10169 → 313
Compiler

Compiled 24148 to 15867 computations (34.3% saved)

rewrite2.1s (4%)

Algorithm
18×batch-egg-rewrite
Rules
12348×pow1
11700×add-exp-log
11696×expm1-log1p-u
11696×log1p-expm1-u
11626×add-log-exp
Stop Event
18×node limit
Counts
138 → 4044

regimes1.9s (3.6%)

Counts
442 → 76
Calls

23 calls:

337.0ms
c
290.0ms
b
254.0ms
x
225.0ms
a
159.0ms
z
Compiler

Compiled 8347 to 4581 computations (45.1% saved)

end816.0ms (1.6%)

Compiler

Compiled 2232 to 1328 computations (40.5% saved)

series759.0ms (1.5%)

Counts
138 → 2531
Calls

882 calls:

TimeVariablePointExpression
176.0ms
n
@-inf
(/.f64 f (-.f64 n f))
37.0ms
f
@-inf
(+.f64 (fma.f64 2 (/.f64 f n) 1) (*.f64 2 (/.f64 (*.f64 f f) (*.f64 n n))))
26.0ms
n
@0
(/.f64 (+.f64 f n) (-.f64 n f))
15.0ms
c
@-inf
(+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 (*.f64 a -4)) (sqrt.f64 c))))
10.0ms
a
@inf
(*.f64 2 (/.f64 a b))

preprocess600.0ms (1.2%)

Algorithm
18×egg-herbie
Rules
8158×fma-def
4716×div-sub
3918×associate-/r*
3722×times-frac
3438×associate-/l*
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

bsearch539.0ms (1%)

Algorithm
36×binary-search
Stop Event
29×narrow-enough
7×predicate-same
Results
422.0ms3458×body256valid
56.0ms446×body256infinite
6.0ms47×body256invalid
Compiler

Compiled 7414 to 5329 computations (28.1% saved)

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

Profiling

Loading profile data...