Herbie run

Date:Wednesday, January 10th, 2024
Commit:3465769b on main
Hostname:nightly with Racket 8.6
Seed:2024010
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

Time bar (total: 3.1min)

sample51.7s (28.2%)

Results
15.8s115824×body256valid
13.8s12614×body8192exit
7.7s23385×body512valid
6.1s16046×body1024valid
4.8s4829×body2048valid
962.0ms5036×body256infinite
953.0ms2273×body1024invalid
656.0ms4798×body256invalid
255.0ms1205×body512invalid
174.0ms1177×body256unsamplable
5.0ms2×body8192invalid
3.0ms4×body2048invalid
1.0ms1×body4096invalid
Bogosity

soundness31.4s (17.1%)

Rules
47976×fma-def
39905×log1p-expm1-u
34666×associate-*r*
33838×log-prod
31048×expm1-log1p-u
Stop Event
5×saturated
2×unsound
122×node limit
Compiler

Compiled 11007 to 6014 computations (45.4% saved)

localize21.3s (11.6%)

Compiler

Compiled 7869 to 3463 computations (56% saved)

eval17.1s (9.3%)

Compiler

Compiled 871339 to 446404 computations (48.8% saved)

simplify13.0s (7.1%)

Algorithm
81×egg-herbie
Rules
40926×fma-def
30958×log-prod
29292×distribute-lft-in
26022×unswap-sqr
25936×distribute-rgt-in
Stop Event
3×unsound
3×done
20×saturated
17×fuel
58×node limit
Counts
27300 → 21014
Compiler

Compiled 1710 to 1092 computations (36.1% saved)

regimes10.6s (5.8%)

Counts
3215 → 143
Calls

55 calls:

1.5s
a
991.0ms
b
977.0ms
x
706.0ms
r
553.0ms
y
Compiler

Compiled 39319 to 18149 computations (53.8% saved)

prune10.0s (5.5%)

Counts
36594 → 1614
Compiler

Compiled 90318 to 59673 computations (33.9% saved)

analyze10.0s (5.4%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71%51.1%20.8%26.3%0%1.6%0.2%7
72%51.6%20.1%26.3%0%1.8%0.2%8
74.2%53%18.4%26.3%0%2%0.2%9
75.7%53.9%17.3%26.3%0%2.2%0.3%10
76.4%54.3%16.8%26.3%0%2.3%0.3%11
77.2%54.8%16.2%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

rewrite8.5s (4.6%)

Algorithm
61×batch-egg-rewrite
Rules
33195×log1p-expm1-u
27255×expm1-log1p-u
22926×log-prod
21048×prod-diff
17704×expm1-udef
Stop Event
61×node limit
Counts
467 → 19232

preprocess4.8s (2.6%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6946×fma-neg
6348×distribute-lft-neg-in
5222×div-sub
4908×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 12692 to 7807 computations (38.5% saved)

series3.6s (2%)

Counts
467 → 8068
Calls

2244 calls:

TimeVariablePointExpression
284.0ms
z
@-inf
(log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))
142.0ms
x
@0
(*.f64 (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) (sqrt.f64 x)) (pow.f64 2 1/4))
121.0ms
y
@-inf
(log.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (-.f64 (tan.f64 a) x)))
107.0ms
y
@inf
(log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))
80.0ms
a
@inf
(/.f64 (sin.f64 b) (fma.f64 (cos.f64 b) (cos.f64 a) (fma.f64 (sin.f64 a) (neg.f64 (sin.f64 b)) (fma.f64 (neg.f64 (sin.f64 a)) (sin.f64 b) (*.f64 (sin.f64 a) (sin.f64 b))))))

bsearch1.5s (0.8%)

Algorithm
26×binary-search
17×left-value
Stop Event
26×narrow-enough
Results
695.0ms2171×body256valid
673.0ms1225×body512valid
7.0ms44×body256infinite
Compiler

Compiled 5165 to 3758 computations (27.2% saved)

end1.0ms (0%)

Profiling

Loading profile data...