Herbie run

Date:Wednesday, September 20th, 2023
Commit:c5f986cd on arb-support
Hostname:nightly with Racket 8.6
Seed:2023263
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: 14.7min)

sample4.9min (33.7%)

Results
1.8min361852×body256valid
1.3min206731×body256precondition
36.6s24484×body8192exit
17.4s21483×body1024infinite
17.2s71318×body256invalid
14.0s49419×body256infinite
10.8s16888×body1024valid
4.8s8502×body512infinite
3.9s8757×body512valid
1.8s2420×body2048valid
1.3s1098×body4096valid
205.0ms173×body2048infinite
Bogosity

localize3.8min (26.1%)

Compiler

Compiled 49514 to 27736 computations (44% saved)

eval1.2min (8%)

Compiler

Compiled 3472531 to 2121408 computations (38.9% saved)

soundness1.1min (7.7%)

Rules
284770×fma-def
165722×associate-*r*
145754×fma-neg
131626×associate-*l*
130264×log-prod
Stop Event
12×unsound
21×saturated
384×node limit
Compiler

Compiled 42357 to 24817 computations (41.4% saved)

analyze1.0min (7.1%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.6%1.4%0%0%0%0
2.7%5.2%186.8%-92%0%0%0%1
5.2%19%346%-265%0%0%0%2
16.2%101.6%526.6%-528.3%0%0%0%3
12.8%143%970.6%-1013.5%0%0%0%4
11.3%225.5%1775.7%-1901.3%0%0%0%5
6%225.5%3551.1%-3676.7%0%0%0%6
3.1%225.5%7101.5%-7227%0%0%0%7
1.6%225.5%14201.5%-14327%0%0%0%8
0.8%225.5%28400.1%-28525.6%0%0%0%9
0.4%225.5%56794.5%-56920%0%0%0%10
0.2%225.5%113577.5%-113703.1%0%0%0%11
0.1%225.5%227132.5%-227258.1%0%0%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

simplify38.9s (4.4%)

Algorithm
274×egg-herbie
Rules
169500×fma-def
91352×associate-*r*
83546×fma-neg
82396×distribute-lft-in
77122×times-frac
Stop Event
5×unsound
84×saturated
21×done
36×fuel
185×node limit
Counts
58519 → 51921
Compiler

Compiled 14289 to 8956 computations (37.3% saved)

regimes29.6s (3.4%)

Counts
7781 → 1026
Calls

132 calls:

4.6s
im
2.3s
re
2.2s
y.re
2.1s
y.im
2.0s
x.im
Compiler

Compiled 116330 to 64720 computations (44.4% saved)

bsearch23.7s (2.7%)

Algorithm
546×binary-search
50×left-value
Stop Event
528×narrow-enough
18×predicate-same
Results
11.1s39980×body256valid
3.9s5645×body1024infinite
2.5s9979×body256infinite
1.9s4412×body512infinite
1.8s2533×body1024valid
515.0ms1326×body512valid
220.0ms283×body2048valid
102.0ms71×body2048infinite
89.0ms75×body4096valid
Compiler

Compiled 109181 to 78066 computations (28.5% saved)

prune22.3s (2.5%)

Counts
84447 → 3121
Compiler

Compiled 213396 to 146612 computations (31.3% saved)

rewrite19.7s (2.2%)

Algorithm
160×batch-egg-rewrite
Rules
103424×pow1
98538×add-exp-log
98296×log1p-expm1-u
98280×expm1-log1p-u
96224×add-log-exp
Stop Event
5×unsound
155×node limit
Counts
1198 → 35475

end8.0s (0.9%)

Compiler

Compiled 30998 to 16584 computations (46.5% saved)

series7.9s (0.9%)

Counts
1198 → 22987
Calls

5910 calls:

TimeVariablePointExpression
302.0ms
alpha
@-inf
(+.f64 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (fma.f64 2 i 2))) (/.f64 (+.f64 alpha beta) (fma.f64 2 i (+.f64 alpha beta)))) 1)
90.0ms
x.re
@0
(sin.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re)))) 3) 3))
84.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
73.0ms
im
@0
(/.f64 (atan2.f64 im re) (log.f64 10))
71.0ms
base
@-inf
(log.f64 (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base))))

preprocess4.4s (0.5%)

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)

Profiling

Loading profile data...