Herbie run

Date:Thursday, April 11th, 2024
Commit:c49a54d2 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024102
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.8min)

localize1.9min (21.9%)

Results
28.7s22303×0valid
23.5s3771×1valid
5.4s3195×0invalid
29.0s1388×5exit
6.0s957×2valid
5.5s563×3valid
51.0ms53×0unsamplable
198.0ms25×4valid
30.0ms1×5valid
Compiler

Compiled 38030 to 19862 computations (47.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-pow: 20.9s (24.6% of total)
ival-tan: 13.2s (15.4% of total)
ival-mult: 11.5s (13.4% of total)
ival-div: 7.0s (8.2% of total)
backward-pass: 6.4s (7.5% of total)
ival-add: 3.4s (3.9% of total)
ival-sin: 3.0s (3.5% of total)
ival-exp: 3.0s (3.5% of total)
ival-log: 2.2s (2.6% of total)
ival-cos: 2.1s (2.5% of total)
ival-fma: 2.1s (2.5% of total)
ival-sqrt: 2.0s (2.4% of total)
ival-sub: 1.8s (2.1% of total)
ival-hypot: 1.5s (1.7% of total)
const: 1.1s (1.3% of total)
ival-log1p: 1.0s (1.2% of total)
ival-cbrt: 829.0ms (1% of total)
ival-expm1: 776.0ms (0.9% of total)
ival-acos: 697.0ms (0.8% of total)
ival-asin: 315.0ms (0.4% of total)
ival-neg: 293.0ms (0.3% of total)
ival-pi: 156.0ms (0.2% of total)
ival-atan: 38.0ms (0% of total)
ival-fabs: 17.0ms (0% of total)

sample1.9min (21.8%)

Results
1.2min258402×0valid
13.0s74839×0invalid
1.9s5193×1valid
2.3s3107×5exit
1.0s1900×1invalid
245.0ms454×2valid
48.0ms218×0unsamplable
60.0ms135×3valid
9.0ms8×4valid
0.0ms1×2invalid
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-tan: 26.3s (34.1% of total)
ival-mult: 13.8s (17.9% of total)
ival-div: 8.5s (11.1% of total)
ival-pow: 6.4s (8.3% of total)
ival-exp: 4.2s (5.4% of total)
ival-add: 3.1s (4.1% of total)
ival-sub: 2.9s (3.7% of total)
ival-sqrt: 2.8s (3.6% of total)
ival-sin: 2.3s (3% of total)
backward-pass: 1.8s (2.4% of total)
ival-cos: 1.5s (1.9% of total)
const: 958.0ms (1.2% of total)
ival-neg: 594.0ms (0.8% of total)
ival-pi: 434.0ms (0.6% of total)
ival-acos: 408.0ms (0.5% of total)
ival-hypot: 363.0ms (0.5% of total)
ival-log: 235.0ms (0.3% of total)
ival-fabs: 204.0ms (0.3% of total)
ival-asin: 142.0ms (0.2% of total)
ival-<: 113.0ms (0.1% of total)
ival-atan: 72.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

simplify53.9s (10.2%)

Algorithm
157×egg-herbie
Rules
52958×fma-define
42052×*-commutative
41014×times-frac
38531×associate-*r*
35632×distribute-lft-in
Stop Event
32×saturated
124×node limit
1×unsound
Counts
69654 → 60039

soundness48.2s (9.1%)

Rules
60782×fma-define
43160×times-frac
41991×log1p-expm1-u
41460×associate-*r*
33693×*-commutative
Stop Event
9×saturated
179×node limit
28×fuel
1×unsound
4×done
Compiler

Compiled 54369 to 31645 computations (41.8% saved)

eval45.2s (8.6%)

Compiler

Compiled 3059630 to 1931534 computations (36.9% saved)

regimes34.0s (6.4%)

Counts
11463 → 861
Calls

156 calls:

3.0s
l
2.0s
t
1.7s
k
1.6s
NaChar
1.6s
Vef
Compiler

Compiled 9237 to 7073 computations (23.4% saved)

prune27.6s (5.2%)

Counts
96308 → 3334
Compiler

Compiled 150511 to 105143 computations (30.1% saved)

rewrite27.1s (5.1%)

Algorithm
125×batch-egg-rewrite
Rules
74245×log1p-expm1-u
53537×expm1-log1p-u
30687×add-exp-log
30561×add-log-exp
30307×pow1
Stop Event
124×node limit
1×unsound
Counts
1302 → 36040

bsearch14.0s (2.7%)

Algorithm
388×binary-search
112×left-value
Stop Event
12×predicate-same
376×narrow-enough
Results
8.3s44494×0valid
1.4s6390×0invalid
489.0ms1604×1valid
152.0ms311×2valid
39.0ms149×1invalid
31.0ms53×3valid
6.0ms16×2invalid
1.0ms2×4valid
2.0ms2×5exit
Compiler

Compiled 129537 to 97152 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-div: 1.7s (23.5% of total)
ival-mult: 1.3s (18.3% of total)
ival-pow: 1.1s (14.7% of total)
ival-add: 725.0ms (9.9% of total)
ival-sin: 499.0ms (6.8% of total)
ival-sub: 422.0ms (5.8% of total)
ival-tan: 357.0ms (4.9% of total)
ival-neg: 258.0ms (3.5% of total)
ival-exp: 222.0ms (3% of total)
backward-pass: 222.0ms (3% of total)
ival-sqrt: 143.0ms (2% of total)
const: 141.0ms (1.9% of total)
ival-cos: 133.0ms (1.8% of total)
ival-hypot: 22.0ms (0.3% of total)
ival-fabs: 20.0ms (0.3% of total)
ival-atan: 12.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

explain13.8s (2.6%)

Results
6.2s13348×0valid
2.8s2188×1valid
763.0ms510×2valid
374.0ms306×3valid
86.0ms18×4valid
14.0ms14×5exit
Compiler

Compiled 7745 to 4127 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
ival-mult: 2.2s (27.2% of total)
ival-pow: 1.1s (13.8% of total)
ival-div: 1.1s (13.2% of total)
ival-add: 694.0ms (8.6% of total)
backward-pass: 649.0ms (8.1% of total)
ival-sub: 529.0ms (6.6% of total)
ival-tan: 386.0ms (4.8% of total)
ival-sqrt: 288.0ms (3.6% of total)
ival-exp: 286.0ms (3.6% of total)
ival-cos: 200.0ms (2.5% of total)
const: 178.0ms (2.2% of total)
ival-sin: 124.0ms (1.5% of total)
ival-neg: 122.0ms (1.5% of total)
ival-hypot: 101.0ms (1.3% of total)
ival-log: 46.0ms (0.6% of total)
ival-acos: 32.0ms (0.4% of total)
ival-pi: 25.0ms (0.3% of total)
ival-asin: 11.0ms (0.1% of total)
ival-atan: 7.0ms (0.1% of total)
ival-fabs: 6.0ms (0.1% of total)

series12.9s (2.4%)

Counts
1302 → 33614
Calls

8763 calls:

TimeVariablePointExpression
369.0ms
K
@inf
(* (cos (- (/ (* K n) 2) M)) (pow (exp -1) (pow M 2)))
147.0ms
A
@-inf
(pow (/ A (* V l)) 1/4)
141.0ms
f
@0
(/ (* -4 (- (log (/ 4 (PI))) (log f))) (PI))
135.0ms
ky
@0
(* (pow (* 2 (/ l Om)) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))
107.0ms
v
@0
(log (* (cbrt (pow (exp -3) (pow v 2))) (cbrt (pow (exp -3) (pow v 2)))))

analyze11.5s (2.2%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.2%36.2%53.8%1.8%0%7.5%0.7%6
45.6%40.7%48.6%1.8%0%8.2%0.8%7
48%42.2%45.7%1.8%0%9.5%0.8%8
51.1%44.7%42.8%1.8%0%9.8%0.9%9
52.2%45.6%41.7%1.8%0%10.1%0.9%10
54%46.8%39.8%1.8%0%10.6%1%11
55.8%48%38.1%1.8%0%11.2%1%12
Compiler

Compiled 861 to 616 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 2.1s (32.4% of total)
ival-pow: 1.2s (17.8% of total)
ival-div: 850.0ms (13% of total)
ival-sqrt: 528.0ms (8.1% of total)
ival-add: 509.0ms (7.8% of total)
ival-sub: 326.0ms (5% of total)
ival-neg: 207.0ms (3.2% of total)
ival-sin: 205.0ms (3.1% of total)
ival-tan: 137.0ms (2.1% of total)
backward-pass: 123.0ms (1.9% of total)
const: 117.0ms (1.8% of total)
ival-exp: 67.0ms (1% of total)
ival-acos: 49.0ms (0.7% of total)
ival-pi: 30.0ms (0.5% of total)
ival-fabs: 30.0ms (0.5% of total)
ival-cos: 26.0ms (0.4% of total)
ival-<: 24.0ms (0.4% of total)
ival-asin: 23.0ms (0.4% of total)
ival-log: 10.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

preprocess9.8s (1.9%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 54420 to 31984 computations (41.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...