Herbie run

Date:Wednesday, June 5th, 2024
Commit:fe4e8e61 on switch-to-rival-compile
Hostname:nightly with Racket 8.11.1
Seed:2024157
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)

simplify14.8s (20.2%)

Algorithm
66×egg-herbie
Rules
26001×fmm-def
21591×fma-define
13526×times-frac
10756×*-commutative
10423×distribute-lft-in
Stop Event
28×saturated
38×node limit
Counts
15468 → 14158

sample13.0s (17.7%)

Results
7.7s70244×0valid
1.8s4056×2valid
284.0ms1930×0invalid
0.0ms4×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-sub: 1.5s (23.6% of total)
ival-mult: 1.5s (23.4% of total)
ival-div: 1.4s (21.5% of total)
ival-sqrt: 462.0ms (7.1% of total)
ival-neg: 338.0ms (5.2% of total)
ival->=: 288.0ms (4.5% of total)
ival-add: 284.0ms (4.4% of total)
ival-exp: 137.0ms (2.1% of total)
ival-log: 118.0ms (1.8% of total)
ival-fabs: 103.0ms (1.6% of total)
adjust: 88.0ms (1.4% of total)
ival-if: 85.0ms (1.3% of total)
ival-true: 62.0ms (1% of total)
ival-assert: 39.0ms (0.6% of total)
...in/eval/compile.rkt:70:19: 37.0ms (0.6% of total)
Bogosity

soundness9.1s (12.4%)

Rules
9589×fma-define
8061×fmm-def
7157×times-frac
5831×log1p-expm1-u
5830×*-commutative
Stop Event
3×saturated
3×fuel
27×node limit
6×done
Compiler

Compiled 6028 to 1736 computations (71.2% saved)

rewrite8.1s (11%)

Algorithm
28×batch-egg-rewrite
Rules
16980×log1p-expm1-u
12512×expm1-log1p-u
8002×pow1
7423×add-exp-log
6655×add-log-exp
Stop Event
28×node limit
Counts
282 → 8872

localize7.3s (9.9%)

Results
1.8s663×2valid
1.6s5644×0valid
774.0ms611×1valid
566.0ms377×0invalid
429.0ms81×5exit
127.0ms48×3valid
Compiler

Compiled 6149 to 733 computations (88.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
adjust: 527.0ms (19.3% of total)
ival-mult: 475.0ms (17.4% of total)
ival-pow: 427.0ms (15.6% of total)
ival-div: 371.0ms (13.6% of total)
ival-sqrt: 152.0ms (5.6% of total)
ival-log1p: 140.0ms (5.1% of total)
ival-sub: 139.0ms (5.1% of total)
ival-add: 131.0ms (4.8% of total)
ival-cbrt: 108.0ms (4% of total)
ival-if: 72.0ms (2.6% of total)
ival-fma: 61.0ms (2.2% of total)
ival-neg: 29.0ms (1.1% of total)
...in/eval/compile.rkt:71:19: 27.0ms (1% of total)
ival-exp: 15.0ms (0.5% of total)
ival-log: 12.0ms (0.4% of total)
...in/eval/compile.rkt:70:19: 11.0ms (0.4% of total)
ival->=: 11.0ms (0.4% of total)
ival-fabs: 8.0ms (0.3% of total)
ival-true: 7.0ms (0.3% of total)
ival-assert: 4.0ms (0.1% of total)
ival-expm1: 3.0ms (0.1% of total)

prune6.5s (8.9%)

Counts
21617 → 362
Compiler

Compiled 17467 to 9394 computations (46.2% saved)

eval5.2s (7.1%)

Compiler

Compiled 749147 to 86473 computations (88.5% saved)

explain3.3s (4.5%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2690
-.f64#fcancellation1220
+.f64#fcancellation1180
sqrt.f64#fuflow-rescue620
/.f64#fn/u220
/.f64#fu/n190
-.f64#fnan-rescue180
*.f64(*.f64 (/.f64 x y) z)n*o90
*.f64(*.f64 (/.f64 x y) z)n*u60
Confusion
Predicted +Predicted -
+27412
-2471771
Precision
0.525911708253359
Recall
0.958041958041958
Confusion?
Predicted +Predicted MaybePredicted -
+274012
-24701771
Precision?
0.525911708253359
Recall?
0.958041958041958
Freqs
test
numberfreq
01783
1400
2118
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Results
1.3s688×2valid
376.0ms3684×0valid
117.0ms214×1valid
18.0ms22×3valid
Compiler

Compiled 1276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
adjust: 638.0ms (56.3% of total)
ival-sqrt: 137.0ms (12.1% of total)
ival-div: 118.0ms (10.4% of total)
ival-mult: 79.0ms (7% of total)
ival-sub: 73.0ms (6.4% of total)
ival-add: 26.0ms (2.3% of total)
ival-neg: 19.0ms (1.7% of total)
ival-if: 11.0ms (1% of total)
ival-fabs: 6.0ms (0.5% of total)
ival-log: 6.0ms (0.5% of total)
ival->=: 5.0ms (0.4% of total)
ival-exp: 4.0ms (0.4% of total)
ival-true: 4.0ms (0.4% of total)
ival-assert: 3.0ms (0.3% of total)
...in/eval/compile.rkt:70:19: 3.0ms (0.3% of total)

series2.1s (2.8%)

Counts
282 → 6596
Calls

1695 calls:

TimeVariablePointExpression
135.0ms
x
@0
(log x)
119.0ms
x
@-inf
(log x)
78.0ms
a
@inf
(/ a (* -1/2 (+ b (sqrt (+ (* c (* a -4)) (pow b 2))))))
76.0ms
c
@-inf
(sqrt (+ (* c (* a -4)) (pow b 2)))
63.0ms
a
@0
(if (>= b 0) (* c (/ -2 (+ b (sqrt (+ (* c (* a -4)) (* b b)))))) (/ (- b (sqrt (+ (* c (* a -4)) (* b b)))) (* a -2)))

preprocess1.7s (2.4%)

Algorithm
9×egg-herbie
Rules
3285×fmm-def
2845×fma-define
1495×times-frac
1467×div-sub
1176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3520 to 1176 computations (66.6% saved)

bsearch986.0ms (1.3%)

Algorithm
52×binary-search
4×left-value
Stop Event
8×predicate-same
44×narrow-enough
Results
539.0ms6000×0valid
33.0ms287×0invalid
29.0ms64×2valid
Compiler

Compiled 12876 to 8797 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 406.0ms
ival-mult: 146.0ms (36% of total)
ival-div: 95.0ms (23.4% of total)
ival-sub: 46.0ms (11.3% of total)
ival-add: 34.0ms (8.4% of total)
ival-sqrt: 18.0ms (4.4% of total)
ival->=: 15.0ms (3.7% of total)
ival-fabs: 15.0ms (3.7% of total)
ival-neg: 15.0ms (3.7% of total)
ival-if: 10.0ms (2.5% of total)
ival-true: 5.0ms (1.2% of total)
...in/eval/compile.rkt:70:19: 3.0ms (0.7% of total)
ival-assert: 3.0ms (0.7% of total)
adjust: 1.0ms (0.2% of total)

regimes814.0ms (1.1%)

Counts
793 → 114
Calls

26 calls:

122.0ms
x
108.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
95.0ms
b
67.0ms
c
65.0ms
y
Compiler

Compiled 638 to 425 computations (33.4% saved)

analyze590.0ms (0.8%)

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...