Herbie run

Date:Tuesday, October 10th, 2023
Commit:c00e4401 on platforms
Hostname:nightly with Racket 8.6
Seed:2023283
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: 12.3min)

sample3.2min (25.8%)

Results
1.4min366097×body256valid
1.1min7626×body8192exit
13.3s64009×body256infinite
9.3s16039×body1024valid
5.5s8508×body1024infinite
3.4s8900×body512valid
1.6s4735×body256invalid
1.5s2265×body2048valid
1.4s3567×body512infinite
1.1s4346×body256unsamplable
744.0ms1075×body4096valid
190.0ms142×body2048infinite
Bogosity

localize2.3min (18.6%)

Compiler

Compiled 46699 to 25271 computations (45.9% saved)

soundness1.7min (14.1%)

Rules
299638×fma-def
185650×associate-*r*
148400×log-prod
147862×fma-neg
147280×associate-*l*
Stop Event
22×unsound
13×saturated
407×node limit
Compiler

Compiled 45838 to 26626 computations (41.9% saved)

eval1.6min (13.3%)

Compiler

Compiled 3159654 to 1924531 computations (39.1% saved)

regimes48.4s (6.6%)

Counts
7389 → 921
Calls

130 calls:

5.9s
y.re
4.5s
im
3.9s
beta
3.6s
x.re
3.5s
y.im
Compiler

Compiled 113096 to 61749 computations (45.4% saved)

simplify45.8s (6.2%)

Algorithm
219×egg-herbie
Rules
121454×fma-def
87512×associate-*r*
86924×log-prod
74666×associate-*l*
68506×times-frac
Stop Event
4×unsound
57×saturated
20×done
37×fuel
158×node limit
Counts
59244 → 52617
Compiler

Compiled 12750 to 7957 computations (37.6% saved)

prune36.1s (4.9%)

Counts
81406 → 2983
Compiler

Compiled 217188 to 150335 computations (30.8% saved)

rewrite26.6s (3.6%)

Algorithm
162×batch-egg-rewrite
Rules
107820×pow1
102812×add-exp-log
102586×log1p-expm1-u
102566×expm1-log1p-u
97368×add-log-exp
Stop Event
5×unsound
157×node limit
Counts
1260 → 35463

preprocess18.7s (2.5%)

Algorithm
57×egg-herbie
Rules
62588×fma-def
24052×fma-neg
20432×distribute-lft-in
19572×distribute-rgt-in
18676×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 30665 to 16356 computations (46.7% saved)

bsearch17.5s (2.4%)

Algorithm
478×binary-search
37×left-value
Stop Event
459×narrow-enough
19×predicate-same
Results
9.3s41110×body256valid
2.3s2845×body1024infinite
1.8s7599×body256infinite
1.2s1938×body1024valid
614.0ms1182×body512infinite
393.0ms528×body2048valid
362.0ms1037×body512valid
97.0ms72×body2048infinite
46.0ms41×body4096valid
Compiler

Compiled 107448 to 73953 computations (31.2% saved)

series12.1s (1.6%)

Counts
1260 → 23781
Calls

6399 calls:

TimeVariablePointExpression
407.0ms
x.re
@-inf
(-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))
243.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
181.0ms
x
@0
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
163.0ms
x
@-inf
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
124.0ms
im
@0
(log.f64 (pow.f64 im (/.f64 1 (log.f64 base))))

analyze1.7s (0.2%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.8%48.1%38.2%13.7%0%0%0%1
64.2%54.3%30.3%13.7%0%1.7%0%2
82%67.3%14.7%13.7%0%4.3%0%3
85.4%69.8%11.9%13.7%0%4.5%0%4
90%73.5%8.1%13.7%0%4.6%0%5
91.3%74.3%7.1%13.7%0%4.9%0%6
93.8%75.5%5%13.7%0%5.8%0%7
94.8%76.2%4.2%13.7%0%5.9%0%8
95.2%76.5%3.9%13.7%0%5.9%0%9
96.4%77.1%2.8%13.7%0%6.4%0%10
96.5%77.1%2.8%13.7%0%6.4%0%11
96.7%77.3%2.6%13.7%0%6.4%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

end17.0ms (0%)

Profiling

Loading profile data...