Herbie run

Date:Friday, February 9th, 2024
Commit:0d0ea017 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024040
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: 1.2min)

localize17.6s (23.5%)

Compiler

Compiled 6750 to 3533 computations (47.7% saved)

eval15.1s (20.2%)

Compiler

Compiled 828632 to 538732 computations (35% saved)

sample13.5s (18.1%)

Results
10.0s63022×body256valid
1.8s4103×body2048valid
1.2s7179×body256infinite
473.0ms1885×body256invalid
Bogosity

soundness8.3s (11%)

Rules
30710×fma-def
18196×times-frac
16380×associate-*r*
13910×fma-neg
13674×distribute-lft-in
Stop Event
2×saturated
33×node limit
Compiler

Compiled 4679 to 2787 computations (40.4% saved)

simplify4.6s (6.2%)

Algorithm
27×egg-herbie
Rules
20986×fma-def
11980×times-frac
9602×associate-*r*
9518×log-prod
8184×distribute-lft-in
Stop Event
9×saturated
18×node limit
4×fuel
5×done
Counts
7516 → 6429
Compiler

Compiled 1542 to 1009 computations (34.6% saved)

prune4.4s (5.9%)

Counts
17728 → 248
Compiler

Compiled 22152 to 14976 computations (32.4% saved)

rewrite3.4s (4.6%)

Algorithm
18×batch-egg-rewrite
Rules
9549×log1p-expm1-u
6835×expm1-log1p-u
5998×prod-diff
5916×expm1-udef
4818×log1p-udef
Stop Event
18×node limit
Counts
124 → 4571

preprocess2.9s (3.9%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5092×div-sub
4546×fma-neg
3738×times-frac
3230×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4054 to 2346 computations (42.1% saved)

regimes2.2s (2.9%)

Counts
384 → 96
Calls

22 calls:

409.0ms
b
345.0ms
a
313.0ms
c
305.0ms
x
179.0ms
z
Compiler

Compiled 8610 to 5124 computations (40.5% saved)

bsearch1.1s (1.5%)

Algorithm
57×binary-search
Stop Event
9×predicate-same
48×narrow-enough
Results
807.0ms5491×body256valid
103.0ms861×body256infinite
78.0ms461×body256invalid
Compiler

Compiled 13787 to 9817 computations (28.8% saved)

series956.0ms (1.3%)

Counts
124 → 2945
Calls

867 calls:

TimeVariablePointExpression
47.0ms
c
@inf
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (pow.f64 (*.f64 (pow.f64 (*.f64 c a) 2) 16) 1/4)))
37.0ms
f
@0
(*.f64 2 (/.f64 f n))
30.0ms
a
@0
(pow.f64 (*.f64 (*.f64 -4 a) c) 1/4)
30.0ms
a
@-inf
(pow.f64 (*.f64 (*.f64 -4 a) c) 1/4)
29.0ms
a
@0
(pow.f64 (*.f64 (*.f64 a -4) c) 1/4)

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

end2.0ms (0%)

Profiling

Loading profile data...