Herbie run

Date:Wednesday, November 1st, 2023
Commit:14fe7950 on main
Hostname:nightly with Racket 8.6
Seed:2023305
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.0min)

localize11.4s (18.9%)

Compiler

Compiled 6517 to 3481 computations (46.6% saved)

eval11.3s (18.6%)

Compiler

Compiled 568678 to 364465 computations (35.9% saved)

sample10.4s (17.2%)

Results
7.9s62904×body256valid
1.3s4167×body2048valid
780.0ms7233×body256infinite
341.0ms1949×body256invalid
Bogosity

soundness9.2s (15.2%)

Rules
31608×fma-def
24884×associate-*r*
24044×times-frac
16840×associate-*l*
15496×fma-neg
Stop Event
2×saturated
45×node limit
Compiler

Compiled 5072 to 2949 computations (41.9% saved)

simplify4.5s (7.4%)

Algorithm
27×egg-herbie
Rules
15630×fma-def
11774×times-frac
10956×associate-*r*
8086×associate-*l*
7964×log-prod
Stop Event
8×saturated
4×done
5×fuel
19×node limit
Counts
8204 → 7705
Compiler

Compiled 1117 to 725 computations (35.1% saved)

prune3.7s (6.1%)

Counts
14475 → 328
Compiler

Compiled 29460 to 19966 computations (32.2% saved)

rewrite3.0s (5%)

Algorithm
18×batch-egg-rewrite
Rules
9443×log1p-expm1-u
7444×expm1-udef
6900×expm1-log1p-u
5130×log1p-udef
4866×prod-diff
Stop Event
18×node limit
Counts
147 → 5228

preprocess2.6s (4.3%)

Algorithm
9×egg-herbie
Rules
5836×div-sub
5698×fma-neg
5666×fma-def
4802×times-frac
3040×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3178 to 1808 computations (43.1% saved)

regimes2.2s (3.7%)

Counts
435 → 79
Calls

19 calls:

384.0ms
c
305.0ms
a
287.0ms
b
221.0ms
x
199.0ms
y
Compiler

Compiled 8793 to 5237 computations (40.4% saved)

series926.0ms (1.5%)

Counts
147 → 2976
Calls

1026 calls:

TimeVariablePointExpression
109.0ms
x
@0
(*.f64 (pow.f64 (pow.f64 (+.f64 x -1) 3) 1/6) (sqrt.f64 x))
44.0ms
b
@0
(-.f64 (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))) b)
36.0ms
a
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
31.0ms
z
@0
(/.f64 1 (/.f64 y (*.f64 x z)))
27.0ms
c
@inf
(cbrt.f64 (*.f64 c (/.f64 2 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a)))) b))))

bsearch647.0ms (1.1%)

Algorithm
39×binary-search
2×left-value
Stop Event
34×narrow-enough
5×predicate-same
Results
516.0ms4094×body256valid
62.0ms514×body256infinite
4.0ms32×body256invalid
Compiler

Compiled 8232 to 5854 computations (28.9% saved)

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

end1.0ms (0%)

Profiling

Loading profile data...