Herbie run

Date:Thursday, June 13th, 2024
Commit:63d27371 on web-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024165
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.5min)

sample1.1min (30.4%)

Samples
27.0s48 548×1valid
16.3s16 473×5exit
10.0s109 196×0valid
2.8s7 376×2valid
643.0ms5 345×0invalid
Precisions
Click to see histograms. Total time spent on operations: 45.0s
adjust: 7.4s (16.4% of total)
ival-sin: 5.7s (12.7% of total)
ival-exp: 5.7s (12.7% of total)
ival-pow: 5.4s (12% of total)
...in/eval/compile.rkt:71:19: 3.8s (8.5% of total)
ival-cos: 3.4s (7.6% of total)
ival-mult: 2.3s (5.1% of total)
ival-add: 1.4s (3.2% of total)
ival-tan: 1.2s (2.8% of total)
ival-sqrt: 1.2s (2.7% of total)
ival-log: 1.2s (2.7% of total)
ival-acos: 1.1s (2.4% of total)
ival-fmod: 1.0s (2.3% of total)
ival-sub: 861.0ms (1.9% of total)
ival-<=: 811.0ms (1.8% of total)
ival-div: 739.0ms (1.6% of total)
ival-sinh: 401.0ms (0.9% of total)
ival-neg: 264.0ms (0.6% of total)
ival-==: 154.0ms (0.3% of total)
ival-and: 145.0ms (0.3% of total)
ival-atan: 137.0ms (0.3% of total)
ival-true: 112.0ms (0.2% of total)
ival-assert: 102.0ms (0.2% of total)
ival-<: 74.0ms (0.2% of total)
...in/eval/compile.rkt:70:19: 69.0ms (0.2% of total)
ival-or: 46.0ms (0.1% of total)
ival->=: 36.0ms (0.1% of total)
ival->: 23.0ms (0.1% of total)
Bogosity

simplify29.6s (14%)

Algorithm
159×egg-herbie
Rules
47 238×fma-define
35 967×fmm-def
25 609×distribute-lft-in
24 927×times-frac
22 474×associate-*r*
Stop Event
93×node limit
58×saturated
8×unsound
Counts
35 208 → 30 091

soundness26.5s (12.5%)

Rules
18 501×log1p-expm1-u
13 704×fma-define
12 646×expm1-log1p-u
12 019×fmm-def
11 743×associate-*r*
Stop Event
57×node limit
11×fuel
9×done
6×saturated
1×unsound
Compiler

Compiled 12 761 to 3 644 computations (71.4% saved)

localize18.5s (8.7%)

Samples
5.9s659×5exit
4.5s5 177×1valid
2.5s10 494×0valid
1.9s1 101×2valid
322.0ms488×0invalid
1.0ms1×3valid
Compiler

Compiled 8 952 to 1 440 computations (83.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
ival-cos: 1.8s (15.6% of total)
ival-pow: 1.7s (15% of total)
ival-log: 1.6s (13.7% of total)
ival-mult: 924.0ms (8% of total)
adjust: 854.0ms (7.4% of total)
ival-sin: 814.0ms (7.1% of total)
ival-div: 600.0ms (5.2% of total)
ival-exp: 586.0ms (5.1% of total)
ival-fmod: 532.0ms (4.6% of total)
ival-fma: 333.0ms (2.9% of total)
ival-add: 242.0ms (2.1% of total)
ival-sqrt: 229.0ms (2% of total)
ival-sub: 229.0ms (2% of total)
ival-tan: 170.0ms (1.5% of total)
ival-neg: 147.0ms (1.3% of total)
...in/eval/compile.rkt:71:19: 138.0ms (1.2% of total)
ival-cbrt: 93.0ms (0.8% of total)
ival-e: 92.0ms (0.8% of total)
ival-acos: 76.0ms (0.7% of total)
ival-log1p: 63.0ms (0.5% of total)
ival-expm1: 62.0ms (0.5% of total)
ival-asin: 60.0ms (0.5% of total)
ival-sinh: 42.0ms (0.4% of total)
ival-hypot: 40.0ms (0.3% of total)
...in/eval/compile.rkt:70:19: 19.0ms (0.2% of total)
ival-true: 17.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)
ival-pi: 9.0ms (0.1% of total)
ival-atan: 4.0ms (0% of total)

rewrite16.8s (7.9%)

Algorithm
69×batch-egg-rewrite
Rules
40 432×log1p-expm1-u
31 439×expm1-log1p-u
17 355×pow1
14 368×add-exp-log
13 921×unpow-prod-down
Stop Event
69×node limit
Counts
659 → 24 084

prune12.4s (5.9%)

Counts
50 973 → 1 973
Compiler

Compiled 70 261 to 38 548 computations (45.1% saved)

eval11.0s (5.2%)

Compiler

Compiled 1 110 136 to 168 475 computations (84.8% saved)

