Herbie run

Date:Saturday, May 25th, 2024
Commit:445b0ec4 on explanations-trifurcate
Hostname:nightly with Racket 8.11.1
Seed:2024146
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 4.0min)

sample57.5s (24%)

Results
21.0s16636×5exit
13.9s48406×1valid
10.8s109370×0valid
3.1s7344×2valid
496.0ms4004×0invalid
141.0ms1394×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 39.5s
ival-pow: 7.2s (18.3% of total)
ival-exp: 5.9s (14.9% of total)
backward-pass: 4.2s (10.6% of total)
ival-cos: 4.1s (10.4% of total)
...c/correct-round.rkt:121:19: 3.5s (8.9% of total)
ival-mult: 2.3s (5.9% of total)
ival-sqrt: 1.7s (4.2% of total)
ival-log: 1.6s (4% of total)
ival-fmod: 1.4s (3.6% of total)
ival-tan: 1.3s (3.2% of total)
ival-<=: 1.1s (2.7% of total)
ival-add: 1.0s (2.6% of total)
ival-sub: 897.0ms (2.3% of total)
ival-sin: 745.0ms (1.9% of total)
ival-div: 693.0ms (1.8% of total)
ival-acos: 479.0ms (1.2% of total)
ival-sinh: 328.0ms (0.8% of total)
ival-==: 225.0ms (0.6% of total)
const: 208.0ms (0.5% of total)
ival-neg: 194.0ms (0.5% of total)
ival-and: 143.0ms (0.4% of total)
ival-<: 116.0ms (0.3% of total)
ival-or: 61.0ms (0.2% of total)
ival-atan: 56.0ms (0.1% of total)
ival->=: 44.0ms (0.1% of total)
ival->: 36.0ms (0.1% of total)
Bogosity

soundness45.5s (19%)

Rules
18770×log1p-expm1-u
17517×fma-define
13643×expm1-log1p-u
13427×fma-neg
12686×associate-*r*
Stop Event
6×saturated
67×node limit
12×fuel
3×unsound
7×done
Compiler

Compiled 11514 to 3421 computations (70.3% saved)

simplify27.7s (11.6%)

Algorithm
162×egg-herbie
Rules
47263×fma-define
40955×fma-neg
26177×distribute-lft-in
25376×associate-+r-
23899×distribute-rgt-in
Stop Event
61×saturated
94×node limit
7×unsound
Counts
33830 → 29107

analyze20.7s (8.7%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.4s
ival-add: 8.7s (47.2% of total)
...c/correct-round.rkt:121:19: 6.7s (36.6% of total)
ival-<=: 1.9s (10.6% of total)
ival-mult: 167.0ms (0.9% of total)
ival-cos: 143.0ms (0.8% of total)
ival-tan: 133.0ms (0.7% of total)
ival-pow: 115.0ms (0.6% of total)
ival-sin: 76.0ms (0.4% of total)
ival-and: 54.0ms (0.3% of total)
ival-fmod: 49.0ms (0.3% of total)
ival-div: 47.0ms (0.3% of total)
ival-exp: 47.0ms (0.3% of total)
ival-sub: 43.0ms (0.2% of total)
ival-==: 33.0ms (0.2% of total)
ival-or: 29.0ms (0.2% of total)
ival-log: 20.0ms (0.1% of total)
ival-neg: 20.0ms (0.1% of total)
ival-sqrt: 18.0ms (0.1% of total)
const: 13.0ms (0.1% of total)
ival-sinh: 12.0ms (0.1% of total)
backward-pass: 6.0ms (0% of total)
ival->: 4.0ms (0% of total)
ival-<: 4.0ms (0% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

localize19.7s (8.2%)

Results
7.7s11975×0valid
3.9s4265×1valid
2.5s395×5exit
2.0s1032×2valid
266.0ms597×0invalid
138.0ms44×4valid
34.0ms124×0unsamplable
Compiler

Compiled 9167 to 1389 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.8s
ival-add: 5.0s (39.1% of total)
ival-pow: 1.2s (9.2% of total)
ival-cos: 1.1s (8.9% of total)
ival-mult: 1.0s (8.1% of total)
backward-pass: 661.0ms (5.2% of total)
ival-div: 565.0ms (4.4% of total)
ival-sin: 548.0ms (4.3% of total)
ival-log: 473.0ms (3.7% of total)
ival-exp: 436.0ms (3.4% of total)
ival-fmod: 424.0ms (3.3% of total)
ival-sqrt: 248.0ms (1.9% of total)
...c/correct-round.rkt:121:19: 203.0ms (1.6% of total)
ival-sub: 163.0ms (1.3% of total)
ival-tan: 129.0ms (1% of total)
ival-sinh: 92.0ms (0.7% of total)
ival-acos: 85.0ms (0.7% of total)
ival-cbrt: 69.0ms (0.5% of total)
ival-fma: 66.0ms (0.5% of total)
ival-asin: 58.0ms (0.5% of total)
const: 44.0ms (0.3% of total)
ival-neg: 36.0ms (0.3% of total)
ival-hypot: 35.0ms (0.3% of total)
ival-log1p: 31.0ms (0.2% of total)
ival-expm1: 26.0ms (0.2% of total)
ival-e: 13.0ms (0.1% of total)
ival-pi: 9.0ms (0.1% of total)
ival-fabs: 5.0ms (0% of total)
ival-atan: 4.0ms (0% of total)

rewrite19.2s (8%)

Algorithm
71×batch-egg-rewrite
Rules
39265×log1p-expm1-u
30181×expm1-log1p-u
18920×pow1
15769×add-exp-log
14672×add-log-exp
Stop Event
71×node limit
Counts
658 → 23014

series12.2s (5.1%)

Counts
658 → 10816
Calls

2649 calls:

TimeVariablePointExpression
7.1s
x
@0
(+ (* -1 (/ (- x lo) lo)) (* hi (- (+ (/ 1 lo) (/ (* hi (- (/ 1 lo) (/ x (pow lo 2)))) lo)) (/ x (pow lo 2)))))
227.0ms
a
@0
(* (/ 1 (- (cos a) (* b (sin a)))) r)
199.0ms
x
@0
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))
167.0ms
l
@0
(/ (pow (sqrt l) (* (exp w) 2)) (/ (exp (+ w 1)) (E)))
164.0ms
a
@inf
(* r (log (+ (/ b (cos a)) 1)))

