Herbie run

Date:Friday, March 29th, 2024
Commit:a282c103 on cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024089
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.5min)

sample2.7min (41.2%)

Results
25.0s142639×0precondition
33.3s118493×1valid
7.2s65296×0valid
38.3s45233×2valid
25.7s7142×5exit
392.0ms4288×0invalid
553.0ms4135×0unsamplable
2.6s2146×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 23.2s (20.6% of total)
ival-exp: 11.9s (10.6% of total)
ival-tan: 11.3s (10.1% of total)
ival-mult: 9.0s (8% of total)
backward-pass: 8.9s (7.9% of total)
ival-sub: 7.3s (6.5% of total)
ival-log: 5.3s (4.8% of total)
ival-div: 4.9s (4.4% of total)
ival-cos: 4.6s (4.1% of total)
ival-add: 4.5s (4% of total)
ival-<=: 4.4s (3.9% of total)
ival-fabs: 4.1s (3.6% of total)
ival-sin: 3.6s (3.2% of total)
ival-<: 2.4s (2.1% of total)
ival->: 1.5s (1.3% of total)
ival-sqrt: 1.4s (1.2% of total)
const: 1.3s (1.2% of total)
ival-and: 915.0ms (0.8% of total)
ival-fmin: 627.0ms (0.6% of total)
ival-neg: 532.0ms (0.5% of total)
ival-atan: 485.0ms (0.4% of total)
ival-cbrt: 348.0ms (0.3% of total)
Bogosity

localize1.2min (19.3%)

Results
13.7s13259×256valid
13.8s4090×1024valid
11.5s2984×2048valid
4.1s2219×512valid
2.2s2164×256invalid
14.4s543×8192exit
2.6s399×4096valid
123.0ms80×1024invalid
84.0ms74×256unsamplable
36.0ms25×512invalid
129.0ms11×2048invalid
74.0ms8×4096invalid
Compiler

