Herbie run

Date:Monday, April 8th, 2024
Commit:ce84b644 on zane-regimes-lt-or-eq
Hostname:nightly with Racket 8.11.1
Seed:2024099
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: 8.7min)

sample2.0min (22.6%)

Results
40.9s218221×0valid
11.9s66745×0invalid
12.0s24772×1valid
13.0s11853×5exit
5.2s9805×1invalid
5.0s6085×3valid
3.4s6033×2valid
1.3s819×4valid
169.0ms396×2invalid
66.0ms222×0unsamplable
8.0ms6×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 18.6s (24.3% of total)
ival-div: 12.6s (16.5% of total)
ival-pow: 7.2s (9.4% of total)
backward-pass: 6.5s (8.5% of total)
ival-sub: 5.4s (7.1% of total)
ival-sqrt: 5.2s (6.8% of total)
ival-add: 4.2s (5.5% of total)
<compiled-spec>: 3.4s (4.4% of total)
ival-exp: 2.7s (3.5% of total)
ival-tan: 2.6s (3.4% of total)
ival-sin: 2.4s (3.1% of total)
const: 1.4s (1.9% of total)
ival-neg: 1.2s (1.5% of total)
ival-cos: 990.0ms (1.3% of total)
ival-pi: 693.0ms (0.9% of total)
ival-acos: 534.0ms (0.7% of total)
ival-log: 371.0ms (0.5% of total)
ival-asin: 199.0ms (0.3% of total)
ival-<: 180.0ms (0.2% of total)
ival-fabs: 122.0ms (0.2% of total)
ival-and: 14.0ms (0% of total)
Bogosity

localize1.9min (21.8%)

Results
27.7s21825×256valid
6.1s3781×256invalid
12.5s1977×1024valid
22.3s1721×2048valid
3.7s1004×512valid
14.4s506×8192exit
5.7s360×4096valid
460.0ms58×8192valid
Compiler

