Herbie run

Date:Saturday, March 30th, 2024
Commit:6c444b9a on artem-tuning-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024090
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: 10.0min)

localize2.3min (22.8%)

Results
27.6s18820×256valid
5.2s4112×256infinite
4.8s3069×256invalid
23.3s1740×2048valid
11.1s1413×1024valid
23.7s871×8192exit
3.9s758×512valid
6.8s252×4096valid
1.2s92×8192valid
1.4s90×2048infinite
494.0ms75×1024infinite
64.0ms62×256unsamplable
1.3s46×4096infinite
214.0ms45×512infinite
1.1s18×8192infinite
58.0ms9×1024invalid
139.0ms8×2048invalid
31.0ms8×512invalid
Compiler

Compiled 43115 to 22874 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-pow: 25.8s (26.8% of total)
ival-mult: 16.7s (17.3% of total)
ival-tan: 12.4s (12.9% of total)
ival-div: 11.7s (12.1% of total)
ival-fma: 4.1s (4.3% of total)
ival-sub: 3.6s (3.8% of total)
ival-sqrt: 2.9s (3.1% of total)
ival-add: 2.9s (3% of total)
ival-cos: 2.5s (2.6% of total)
ival-hypot: 2.1s (2.2% of total)
ival-acos: 2.0s (2.1% of total)
ival-log: 2.0s (2.1% of total)
const: 1.9s (2% of total)
ival-exp: 1.5s (1.6% of total)
ival-cbrt: 1.2s (1.2% of total)
ival-sin: 1.1s (1.2% of total)
ival-expm1: 497.0ms (0.5% of total)
ival-asin: 449.0ms (0.5% of total)
ival-neg: 381.0ms (0.4% of total)
ival-log1p: 278.0ms (0.3% of total)
ival-pi: 109.0ms (0.1% of total)
ival-fabs: 14.0ms (0% of total)

sample1.8min (18.4%)

Results
36.1s172393×0valid
10.7s66287×0invalid
8.4s42155×0infinite
13.5s27381×1valid
5.0s9849×1invalid
3.1s5420×3valid
2.8s5271×2valid
4.3s3828×5exit
542.0ms1096×1infinite
789.0ms829×4valid
588.0ms802×2infinite
525.0ms586×3infinite
152.0ms299×2invalid
36.0ms234×0unsamplable
3.0ms3×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 16.6s (26.9% of total)
ival-div: 9.6s (15.6% of total)
ival-pow: 7.5s (12.2% of total)
ival-sub: 4.6s (7.4% of total)
backward-pass: 3.4s (5.6% of total)
ival-add: 3.3s (5.4% of total)
ival-sqrt: 3.2s (5.1% of total)
ival-tan: 2.4s (3.9% of total)
ival-exp: 2.3s (3.8% of total)
ival-sin: 2.2s (3.7% of total)
ival-neg: 1.6s (2.6% of total)
const: 1.3s (2.2% of total)
ival-cos: 1.0s (1.6% of total)
ival-acos: 774.0ms (1.3% of total)
ival-pi: 530.0ms (0.9% of total)
ival-log: 381.0ms (0.6% of total)
ival-hypot: 284.0ms (0.5% of total)
ival-asin: 259.0ms (0.4% of total)
ival-fabs: 141.0ms (0.2% of total)
ival-<: 95.0ms (0.2% of total)
ival-and: 14.0ms (0% of total)
Bogosity

eval1.4min (13.8%)

Compiler

Compiled 3604451 to 2319066 computations (35.7% saved)

soundness55.7s (9.3%)

Rules
49499×fma-define
46270×log1p-expm1-u
41696×associate-*r*
39851×times-frac
34017×*-commutative
Stop Event
7×saturated
177×node limit
29×fuel
1×unsound
2×done
Compiler

Compiled 60079 to 34091 computations (43.3% saved)

simplify55.0s (9.2%)

Algorithm
152×egg-herbie
Rules
46985×fma-define
41042×*-commutative
39452×associate-*r*
37332×times-frac
33987×distribute-lft-in
Stop Event
31×saturated
121×node limit
Counts
72792 → 58992

regimes30.0s (5%)

Counts
11989 → 869
Calls

152 calls:

2.6s
l
2.1s
d
1.4s
k
1.4s
t
1.3s
NaChar
Compiler

Compiled 9283 to 6888 computations (25.8% saved)

rewrite28.2s (4.7%)

Algorithm
121×batch-egg-rewrite
Rules
71537×log1p-expm1-u
51088×expm1-log1p-u
31207×pow1
31083×add-exp-log
30637×add-log-exp
Stop Event
120×node limit
1×unsound
Counts
1355 → 38006

prune28.1s (4.7%)

Counts
94480 → 3328
Compiler