Compiled 20765 to 12344 computations (40.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.3s
ival-pow: 20.7s (36.1% of total)
ival-mult: 7.2s (12.6% of total)
ival-div: 5.8s (10.1% of total)
ival-add: 4.6s (8% of total)
ival-exp: 4.2s (7.3% of total)
composed: 4.1s (7.1% of total)
ival-log: 3.3s (5.7% of total)
ival-sub: 1.9s (3.2% of total)
ival-cbrt: 1.2s (2% of total)
const: 1.1s (1.9% of total)
ival-sqrt: 996.0ms (1.7% of total)
ival-sin: 818.0ms (1.4% of total)
ival-tan: 729.0ms (1.3% of total)
ival-cos: 401.0ms (0.7% of total)
ival-neg: 291.0ms (0.5% of total)
ival-cosh: 140.0ms (0.2% of total)
ival-atan2: 32.0ms (0.1% of total)
ival-e: 21.0ms (0% of total)
ival-atan: 20.0ms (0% of total)

eval36.3s (9.3%)

Compiler

Compiled 1678980 to 1087433 computations (35.2% saved)

simplify26.5s (6.8%)

Algorithm
126×egg-herbie
Rules
33429×fma-define
29220×distribute-lft-in
28651×fma-neg
27262×associate-*r*
26344×*-commutative
Stop Event
28×saturated
98×node limit
Counts
39156 → 43386

soundness23.7s (6.1%)

Rules
31586×fma-define
26602×log1p-expm1-u
25883×fma-neg
22220×expm1-log1p-u
18552×distribute-lft-in
Stop Event
9×saturated
102×node limit
19×fuel
9×done
Compiler

Compiled 25574 to 16982 computations (33.6% saved)

rewrite19.0s (4.9%)

Algorithm
98×batch-egg-rewrite
Rules
62911×log1p-expm1-u
50089×expm1-log1p-u
20872×pow1
20222×add-exp-log
19747×add-log-exp
Stop Event
98×node limit
Counts
763 → 25971

prune15.2s (3.9%)

Counts
60352 → 1931
Compiler

Compiled 65864 to 47165 computations (28.4% saved)

explain8.9s (2.3%)

Results
943.0ms6072×256valid
2.2s3678×1024valid
3.1s2306×2048valid
735.0ms2104×512valid
214.0ms176×4096valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-tan: 889.0ms (16.7% of total)
ival-exp: 704.0ms (13.3% of total)
ival-sub: 669.0ms (12.6% of total)
ival-log: 659.0ms (12.4% of total)
ival-mult: 451.0ms (8.5% of total)
ival-pow: 378.0ms (7.1% of total)
ival-add: 350.0ms (6.6% of total)
ival-div: 329.0ms (6.2% of total)
ival-cos: 290.0ms (5.5% of total)
ival-sin: 244.0ms (4.6% of total)
ival-sqrt: 146.0ms (2.7% of total)
const: 104.0ms (2% of total)
ival-atan: 41.0ms (0.8% of total)
ival-cbrt: 29.0ms (0.5% of total)
ival-neg: 28.0ms (0.5% of total)

preprocess6.4s (1.6%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 9886 to 6302 computations (36.3% saved)

series5.7s (1.5%)

Counts
763 → 13185
Calls

3558 calls:

TimeVariablePointExpression
147.0ms
x
@0
(* 1/12 (* eps x))
126.0ms
eps
@-inf
(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))
126.0ms
x
@inf
(pow (pow (pow (E) (log (- (exp (* a x)) 1))) 5/2) 1/3)
111.0ms
x
@-inf
(pow x (/ 1 n))
104.0ms
x
@inf
(log (+ -2 (* 2 (cosh x))))

regimes5.4s (1.4%)

Counts
3648 → 292
Calls

43 calls:

1.5s
x
715.0ms
(/.f64 #s(literal 1 binary64) n)
438.0ms
b
428.0ms
n
376.0ms
a
Compiler

Compiled 1569 to 1101 computations (29.8% saved)

bsearch3.5s (0.9%)

Algorithm
99×binary-search
16×left-value
Stop Event
1×predicate-same
98×narrow-enough
Results
868.0ms7359×0valid
1.1s4040×1valid
269.0ms1575×0invalid
296.0ms617×2valid
10.0ms69×0unsamplable
Compiler

Compiled 19067 to 14060 computations (26.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-pow: 623.0ms (32.1% of total)
ival-div: 316.0ms (16.3% of total)
ival-mult: 249.0ms (12.8% of total)
ival-add: 146.0ms (7.5% of total)
backward-pass: 145.0ms (7.5% of total)
ival-sub: 134.0ms (6.9% of total)
ival-sqrt: 133.0ms (6.8% of total)
ival-neg: 77.0ms (4% of total)
ival-exp: 59.0ms (3% of total)
const: 35.0ms (1.8% of total)
ival-cbrt: 17.0ms (0.9% of total)
ival-cos: 7.0ms (0.4% of total)
ival-log: 2.0ms (0.1% of total)

analyze2.8s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
16.7%10.2%50.9%38.9%0%0%0%1
24.7%15.1%46%38.9%0%0%0%2
40.4%23.6%34.8%41.6%0%0%0%3
48.7%28.4%29.9%41.7%0%0%0%4
56.1%32.3%25.3%42.4%0%0%0%5
58.2%33.1%23.8%43.1%0%0%0%6
62.1%34.2%20.9%44%0%0.8%0.1%7
65.2%35.6%19%44.5%0%0.8%0.1%8
67.6%36.3%17.4%44.9%0%1.2%0.3%9
69.6%36.7%16%45.2%0%1.7%0.3%10
72.1%37.7%14.6%45.4%0%1.9%0.4%11
73.3%38%13.8%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 199.0ms (12.5% of total)
ival-sub: 186.0ms (11.7% of total)
ival-pow: 164.0ms (10.3% of total)
ival-cos: 140.0ms (8.8% of total)
ival-log: 140.0ms (8.8% of total)
ival-add: 138.0ms (8.7% of total)
ival-div: 127.0ms (8% of total)
ival-<=: 84.0ms (5.3% of total)
ival-exp: 77.0ms (4.8% of total)
ival-fabs: 76.0ms (4.8% of total)
ival-sqrt: 61.0ms (3.8% of total)
ival-sin: 59.0ms (3.7% of total)
ival-tan: 37.0ms (2.3% of total)
const: 34.0ms (2.1% of total)
ival-neg: 31.0ms (1.9% of total)
ival->: 13.0ms (0.8% of total)
ival-and: 12.0ms (0.8% of total)
ival-<: 8.0ms (0.5% of total)
ival-fmin: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...