Herbie run

Date:Friday, May 10th, 2024
Commit:b0326c12 on jackson-platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024131
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: 7.7min)

sample1.7min (22.8%)

Results
36.9s225363×0valid
12.5s24879×1valid
10.2s65135×0invalid
7.5s12090×5exit
5.4s6417×3valid
3.5s6638×2valid
3.2s10572×1invalid
994.0ms892×4valid
202.0ms463×2invalid
32.0ms227×0unsamplable
3.0ms3×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 17.5s (27.7% of total)
ival-div: 8.6s (13.6% of total)
ival-pow: 6.3s (10% of total)
ival-sub: 5.3s (8.3% of total)
ival-tan: 4.5s (7.1% of total)
ival-sqrt: 3.7s (5.9% of total)
ival-add: 3.4s (5.4% of total)
backward-pass: 3.0s (4.8% of total)
ival-sin: 2.2s (3.5% of total)
ival-exp: 1.8s (2.9% of total)
<compiled-spec>: 1.8s (2.8% of total)
ival-cos: 1.1s (1.7% of total)
ival-neg: 852.0ms (1.3% of total)
ival-acos: 806.0ms (1.3% of total)
const: 790.0ms (1.2% of total)
ival-pi: 699.0ms (1.1% of total)
ival-log: 348.0ms (0.6% of total)
ival-asin: 198.0ms (0.3% of total)
ival-<: 141.0ms (0.2% of total)
ival-fabs: 110.0ms (0.2% of total)
ival-atan: 91.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

simplify1.2min (15.5%)

Algorithm
158×egg-herbie
Rules
48496×fma-define
45795×*-commutative
38879×times-frac
32406×distribute-lft-in
32125×associate-*r*
Stop Event
32×saturated
126×node limit
Counts
93170 → 79848

localize1.0min (13.6%)

Algorithm
127×egg-herbie
Rules
55765×fma-define
32351×fmm-def
25997×distribute-lft-in
23293×associate-*r*
22680×times-frac
Stop Event
40×saturated
87×node limit
Results
16.2s2891×5exit
11.8s22507×0valid
3.3s3821×0invalid
2.9s850×2valid
2.6s1914×1valid
1.5s253×3valid
284.0ms29×4valid
135.0ms7×5valid
98.0ms85×1invalid
47.0ms152×0unsamplable
6.0ms3×2invalid
Compiler

Compiled 35396 to 4242 computations (88% saved)

Precisions
Click to see histograms. Total time spent on operations: 27.4s
ival-mult: 4.8s (17.4% of total)
ival-pow: 3.7s (13.4% of total)
ival-sin: 2.8s (10.3% of total)
<compiled-spec>: 2.5s (9.2% of total)
backward-pass: 2.5s (9.2% of total)
ival-div: 2.2s (8% of total)
ival-tan: 1.7s (6.4% of total)
ival-sub: 1.4s (5.1% of total)
ival-log: 1.0s (3.7% of total)
ival-add: 953.0ms (3.5% of total)
ival-sqrt: 948.0ms (3.5% of total)
ival-exp: 875.0ms (3.2% of total)
ival-cos: 614.0ms (2.2% of total)
ival-asin: 483.0ms (1.8% of total)
ival-cbrt: 293.0ms (1.1% of total)
ival-acos: 235.0ms (0.9% of total)
const: 149.0ms (0.5% of total)
ival-pi: 84.0ms (0.3% of total)
ival-neg: 82.0ms (0.3% of total)
ival-atan: 33.0ms (0.1% of total)
ival-fabs: 13.0ms (0% of total)

soundness55.3s (12%)

Rules
51648×fma-define
44716×log1p-expm1-u
36783×times-frac
34007×expm1-log1p-u
33916×*-commutative
Stop Event
8×saturated
30×fuel
168×node limit
1×unsound
2×done
Compiler

Compiled 42754 to 13246 computations (69% saved)

rewrite33.9s (7.4%)

Algorithm
126×batch-egg-rewrite
Rules
73830×log1p-expm1-u
53198×expm1-log1p-u
32210×add-exp-log
32078×add-log-exp
31771×pow1
Stop Event
125×node limit
1×unsound
Counts
1876 → 49275

prune28.7s (6.2%)

Counts
112977 → 3631
Compiler

Compiled 160251 to 91751 computations (42.7% saved)

eval24.2s (5.3%)

Compiler

Compiled 3548973 to 476139 computations (86.6% saved)

regimes19.6s (4.3%)

Counts
11530 → 725
Calls

156 calls:

1.6s
l
873.0ms
t
834.0ms
k
783.0ms
m
641.0ms
(sin.f64 ky)
Compiler

Compiled 8890 to 6628 computations (25.4% saved)

series18.6s (4%)

