Herbie run

Date:Thursday, May 23rd, 2024
Commit:6b737c7e on explanations-trifurcate
Hostname:nightly with Racket 8.11.1
Seed:2024144
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: 3.7min)

sample56.8s (25.5%)

Results
19.7s16603×5exit
15.4s48395×1valid
11.0s109420×0valid
2.7s7305×2valid
477.0ms4030×0invalid
186.0ms1330×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 38.5s
ival-exp: 6.3s (16.3% of total)
ival-pow: 6.2s (16.2% of total)
backward-pass: 3.7s (9.6% of total)
...c/correct-round.rkt:121:19: 3.5s (9% of total)
ival-cos: 3.4s (8.9% of total)
ival-mult: 2.6s (6.8% of total)
ival-sqrt: 1.7s (4.4% of total)
ival-log: 1.2s (3.2% of total)
ival-add: 1.2s (3.1% of total)
ival-tan: 1.1s (2.9% of total)
ival-<=: 1.1s (2.8% of total)
ival-sin: 950.0ms (2.5% of total)
ival-fmod: 941.0ms (2.4% of total)
ival-sub: 786.0ms (2% of total)
ival-==: 755.0ms (2% of total)
ival-acos: 744.0ms (1.9% of total)
ival-div: 697.0ms (1.8% of total)
ival-neg: 492.0ms (1.3% of total)
ival-sinh: 328.0ms (0.9% of total)
const: 221.0ms (0.6% of total)
ival->: 145.0ms (0.4% of total)
ival-and: 144.0ms (0.4% of total)
ival-<: 115.0ms (0.3% of total)
ival-or: 65.0ms (0.2% of total)
ival-atan: 63.0ms (0.2% of total)
ival->=: 61.0ms (0.2% of total)
Bogosity

simplify30.1s (13.5%)

Algorithm
160×egg-herbie
Rules
47519×fma-define
43724×fma-neg
27688×distribute-lft-in
24341×distribute-rgt-in
24264×times-frac
Stop Event
62×saturated
92×node limit
6×unsound
Counts
33707 → 30107

soundness28.3s (12.7%)

Rules
18839×log1p-expm1-u
18581×fma-define
14989×expm1-log1p-u
12787×fma-neg
12518×associate-*r*
Stop Event
6×saturated
66×node limit
13×fuel
5×unsound
6×done
Compiler

Compiled 12454 to 3361 computations (73% saved)

localize20.4s (9.2%)

Results
5.3s613×5exit
5.0s4398×1valid
3.5s11161×0valid
2.0s1127×2valid
424.0ms552×0invalid
267.0ms218×1invalid
25.0ms107×0unsamplable
Compiler

Compiled 9221 to 1404 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.2s
ival-pow: 3.8s (31.6% of total)
ival-mult: 1.5s (12.5% of total)
ival-cos: 799.0ms (6.6% of total)
...c/correct-round.rkt:121:19: 797.0ms (6.5% of total)
backward-pass: 770.0ms (6.3% of total)
ival-log: 547.0ms (4.5% of total)
ival-tan: 489.0ms (4% of total)
ival-add: 480.0ms (3.9% of total)
ival-div: 474.0ms (3.9% of total)
ival-sin: 470.0ms (3.9% of total)
ival-fmod: 387.0ms (3.2% of total)
ival-sub: 249.0ms (2% of total)
ival-sinh: 229.0ms (1.9% of total)
ival-exp: 214.0ms (1.8% of total)
ival-sqrt: 170.0ms (1.4% of total)
ival-expm1: 132.0ms (1.1% of total)
ival-fma: 121.0ms (1% of total)
ival-log1p: 104.0ms (0.9% of total)
ival-asin: 67.0ms (0.6% of total)
ival-cbrt: 66.0ms (0.5% of total)
ival-acos: 65.0ms (0.5% of total)
ival-neg: 61.0ms (0.5% of total)
const: 49.0ms (0.4% of total)
ival-hypot: 34.0ms (0.3% of total)
ival-fabs: 16.0ms (0.1% of total)
ival-pi: 7.0ms (0.1% of total)
ival-atan: 4.0ms (0% of total)
ival-e: 2.0ms (0% of total)

rewrite18.6s (8.3%)

Algorithm
70×batch-egg-rewrite
Rules
35512×log1p-expm1-u
30076×expm1-log1p-u
17519×pow1
16097×add-exp-log
15423×add-log-exp
Stop Event
70×node limit
Counts
674 → 22392

