Herbie run

Date:Wednesday, January 17th, 2024
Commit:515c99e9 on reorg-sampling
Hostname:nightly with Racket 8.6
Seed:2024017
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: 9.7min)

sample2.8min (28.4%)

Results
1.1min372682×body256valid
1.1min7639×body8192exit
13.2s72590×body256infinite
5.4s10456×body1024valid
3.8s4629×body512infinite
2.8s7186×body512valid
1.4s1873×body2048valid
581.0ms1086×body4096valid
526.0ms4113×body256unsamplable
99.0ms91×body1024infinite
63.0ms537×body256invalid
Bogosity

localize1.6min (16.5%)

Compiler

Compiled 46823 to 26882 computations (42.6% saved)

soundness1.3min (13.5%)

Rules
170980×fma-def
114609×associate-*r*
95836×fma-neg
94981×log-prod
85855×associate-*l*
Stop Event
12×unsound
15×saturated
300×node limit
Compiler

Compiled 31838 to 19212 computations (39.7% saved)

eval1.1min (11.4%)

Compiler

Compiled 3213388 to 2065646 computations (35.7% saved)

simplify47.7s (8.2%)

Algorithm
222×egg-herbie
Rules
108424×fma-def
79617×log-prod
77071×associate-*r*
69146×fma-neg
68689×times-frac
Stop Event
4×unsound
57×saturated
22×done
35×fuel
161×node limit
Counts
63632 → 55091
Compiler

Compiled 10545 to 6940 computations (34.2% saved)

rewrite32.4s (5.6%)

Algorithm
165×batch-egg-rewrite
Rules
100271×log1p-expm1-u
76567×expm1-log1p-u
54711×prod-diff
51330×expm1-udef
50824×log-prod
Stop Event
5×unsound
160×node limit
Counts
1262 → 40234

regimes26.8s (4.6%)

Counts
6304 → 738
Calls

132 calls:

3.8s
y.im
2.4s
x.re
2.3s
y.re
1.9s
x.im
1.8s
x
Compiler

Compiled 111181 to 67860 computations (39% saved)

preprocess23.5s (4.1%)

Algorithm
57×egg-herbie
Rules
62146×fma-def
21928×distribute-lft-in
21764×fma-neg
21538×distribute-rgt-in
20904×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 38984 to 22419 computations (42.5% saved)

prune22.5s (3.9%)

Counts
86580 → 2727
Compiler

Compiled 204833 to 145853 computations (28.8% saved)

bsearch9.7s (1.7%)

Algorithm
319×binary-search
48×left-value
Stop Event
308×narrow-enough
11×predicate-same
Results
5.1s26415×body256valid
1.6s1587×body512infinite
1.3s6013×body256infinite
367.0ms611×body2048valid
291.0ms540×body512valid
178.0ms532×body1024valid
56.0ms51×body1024infinite
47.0ms91×body4096valid
Compiler

Compiled 64423 to 45306 computations (29.7% saved)

series9.6s (1.7%)

Counts
1262 → 23398
Calls

6279 calls:

TimeVariablePointExpression
153.0ms
x.re
@0
(pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))
122.0ms
im
@0
(/.f64 (atan2.f64 im re) (log.f64 (/.f64 1 base)))
114.0ms
x
@inf
(pow.f64 (pow.f64 (-.f64 wj (/.f64 (-.f64 wj (/.f64 x (exp.f64 wj))) (+.f64 wj 1))) 3) 1/3)
113.0ms
x.re
@inf
(cos.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.re)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
111.0ms
re
@0
(cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 3))

analyze3.3s (0.6%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 1007 computations (35.4% saved)

end14.0ms (0%)

Profiling

Loading profile data...