Herbie run

Date:Wednesday, March 6th, 2024
Commit:790951ae on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024066
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: 6.9min)

sample2.8min (40.4%)

Results
31.5s142571×256precondition
16.3s94573×256valid
29.1s59481×1024valid
43.7s35874×2048valid
9.2s35061×512valid
928.0ms4008×256infinite
607.0ms3992×256invalid
780.0ms3881×256unsamplable
20.0s3880×8192exit
1.5s1913×4096valid
82.0ms150×512infinite
177.0ms108×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-pow, time spent: 20.8s, 19.0% of total-time
Operation ival-exp, time spent: 13.2s, 12.0% of total-time
Operation ival-tan, time spent: 13.2s, 12.0% of total-time
Operation ival-mult, time spent: 10.1s, 9.0% of total-time
Operation ival-sub, time spent: 8.3s, 7.0% of total-time
Operation ival-div, time spent: 6.2s, 6.0% of total-time
Operation ival-log, time spent: 6.0s, 5.0% of total-time
Operation ival-cos, time spent: 5.8s, 5.0% of total-time
Operation ival-sin, time spent: 5.2s, 5.0% of total-time
Operation ival-add, time spent: 5.0s, 5.0% of total-time
Operation ival-<=, time spent: 4.9s, 4.0% of total-time
Operation ival-<, time spent: 2.2s, 2.0% of total-time
Operation ival-fabs, time spent: 2.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 2.0% of total-time
Operation const, time spent: 1.7s, 2.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival->, time spent: 957.0ms, 1.0% of total-time
Operation ival-neg, time spent: 887.0ms, 1.0% of total-time
Operation ival-atan, time spent: 451.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 370.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 367.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 82.0ms, 0.0% of total-time
Bogosity

localize1.1min (16.5%)

Compiler

