Herbie run

Date:Tuesday, June 18th, 2024
Commit:622245fd on fix-rival
Hostname:nightly with Racket 8.11.1
Seed:2024170
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: 36.4min)

simplify7.6min (20.8%)

Algorithm
2 118×egg-herbie
Rules
707 461×fma-define
595 680×fmm-def
373 982×associate-*r*
373 719×distribute-lft-in
364 483×times-frac
Stop Event
1 330×node limit
782×saturated
6×unsound
Counts
519 961 → 449 231

sample5.7min (15.7%)

Samples
3.6min2 146 335×0valid
22.5s65 068×1valid
9.7s60 013×0invalid
2.1s1 577×5exit
2.0s8 274×2valid
626.0ms1 185×3valid
510.0ms1 611×1invalid
0.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 53.5s (34.7% of total)
ival-sub: 21.5s (14% of total)
ival-add: 21.2s (13.7% of total)
ival-div: 19.3s (12.5% of total)
ival-log: 10.4s (6.7% of total)
ival-sqrt: 6.5s (4.2% of total)
...in/eval/compile.rkt:77:19: 5.4s (3.5% of total)
ival-sin: 3.9s (2.5% of total)
ival-cos: 3.6s (2.3% of total)
ival-exp: 2.2s (1.4% of total)
adjust: 1.8s (1.2% of total)
ival-true: 1.7s (1.1% of total)
ival-assert: 1.2s (0.8% of total)
...in/eval/compile.rkt:76:19: 654.0ms (0.4% of total)
ival-cosh: 415.0ms (0.3% of total)
ival-tan: 331.0ms (0.2% of total)
ival-fabs: 226.0ms (0.1% of total)
ival-acos: 210.0ms (0.1% of total)
ival-sinh: 124.0ms (0.1% of total)
ival-tanh: 116.0ms (0.1% of total)
Bogosity

soundness4.6min (12.5%)

Rules
270 544×fma-define
234 888×fmm-def
195 267×log1p-expm1-u
156 317×associate-*r*
153 239×times-frac
Stop Event
818×node limit
157×fuel
112×done
85×saturated
6×unsound
Compiler

Compiled 151 036 to 51 786 computations (65.7% saved)

rewrite4.1min (11.2%)

Algorithm
911×batch-egg-rewrite
Rules
609 972×log1p-expm1-u
461 399×expm1-log1p-u
185 405×pow1
177 107×add-exp-log
168 376×add-log-exp
Stop Event
907×node limit
3×unsound
1×saturated
Counts
9 067 → 299 804

prune2.7min (7.4%)

Counts
597 454 → 14 523
Compiler

Compiled 463 597 to 278 989 computations (39.8% saved)

eval2.3min (6.3%)

Compiler

Compiled 12 320 774 to 2 071 673 computations (83.2% saved)