analyze16.0s (7.2%)

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: 11.6s
...c/correct-round.rkt:121:19: 9.3s (79.8% of total)
ival-<=: 515.0ms (4.4% of total)
ival-div: 286.0ms (2.5% of total)
ival-==: 267.0ms (2.3% of total)
ival-add: 224.0ms (1.9% of total)
ival-tan: 212.0ms (1.8% of total)
ival-pow: 176.0ms (1.5% of total)
ival-mult: 131.0ms (1.1% of total)
ival-sin: 96.0ms (0.8% of total)
ival-cos: 85.0ms (0.7% of total)
ival-sub: 63.0ms (0.5% of total)
ival-and: 61.0ms (0.5% of total)
ival-exp: 54.0ms (0.5% of total)
ival-fmod: 45.0ms (0.4% of total)
ival-or: 31.0ms (0.3% of total)
ival-log: 20.0ms (0.2% of total)
ival-neg: 19.0ms (0.2% of total)
ival-sqrt: 18.0ms (0.2% of total)
const: 14.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
backward-pass: 6.0ms (0.1% of total)
ival-<: 5.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)

series13.0s (5.8%)

Counts
674 → 11315
Calls

2799 calls:

TimeVariablePointExpression
6.8s
hi
@inf
(* hi (- (/ 1 lo) (/ x (pow lo 2))))
271.0ms
y
@0
(log (+ 1 (atan (/ y x))))
227.0ms
r
@0
(log (* r (sin b)))
214.0ms
b
@inf
(log (* (sin b) (/ r (cos (+ b a)))))
180.0ms
x
@inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))

prune12.4s (5.5%)

Counts
47121 → 1996
Compiler

Compiled 72058 to 39151 computations (45.7% saved)

eval9.6s (4.3%)

Compiler

Compiled 1021471 to 154745 computations (84.9% saved)

regimes8.0s (3.6%)

Counts
4472 → 191
Calls

55 calls:

1.1s
a
951.0ms
b
685.0ms
r
603.0ms
x
483.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 2012 to 1420 computations (29.4% saved)

preprocess4.5s (2%)

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 8952 to 4408 computations (50.8% saved)

explain3.5s (1.6%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue6570
cos.f64#fsensitivity5380
-.f64#fcancellation3491
sqrt.f64#fuflow-rescue3010
/.f64#fn/o2590
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2531
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2460
tan.f64(tan.f64 (+.f64 y z))sensitivity1830
pow.f64(pow.f64 l (exp.f64 w))sensitivity12716
*.f64#fn*o530
*.f64#fu*o340
*.f64#fn*u190
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue160
↳(*.f64 a a)overflow117
↳(*.f64 b b)overflow16
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue70
↳(sinh.f64 x)overflow7
↳(/.f64 (sinh.f64 x) x)overflow7
exp.f64(exp.f64 (neg.f64 x))sensitivity10
Confusion
Predicted +Predicted -
+2257261
-7121634
Precision
0.7601886156955204
Recall
0.8963463065925338
Confusion?
Predicted +Predicted MaybePredicted -
+22570261
-712191615
Precision?
0.7553547523427041
Recall?
0.8963463065925338
Freqs
test
numberfreq
01895
12895
274
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-001
Precision?
1.0
Recall?
1.0
Results
1.1s6668×0valid
712.0ms3038×1valid
318.0ms102×5exit
277.0ms432×2valid
Compiler

Compiled 1316 to 518 computations (60.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-cos: 354.0ms (22.2% of total)
ival-pow: 267.0ms (16.8% of total)
ival-mult: 227.0ms (14.3% of total)
ival-log: 194.0ms (12.2% of total)
backward-pass: 89.0ms (5.6% of total)
ival-sqrt: 81.0ms (5.1% of total)
ival-add: 64.0ms (4% of total)
ival-sub: 53.0ms (3.3% of total)
ival-tan: 45.0ms (2.8% of total)
ival-sin: 43.0ms (2.7% of total)
ival-exp: 38.0ms (2.4% of total)
ival-div: 37.0ms (2.3% of total)
ival-fmod: 37.0ms (2.3% of total)
ival-acos: 27.0ms (1.7% of total)
ival-sinh: 17.0ms (1.1% of total)
const: 13.0ms (0.8% of total)
ival-neg: 6.0ms (0.4% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.7s (0.8%)

Algorithm
40×binary-search
13×left-value
Stop Event
3×predicate-same
37×narrow-enough
Results
671.0ms2232×1valid
439.0ms560×2valid
339.0ms2280×0valid
Compiler

Compiled 8197 to 5681 computations (30.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-cos: 202.0ms (17.3% of total)
ival-exp: 197.0ms (16.9% of total)
ival-tan: 159.0ms (13.6% of total)
ival-div: 139.0ms (11.9% of total)
backward-pass: 116.0ms (9.9% of total)
ival-fmod: 72.0ms (6.2% of total)
ival-sin: 69.0ms (5.9% of total)
ival-add: 58.0ms (5% of total)
ival-mult: 57.0ms (4.9% of total)
ival-pow: 32.0ms (2.7% of total)
ival-sqrt: 23.0ms (2% of total)
ival-acos: 15.0ms (1.3% of total)
ival-sub: 14.0ms (1.2% of total)
ival-neg: 11.0ms (0.9% of total)
const: 5.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...