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: 1.4min)

simplify18.3s (22.4%)

Algorithm
70×egg-herbie
Rules
24422×fma-define
23277×fma-neg
13780×times-frac
11005×associate-*r*
10971×distribute-lft-in
Stop Event
27×saturated
43×node limit
Counts
16402 → 15021

sample14.0s (17.2%)

Results
7.9s70101×0valid
2.0s4197×2valid
607.0ms1933×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-div: 2.0s (28.5% of total)
ival-mult: 1.8s (25.2% of total)
ival-sub: 732.0ms (10.3% of total)
ival-sqrt: 665.0ms (9.3% of total)
ival-fabs: 398.0ms (5.6% of total)
ival-add: 283.0ms (4% of total)
ival-neg: 258.0ms (3.6% of total)
ival->=: 257.0ms (3.6% of total)
ival-if: 209.0ms (2.9% of total)
ival-exp: 160.0ms (2.2% of total)
const: 119.0ms (1.7% of total)
ival-log: 111.0ms (1.6% of total)
backward-pass: 106.0ms (1.5% of total)
Bogosity

soundness9.8s (12%)

Rules
10908×fma-define
8470×fma-neg
8305×log1p-expm1-u
7420×times-frac
5755×associate-*r*
Stop Event
3×saturated
33×node limit
5×fuel
4×done
Compiler

Compiled 7402 to 2174 computations (70.6% saved)

rewrite8.5s (10.4%)

Algorithm
30×batch-egg-rewrite
Rules
18193×log1p-expm1-u
12908×expm1-log1p-u
8070×pow1
7890×add-exp-log
7285×add-log-exp
Stop Event
30×node limit
Counts
309 → 9737

localize7.7s (9.4%)

Results
2.0s6292×0valid
1.7s665×2valid
698.0ms619×0invalid
574.0ms79×3valid
505.0ms281×1valid
Compiler

Compiled 6710 to 783 computations (88.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-div: 581.0ms (19.6% of total)
ival-mult: 464.0ms (15.7% of total)
ival-pow: 440.0ms (14.9% of total)
backward-pass: 378.0ms (12.8% of total)
ival-sub: 313.0ms (10.6% of total)
ival-add: 127.0ms (4.3% of total)
ival-fma: 120.0ms (4.1% of total)
ival->=: 115.0ms (3.9% of total)
ival-sqrt: 111.0ms (3.7% of total)
ival-if: 85.0ms (2.9% of total)
ival-cbrt: 77.0ms (2.6% of total)
ival-exp: 58.0ms (2% of total)
ival-neg: 33.0ms (1.1% of total)
const: 27.0ms (0.9% of total)
ival-fabs: 17.0ms (0.6% of total)
ival-log: 10.0ms (0.3% of total)
ival-e: 6.0ms (0.2% of total)

eval7.1s (8.7%)

Compiler

Compiled 869133 to 100155 computations (88.5% saved)

prune6.9s (8.4%)

Counts
24958 → 390
Compiler

Compiled 20261 to 10482 computations (48.3% saved)

series2.5s (3%)

Counts
309 → 6665
Calls

1716 calls:

TimeVariablePointExpression
144.0ms
a
@0
(pow (+ (* c (* a -4)) (pow b 2)) 1/4)
129.0ms
a
@inf
(/ c (- (* -2 (/ (* a c) b)) (* -2 b)))
63.0ms
c
@-inf
(/ (- (* (sqrt b) (neg (sqrt b))) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
62.0ms
b
@-inf
(/ 2 (- (pow (pow (+ (* c (* a -4)) (pow b 2)) 1/4) 2) b))
55.0ms
x
@0
(* (sqrt (- x 1)) (pow (pow x 2) 1/4))

explain2.1s (2.6%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2570
-.f64#fcancellation1210
+.f64#fcancellation1130
sqrt.f64#fuflow-rescue830
/.f64#fn/u320
/.f64#fu/n230
*.f64(*.f64 (/.f64 x y) z)n*o100
-.f64#fnan-rescue60
*.f64(*.f64 (/.f64 x y) z)n*u60
exp.f64(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))sensitivity10
Confusion
Predicted +Predicted -
+28316
-2531752
Precision
0.5279850746268657
Recall
0.9464882943143813
Confusion?
Predicted +Predicted MaybePredicted -
+283016
-25301752
Precision?
0.5279850746268657
Recall?
0.9464882943143813
Freqs
test
numberfreq
01768
1424
2108
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Results
537.0ms3646×0valid
464.0ms760×2valid
120.0ms182×1valid
14.0ms20×3valid
Compiler

Compiled 1292 to 370 computations (71.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 680.0ms
ival-div: 166.0ms (24.4% of total)
ival-mult: 158.0ms (23.3% of total)
ival-sqrt: 109.0ms (16% of total)
ival-sub: 100.0ms (14.7% of total)
backward-pass: 52.0ms (7.7% of total)
ival-add: 28.0ms (4.1% of total)
ival-neg: 21.0ms (3.1% of total)
ival-if: 13.0ms (1.9% of total)
const: 9.0ms (1.3% of total)
ival-fabs: 7.0ms (1% of total)
ival-log: 7.0ms (1% of total)
ival->=: 6.0ms (0.9% of total)
ival-exp: 4.0ms (0.6% of total)

preprocess1.6s (1.9%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3718 to 1248 computations (66.4% saved)

regimes1.4s (1.7%)

Counts
887 → 125
Calls

26 calls:

636.0ms
x
127.0ms
b
122.0ms
y
90.0ms
c
75.0ms
a
Compiler

Compiled 657 to 437 computations (33.5% saved)

bsearch992.0ms (1.2%)

Algorithm
57×binary-search
2×left-value
Stop Event
10×predicate-same
47×narrow-enough
Results
620.0ms6000×0valid
32.0ms234×0invalid
11.0ms48×2valid
Compiler

Compiled 13176 to 8665 computations (34.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 437.0ms
ival-add: 105.0ms (24% of total)
ival-mult: 102.0ms (23.3% of total)
ival-div: 88.0ms (20.1% of total)
ival-sub: 48.0ms (11% of total)
ival-sqrt: 19.0ms (4.3% of total)
ival-fabs: 19.0ms (4.3% of total)
ival-neg: 19.0ms (4.3% of total)
ival-if: 13.0ms (3% of total)
ival->=: 12.0ms (2.7% of total)
const: 10.0ms (2.3% of total)
backward-pass: 3.0ms (0.7% of total)

analyze828.0ms (1%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 513.0ms
ival-mult: 177.0ms (34.5% of total)
ival-div: 142.0ms (27.7% of total)
ival-sub: 91.0ms (17.7% of total)
ival-sqrt: 23.0ms (4.5% of total)
ival-add: 21.0ms (4.1% of total)
ival-if: 16.0ms (3.1% of total)
ival-neg: 16.0ms (3.1% of total)
ival->=: 15.0ms (2.9% of total)
const: 7.0ms (1.4% of total)
ival-fabs: 4.0ms (0.8% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...