Herbie run

Date:Wednesday, July 26th, 2023
Commit:5d4a62eb on filter-graph
Hostname:nightly with Racket 8.6
Seed:2023207
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: 5.3min)

sample1.2min (23.6%)

Results
39.4s269283×body256valid
16.2s14367×body2048valid
8.0s19690×body1024valid
5.1s31026×body256infinite
3.1s11192×body512valid
1.5s202×body8192exit
546.0ms791×body4096valid
276.0ms2627×body256invalid
117.0ms923×body256unsamplable
112.0ms178×body1024infinite
74.0ms211×body512infinite
14.0ms14×body2048infinite
Bogosity

soundness48.9s (15.4%)

Rules
218070×fma-def
122954×associate-*r*
114894×log-prod
114112×times-frac
102674×fma-neg
Stop Event
8×saturated
299×node limit
Compiler

Compiled 27824 to 15931 computations (42.7% saved)

localize48.2s (15.2%)

Compiler

Compiled 29320 to 15947 computations (45.6% saved)

eval38.8s (12.2%)

Compiler

Compiled 1899087 to 1166741 computations (38.6% saved)

simplify25.9s (8.2%)

Algorithm
211×egg-herbie
Rules
154702×fma-def
75476×fma-neg
74448×associate-*r*
71820×distribute-lft-in
69994×times-frac
Stop Event
14×done
58×saturated
28×fuel
153×node limit
Counts
49531 → 44078
Compiler

Compiled 8336 to 5218 computations (37.4% saved)

regimes20.9s (6.6%)

Counts
4958 → 632
Calls

94 calls:

3.3s
d
2.1s
c
1.9s
b
1.7s
x
1.5s
a
Compiler

Compiled 61376 to 33302 computations (45.7% saved)

prune16.0s (5%)

Counts
65635 → 2123
Compiler

Compiled 118422 to 79282 computations (33.1% saved)

rewrite15.0s (4.7%)

Algorithm
127×batch-egg-rewrite
Rules
85948×pow1
81458×add-exp-log
81398×log1p-expm1-u
81386×expm1-log1p-u
79438×add-log-exp
Stop Event
127×node limit
Counts
943 → 30026

bsearch11.5s (3.6%)

Algorithm
334×binary-search
23×left-value
Stop Event
319×narrow-enough
15×predicate-same
Results
6.1s31048×body256valid
1.7s6150×body256infinite
1.4s1939×body1024valid
541.0ms696×body2048valid
455.0ms1432×body512valid
211.0ms2211×body256invalid
142.0ms178×body1024infinite
71.0ms519×body256unsamplable
32.0ms99×body512infinite
15.0ms10×body4096valid
Compiler

Compiled 78227 to 54505 computations (30.3% saved)

analyze6.0s (1.9%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end5.9s (1.8%)

Compiler

Compiled 18378 to 9974 computations (45.7% saved)

preprocess2.9s (0.9%)

Algorithm
84×egg-herbie
Rules
36052×fma-def
15902×distribute-lft-in
14450×distribute-rgt-in
13270×distribute-lft-neg-in
12830×sub-neg
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

series2.4s (0.8%)

Counts
943 → 19463
Calls

5256 calls:

TimeVariablePointExpression
50.0ms
a
@inf
(pow.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))) 1/4)
32.0ms
t
@0
(-.f64 (pow.f64 t 3/2) 1)
30.0ms
x
@inf
(cbrt.f64 (*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 60) x) x)) (pow.f64 (cos.f64 x) 3)))
30.0ms
x
@0
(*.f64 (/.f64 y x) y)
25.0ms
t
@-inf
(-.f64 (pow.f64 t 3/2) 1)

Profiling

Loading profile data...