Compiled 17122 to 10411 computations (39.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 49.0s
Operation ival-pow, time spent: 13.5s, 28.0% of total-time
Operation ival-mult, time spent: 7.9s, 16.0% of total-time
Operation ival-div, time spent: 5.1s, 10.0% of total-time
Operation composed, time spent: 4.2s, 8.0% of total-time
Operation ival-add, time spent: 4.0s, 8.0% of total-time
Operation ival-log, time spent: 3.1s, 6.0% of total-time
Operation ival-exp, time spent: 2.7s, 5.0% of total-time
Operation ival-sub, time spent: 2.2s, 4.0% of total-time
Operation ival-sin, time spent: 1.4s, 3.0% of total-time
Operation ival-tan, time spent: 1.2s, 2.0% of total-time
Operation const, time spent: 1.1s, 2.0% of total-time
Operation ival-cbrt, time spent: 942.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 832.0ms, 2.0% of total-time
Operation ival-cos, time spent: 556.0ms, 1.0% of total-time
Operation ival-neg, time spent: 137.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 76.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 47.0ms, 0.0% of total-time
Operation ival-atan, time spent: 20.0ms, 0.0% of total-time

eval34.5s (8.3%)

Compiler

Compiled 1492835 to 967701 computations (35.2% saved)

bsearch31.9s (7.7%)

Algorithm
71×binary-search
21×left-value
Stop Event
5×predicate-same
66×narrow-enough
Results
902.0ms5470×256valid
25.8s4220×8192exit
936.0ms2333×256unsamplable
2.1s1886×1024valid
234.0ms1497×256invalid
671.0ms1115×512valid
159.0ms631×256infinite
223.0ms319×2048valid
1.0ms3×4096valid
Compiler

Compiled 13771 to 10166 computations (26.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 27.9s
Operation ival-pow, time spent: 25.3s, 91.0% of total-time
Operation ival-div, time spent: 1.2s, 4.0% of total-time
Operation ival-add, time spent: 596.0ms, 2.0% of total-time
Operation ival-sub, time spent: 364.0ms, 1.0% of total-time
Operation ival-mult, time spent: 200.0ms, 1.0% of total-time
Operation const, time spent: 132.0ms, 0.0% of total-time
Operation ival-neg, time spent: 64.0ms, 0.0% of total-time
Operation ival-exp, time spent: 62.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 57.0ms, 0.0% of total-time
Operation ival-cos, time spent: 10.0ms, 0.0% of total-time

simplify26.5s (6.4%)

Algorithm
130×egg-herbie
Rules
63164×fma-define
57432×fma-neg
54190×distribute-lft-in
53996×associate-*r*
52104×*-commutative
Stop Event
28×saturated
100×node limit
22×fuel
2×unsound
6×done
Counts
43008 → 45050
Compiler

Compiled 2873 to 2042 computations (28.9% saved)

soundness22.0s (5.3%)

Rules
57680×fma-define
51370×fma-neg
36706×associate-*r*
34160×distribute-lft-in
32806×distribute-rgt-in
Stop Event
8×saturated
99×node limit
1×unsound
Compiler

Compiled 14144 to 9301 computations (34.2% saved)

rewrite20.5s (4.9%)

Algorithm
102×batch-egg-rewrite
Rules
64766×log1p-expm1-u
49948×expm1-log1p-u
39556×prod-diff
31242×fma-define
26418×unpow-prod-down
Stop Event
102×node limit
Counts
834 → 28768

preprocess15.2s (3.7%)

Algorithm
28×egg-herbie
Rules
16616×fma-neg
13326×fma-define
8558×div-sub
5338×sub-neg
5242×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 11385 to 7226 computations (36.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.5s
Operation ival-log, time spent: 812.0ms, 15.0% of total-time
Operation ival-exp, time spent: 709.0ms, 13.0% of total-time
Operation ival-tan, time spent: 697.0ms, 13.0% of total-time
Operation ival-sub, time spent: 664.0ms, 12.0% of total-time
Operation ival-mult, time spent: 503.0ms, 9.0% of total-time
Operation ival-pow, time spent: 422.0ms, 8.0% of total-time
Operation ival-add, time spent: 403.0ms, 7.0% of total-time
Operation ival-div, time spent: 362.0ms, 7.0% of total-time
Operation ival-cos, time spent: 258.0ms, 5.0% of total-time
Operation ival-sin, time spent: 255.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 182.0ms, 3.0% of total-time
Operation const, time spent: 130.0ms, 2.0% of total-time
Operation ival-atan, time spent: 34.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 33.0ms, 1.0% of total-time
Operation ival-neg, time spent: 27.0ms, 0.0% of total-time

prune13.5s (3.3%)

Counts
62715 → 1837
Compiler

Compiled 57540 to 41406 computations (28% saved)

regimes7.3s (1.8%)

Counts
2581 → 262
Calls

43 calls:

1.8s
x
913.0ms
c
862.0ms
a
614.0ms
b_2
561.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1482 to 1034 computations (30.2% saved)

series4.8s (1.1%)

Counts
834 → 14240
Calls

3747 calls:

TimeVariablePointExpression
77.0ms
a
@0
(exp (* (+ (log (neg a)) (log c)) 1/2))
73.0ms
a
@0
(* (pow (pow (* (- (exp (* a x)) 1) (cbrt (- (exp (* a x)) 1))) 2) 1/3) (cbrt (cbrt (- (exp (* a x)) 1))))
71.0ms
x
@0
(* (log x) 1/3)
65.0ms
x
@-inf
(log (/ (pow x (- (/ 1 n) 1)) n))
58.0ms
eps
@-inf
(+ (* (+ (tan x) (tan eps)) (/ 1 (- 1 (* (tan x) (tan eps))))) (neg (tan x)))

analyze2.9s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
57.6%33.2%24.4%42.4%0%0%0%5
59.9%34.1%22.8%43.1%0%0%0%6
63.7%35.1%20%44%0%0.8%0.1%7
66.8%36.5%18.1%44.5%0%0.8%0.1%8
69.3%37.2%16.5%44.9%0%1.2%0.3%9
71.4%37.7%15.1%45.2%0%1.7%0.3%10
73.9%38.6%13.6%45.4%0%1.9%0.4%11
75.2%39%12.9%45.6%0%2.2%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-mult, time spent: 245.0ms, 16.0% of total-time
Operation ival-sub, time spent: 209.0ms, 13.0% of total-time
Operation ival-pow, time spent: 159.0ms, 10.0% of total-time
Operation ival-log, time spent: 154.0ms, 10.0% of total-time
Operation ival-<=, time spent: 122.0ms, 8.0% of total-time
Operation ival-div, time spent: 108.0ms, 7.0% of total-time
Operation ival-add, time spent: 87.0ms, 6.0% of total-time
Operation ival-exp, time spent: 65.0ms, 4.0% of total-time
Operation ival-sin, time spent: 65.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 59.0ms, 4.0% of total-time
Operation ival-tan, time spent: 56.0ms, 4.0% of total-time
Operation ival-cos, time spent: 49.0ms, 3.0% of total-time
Operation ival-neg, time spent: 48.0ms, 3.0% of total-time
Operation const, time spent: 42.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 27.0ms, 2.0% of total-time
Operation ival->, time spent: 19.0ms, 1.0% of total-time
Operation ival-and, time spent: 17.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.0ms, 1.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 8.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 3.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

end4.0ms (0%)

Profiling

Loading profile data...