Herbie run

Date:Tuesday, November 14th, 2023
Commit:71362506 on hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023318
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: 8.9min)

sample1.7min (19.5%)

Results
29.8s155071×body256valid
20.1s29455×body1024valid
12.1s67150×body256invalid
7.8s7764×body8192exit
6.9s39179×body256infinite
6.6s10326×body2048valid
5.8s13783×body512valid
3.0s5929×body1024invalid
2.2s637×body4096infinite
2.2s2065×body4096valid
1.5s652×body2048infinite
1.4s8044×body256unsamplable
1.4s2541×body1024infinite
1.0s3130×body512invalid
642.0ms1485×body512infinite
631.0ms742×body8192valid
3.0ms4×body2048invalid
Bogosity

localize1.6min (17.5%)

Compiler

Compiled 37121 to 19564 computations (47.3% saved)

soundness1.5min (16.4%)

Rules
209946×fma-def
166938×times-frac
160708×associate-*r*
118392×associate-*l*
117072×log-prod
Stop Event
2×unsound
5×saturated
392×node limit
Compiler

Compiled 41912 to 26871 computations (35.9% saved)

regimes1.0min (11.7%)

Counts
10194 → 878
Calls

152 calls:

4.4s
l
4.1s
F
2.7s
t
2.3s
Vef
2.2s
d
Compiler

Compiled 152492 to 87947 computations (42.3% saved)

eval52.6s (9.9%)

Compiler

Compiled 2475027 to 1599763 computations (35.4% saved)

simplify35.4s (6.7%)

Algorithm
151×egg-herbie
Rules
93656×fma-def
71990×times-frac
67276×associate-*r*
57652×associate-*l*
56890×*-commutative
Stop Event
2×done
31×saturated
29×fuel
120×node limit
Counts
64041 → 51320
Compiler

Compiled 14862 to 9832 computations (33.8% saved)

prune24.1s (4.5%)

Counts
79092 → 2985
Compiler

Compiled 210442 to 152381 computations (27.6% saved)

bsearch19.9s (3.7%)

Algorithm
449×binary-search
75×left-value
Stop Event
442×narrow-enough
7×predicate-same
Results
7.5s34853×body256valid
5.0s7461×body1024valid
1.8s7472×body256infinite
1.3s6897×body256invalid
1.1s2620×body512valid
693.0ms810×body4096valid
623.0ms754×body2048valid
500.0ms400×body8192valid
216.0ms444×body1024invalid
107.0ms238×body1024infinite
39.0ms140×body512infinite
39.0ms182×body512invalid
13.0ms20×body2048infinite
Compiler

Compiled 136690 to 103687 computations (24.1% saved)

rewrite18.6s (3.5%)

Algorithm
120×batch-egg-rewrite
Rules
58672×log1p-expm1-u
45040×expm1-log1p-u
41046×expm1-udef
35806×prod-diff
35680×log1p-udef
Stop Event
2×unsound
118×node limit
Counts
1269 → 35683

preprocess16.6s (3.1%)

Algorithm
31×egg-herbie
Rules
36464×fma-def
16464×fma-neg
13968×div-sub
13714×distribute-lft-neg-in
12742×distribute-lft-in
Stop Event
5×saturated
26×node limit
Compiler

Compiled 39706 to 22771 computations (42.7% saved)

analyze10.0s (1.9%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
30.2%28.2%65.2%1.8%0%4.8%0%3
34%31.2%60.6%1.8%0%6.4%0%4
36.2%33.2%58.5%1.8%0%6.4%0%5
40.4%37%54.5%1.8%0%6.6%0%6
45.4%41.1%49.4%1.8%0%7.3%0.4%7
47.7%42.6%46.7%1.8%0%8.6%0.4%8
50.6%44.9%43.9%1.8%0%8.9%0.5%9
51.7%45.7%42.7%1.8%0%9.3%0.5%10
53.4%46.8%40.9%1.8%0%9.9%0.6%11
55.1%48%39.1%1.8%0%10.5%0.6%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

series8.5s (1.6%)

Counts
1269 → 28358
Calls

8646 calls:

TimeVariablePointExpression
198.0ms
h
@-inf
(-.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 1 h) l))) 1)
113.0ms
l
@0
(/.f64 (*.f64 (/.f64 2 (pow.f64 t 3)) (*.f64 l l)) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (*.f64 (sin.f64 k) (tan.f64 k))))
112.0ms
d
@-inf
(pow.f64 (exp.f64 1/6) (+.f64 (log.f64 (*.f64 -1/4 (*.f64 (*.f64 (pow.f64 M 2) h) (/.f64 (pow.f64 D 2) l)))) (*.f64 -2 (log.f64 d))))
110.0ms
n
@-inf
(log.f64 (*.f64 (*.f64 2 U) (*.f64 n t)))
95.0ms
h
@-inf
(pow.f64 (/.f64 (/.f64 1 l) h) 3/2)

end17.0ms (0%)

Profiling

Loading profile data...