Counts
1876 → 43895
Calls

11925 calls:

TimeVariablePointExpression
340.0ms
t
@inf
(* (/ 2 (log (pow (exp (pow t 3)) (* (pow (/ k t) 2) (* (sin k) (tan k)))))) (* l l))
275.0ms
l
@0
(- (* (PI) l) (* (/ 1 (* F F)) (tan (pow (pow (* (PI) l) 3) 1/3))))
240.0ms
n
@0
(+ (+ 2 (* (cos (- (* (* 1/2 K) (+ m n)) M)) (exp (+ (- m n) (- (pow (- (* (+ m n) 1/2) M) 2) l))))) -1)
237.0ms
U
@-inf
(+ (* (* n (pow (/ l Om) 2)) U) (* (* n (pow (/ l Om) 2)) (neg U*)))
224.0ms
d
@-inf
(pow (exp 1/4) (+ (* -2 (log d)) (log (/ (* -1/4 (* (pow (* D M) 2) h)) l))))

bsearch12.1s (2.6%)

Algorithm
266×binary-search
101×left-value
Stop Event
9×predicate-same
257×narrow-enough
Results
7.2s30659×0valid
1.4s6717×0invalid
338.0ms400×2valid
205.0ms553×1valid
145.0ms144×3valid
84.0ms116×4valid
1.0ms5×1invalid
1.0ms2×2invalid
Compiler

Compiled 77465 to 56752 computations (26.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.9s
ival-mult: 2.0s (28.8% of total)
ival-pow: 1.5s (21.1% of total)
ival-div: 1.2s (17.8% of total)
ival-add: 528.0ms (7.7% of total)
ival-sin: 414.0ms (6% of total)
ival-sub: 335.0ms (4.9% of total)
ival-tan: 315.0ms (4.6% of total)
ival-exp: 146.0ms (2.1% of total)
ival-neg: 134.0ms (1.9% of total)
backward-pass: 114.0ms (1.7% of total)
ival-sqrt: 91.0ms (1.3% of total)
const: 68.0ms (1% of total)
ival-cos: 60.0ms (0.9% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-atan: 9.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

analyze11.3s (2.4%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.1%18.7%79.5%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.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
ival-mult: 1.8s (30% of total)
ival-pow: 1.5s (24.8% of total)
ival-div: 765.0ms (12.6% of total)
ival-add: 481.0ms (7.9% of total)
ival-sub: 364.0ms (6% of total)
ival-sqrt: 259.0ms (4.3% of total)
ival-sin: 235.0ms (3.9% of total)
ival-tan: 153.0ms (2.5% of total)
ival-acos: 118.0ms (1.9% of total)
ival-neg: 86.0ms (1.4% of total)
const: 84.0ms (1.4% of total)
ival-exp: 48.0ms (0.8% of total)
ival-pi: 41.0ms (0.7% of total)
ival-<: 27.0ms (0.4% of total)
ival-asin: 23.0ms (0.4% of total)
backward-pass: 22.0ms (0.4% of total)
ival-fabs: 18.0ms (0.3% of total)
ival-cos: 14.0ms (0.2% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
ival-atan: 2.0ms (0% of total)
<compiled-spec>: 0.0ms (0% of total)

preprocess9.9s (2.2%)

Algorithm
32×egg-herbie
Rules
20054×fma-define
13409×fmm-def
8518×times-frac
7224×distribute-lft-in
7153×unsub-neg
Stop Event
9×saturated
23×node limit
Compiler

Compiled 51992 to 21854 computations (58% saved)

explain7.7s (1.7%)

Results
2.8s13346×0valid
1.3s1996×1valid
462.0ms444×3valid
380.0ms540×2valid
62.0ms46×4valid
8.0ms12×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-mult: 629.0ms (21.3% of total)
ival-tan: 474.0ms (16.1% of total)
ival-div: 452.0ms (15.3% of total)
ival-pow: 274.0ms (9.3% of total)
ival-sqrt: 185.0ms (6.3% of total)
backward-pass: 164.0ms (5.6% of total)
ival-sub: 150.0ms (5.1% of total)
ival-add: 133.0ms (4.5% of total)
ival-sin: 119.0ms (4% of total)
ival-exp: 91.0ms (3.1% of total)
ival-cos: 71.0ms (2.4% of total)
ival-log: 49.0ms (1.7% of total)
const: 39.0ms (1.3% of total)
ival-neg: 32.0ms (1.1% of total)
ival-acos: 29.0ms (1% of total)
<compiled-spec>: 18.0ms (0.6% of total)
ival-pi: 17.0ms (0.6% of total)
ival-asin: 9.0ms (0.3% of total)
ival-fabs: 7.0ms (0.2% of total)
ival-atan: 6.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...