Herbie run

Date:Saturday, June 24th, 2023
Commit:d48cbc0b on doc-updates
Hostname:nightly with Racket 8.6
Seed:2023175
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)

localize11.6s (22.3%)

Compiler

Compiled 6346 to 3476 computations (45.2% saved)

sample11.3s (21.7%)

Results
8.1s62947×body256valid
1.6s4138×body2048valid
930.0ms7219×body256infinite
495.0ms1865×body256invalid
Bogosity

eval9.2s (17.6%)

Compiler

Compiled 523278 to 324086 computations (38.1% saved)

soundness5.9s (11.3%)

Rules
40548×fma-def
19794×associate-*r*
15108×times-frac
14954×fma-neg
12232×associate-*l*
Stop Event
3×saturated
31×node limit
Compiler

Compiled 2940 to 1789 computations (39.1% saved)

simplify4.0s (7.8%)

Algorithm
37×egg-herbie
Rules
28524×fma-def
13346×associate-*r*
11362×fma-neg
11208×times-frac
9226×distribute-rgt-in
Stop Event
15×saturated
5×done
4×fuel
22×node limit
Counts
6003 → 6199
Compiler

Compiled 923 to 595 computations (35.5% saved)

prune3.5s (6.7%)

Counts
12520 → 301
Compiler

Compiled 26067 to 17352 computations (33.4% saved)

rewrite1.8s (3.5%)

Algorithm
19×batch-egg-rewrite
Rules
14118×pow1
13286×add-exp-log
13264×expm1-log1p-u
13264×log1p-expm1-u
13140×add-log-exp
Stop Event
19×node limit
Counts
118 → 3704

regimes1.6s (3.1%)

Counts
282 → 71
Calls

23 calls:

301.0ms
a
291.0ms
c
225.0ms
b
136.0ms
n
135.0ms
x
Compiler

Compiled 6352 to 3824 computations (39.8% saved)

analyze676.0ms (1.3%)

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)

bsearch664.0ms (1.3%)

Algorithm
34×binary-search
Stop Event
32×narrow-enough
2×predicate-same
Results
549.0ms4004×body256valid
44.0ms364×body256infinite
8.0ms61×body256invalid
Compiler

Compiled 8250 to 5864 computations (28.9% saved)

end642.0ms (1.2%)

Compiler

Compiled 2048 to 1150 computations (43.8% saved)

preprocess599.0ms (1.1%)

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)

series555.0ms (1.1%)

Counts
118 → 2290
Calls

768 calls:

TimeVariablePointExpression
34.0ms
a
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
29.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
27.0ms
a
@-inf
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
22.0ms
a
@-inf
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
12.0ms
c
@-inf
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))

Profiling

Loading profile data...