regimes10.0s (4.7%)

Counts
4 667 → 196
Calls

55 calls:

1.2s
a
931.0ms
b
848.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
823.0ms
r
616.0ms
x
Compiler

Compiled 1 873 to 1 326 computations (29.2% saved)

preprocess9.0s (4.2%)

Algorithm
20×egg-herbie
Rules
5 179×fmm-def
5 054×fma-define
1 627×distribute-rgt-in
1 585×distribute-lft-in
1 517×unsub-neg
Stop Event
18×saturated
2×node limit
Compiler

Compiled 8 182 to 3 628 computations (55.7% saved)

series4.7s (2.2%)

Counts
659 → 11 124
Calls

2787 calls:

TimeVariablePointExpression
473.0ms
b
@inf
(log (pow (exp r) (/ (sin b) (cos (+ b a)))))
316.0ms
r
@-inf
(log (pow (exp r) (/ (sin b) (cos (+ b a)))))
248.0ms
r
@inf
(log (pow (exp r) (/ (sin b) (cos (+ b a)))))
184.0ms
x
@inf
(+ (log (pow (cbrt (exp (exp x))) 2)) (log (cbrt (exp (exp x)))))
181.0ms
a
@inf
(log (pow (exp r) (/ (sin b) (cos (+ b a)))))

analyze4.4s (2.1%)

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 279 to 219 computations (21.5% saved)

explain3.2s (1.5%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5630
cos.f64#fsensitivity5190
-.f64#fcancellation3411
sqrt.f64#fuflow-rescue3330
/.f64#fn/o2600
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2550
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2480
tan.f64(tan.f64 (+.f64 y z))sensitivity1921
pow.f64(pow.f64 l (exp.f64 w))sensitivity13319
*.f64#fn*o570
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue240
↳(*.f64 a a)overflow123
↳(*.f64 b b)overflow24
*.f64#fu*o240
*.f64#fn*u210
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue50
↳(sinh.f64 x)overflow5
↳(/.f64 (sinh.f64 x) x)overflow5
exp.f64(exp.f64 (neg.f64 w))sensitivity10
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation10
Confusion
Predicted +Predicted -
+2210262
-6901958
Precision
0.7620689655172413
Recall
0.8940129449838188
Confusion?
Predicted +Predicted MaybePredicted -
+22101261
-690201938
Precision?
0.7569325573433756
Recall?
0.8944174757281553
Freqs
test
numberfreq
02220
12825
273
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
636.0ms90×5exit
631.0ms6 662×0valid
602.0ms3 016×1valid
168.0ms472×2valid
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 993.0ms
ival-cos: 256.0ms (25.8% of total)
adjust: 125.0ms (12.6% of total)
ival-mult: 83.0ms (8.4% of total)
ival-log: 68.0ms (6.8% of total)
ival-sqrt: 57.0ms (5.7% of total)
ival-tan: 48.0ms (4.8% of total)
ival-exp: 45.0ms (4.5% of total)
ival-sin: 45.0ms (4.5% of total)
ival-pow: 43.0ms (4.3% of total)
ival-fmod: 42.0ms (4.2% of total)
ival-add: 37.0ms (3.7% of total)
ival-sub: 36.0ms (3.6% of total)
ival-div: 33.0ms (3.3% of total)
ival-acos: 31.0ms (3.1% of total)
ival-sinh: 16.0ms (1.6% of total)
ival-true: 10.0ms (1% of total)
ival-neg: 7.0ms (0.7% of total)
ival-assert: 6.0ms (0.6% of total)
ival-atan: 3.0ms (0.3% of total)
...in/eval/compile.rkt:70:19: 2.0ms (0.2% of total)

bsearch1.3s (0.6%)

Algorithm
47×binary-search
22×left-value
Stop Event
40×narrow-enough
6×predicate-failed
1×predicate-same
Samples
450.0ms1 824×1valid
349.0ms3 488×0valid
76.0ms606×0invalid
Compiler

Compiled 7 946 to 5 757 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 553.0ms
ival-tan: 132.0ms (23.9% of total)
ival-cos: 96.0ms (17.4% of total)
ival-exp: 49.0ms (8.9% of total)
ival-pow: 46.0ms (8.3% of total)
ival-sin: 46.0ms (8.3% of total)
ival-add: 45.0ms (8.1% of total)
ival-mult: 35.0ms (6.3% of total)
adjust: 33.0ms (6% of total)
ival-div: 16.0ms (2.9% of total)
ival-fmod: 15.0ms (2.7% of total)
ival-neg: 12.0ms (2.2% of total)
ival-sub: 11.0ms (2% of total)
ival-sqrt: 9.0ms (1.6% of total)
ival-true: 5.0ms (0.9% of total)
ival-assert: 3.0ms (0.5% of total)
...in/eval/compile.rkt:70:19: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...