Herbie run

Date:Friday, April 26th, 2024
Commit:44a2caf8 on report-cost-multi-alts
Hostname:nightly with Racket 8.11.1
Seed:2024117
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.0min)

sample2.8min (46.5%)

Results
31.1s165910×0precondition
30.4s120681×1valid
6.1s60795×0valid
42.4s55301×2valid
26.9s7311×5exit
689.0ms4243×0unsamplable
648.0ms4154×0invalid
3.5s2647×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 26.6s (22.2% of total)
ival-tan: 13.3s (11.1% of total)
ival-exp: 12.3s (10.2% of total)
ival-mult: 10.3s (8.6% of total)
ival-sub: 8.3s (6.9% of total)
ival-add: 6.5s (5.4% of total)
ival-log: 5.9s (4.9% of total)
backward-pass: 5.3s (4.4% of total)
ival-sin: 4.8s (4% of total)
ival-fabs: 4.6s (3.8% of total)
ival-div: 4.5s (3.8% of total)
ival-cos: 4.3s (3.6% of total)
ival-<=: 4.1s (3.4% of total)
ival-<: 2.6s (2.2% of total)
ival-sqrt: 1.7s (1.4% of total)
const: 1.0s (0.9% of total)
ival-fmin: 1.0s (0.9% of total)
ival-and: 880.0ms (0.7% of total)
ival->: 804.0ms (0.7% of total)
ival-neg: 612.0ms (0.5% of total)
ival-atan: 355.0ms (0.3% of total)
ival-cbrt: 291.0ms (0.2% of total)
Bogosity

localize38.8s (10.7%)

Algorithm
115×egg-herbie
Rules
50884×fma-define
42812×fma-neg
23012×distribute-lft-in
19661×distribute-rgt-in
18392×unsub-neg
Stop Event
49×saturated
66×node limit
Results
4.5s14494×0valid
7.0s8382×1valid
6.2s4505×2valid
719.0ms1278×0invalid
1.4s414×3valid
1.2s367×5exit
Compiler

Compiled 18727 to 2743 computations (85.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.6s
ival-pow: 2.5s (18.2% of total)
ival-mult: 2.2s (16.5% of total)
backward-pass: 1.5s (11.3% of total)
ival-div: 1.5s (10.8% of total)
ival-tan: 784.0ms (5.8% of total)
ival-add: 722.0ms (5.3% of total)
ival-sin: 711.0ms (5.2% of total)
ival-sub: 684.0ms (5% of total)
ival-log: 571.0ms (4.2% of total)
ival-exp: 396.0ms (2.9% of total)
ival-cos: 330.0ms (2.4% of total)
ival-cbrt: 304.0ms (2.2% of total)
ival-sqrt: 297.0ms (2.2% of total)
ival-fma: 217.0ms (1.6% of total)
ival-log1p: 201.0ms (1.5% of total)
ival-cosh: 191.0ms (1.4% of total)
const: 122.0ms (0.9% of total)
ival-neg: 111.0ms (0.8% of total)
ival-expm1: 105.0ms (0.8% of total)
ival-hypot: 42.0ms (0.3% of total)
ival-atan: 38.0ms (0.3% of total)
ival-atan2: 24.0ms (0.2% of total)
ival-e: 4.0ms (0% of total)

simplify38.1s (10.5%)

Algorithm
143×egg-herbie
Rules
38816×fma-neg
34643×fma-define
32692×times-frac
31410×*-commutative
30643×distribute-lft-in
Stop Event
29×saturated
114×node limit
Counts
59646 → 61762

soundness28.9s (8%)

Rules
36904×log1p-expm1-u
32432×fma-neg
30404×fma-define
29030×expm1-log1p-u
22386×associate-*r*
Stop Event
7×saturated
118×node limit
24×fuel
5×done
Compiler

Compiled 22558 to 6859 computations (69.6% saved)

rewrite25.1s (6.9%)

Algorithm
114×batch-egg-rewrite
Rules
72275×log1p-expm1-u
54294×expm1-log1p-u
23301×pow1
22956×add-exp-log
22791×add-log-exp
Stop Event
114×node limit
Counts
1320 → 39867

prune17.6s (4.9%)

Counts
86553 → 2125
Compiler

Compiled 68042 to 39375 computations (42.1% saved)

eval15.9s (4.4%)

Compiler

Compiled 2027577 to 326956 computations (83.9% saved)

series7.4s (2%)

Counts
1320 → 19779
Calls

5070 calls:

TimeVariablePointExpression
424.0ms
eps
@-inf
(- (+ (* (sin x) (cos eps)) (* (cos x) (sin eps))) (sin x))
174.0ms
a
@0
(* (pow (pow (* (- (exp (* a x)) 1) (cbrt (- (exp (* a x)) 1))) 2) 1/3) (cbrt (cbrt (- (exp (* a x)) 1))))
121.0ms
x
@-inf
(log (+ 1 (- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))))
95.0ms
x
@-inf
(+ 1/6 (+ (* -1 (/ (* (pow (sin x) 2) (- 1 (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))))) (pow (cos x) 2))) (+ (* -1/2 (- 1 (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))))) (* 1/6 (/ (pow (sin x) 2) (pow (cos x) 2))))))
82.0ms
x
@-inf
(log x)

