Herbie run

Date:Tuesday, July 11th, 2023
Commit:26f8dd61 on result-filters
Hostname:nightly with Racket 8.6
Seed:2023192
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: 47.4s)

localize11.3s (23.9%)

Compiler

Compiled 6089 to 3145 computations (48.3% saved)

sample11.2s (23.7%)

Results
8.4s62917×body256valid
1.2s4147×body2048valid
839.0ms7240×body256infinite
483.0ms1929×body256invalid
Bogosity

eval7.3s (15.4%)

Compiler

Compiled 431464 to 261930 computations (39.3% saved)

soundness4.8s (10.2%)

Rules
37062×fma-def
15994×associate-*r*
14872×times-frac
9648×associate-*l*
9486×distribute-rgt-in
Stop Event
3×saturated
25×node limit
Compiler

Compiled 2671 to 1577 computations (41% saved)

simplify3.5s (7.5%)

Algorithm
36×egg-herbie
Rules
29844×fma-def
14702×times-frac
11530×associate-*r*
9730×fma-neg
9436×associate-*l*
Stop Event
15×saturated
5×done
4×fuel
21×node limit
Counts
6200 → 5578
Compiler

Compiled 933 to 595 computations (36.2% saved)

prune2.8s (5.8%)

Counts
10735 → 311
Compiler

Compiled 27295 to 17960 computations (34.2% saved)

rewrite1.8s (3.9%)

Algorithm
18×batch-egg-rewrite
Rules
10264×pow1
9752×add-exp-log
9750×expm1-log1p-u
9750×log1p-expm1-u
9710×add-log-exp
Stop Event
18×node limit
Counts
125 → 3610

regimes1.7s (3.6%)

Counts
391 → 72
Calls

19 calls:

284.0ms
c
281.0ms
b
224.0ms
x
221.0ms
a
182.0ms
y
Compiler

Compiled 7882 to 4343 computations (44.9% saved)

bsearch716.0ms (1.5%)

Algorithm
40×binary-search
Stop Event
36×narrow-enough
4×predicate-same
Results
560.0ms4465×body256valid
69.0ms623×body256infinite
20.0ms151×body256invalid
Compiler

Compiled 9484 to 6796 computations (28.3% saved)

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

series554.0ms (1.2%)

Counts
125 → 2581
Calls

855 calls:

TimeVariablePointExpression
33.0ms
y
@0
(fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y))
32.0ms
b
@-inf
(*.f64 c (/.f64 -2 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))))))
13.0ms
c
@-inf
(/.f64 (*.f64 a 2) (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) b))
12.0ms
a
@inf
(/.f64 c (+.f64 b (fma.f64 -2 (pow.f64 (cbrt.f64 (*.f64 a (/.f64 c b))) 3) b)))
11.0ms
b
@0
(*.f64 (/.f64 -1/2 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 (*.f64 a c) -4)))))

analyze551.0ms (1.2%)

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)

end507.0ms (1.1%)

Compiler

Compiled 2070 to 1162 computations (43.9% saved)

Profiling

Loading profile data...