Compiled 159264 to 110951 computations (30.3% saved)

bsearch17.8s (3%)

Algorithm
357×binary-search
142×left-value
Stop Event
7×predicate-same
350×narrow-enough
Results
7.9s35044×0valid
2.6s11522×0invalid
1.8s7145×0infinite
550.0ms1459×1valid
110.0ms258×2valid
173.0ms186×1invalid
51.0ms128×1infinite
48.0ms89×2infinite
54.0ms71×3valid
47.0ms64×3infinite
26.0ms48×2invalid
39.0ms46×4valid
1.0ms1×5exit
Compiler

Compiled 135709 to 99851 computations (26.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-div: 2.4s (25.6% of total)
ival-mult: 2.1s (22.2% of total)
ival-pow: 1.6s (17.2% of total)
ival-add: 926.0ms (9.9% of total)
ival-sub: 507.0ms (5.4% of total)
ival-sin: 354.0ms (3.8% of total)
ival-tan: 313.0ms (3.3% of total)
backward-pass: 263.0ms (2.8% of total)
ival-neg: 235.0ms (2.5% of total)
const: 216.0ms (2.3% of total)
ival-exp: 177.0ms (1.9% of total)
ival-sqrt: 133.0ms (1.4% of total)
ival-cos: 110.0ms (1.2% of total)
ival-hypot: 33.0ms (0.4% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

explain15.8s (2.6%)

Results
5.3s10590×256valid
1.1s2622×256infinite
2.5s926×1024valid
1.2s786×2048valid
604.0ms508×512valid
555.0ms208×4096valid
160.0ms56×8192valid
74.0ms50×1024infinite
165.0ms50×2048infinite
281.0ms46×4096infinite
27.0ms30×512infinite
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
ival-mult: 2.8s (30.2% of total)
ival-div: 1.5s (16.7% of total)
ival-pow: 1.2s (13.3% of total)
ival-tan: 595.0ms (6.5% of total)
ival-add: 559.0ms (6.1% of total)
ival-sub: 494.0ms (5.4% of total)
ival-cos: 405.0ms (4.4% of total)
ival-exp: 402.0ms (4.4% of total)
ival-sqrt: 271.0ms (3% of total)
ival-sin: 214.0ms (2.3% of total)
const: 212.0ms (2.3% of total)
ival-hypot: 200.0ms (2.2% of total)
ival-neg: 132.0ms (1.4% of total)
ival-log: 84.0ms (0.9% of total)
ival-acos: 46.0ms (0.5% of total)
ival-pi: 24.0ms (0.3% of total)
ival-asin: 7.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)

series14.1s (2.4%)

Counts
1355 → 34786
Calls

8985 calls:

TimeVariablePointExpression
225.0ms
K
@-inf
(log (+ 1 (+ (* (* -2 (cos (* 1/2 K))) (sqrt (+ (* 1 1) (* (* 1/2 (/ (/ U J) (cos (* 1/2 K)))) (* 1/2 (/ (/ U J) (cos (* 1/2 K)))))))) 1)))
225.0ms
x
@0
(/ (tan B) x)
190.0ms
f
@inf
(/ (- (log (/ 4 (PI))) (log f)) (PI))
183.0ms
f
@inf
(* (log (+ (/ 1 (- (exp (* (* (PI) f) 1/2)) 1)) (/ (+ (* f (+ 1/2 (* -1 (* f (+ (* -1/8 (PI)) (* 1/12 (PI))))))) (* 2 (/ 1 (PI)))) f))) (/ -4 (PI)))
172.0ms
t
@inf
(/ (/ 2 (+ (pow (/ k t) 2) 0)) (log (pow (exp (* (pow t 3) (pow l -2))) (* (sin k) (tan k)))))

preprocess13.5s (2.3%)

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 63928 to 36018 computations (43.7% saved)

analyze11.6s (1.9%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%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.5s
ival-mult: 2.1s (32.4% of total)
ival-pow: 1.2s (19.2% of total)
ival-div: 902.0ms (14% of total)
ival-sqrt: 564.0ms (8.7% of total)
ival-add: 410.0ms (6.3% of total)
ival-sub: 372.0ms (5.8% of total)
ival-sin: 219.0ms (3.4% of total)
ival-tan: 151.0ms (2.3% of total)
const: 137.0ms (2.1% of total)
ival-neg: 83.0ms (1.3% of total)
ival-acos: 74.0ms (1.1% of total)
ival-exp: 73.0ms (1.1% of total)
ival-asin: 29.0ms (0.4% of total)
ival-cos: 26.0ms (0.4% of total)
ival-pi: 26.0ms (0.4% of total)
ival-<: 22.0ms (0.3% of total)
ival-fabs: 20.0ms (0.3% of total)
ival-log: 12.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-hypot: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...