explain7.2s (2%)

Results
2.2s7758×1valid
348.0ms3548×0valid
2.3s3354×2valid
344.0ms188×3valid
Compiler

Compiled 2278 to 727 computations (68.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-tan: 719.0ms (19.9% of total)
ival-exp: 552.0ms (15.3% of total)
ival-sub: 344.0ms (9.5% of total)
ival-cos: 336.0ms (9.3% of total)
ival-log: 282.0ms (7.8% of total)
backward-pass: 278.0ms (7.7% of total)
ival-mult: 242.0ms (6.7% of total)
ival-div: 238.0ms (6.6% of total)
ival-sin: 147.0ms (4.1% of total)
ival-pow: 138.0ms (3.8% of total)
ival-add: 132.0ms (3.7% of total)
ival-sqrt: 79.0ms (2.2% of total)
ival-neg: 41.0ms (1.1% of total)
const: 30.0ms (0.8% of total)
ival-atan: 25.0ms (0.7% of total)
ival-cbrt: 22.0ms (0.6% of total)

preprocess4.8s (1.3%)

Algorithm
29×egg-herbie
Rules
8462×fma-neg
6722×fma-define
4279×div-sub
2718×sub-neg
2621×times-frac
Stop Event
24×saturated
5×node limit
Compiler

Compiled 8996 to 3804 computations (57.7% saved)

regimes3.6s (1%)

Counts
3891 → 319
Calls

43 calls:

1.1s
x
471.0ms
b
299.0ms
eps
148.0ms
a
138.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1606 to 1076 computations (33% saved)

analyze3.4s (0.9%)

Algorithm
29×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%60.7%39.3%0%0%0%0
10.6%6.4%54.3%39.3%0%0%0%1
19.8%12%48.7%39.3%0%0%0%2
37.5%21.5%35.8%42.7%0%0%0%3
46.8%26.7%30.4%42.8%0%0%0%4
54.8%30.8%25.4%43.8%0%0%0%5
56.9%31.6%23.9%44.5%0%0%0%6
61.2%32.8%20.8%45.5%0%0.8%0.1%7
64.4%34.1%18.9%46.1%0%0.8%0.1%8
66.9%34.8%17.2%46.6%0%1.2%0.3%9
68.9%35.2%15.9%46.9%0%1.7%0.3%10
71.5%36.2%14.4%47.2%0%1.9%0.3%11
72.7%36.5%13.7%47.3%0%2.2%0.3%12
Compiler

Compiled 526 to 340 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-pow: 247.0ms (13.9% of total)
ival-sub: 240.0ms (13.5% of total)
ival-mult: 229.0ms (12.9% of total)
ival-fabs: 220.0ms (12.4% of total)
ival-log: 153.0ms (8.6% of total)
ival-div: 120.0ms (6.8% of total)
ival-<=: 106.0ms (6% of total)
ival-add: 97.0ms (5.5% of total)
ival-exp: 67.0ms (3.8% of total)
ival-sin: 63.0ms (3.6% of total)
ival-sqrt: 54.0ms (3% of total)
ival-neg: 38.0ms (2.1% of total)
ival-tan: 37.0ms (2.1% of total)
const: 26.0ms (1.5% of total)
ival-cos: 23.0ms (1.3% of total)
ival-and: 14.0ms (0.8% of total)
ival->: 14.0ms (0.8% of total)
ival-<: 11.0ms (0.6% of total)
backward-pass: 9.0ms (0.5% of total)
ival-fmin: 6.0ms (0.3% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.7s (0.7%)

Algorithm
81×binary-search
27×left-value
Stop Event
4×predicate-same
77×narrow-enough
Results
969.0ms8534×0valid
411.0ms1719×0invalid
193.0ms939×1valid
360.0ms543×2valid
3.0ms24×0unsamplable
Compiler

Compiled 13428 to 10088 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult: 399.0ms (27.2% of total)
ival-exp: 273.0ms (18.6% of total)
ival-sub: 179.0ms (12.2% of total)
ival-pow: 161.0ms (11% of total)
ival-div: 153.0ms (10.4% of total)
ival-sqrt: 121.0ms (8.2% of total)
ival-neg: 58.0ms (4% of total)
ival-add: 43.0ms (2.9% of total)
backward-pass: 31.0ms (2.1% of total)
ival-cos: 23.0ms (1.6% of total)
const: 16.0ms (1.1% of total)
ival-sin: 7.0ms (0.5% of total)
ival-cbrt: 5.0ms (0.3% of total)

end0.0ms (0%)

Profiling

Loading profile data...