Herbie run

Date:Saturday, June 10th, 2023
Commit:2141b192 on redesign-report
Hostname:nightly with Racket 8.6
Seed:2023161
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: 2.9min)

sample42.7s (24.4%)

Results
13.0s108433×body256valid
12.0s27758×body1024valid
8.2s4999×body8192exit
4.3s13976×body512valid
1.6s4014×body1024invalid
1.1s1649×body2048valid
916.0ms4689×body256infinite
615.0ms2030×body512invalid
238.0ms2422×body256invalid
168.0ms1135×body256unsamplable
78.0ms178×body1024infinite
48.0ms181×body512infinite
0.0ms1×body2048invalid
Bogosity

localize25.6s (14.6%)

Compiler

Compiled 8387 to 3783 computations (54.9% saved)

simplify24.3s (13.9%)

Algorithm
226×egg-herbie
Rules
137024×fma-def
105950×log-prod
88244×fma-neg
83076×unswap-sqr
78468×associate-*r*
Stop Event
4×unsound
5×done
32×saturated
14×fuel
190×node limit
Counts
30905 → 33463
Compiler

Compiled 1899 to 1272 computations (33% saved)

eval19.4s (11%)

Compiler

Compiled 1108725 to 553548 computations (50.1% saved)

rewrite17.8s (10.1%)

Algorithm
188×batch-egg-rewrite
Rules
150798×log-prod
127468×pow1
118738×add-exp-log
118634×log1p-expm1-u
118626×expm1-log1p-u
Stop Event
2×unsound
186×node limit
Counts
442 → 21792

regimes14.6s (8.3%)

Counts
4483 → 164
Calls

51 calls:

1.8s
a
1.7s
r
1.6s
x
1.4s
b
786.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 56790 to 26099 computations (54% saved)

prune12.5s (7.1%)

Counts
41544 → 1832
Compiler

Compiled 49627 to 34251 computations (31% saved)

analyze9.0s (5.1%)

Algorithm
19×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%72.3%27.7%0%0%0%0
23.7%17.1%55.2%27.7%0%0%0%1
47.3%34.2%38.1%27.7%0%0%0%2
54.6%39.5%32.9%27.7%0%0%0%3
63.6%46%26.3%27.7%0%0%0%4
66.8%47.7%23.7%27.7%0%1%0%5
68.3%48.5%22.5%27.7%0%1.2%0.2%6
72.7%51.2%19.2%27.7%0%1.7%0.2%7
73.7%51.8%18.5%27.7%0%1.8%0.2%8
76%53.2%16.8%27.7%0%2.2%0.2%9
77.5%54.1%15.7%27.7%0%2.3%0.3%10
78.3%54.5%15.1%27.7%0%2.5%0.3%11
79.1%55%14.6%27.7%0%2.5%0.3%12
Compiler

Compiled 288 to 205 computations (28.8% saved)

series3.1s (1.7%)

Counts
442 → 9094
Calls

2448 calls:

TimeVariablePointExpression
250.0ms
l
@0
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) 3)
81.0ms
b
@inf
(log1p.f64 (/.f64 (cos.f64 a) (sin.f64 b)))
75.0ms
x
@0
(*.f64 x (neg.f64 (sqrt.f64 2)))
71.0ms
x
@-inf
(log.f64 (sqrt.f64 (+.f64 (exp.f64 (-.f64 1 (/.f64 x lo))) (fma.f64 1/2 (/.f64 (exp.f64 (-.f64 1 (/.f64 x lo))) (*.f64 (/.f64 lo hi) (/.f64 lo hi))) (/.f64 (exp.f64 (-.f64 1 (/.f64 x lo))) (/.f64 lo hi))))))
69.0ms
a
@inf
(log.f64 (/.f64 (sin.f64 b) (/.f64 (cos.f64 a) r)))

soundness2.5s (1.4%)

Rules
18498×log-prod
12482×fma-def
7262×fma-neg
6554×prod-diff
5192×unswap-sqr
Stop Event
20×node limit
Compiler

Compiled 1716 to 807 computations (53% saved)

preprocess1.4s (0.8%)

Algorithm
38×egg-herbie
Rules
11318×fma-def
6306×sqr-pow
5666×associate-/l/
5628×unswap-sqr
3388×associate-*r*
Stop Event
3×unsound
28×saturated
7×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

bsearch1.4s (0.8%)

Algorithm
47×binary-search
Stop Event
44×narrow-enough
3×predicate-failed
Results
666.0ms4124×body256valid
305.0ms762×body1024valid
147.0ms406×body512valid
60.0ms89×body2048valid
55.0ms351×body256infinite
52.0ms782×body256invalid
11.0ms39×body512infinite
Compiler

Compiled 7744 to 5520 computations (28.7% saved)

end1.1s (0.6%)

Compiler

Compiled 3164 to 1738 computations (45.1% saved)

Profiling

Loading profile data...