Herbie run

Date:Wednesday, June 14th, 2023
Commit:37008fa3 on main
Hostname:nightly with Racket 8.6
Seed:2023165
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.8s)

localize12.9s (24.4%)

Compiler

Compiled 6805 to 3472 computations (49% saved)

sample11.6s (21.9%)

Results
8.8s62997×body256valid
1.3s4150×body2048valid
995.0ms7157×body256infinite
256.0ms1870×body256invalid
Bogosity

eval8.6s (16.3%)

Compiler

Compiled 526624 to 306144 computations (41.9% saved)

soundness5.5s (10.4%)

Rules
29632×fma-def
14258×associate-*r*
12330×log-prod
11512×associate-*l*
11466×fma-neg
Stop Event
3×saturated
30×node limit
Compiler

Compiled 3582 to 2085 computations (41.8% saved)

simplify4.5s (8.6%)

Algorithm
37×egg-herbie
Rules
29120×fma-def
12730×associate-*r*
12402×times-frac
11716×fma-neg
10852×log-prod
Stop Event
15×saturated
4×done
5×fuel
22×node limit
Counts
7019 → 6029
Compiler

Compiled 947 to 625 computations (34% saved)

prune3.1s (5.9%)

Counts
12982 → 288
Compiler

Compiled 25542 to 16777 computations (34.3% saved)

rewrite2.0s (3.8%)

Algorithm
19×batch-egg-rewrite
Rules
12954×pow1
12238×add-exp-log
12232×expm1-log1p-u
12232×log1p-expm1-u
12160×add-log-exp
Stop Event
19×node limit
Counts
131 → 3994

regimes1.6s (3%)

Counts
338 → 64
Calls

19 calls:

244.0ms
b
237.0ms
x
225.0ms
c
175.0ms
a
108.0ms
z
Compiler

Compiled 7864 to 4475 computations (43.1% saved)

preprocess708.0ms (1.3%)

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)

series667.0ms (1.3%)

Counts
131 → 3016
Calls

951 calls:

TimeVariablePointExpression
44.0ms
a
@-inf
(sqrt.f64 (*.f64 a (*.f64 c -4)))
35.0ms
x
@inf
(/.f64 (-.f64 x (fma.f64 x z -4)) y)
31.0ms
a
@-inf
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
27.0ms
c
@-inf
(pow.f64 (*.f64 (*.f64 c -4) a) 1/4)
25.0ms
a
@0
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))

bsearch609.0ms (1.2%)

Algorithm
33×binary-search
Stop Event
31×narrow-enough
2×predicate-same
Results
483.0ms3759×body256valid
45.0ms401×body256infinite
18.0ms141×body256invalid
Compiler

Compiled 9519 to 6652 computations (30.1% saved)

analyze521.0ms (1%)

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)

end520.0ms (1%)

Compiler

Compiled 2110 to 1246 computations (40.9% saved)

Profiling

Loading profile data...