Herbie run

Date:Saturday, February 24th, 2024
Commit:0406aea6 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024055
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.6min)

sample1.0min (27.7%)

Results
18.8s116352×256valid
9.6s23170×512valid
6.7s15997×1024valid
13.4s11996×8192exit
905.0ms4931×256infinite
715.0ms4863×256invalid
4.5s4664×2048valid
960.0ms2248×1024invalid
275.0ms1193×512invalid
179.0ms1164×256unsamplable
2.0ms6×512infinite
Precisions
Click to see histograms. Total time spent on operations: 34.7s
Operation ival-log, time spent: 7.3s, 21.0% of total-time
Operation ival-cos, time spent: 3.8s, 11.0% of total-time
Operation ival-pow, time spent: 3.7s, 11.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 8.0% of total-time
Operation ival-mult, time spent: 2.1s, 6.0% of total-time
Operation ival-exp, time spent: 2.0s, 6.0% of total-time
Operation ival-<=, time spent: 1.8s, 5.0% of total-time
Operation ival-sinh, time spent: 1.7s, 5.0% of total-time
Operation ival-sin, time spent: 1.4s, 4.0% of total-time
Operation ival-div, time spent: 1.4s, 4.0% of total-time
Operation ival-add, time spent: 1.1s, 3.0% of total-time
Operation ival-sub, time spent: 1.1s, 3.0% of total-time
Operation ival-tan, time spent: 1.0s, 3.0% of total-time
Operation ival-acos, time spent: 890.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 712.0ms, 2.0% of total-time
Operation const, time spent: 573.0ms, 2.0% of total-time
Operation ival-neg, time spent: 401.0ms, 1.0% of total-time
Operation ival-and, time spent: 237.0ms, 1.0% of total-time
Operation ival-<, time spent: 199.0ms, 1.0% of total-time
Operation ival-==, time spent: 186.0ms, 1.0% of total-time
Operation ival-or, time spent: 90.0ms, 0.0% of total-time
Operation ival-atan, time spent: 73.0ms, 0.0% of total-time
Operation ival->=, time spent: 55.0ms, 0.0% of total-time
Operation ival->, time spent: 36.0ms, 0.0% of total-time
Bogosity

localize42.3s (19.4%)

Compiler

