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

simplify17.5s (23.5%)

Algorithm
72×egg-herbie
Rules
24 538×fmm-def
23 189×fma-define
13 558×distribute-lft-in
12 272×times-frac
11 890×distribute-rgt-in
Stop Event
43×node limit
29×saturated
Counts
15 659 → 14 253

sample12.5s (16.8%)

Samples
7.5s70 081×0valid
1.7s4 217×2valid
489.0ms2 013×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.1s
ival-mult: 2.1s (34.2% of total)
ival-div: 1.1s (18.1% of total)
ival-sqrt: 888.0ms (14.6% of total)
ival-sub: 666.0ms (10.9% of total)
ival-neg: 297.0ms (4.9% of total)
ival-add: 272.0ms (4.5% of total)
adjust: 211.0ms (3.5% of total)
ival-log: 103.0ms (1.7% of total)
ival-if: 92.0ms (1.5% of total)
ival-fabs: 87.0ms (1.4% of total)
ival->=: 80.0ms (1.3% of total)
ival-exp: 66.0ms (1.1% of total)
ival-true: 64.0ms (1% of total)
ival-assert: 42.0ms (0.7% of total)
...in/eval/compile.rkt:70:19: 40.0ms (0.7% of total)
Bogosity

soundness9.5s (12.7%)

Rules
10 295×fma-define
7 933×fmm-def
7 395×times-frac
6 012×distribute-lft-in
5 423×log1p-expm1-u
Stop Event
31×node limit
5×done
4×fuel
3×saturated
Compiler

Compiled 7 923 to 2 268 computations (71.4% saved)

rewrite7.8s (10.6%)

Algorithm
31×batch-egg-rewrite
Rules
16 369×log1p-expm1-u
13 650×expm1-log1p-u
9 163×pow1
8 210×add-exp-log
7 581×add-log-exp
Stop Event
31×node limit
Counts
291 → 9 525

localize6.7s (9%)

Samples
2.0s728×2valid
2.0s6 589×0valid
460.0ms520×1valid
300.0ms275×0invalid
187.0ms80×3valid
Compiler

Compiled 5 870 to 770 computations (86.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 601.0ms (23% of total)
ival-add: 355.0ms (13.6% of total)
ival-div: 351.0ms (13.4% of total)
ival-pow: 319.0ms (12.2% of total)
adjust: 254.0ms (9.7% of total)
ival-if: 211.0ms (8.1% of total)
ival-sub: 201.0ms (7.7% of total)
ival-fma: 93.0ms (3.6% of total)
ival-sqrt: 84.0ms (3.2% of total)
ival-neg: 27.0ms (1% of total)
ival-hypot: 22.0ms (0.8% of total)
ival-cbrt: 16.0ms (0.6% of total)
ival-log: 13.0ms (0.5% of total)
...in/eval/compile.rkt:70:19: 12.0ms (0.5% of total)
ival-fabs: 10.0ms (0.4% of total)
ival-log1p: 9.0ms (0.3% of total)
ival->=: 9.0ms (0.3% of total)
ival-true: 8.0ms (0.3% of total)
ival-e: 5.0ms (0.2% of total)
ival-assert: 5.0ms (0.2% of total)
ival-exp: 5.0ms (0.2% of total)

prune5.9s (7.9%)

Counts
22 609 → 394
Compiler

Compiled 18 374 to 9 858 computations (46.3% saved)

eval5.6s (7.5%)

Compiler

Compiled 722 817 to 89 177 computations (87.7% saved)

explain2.9s (3.9%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2780
-.f64#fcancellation1170
+.f64#fcancellation1100
sqrt.f64#fuflow-rescue630
/.f64#fu/n430
/.f64#fn/u250
-.f64#fnan-rescue180
*.f64(*.f64 (/.f64 x y) z)n*o100
*.f64(*.f64 (/.f64 x y) z)n*u30
/.f64(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a))o/n10
↳(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))overflow1
↳(-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))overflow116
↳(*.f64 (*.f64 #s(literal 4 binary64) a) c)overflow31
↳(*.f64 b b)overflow95
Confusion
Predicted +Predicted -
+28417
-2381765
Precision
0.5440613026819924
Recall
0.9435215946843853
Confusion?
Predicted +Predicted MaybePredicted -
+284017
-23801765
Precision?
0.5440613026819924
Recall?
0.9435215946843853
Freqs
test
numberfreq
01782
1386
2127
38
41
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
1.1s764×2valid
450.0ms3 632×0valid
59.0ms192×1valid
11.0ms20×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 473.0ms
ival-mult: 126.0ms (26.6% of total)
ival-neg: 76.0ms (16.1% of total)
ival-div: 73.0ms (15.4% of total)
adjust: 59.0ms (12.5% of total)
ival-sub: 46.0ms (9.7% of total)
ival-sqrt: 36.0ms (7.6% of total)
ival-add: 18.0ms (3.8% of total)
ival-if: 10.0ms (2.1% of total)
ival-log: 6.0ms (1.3% of total)
ival-fabs: 5.0ms (1.1% of total)
ival-exp: 4.0ms (0.8% of total)
ival->=: 4.0ms (0.8% of total)
ival-true: 4.0ms (0.8% of total)
ival-assert: 3.0ms (0.6% of total)
...in/eval/compile.rkt:70:19: 3.0ms (0.6% of total)

series1.8s (2.4%)

Counts
291 → 6 134
Calls

1647 calls:

TimeVariablePointExpression
181.0ms
b
@-inf
(if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (- (sqrt (+ (* b b) (* (sqrt (* c (* a -4))) (sqrt (* c (* a -4)))))) b) (* 2 a)))
161.0ms
x
@0
(log x)
53.0ms
a
@-inf
(/ (fabs (- b a)) 2)
51.0ms
a
@inf
(* b (/ -1/2 a))
40.0ms
a
@inf
(sqrt (- (* b b) (* (* 4 a) c)))

preprocess1.5s (2%)

Algorithm
9×egg-herbie
Rules
3 285×fmm-def
2 845×fma-define
1 495×times-frac
1 467×div-sub
1 176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3 290 to 1 126 computations (65.8% saved)

bsearch1.3s (1.8%)

Algorithm
47×binary-search
2×left-value
Stop Event
31×narrow-enough
16×predicate-same
Samples
1.0s4 640×0valid
35.0ms322×0invalid
9.0ms48×2valid
Compiler

Compiled 11 097 to 7 420 computations (33.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 895.0ms
ival-div: 650.0ms (72.6% of total)
ival-mult: 99.0ms (11.1% of total)
ival-sub: 38.0ms (4.2% of total)
ival-add: 27.0ms (3% of total)
ival->=: 21.0ms (2.3% of total)
ival-sqrt: 16.0ms (1.8% of total)
ival-neg: 15.0ms (1.7% of total)
ival-if: 9.0ms (1% of total)
ival-fabs: 8.0ms (0.9% of total)
ival-true: 4.0ms (0.4% of total)
...in/eval/compile.rkt:70:19: 3.0ms (0.3% of total)
ival-assert: 3.0ms (0.3% of total)
adjust: 1.0ms (0.1% of total)

regimes895.0ms (1.2%)

Counts
770 → 105
Calls

26 calls:

147.0ms
b
130.0ms
x
102.0ms
y
94.0ms
c
91.0ms
a
Compiler

Compiled 569 to 380 computations (33.2% saved)

analyze437.0ms (0.6%)

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 153 to 106 computations (30.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...