Herbie run

Date:Friday, June 9th, 2023
Commit:1070430a on preprocess-formatting
Hostname:nightly with Racket 8.6
Seed:2023160
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: 11.2min)

sample2.6min (23.1%)

Results
1.1min365776×body256valid
58.5s7798×body8192exit
10.6s64218×body256infinite
9.0s16165×body1024valid
4.8s8279×body1024infinite
2.9s8812×body512valid
1.8s3843×body512infinite
1.1s2232×body2048valid
791.0ms4627×body256invalid
588.0ms1124×body4096valid
574.0ms4120×body256unsamplable
225.0ms143×body2048infinite
Bogosity

eval1.6min (14.6%)

Compiler

Compiled 4589351 to 2670314 computations (41.8% saved)

localize1.4min (12.9%)

Compiler

Compiled 47287 to 27726 computations (41.4% saved)

simplify1.3min (11.5%)

Algorithm
682×egg-herbie
Rules
515462×fma-def
315148×log-prod
303130×unswap-sqr
270458×fma-neg
268194×distribute-lft-in
Stop Event
4×unsound
84×saturated
21×done
36×fuel
594×node limit
Counts
81926 → 98246
Compiler

Compiled 14996 to 9421 computations (37.2% saved)

regimes1.0min (9%)

Counts
8486 → 1164
Calls

132 calls:

6.8s
im
6.2s
x.re
5.8s
x.im
5.4s
y.re
5.3s
y.im
Compiler

Compiled 121879 to 67606 computations (44.5% saved)

soundness59.4s (8.9%)

Rules
326876×fma-def
221910×log-prod
184612×fma-neg
155896×unswap-sqr
141498×distribute-lft-in
Stop Event
14×unsound
23×saturated
429×node limit
Compiler

Compiled 48887 to 29447 computations (39.8% saved)

rewrite51.6s (7.7%)

Algorithm
568×batch-egg-rewrite
Rules
421448×log-prod
388660×pow1
364964×add-exp-log
364604×log1p-expm1-u
364592×expm1-log1p-u
Stop Event
8×unsound
560×node limit
Counts
1316 → 56390

prune34.7s (5.2%)

Counts
120648 → 3190
Compiler

Compiled 99083 to 70357 computations (29% saved)

bsearch23.8s (3.5%)

Algorithm
716×binary-search
38×left-value
Stop Event
692×narrow-enough
24×predicate-same
Results
11.1s53782×body256valid
3.5s5863×body1024infinite
2.5s14248×body256infinite
2.4s4581×body1024valid
709.0ms2520×body512infinite
657.0ms2366×body512valid
555.0ms1108×body2048valid
351.0ms724×body4096valid
309.0ms72×body2048infinite
Compiler

Compiled 138864 to 99631 computations (28.3% saved)

end9.1s (1.4%)

Compiler

Compiled 32066 to 17268 computations (46.1% saved)

series9.0s (1.3%)

Counts
1316 → 25479
Calls

7074 calls:

TimeVariablePointExpression
240.0ms
alpha
@-inf
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (fma.f64 2 i 2)))
148.0ms
u1
@-inf
(log.f64 (fma.f64 1/6 (sqrt.f64 (*.f64 -2 (log.f64 u1))) 1/2))
130.0ms
x.im
@-inf
(*.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (pow.f64 x.im y.re))
117.0ms
y.im
@inf
(log.f64 (cos.f64 (*.f64 y.im (log.f64 (hypot.f64 x.im x.re)))))
93.0ms
base
@inf
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))

preprocess4.4s (0.7%)

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.9s (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...