Compiled 8868 to 4264 computations (51.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.0s
Operation ival-pow, time spent: 6.2s, 19.0% of total-time
Operation ival-asin, time spent: 5.0s, 16.0% of total-time
Operation ival-log, time spent: 3.2s, 10.0% of total-time
Operation ival-mult, time spent: 2.9s, 9.0% of total-time
Operation composed, time spent: 2.3s, 7.0% of total-time
Operation ival-sub, time spent: 1.8s, 6.0% of total-time
Operation ival-acos, time spent: 1.5s, 5.0% of total-time
Operation ival-exp, time spent: 1.3s, 4.0% of total-time
Operation ival-cbrt, time spent: 1.2s, 4.0% of total-time
Operation ival-add, time spent: 1.1s, 4.0% of total-time
Operation ival-div, time spent: 1.1s, 4.0% of total-time
Operation ival-cos, time spent: 967.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 908.0ms, 3.0% of total-time
Operation const, time spent: 539.0ms, 2.0% of total-time
Operation ival-tan, time spent: 519.0ms, 2.0% of total-time
Operation ival-sin, time spent: 479.0ms, 1.0% of total-time
Operation ival-neg, time spent: 406.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 386.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 132.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 26.0ms, 0.0% of total-time
Operation ival-pi, time spent: 14.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

eval23.1s (10.6%)

Compiler

Compiled 1117014 to 644057 computations (42.3% saved)

simplify17.3s (7.9%)

Algorithm
79×egg-herbie
Rules
38356×fma-define
31824×associate-*r*
31324×fma-neg
27060×*-commutative
26976×associate-*l*
Stop Event
20×saturated
51×node limit
10×fuel
8×unsound
10×done
Counts
27555 → 21684
Compiler

Compiled 1441 to 976 computations (32.3% saved)

analyze16.1s (7.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
67%48.4%23.9%26.3%0%1.1%0.3%6
71.2%51.1%20.7%26.3%0%1.6%0.3%7
72.2%51.6%19.9%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.9%53.9%17.1%26.3%0%2.2%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.4%54.8%16%26.3%0%2.4%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-<=, time spent: 3.3s, 40.0% of total-time
Operation ival-tan, time spent: 1.3s, 16.0% of total-time
Operation ival-add, time spent: 1.2s, 15.0% of total-time
Operation ival-sub, time spent: 442.0ms, 5.0% of total-time
Operation ival-and, time spent: 381.0ms, 5.0% of total-time
Operation const, time spent: 304.0ms, 4.0% of total-time
Operation ival-==, time spent: 243.0ms, 3.0% of total-time
Operation ival-cos, time spent: 215.0ms, 3.0% of total-time
Operation ival-or, time spent: 185.0ms, 2.0% of total-time
Operation ival-mult, time spent: 135.0ms, 2.0% of total-time
Operation ival-sin, time spent: 135.0ms, 2.0% of total-time
Operation ival-pow, time spent: 109.0ms, 1.0% of total-time
Operation ival-exp, time spent: 62.0ms, 1.0% of total-time
Operation ival-div, time spent: 54.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 44.0ms, 1.0% of total-time
Operation ival-log, time spent: 36.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 35.0ms, 0.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 14.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival->=, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time
Operation ival->, time spent: 0.0ms, 0.0% of total-time
Operation ival-<, time spent: 0.0ms, 0.0% of total-time

soundness14.8s (6.8%)

Rules
26616×fma-define
23356×fma-neg
20626×associate-*r*
18654×times-frac
15464×associate-*l*
Stop Event
6×saturated
52×node limit
1×unsound
Compiler

Compiled 7477 to 4219 computations (43.6% saved)

rewrite13.2s (6.1%)

Algorithm
59×batch-egg-rewrite
Rules
35426×log1p-expm1-u
26930×expm1-log1p-u
21132×prod-diff
20666×log-prod
20190×unpow-prod-down
Stop Event
59×node limit
Counts
468 → 18622

prune10.5s (4.8%)

Counts
43139 → 1770
Compiler

Compiled 68306 to 44609 computations (34.7% saved)

regimes8.4s (3.9%)

Counts
3088 → 118
Calls

53 calls:

1.2s
x
1.1s
r
867.0ms
b
851.0ms
a
736.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1565 to 1098 computations (29.8% saved)

preprocess7.3s (3.3%)

Algorithm
20×egg-herbie
Rules
10358×fma-neg
10108×fma-define
3250×distribute-rgt-in
3210×unsub-neg
3162×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 8851 to 5152 computations (41.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-pow, time spent: 429.0ms, 23.0% of total-time
Operation ival-log, time spent: 208.0ms, 11.0% of total-time
Operation ival-cos, time spent: 203.0ms, 11.0% of total-time
Operation ival-mult, time spent: 189.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 147.0ms, 8.0% of total-time
Operation ival-exp, time spent: 107.0ms, 6.0% of total-time
Operation ival-sin, time spent: 105.0ms, 6.0% of total-time
Operation ival-add, time spent: 78.0ms, 4.0% of total-time
Operation ival-fmod, time spent: 73.0ms, 4.0% of total-time
Operation ival-sub, time spent: 65.0ms, 4.0% of total-time
Operation ival-tan, time spent: 63.0ms, 3.0% of total-time
Operation ival-sinh, time spent: 53.0ms, 3.0% of total-time
Operation ival-acos, time spent: 43.0ms, 2.0% of total-time
Operation ival-div, time spent: 38.0ms, 2.0% of total-time
Operation const, time spent: 35.0ms, 2.0% of total-time
Operation ival-neg, time spent: 12.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series4.3s (2%)

Counts
468 → 8933
Calls

2112 calls:

TimeVariablePointExpression
226.0ms
x
@inf
(+ x (- (* (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a)))
194.0ms
x
@inf
(/ (* (cos (* 2 x)) (pow x -2)) c)
145.0ms
y
@0
(/ (sin (+ z y)) (cos (+ z y)))
91.0ms
z
@inf
(log (+ 1 (- (+ x (tan (+ z y))) (tan a))))
81.0ms
s
@0
(/ (/ -1 c) (* (* c (* x s)) (* x (neg s))))

bsearch157.0ms (0.1%)

Algorithm
9×binary-search
14×left-value
Stop Event
9×narrow-enough
Results
69.0ms392×256valid
67.0ms184×512valid
3.0ms16×256infinite
Compiler

Compiled 928 to 676 computations (27.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 74.0ms
Operation ival-sin, time spent: 26.0ms, 35.0% of total-time
Operation ival-cos, time spent: 22.0ms, 30.0% of total-time
Operation ival-mult, time spent: 7.0ms, 9.0% of total-time
Operation ival-pow, time spent: 5.0ms, 7.0% of total-time
Operation ival-add, time spent: 4.0ms, 5.0% of total-time
Operation ival-div, time spent: 4.0ms, 5.0% of total-time
Operation ival-exp, time spent: 4.0ms, 5.0% of total-time
Operation const, time spent: 1.0ms, 1.0% of total-time
Operation ival-neg, time spent: 1.0ms, 1.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...