prune11.9s (5%)

Counts
47455 → 1800
Compiler

Compiled 61136 to 33753 computations (44.8% saved)

eval8.9s (3.7%)

Compiler

Compiled 1006112 to 157879 computations (84.3% saved)

preprocess5.7s (2.4%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 6986 to 3276 computations (53.1% saved)

regimes5.7s (2.4%)

Counts
3445 → 145
Calls

55 calls:

950.0ms
a
670.0ms
x
436.0ms
r
420.0ms
b
348.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 1598 to 1118 computations (30% saved)

explain3.5s (1.5%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5820
cos.f64#fsensitivity5070
-.f64#fcancellation3370
sqrt.f64#fuflow-rescue3190
/.f64#fn/o2580
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2550
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2490
tan.f64(tan.f64 (+.f64 y z))sensitivity1960
pow.f64(pow.f64 l (exp.f64 w))sensitivity13315
*.f64#fn*o570
*.f64#fu*o280
*.f64#fn*u240
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue170
↳(*.f64 a a)overflow108
↳(*.f64 b b)overflow17
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue30
↳(sinh.f64 x)overflow3
↳(/.f64 (sinh.f64 x) x)overflow3
Confusion
Predicted +Predicted -
+2191266
-7061701
Precision
0.7562996202968588
Recall
0.8917378917378918
Confusion?
Predicted +Predicted MaybePredicted -
+21910266
-706151686
Precision?
0.7524038461538461
Recall?
0.8917378917378918
Freqs
test
numberfreq
01967
12830
266
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-001
Precision?
1.0
Recall?
1.0
Results
796.0ms3088×1valid
548.0ms6602×0valid
333.0ms110×5exit
160.0ms440×2valid
Compiler

Compiled 1316 to 518 computations (60.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-cos: 327.0ms (29% of total)
ival-mult: 125.0ms (11.1% of total)
backward-pass: 86.0ms (7.6% of total)
ival-div: 69.0ms (6.1% of total)
ival-log: 66.0ms (5.9% of total)
ival-sqrt: 65.0ms (5.8% of total)
ival-add: 59.0ms (5.2% of total)
ival-tan: 49.0ms (4.4% of total)
ival-sub: 46.0ms (4.1% of total)
ival-sin: 43.0ms (3.8% of total)
ival-exp: 43.0ms (3.8% of total)
ival-fmod: 42.0ms (3.7% of total)
ival-pow: 41.0ms (3.6% of total)
ival-sinh: 21.0ms (1.9% of total)
ival-acos: 21.0ms (1.9% of total)
const: 13.0ms (1.2% of total)
ival-neg: 6.0ms (0.5% of total)
ival-atan: 3.0ms (0.3% of total)

bsearch1.2s (0.5%)

Algorithm
12×left-value
27×binary-search
Stop Event
1×predicate-same
25×narrow-enough
1×predicate-failed
Results
502.0ms640×2valid
307.0ms1137×1valid
161.0ms1695×0valid
11.0ms101×0invalid
Compiler

Compiled 5790 to 4064 computations (29.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 805.0ms
ival-fmod: 197.0ms (24.5% of total)
ival-exp: 191.0ms (23.7% of total)
ival-mult: 105.0ms (13.1% of total)
ival-cos: 73.0ms (9.1% of total)
ival-div: 71.0ms (8.8% of total)
backward-pass: 46.0ms (5.7% of total)
ival-tan: 34.0ms (4.2% of total)
ival-sqrt: 26.0ms (3.2% of total)
ival-add: 17.0ms (2.1% of total)
ival-sin: 15.0ms (1.9% of total)
ival-pow: 14.0ms (1.7% of total)
ival-neg: 10.0ms (1.2% of total)
ival-sub: 4.0ms (0.5% of total)
const: 3.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...