Herbie run

Date:Wednesday, October 4th, 2023
Commit:39449eb5 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023277
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: 15.1min)

sample5.0min (33.4%)

Results
1.3min52140×body8192exit
1.2min244455×body256valid
39.8s139360×body256precondition
30.3s37618×body1024valid
25.1s31338×body2048valid
15.4s51453×body256infinite
11.1s21630×body512valid
10.6s42568×body256invalid
8.6s9853×body4096valid
5.7s12433×body512infinite
2.9s3450×body1024infinite
556.0ms567×body2048infinite
17.0ms8×body8192valid
Bogosity

localize3.4min (22.8%)

Compiler

Compiled 40772 to 21781 computations (46.6% saved)

soundness1.3min (8.7%)

Rules
242624×fma-def
133238×associate-*r*
120728×fma-neg
112172×log-prod
109598×distribute-lft-in
Stop Event
15×unsound
17×saturated
326×node limit
Compiler

Compiled 47611 to 27873 computations (41.5% saved)

eval1.2min (7.9%)

Compiler

Compiled 2473927 to 1395072 computations (43.6% saved)

analyze1.1min (7.6%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.6%1.4%0%0%0%0
1.8%3.4%190.3%-93.7%0%0%0%1
4.7%17.2%352.9%-270.1%0%0%0%2
16.9%106.8%526.6%-533.4%0%0%0%3
13.2%148.1%970.6%-1018.7%0%0%0%4
11.5%230.7%1775.7%-1906.5%0%0%0%5
6.1%230.7%3551.1%-3681.8%0%0%0%6
3.1%230.7%7101.5%-7232.2%0%0%0%7
1.6%230.7%14201.5%-14332.2%0%0%0%8
0.8%230.7%28400.1%-28530.8%0%0%0%9
0.4%230.7%56794.5%-56925.2%0%0%0%10
0.2%230.7%113577.5%-113708.2%0%0%0%11
0.1%230.7%227132.5%-227263.2%0%0%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

simplify43.7s (4.8%)

Algorithm
220×egg-herbie
Rules
134118×fma-def
69840×associate-*r*
67354×fma-neg
61396×*-commutative
61266×times-frac
Stop Event
3×unsound
75×saturated
24×done
26×fuel
142×node limit
Counts
42969 → 39766
Compiler

Compiled 11951 to 7576 computations (36.6% saved)

regimes42.4s (4.7%)

Counts
6463 → 801
Calls

99 calls:

5.6s
im
4.6s
y.im
4.3s
y.re
3.6s
x.re
3.5s
x.im
Compiler

Compiled 131541 to 75210 computations (42.8% saved)

prune28.5s (3.2%)

Counts
59176 → 2459
Compiler

Compiled 188719 to 128106 computations (32.1% saved)

rewrite22.0s (2.4%)

Algorithm
120×batch-egg-rewrite
Rules
78630×pow1
74712×add-exp-log
74524×log1p-expm1-u
74518×expm1-log1p-u
70934×add-log-exp
Stop Event
3×unsound
117×node limit
Counts
834 → 25290

bsearch16.7s (1.8%)

Algorithm
415×binary-search
38×left-value
Stop Event
400×narrow-enough
15×predicate-same
Results
6.2s26583×body256valid
3.5s13633×body256infinite
1.3s1795×body2048valid
1.2s2222×body1024valid
770.0ms2303×body512infinite
499.0ms771×body1024infinite
496.0ms1168×body512valid
481.0ms568×body8192exit
476.0ms595×body4096valid
53.0ms66×body2048infinite
Compiler

Compiled 92310 to 62896 computations (31.9% saved)

end10.6s (1.2%)

Compiler

Compiled 26006 to 14088 computations (45.8% saved)

series9.2s (1%)

Counts
834 → 17629
Calls

4563 calls:

TimeVariablePointExpression
151.0ms
base
@0
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base))
143.0ms
im
@0
(log1p.f64 (/.f64 (log.f64 im) (log.f64 10)))
124.0ms
d3
@-inf
(+.f64 (*.f64 d1 (-.f64 d2 d3)) (-.f64 (*.f64 d1 d4) (*.f64 d1 d1)))
113.0ms
x.im
@-inf
(cos.f64 (pow.f64 (pow.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re x.im)) (*.f64 (atan2.f64 x.im x.re) y.re)) 3) 1/3))
109.0ms
x.im
@0
(sin.f64 (+.f64 (*.f64 -1 (*.f64 (log.f64 (/.f64 -1 x.re)) y.im)) (*.f64 y.re (atan2.f64 x.im x.re))))

preprocess4.7s (0.5%)

Algorithm
100×egg-herbie
Rules
27050×fma-def
13708×associate-*r*
12780×sqr-pow
12742×distribute-lft-in
12260×distribute-rgt-in
Stop Event
62×saturated
14×unsound
24×node limit
Compiler

Compiled 1222 to 773 computations (36.7% saved)

Profiling

Loading profile data...