analyze1.9min (5.2%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.3%0.1%0%0.6%0%2
0%0%97.3%0.1%0%2.6%0%3
2.9%2.8%93.4%0.1%0%3.6%0%4
4.3%4.1%91.6%0.1%0%4.1%0%5
6.1%5.8%89.5%0.1%0%4.6%0%6
7.9%7.5%87.2%0.1%0%5.1%0%7
8.9%8.4%85.9%0.1%0%5.6%0%8
10.2%9.6%84.4%0.1%0%5.9%0%9
11.7%11%82.7%0.1%0%6.2%0%10
12.8%11.9%81.7%0.1%0%6.2%0%11
13.7%12.8%80.6%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 980 computations (13.9% saved)

localize1.9min (5.2%)

Samples
50.7s219 904×0valid
9.6s2 887×5exit
7.8s8 244×1valid
3.3s7 592×0invalid
1.3s1 335×2valid
103.0ms156×3valid
6.0ms9×4valid
0.0ms1×1invalid
Compiler

Compiled 113 349 to 19 812 computations (82.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 47.3s
ival-mult: 13.9s (29.4% of total)
ival-div: 8.1s (17.1% of total)
ival-add: 5.1s (10.9% of total)
ival-sub: 3.4s (7.2% of total)
ival-cbrt: 3.2s (6.8% of total)
ival-pow: 2.8s (5.9% of total)
...in/eval/compile.rkt:77:19: 2.7s (5.7% of total)
ival-log: 2.4s (5% of total)
adjust: 1.1s (2.4% of total)
ival-sqrt: 602.0ms (1.3% of total)
ival-pow2: 600.0ms (1.3% of total)
ival-cos: 579.0ms (1.2% of total)
ival-exp: 503.0ms (1.1% of total)
ival-sin: 485.0ms (1% of total)
ival-neg: 441.0ms (0.9% of total)
ival-cosh: 245.0ms (0.5% of total)
ival-true: 213.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 176.0ms (0.4% of total)
ival-log1p: 166.0ms (0.4% of total)
ival-assert: 137.0ms (0.3% of total)
ival-hypot: 105.0ms (0.2% of total)
ival-expm1: 81.0ms (0.2% of total)
ival-tan: 54.0ms (0.1% of total)
ival-acos: 45.0ms (0.1% of total)
ival-fabs: 25.0ms (0.1% of total)
ival-tanh: 19.0ms (0% of total)
ival-e: 16.0ms (0% of total)
ival-sinh: 10.0ms (0% of total)

regimes1.4min (3.9%)

Counts
37 570 → 4 949
Calls

511 calls:

13.8s
y
12.4s
x
11.1s
z
8.0s
t
4.9s
a
Compiler

Compiled 47 253 to 37 251 computations (21.2% saved)

bsearch1.3min (3.5%)

Algorithm
2 539×binary-search
280×left-value
Stop Event
2 492×narrow-enough
47×predicate-same
Samples
46.4s309 985×0valid
2.5s8 444×1valid
953.0ms9 338×0invalid
133.0ms658×2valid
41.0ms303×1invalid
10.0ms49×3valid
Compiler

Compiled 560 036 to 420 543 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.1s
ival-mult: 13.6s (40% of total)
ival-sub: 5.9s (17.3% of total)
ival-add: 4.3s (12.7% of total)
ival-div: 3.0s (8.9% of total)
ival-log: 1.7s (4.9% of total)
...in/eval/compile.rkt:77:19: 1.7s (4.9% of total)
ival-sqrt: 1.0s (3% of total)
ival-sin: 982.0ms (2.9% of total)
ival-cos: 434.0ms (1.3% of total)
ival-exp: 325.0ms (1% of total)
ival-fabs: 320.0ms (0.9% of total)
ival-true: 254.0ms (0.7% of total)
adjust: 185.0ms (0.5% of total)
ival-assert: 179.0ms (0.5% of total)
...in/eval/compile.rkt:76:19: 97.0ms (0.3% of total)
ival-tanh: 13.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)

preprocess1.2min (3.3%)

Algorithm
269×egg-herbie
Rules
137 764×fmm-def
117 089×fma-define
51 035×unsub-neg
50 338×sub-neg
47 100×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 140 774 to 55 872 computations (60.3% saved)

series1.1min (3%)

Counts
9 067 → 220 157
Calls

52068 calls:

TimeVariablePointExpression
2.6s
a
@0
(* a (/ y (- z 1)))
489.0ms
y
@-inf
(+ x (* y (- z x)))
429.0ms
x
@inf
(/ (sin x) x)
405.0ms
y
@-inf
(* x (log y))
405.0ms
x
@inf
(* x (+ (log (pow (cbrt x) 2)) (log (/ (cbrt x) y))))

explain46.1s (2.1%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15672
/.f64#fo/n10790
sqrt.f64#foflow-rescue7310
-.f64#fcancellation6056
/.f64#fo/o5640
*.f64#fn*o4740
-.f64#fnan-rescue4380
+.f64#fnan-rescue4330
cos.f64#fsensitivity3340
+.f64#fcancellation3251
/.f64#fn/o3140
/.f64#fu/n2410
sin.f64#fsensitivity2361
*.f64#fn*u1770
/.f64#fn/u1260
cos.f64#foflow-rescue1070
log.f64#foflow-rescue940
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity880
/.f64#fu/u840
log.f64#fuflow-rescue710
sqrt.f64#fuflow-rescue520
*.f64#fo*u370
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
exp.f64#fsensitivity273
*.f64#fu*o30
Confusion
Predicted +Predicted -
+5749246
-168261187
Precision
0.7736509218140223
Recall
0.9589658048373645
Confusion?
Predicted +Predicted MaybePredicted -
+57492244
-16821061177
Precision?
0.7726723095525998
Recall?
0.9592994161801501
Freqs
test
numberfreq
061433
16678
2684
353
412
54
Total Confusion?
Predicted +Predicted MaybePredicted -
+13210
-20134
Precision?
0.9851851851851852
Recall?
1.0
Samples
14.7s130 502×0valid
2.8s5 942×1valid
302.0ms946×2valid
74.0ms168×3valid
18.0ms166×0invalid
1.0ms4×4valid
Compiler

Compiled 29 004 to 10 844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.7s
ival-mult: 3.3s (33.7% of total)
ival-add: 1.5s (15.7% of total)
ival-sub: 1.4s (14.4% of total)
ival-log: 1.0s (10.5% of total)
ival-div: 890.0ms (9.2% of total)
ival-sqrt: 354.0ms (3.7% of total)
...in/eval/compile.rkt:77:19: 266.0ms (2.8% of total)
ival-sin: 181.0ms (1.9% of total)
ival-cos: 177.0ms (1.8% of total)
adjust: 137.0ms (1.4% of total)
ival-true: 125.0ms (1.3% of total)
ival-exp: 91.0ms (0.9% of total)
ival-acos: 89.0ms (0.9% of total)
ival-assert: 78.0ms (0.8% of total)
...in/eval/compile.rkt:76:19: 41.0ms (0.4% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-tan: 11.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)

end1.0ms (0%)

Profiling

Loading profile data...