Herbie run

Date:Friday, April 5th, 2024
Commit:e8a91f21 on egg-serialize
Hostname:nightly with Racket 8.11.1
Seed:2024096
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.3min)

sample52.2s (26%)

Results
13.2s105852×0valid
16.8s54239×1valid
11.4s16514×5exit
594.0ms5025×0infinite
399.0ms3849×0invalid
139.0ms1378×0unsamplable
1.0ms4×1infinite
Precisions
Click to see histograms. Total time spent on operations: 28.1s
ival-pow: 3.9s (14% of total)
ival-cos: 3.5s (12.6% of total)
backward-pass: 3.2s (11.3% of total)
ival-mult: 2.4s (8.5% of total)
ival-<=: 1.8s (6.5% of total)
ival-exp: 1.5s (5.3% of total)
ival-log: 1.4s (5% of total)
ival-sqrt: 1.2s (4.2% of total)
ival-sin: 1.1s (3.9% of total)
ival-add: 1.1s (3.8% of total)
ival-div: 1.0s (3.7% of total)
ival-tan: 944.0ms (3.4% of total)
ival-sub: 919.0ms (3.3% of total)
ival-sinh: 896.0ms (3.2% of total)
ival-fmod: 865.0ms (3.1% of total)
ival-neg: 491.0ms (1.7% of total)
const: 466.0ms (1.7% of total)
ival-acos: 376.0ms (1.3% of total)
ival-==: 319.0ms (1.1% of total)
ival-<: 214.0ms (0.8% of total)
ival-and: 201.0ms (0.7% of total)
ival-or: 84.0ms (0.3% of total)
ival->=: 64.0ms (0.2% of total)
ival-atan: 52.0ms (0.2% of total)
ival->: 41.0ms (0.1% of total)
Bogosity

localize45.4s (22.6%)

Results
5.8s9875×256valid
4.8s2063×1024valid
6.5s1206×2048valid
1.4s1141×512valid
578.0ms976×256invalid
16.6s932×8192exit
619.0ms335×256infinite
132.0ms224×256unsamplable
287.0ms82×1024invalid
124.0ms62×512invalid
Compiler

