Herbie run

Date:Friday, June 23rd, 2023
Commit:35270f74 on tutorial-update
Hostname:nightly with Racket 8.6
Seed:2023174
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

Details

Time bar (total: 8.4min)

sample2.4min (28.3%)

Results
56.6s365696×body256valid
55.0s7897×body8192exit
9.6s64572×body256infinite
8.3s15962×body1024valid
5.1s8284×body1024infinite
2.3s8941×body512valid
1.2s2220×body2048valid
1.2s3673×body512infinite
707.0ms4711×body256invalid
642.0ms4414×body256unsamplable
503.0ms1116×body4096valid
139.0ms145×body2048infinite
Bogosity

localize1.4min (16.2%)

Compiler

Compiled 46764 to 25276 computations (45.9% saved)

soundness1.2min (13.9%)

Rules
278122×fma-def
154940×associate-*r*
130586×fma-neg
123802×log-prod
123800×*-commutative
Stop Event
19×unsound
20×saturated
366×node limit
Compiler

Compiled 36804 to 21062 computations (42.8% saved)

eval59.2s (11.8%)

Compiler

Compiled 3056080 to 1814222 computations (40.6% saved)

simplify38.7s (7.7%)

Algorithm
281×egg-herbie
Rules
172466×fma-def
97174×associate-*r*
87388×fma-neg
81634×associate-*l*
81498×log-prod
Stop Event
5×unsound
84×saturated
21×done
36×fuel
192×node limit
Counts
63760 → 57206
Compiler

Compiled 13123 to 7852 computations (40.2% saved)

regimes32.0s (6.4%)

Counts
7399 → 986
Calls

132 calls:

5.1s
y.re
3.2s
y.im
3.0s
im
2.4s
x.im
2.4s
re
Compiler

Compiled 105950 to 58177 computations (45.1% saved)

prune23.1s (4.6%)

Counts
80209 → 3110
Compiler

Compiled 207911 to 144370 computations (30.6% saved)

rewrite19.4s (3.9%)

Algorithm
167×batch-egg-rewrite
Rules
105478×pow1
100584×add-exp-log
100336×log1p-expm1-u
100320×expm1-log1p-u
95158×add-log-exp
Stop Event
6×unsound
161×node limit
Counts
1324 → 38440

bsearch16.0s (3.2%)

Algorithm
541×binary-search
36×left-value
Stop Event
522×narrow-enough
19×predicate-same
Results
7.4s41389×body256valid
2.3s3905×body1024infinite
1.9s11594×body256infinite
1.3s2294×body512infinite
776.0ms1741×body1024valid
303.0ms1186×body512valid
260.0ms495×body2048valid
195.0ms180×body2048infinite
169.0ms368×body4096valid
Compiler

Compiled 108379 to 74733 computations (31% saved)

series7.9s (1.6%)

Counts
1324 → 25263
Calls

6720 calls:

TimeVariablePointExpression
246.0ms
x.im
@0
(/.f64 (-.f64 x.im (*.f64 (/.f64 x.re y.re) y.im)) y.re)
136.0ms
x
@-inf
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
79.0ms
i
@-inf
(/.f64 alpha (+.f64 alpha (*.f64 2 i)))
73.0ms
x.im
@-inf
(cos.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.im)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
73.0ms
im
@0
(/.f64 (log.f64 im) (log.f64 base))

end6.9s (1.4%)

Compiler

Compiled 28706 to 14272 computations (50.3% saved)

preprocess4.7s (0.9%)

Algorithm
114×egg-herbie
Rules
35032×fma-def
16312×associate-*r*
15382×sqr-pow
15088×distribute-lft-in
14640×distribute-rgt-in
Stop Event
70×saturated
14×unsound
30×node limit
Compiler

Compiled 1510 to 967 computations (36% saved)

analyze1.5s (0.3%)

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)

Profiling

Loading profile data...