Compiled 37569 to 19891 computations (47.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-mult: 17.8s (19.9% of total)
ival-pow: 17.1s (19.2% of total)
<compiled-spec>: 11.0s (12.3% of total)
ival-div: 8.7s (9.7% of total)
ival-tan: 6.2s (6.9% of total)
ival-add: 5.1s (5.7% of total)
ival-cos: 4.4s (4.9% of total)
ival-sqrt: 3.8s (4.2% of total)
ival-log: 3.3s (3.7% of total)
ival-exp: 2.8s (3.1% of total)
ival-sub: 2.6s (2.9% of total)
ival-acos: 1.6s (1.7% of total)
const: 1.4s (1.6% of total)
ival-asin: 1.3s (1.4% of total)
ival-cbrt: 1.1s (1.2% of total)
ival-sin: 952.0ms (1.1% of total)
ival-neg: 245.0ms (0.3% of total)
ival-pi: 73.0ms (0.1% of total)
ival-fabs: 30.0ms (0% of total)

simplify52.6s (10.1%)

Algorithm
153×egg-herbie
Rules
53391×fma-define
40756×times-frac
39980×*-commutative
39060×associate-*r*
32690×distribute-lft-in
Stop Event
31×saturated
122×node limit
Counts
71123 → 57850

soundness51.0s (9.8%)

Rules
56775×fma-define
43434×log1p-expm1-u
40780×associate-*r*
39389×times-frac
30600×*-commutative
Stop Event
7×saturated
174×node limit
28×fuel
1×unsound
3×done
Compiler

Compiled 48701 to 28958 computations (40.5% saved)

eval43.0s (8.2%)

Compiler

Compiled 2858923 to 1836355 computations (35.8% saved)

regimes31.4s (6%)

Counts
10159 → 781
Calls

152 calls:

2.1s
l
1.9s
d
1.9s
t
1.7s
NdChar
1.4s
EDonor
Compiler

Compiled 8171 to 6358 computations (22.2% saved)

rewrite26.1s (5%)

Algorithm
122×batch-egg-rewrite
Rules
68481×log1p-expm1-u
48186×expm1-log1p-u
30333×add-exp-log
30186×add-log-exp
29979×pow1
Stop Event
121×node limit
1×unsound
Counts
1326 → 36948

prune23.8s (4.6%)

Counts
86656 → 3157
Compiler

Compiled 144748 to 101174 computations (30.1% saved)

explain16.0s (3.1%)

Results
6.7s13362×256valid
1.5s930×1024valid
1.3s778×2048valid
610.0ms438×512valid
1.1s308×4096valid
129.0ms56×8192valid
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-mult: 2.4s (27.3% of total)
ival-pow: 1.4s (16.5% of total)
ival-div: 1.3s (14.6% of total)
ival-tan: 681.0ms (7.9% of total)
ival-add: 643.0ms (7.5% of total)
ival-exp: 485.0ms (5.6% of total)
ival-sub: 455.0ms (5.3% of total)
ival-sqrt: 287.0ms (3.3% of total)
ival-cos: 254.0ms (2.9% of total)
ival-sin: 194.0ms (2.3% of total)
const: 184.0ms (2.1% of total)
ival-neg: 141.0ms (1.6% of total)
<compiled-spec>: 92.0ms (1.1% of total)
ival-log: 81.0ms (0.9% of total)
ival-acos: 45.0ms (0.5% of total)
ival-pi: 19.0ms (0.2% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-asin: 7.0ms (0.1% of total)

bsearch15.5s (3%)

Algorithm
381×binary-search
72×left-value
Stop Event
1×predicate-same
380×narrow-enough
Results
8.9s42211×0valid
1.8s8558×0invalid
491.0ms1295×1valid
145.0ms398×2valid
112.0ms192×1invalid
36.0ms85×2invalid
56.0ms75×3valid
20.0ms21×4valid
Compiler

Compiled 129172 to 96412 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
ival-div: 2.2s (25.1% of total)
ival-mult: 2.0s (22.2% of total)
ival-pow: 1.4s (15.3% of total)
ival-add: 819.0ms (9.2% of total)
ival-sub: 528.0ms (6% of total)
ival-tan: 482.0ms (5.4% of total)
ival-sin: 428.0ms (4.8% of total)
ival-neg: 274.0ms (3.1% of total)
ival-exp: 225.0ms (2.5% of total)
const: 168.0ms (1.9% of total)
ival-sqrt: 132.0ms (1.5% of total)
ival-cos: 130.0ms (1.5% of total)
backward-pass: 128.0ms (1.4% of total)
ival-log: 2.0ms (0% of total)
ival-pi: 1.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

series10.9s (2.1%)

Counts
1326 → 34175
Calls

8772 calls:

TimeVariablePointExpression
146.0ms
p
@-inf
(log (* (cbrt (exp (sqrt (+ (* (/ x (sqrt (+ (* x x) (* (* 2 p) (* 2 p))))) 1/2) 1/2)))) (pow (cbrt (cbrt (exp (sqrt (+ (* (/ x (sqrt (+ (* x x) (* (* 2 p) (* 2 p))))) 1/2) 1/2))))) 2)))
139.0ms
kx
@-inf
(pow (+ 1/2 (/ 1/4 (* l (/ (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))) Om)))) 1/4)
134.0ms
w
@0
(* c0 (+ (/ (pow (/ d D) 2) (* h w)) (/ (pow (/ d D) 2) (* h w))))
63.0ms
v
@-inf
(pow (pow (cbrt (acos (/ (+ (* -5 (pow v 2)) 1) (+ (* v v) -1)))) 2) 3/2)
61.0ms
ky
@inf
(/ (* (+ (* 1/6 (pow ky 2)) 1) (sin th)) ky)

analyze10.9s (2.1%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
23.3%22.6%74%1.8%0%1.6%0%2
28.7%26.6%66%1.8%0%5.6%0%3
32.5%29.4%61.1%1.8%0%7.3%0.4%4
35.3%31.9%58.4%1.8%0%7.3%0.6%5
39.6%35.7%54.5%1.8%0%7.4%0.7%6
44.7%40%49.4%1.8%0%8%0.8%7
47%41.5%46.7%1.8%0%9.2%0.9%8
50%44%43.9%1.8%0%9.4%0.9%9
51.1%44.8%42.8%1.8%0%9.6%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%1.8%0%10.7%1%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
ival-mult: 2.0s (32.4% of total)
ival-pow: 1.3s (20.8% of total)
ival-div: 918.0ms (15% of total)
ival-add: 453.0ms (7.4% of total)
ival-sqrt: 383.0ms (6.3% of total)
ival-sub: 315.0ms (5.2% of total)
ival-sin: 192.0ms (3.1% of total)
ival-tan: 142.0ms (2.3% of total)
const: 123.0ms (2% of total)
ival-neg: 79.0ms (1.3% of total)
ival-exp: 68.0ms (1.1% of total)
ival-acos: 56.0ms (0.9% of total)
ival-pi: 31.0ms (0.5% of total)
ival-cos: 26.0ms (0.4% of total)
ival-asin: 22.0ms (0.4% of total)
ival-<: 22.0ms (0.4% of total)
ival-fabs: 19.0ms (0.3% of total)
ival-log: 10.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
<compiled-spec>: 0.0ms (0% of total)

preprocess9.4s (1.8%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 47706 to 29134 computations (38.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...