Compiled 9252 to 4613 computations (50.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 31.3s
ival-pow: 8.3s (26.5% of total)
ival-mult: 3.9s (12.6% of total)
ival-log: 3.3s (10.7% of total)
ival-asin: 3.3s (10.4% of total)
ival-exp: 2.0s (6.5% of total)
ival-fmod: 1.4s (4.4% of total)
ival-cos: 1.4s (4.3% of total)
ival-div: 1.3s (4.2% of total)
ival-sub: 1.2s (4% of total)
ival-add: 927.0ms (3% of total)
ival-cbrt: 816.0ms (2.6% of total)
composed: 767.0ms (2.5% of total)
ival-sin: 715.0ms (2.3% of total)
ival-acos: 499.0ms (1.6% of total)
const: 467.0ms (1.5% of total)
ival-sqrt: 300.0ms (1% of total)
ival-tan: 296.0ms (0.9% of total)
ival-e: 129.0ms (0.4% of total)
ival-sinh: 90.0ms (0.3% of total)
ival-neg: 80.0ms (0.3% of total)
ival-fabs: 15.0ms (0% of total)
ival-pi: 11.0ms (0% of total)
ival-atan: 5.0ms (0% of total)

analyze16.5s (8.2%)

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.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-<=: 5.0s (54.6% of total)
ival-tan: 1.0s (11.4% of total)
ival-add: 898.0ms (9.8% of total)
ival-sub: 578.0ms (6.3% of total)
ival-and: 326.0ms (3.6% of total)
const: 237.0ms (2.6% of total)
ival-==: 228.0ms (2.5% of total)
ival-or: 172.0ms (1.9% of total)
ival-mult: 134.0ms (1.5% of total)
ival-pow: 119.0ms (1.3% of total)
ival-sin: 98.0ms (1.1% of total)
ival-div: 75.0ms (0.8% of total)
ival-cos: 67.0ms (0.7% of total)
ival-exp: 48.0ms (0.5% of total)
ival-fmod: 45.0ms (0.5% of total)
ival-log: 21.0ms (0.2% of total)
ival-sqrt: 20.0ms (0.2% of total)
ival-neg: 18.0ms (0.2% of total)
ival-sinh: 16.0ms (0.2% of total)
ival->: 4.0ms (0% of total)
ival-<: 4.0ms (0% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

eval16.4s (8.2%)

Compiler

Compiled 772687 to 430325 computations (44.3% saved)

soundness15.7s (7.8%)

Rules
16570×log1p-expm1-u
14747×expm1-log1p-u
13988×fma-define
9352×associate-*r*
9181×fma-neg
Stop Event
5×saturated
55×node limit
11×fuel
9×done
Compiler

Compiled 14199 to 7914 computations (44.3% saved)

simplify14.5s (7.2%)

Algorithm
82×egg-herbie
Rules
21787×fma-define
20824×fma-neg
15571×*-commutative
15101×distribute-lft-in
14676×exp-prod
Stop Event
20×saturated
59×node limit
3×unsound
Counts
33489 → 22794

rewrite12.3s (6.1%)

Algorithm
62×batch-egg-rewrite
Rules
35025×log1p-expm1-u
29559×expm1-log1p-u
13580×pow1
12575×add-exp-log
12385×add-log-exp
Stop Event
62×node limit
Counts
515 → 24451

prune9.2s (4.6%)

Counts
36340 → 1678
Compiler

Compiled 59143 to 37329 computations (36.9% saved)

regimes5.0s (2.5%)

Counts
3248 → 155
Calls

55 calls:

681.0ms
a
656.0ms
x
622.0ms
b
509.0ms
r
190.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1725 to 1229 computations (28.8% saved)

series4.8s (2.4%)

Counts
515 → 9038
Calls

2451 calls:

TimeVariablePointExpression
234.0ms
a
@-inf
(log (* (/ (sin b) (cos (+ a b))) r))
127.0ms
b
@-inf
(cbrt (+ b a))
125.0ms
x
@0
(pow (* (pow x 6) 8) 1/6)
109.0ms
x
@0
(* (pow 2 1/4) x)
96.0ms
y
@inf
(* 3 (log (+ x (+ (tan (+ y z)) (tan a)))))

preprocess4.0s (2%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 6708 to 4028 computations (40% saved)

explain3.4s (1.7%)

Results
827.0ms7004×256valid
599.0ms1534×1024valid
274.0ms902×512valid
348.0ms384×2048valid
71.0ms324×256infinite
497.0ms92×8192exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-cos: 520.0ms (31.4% of total)
ival-log: 164.0ms (9.9% of total)
ival-mult: 128.0ms (7.7% of total)
ival-exp: 126.0ms (7.6% of total)
ival-pow: 103.0ms (6.2% of total)
ival-sin: 100.0ms (6% of total)
ival-sqrt: 88.0ms (5.3% of total)
ival-sub: 69.0ms (4.2% of total)
ival-tan: 67.0ms (4% of total)
ival-add: 63.0ms (3.8% of total)
ival-sinh: 60.0ms (3.6% of total)
ival-fmod: 52.0ms (3.1% of total)
ival-div: 42.0ms (2.5% of total)
ival-acos: 34.0ms (2.1% of total)
const: 25.0ms (1.5% of total)
ival-neg: 10.0ms (0.6% of total)
ival-atan: 4.0ms (0.2% of total)

bsearch1.3s (0.7%)

Algorithm
33×binary-search
7×left-value
Stop Event
3×predicate-same
30×narrow-enough
Results
786.0ms1806×1valid
239.0ms1683×0valid
48.0ms399×0infinite
6.0ms65×0unsamplable
Compiler

Compiled 7206 to 5256 computations (27.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 544.0ms
ival-tan: 138.0ms (25.4% of total)
backward-pass: 103.0ms (18.9% of total)
ival-add: 101.0ms (18.6% of total)
ival-pow: 40.0ms (7.4% of total)
ival-sin: 40.0ms (7.4% of total)
ival-cos: 34.0ms (6.2% of total)
ival-mult: 23.0ms (4.2% of total)
ival-sub: 20.0ms (3.7% of total)
ival-exp: 16.0ms (2.9% of total)
ival-div: 11.0ms (2% of total)
ival-acos: 8.0ms (1.5% of total)
const: 6.0ms (1.1% of total)
ival-neg: 5.0ms (0.9% of total)

end0.0ms (0%)

Profiling

Loading profile data...