Herbie run

Date:Tuesday, September 24th, 2024
Commit:6490ee3d on main
Hostname:nightly with Racket 8.10
Seed:2024268
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.0min)

sample12.9s (21.4%)

Memory
333.0MiB live, 11 539.1MiB allocated
Samples
8.2s70 098×0valid
826.0ms4 199×2valid
440.0ms2 062×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.0s
ival-mult: 2.1s (30.4% of total)
ival-div: 1.4s (19.7% of total)
ival-sub: 919.0ms (13.1% of total)
ival-sqrt: 606.0ms (8.6% of total)
ival-exp: 520.0ms (7.4% of total)
ival-neg: 422.0ms (6% of total)
ival-add: 323.0ms (4.6% of total)
ival->=: 146.0ms (2.1% of total)
ival-fabs: 127.0ms (1.8% of total)
ival-log: 107.0ms (1.5% of total)
adjust: 98.0ms (1.4% of total)
ival-if: 88.0ms (1.3% of total)
exact: 58.0ms (0.8% of total)
ival-true: 57.0ms (0.8% of total)
ival-assert: 32.0ms (0.5% of total)
Bogosity

eval9.8s (16.3%)

Memory
145.2MiB live, 10 511.8MiB allocated
Compiler

Compiled 1 227 081 to 87 684 computations (92.9% saved)

simplify9.4s (15.6%)

Memory
74.2MiB live, 8 708.0MiB allocated
Algorithm
71×egg-herbie
Stop Event
91×iter limit
37×node limit
36×saturated
Counts
9 456 → 9 286

soundness7.2s (11.9%)

Memory
68.5MiB live, 4 229.7MiB allocated
Stop Event
45×iter limit
30×node limit
6×done
3×fuel
2×saturated
Compiler

Compiled 5 204 to 2 792 computations (46.3% saved)

rewrite6.7s (11.1%)

Memory
65.7MiB live, 6 879.0MiB allocated
Stop Event
66×iter limit
29×node limit
2×unsound
1×saturated
Counts
346 → 18 435

localize3.8s (6.3%)

Memory
-64.1MiB live, 4 888.7MiB allocated
Samples
1.3s6 299×0valid
922.0ms911×2valid
404.0ms610×1valid
290.0ms116×3valid
Compiler

Compiled 6 767 to 707 computations (89.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 492.0ms (27.3% of total)
ival-div: 339.0ms (18.8% of total)
ival-sub: 277.0ms (15.4% of total)
adjust: 149.0ms (8.3% of total)
ival-add: 142.0ms (7.9% of total)
ival-sqrt: 107.0ms (5.9% of total)
ival-if: 100.0ms (5.5% of total)
ival-neg: 59.0ms (3.3% of total)
ival-exp: 28.0ms (1.6% of total)
ival->=: 28.0ms (1.6% of total)
ival-log: 27.0ms (1.5% of total)
ival-fabs: 19.0ms (1.1% of total)
ival-pow: 11.0ms (0.6% of total)
exact: 11.0ms (0.6% of total)
ival-true: 7.0ms (0.4% of total)
ival-assert: 4.0ms (0.2% of total)
ival-pow2: 3.0ms (0.2% of total)

prune3.1s (5.1%)

Memory
-126.9MiB live, 3 573.3MiB allocated
Counts
35 098 → 306
Compiler

Compiled 14 513 to 8 238 computations (43.2% saved)

preprocess1.8s (2.9%)

Memory
18.2MiB live, 1 604.1MiB allocated
Algorithm
9×egg-herbie
Stop Event
18×iter limit
13×saturated
5×node limit
Compiler

Compiled 3 853 to 1 130 computations (70.7% saved)

explain1.7s (2.8%)

Memory
23.4MiB live, 2 349.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2770
-.f64#fcancellation1250
+.f64#fcancellation1190
sqrt.f64#fuflow-rescue780
/.f64#fu/n280
/.f64#fn/u270
-.f64#fnan-rescue170
*.f64(*.f64 (/.f64 x y) z)n*o100
*.f64(*.f64 (/.f64 x y) z)n*u10
Confusion
Predicted +Predicted -
+3098
-2271760
Precision
0.5764925373134329
Recall
0.9747634069400631
Confusion?
Predicted +Predicted MaybePredicted -
+30908
-22701760
Precision?
0.5764925373134329
Recall?
0.9747634069400631
Freqs
test
numberfreq
01768
1398
2130
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
362.0ms3 660×0valid
233.0ms308×1valid
173.0ms584×2valid
23.0ms56×3valid
Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 548.0ms
ival-sqrt: 202.0ms (36.8% of total)
ival-mult: 115.0ms (21% of total)
ival-div: 62.0ms (11.3% of total)
adjust: 51.0ms (9.3% of total)
ival-sub: 47.0ms (8.6% of total)
ival-add: 16.0ms (2.9% of total)
ival-neg: 12.0ms (2.2% of total)
ival-if: 10.0ms (1.8% of total)
ival-fabs: 10.0ms (1.8% of total)
ival-log: 7.0ms (1.3% of total)
ival-exp: 4.0ms (0.7% of total)
ival-true: 4.0ms (0.7% of total)
exact: 4.0ms (0.7% of total)
ival->=: 3.0ms (0.5% of total)
ival-assert: 2.0ms (0.4% of total)

series1.6s (2.7%)

Memory
-45.6MiB live, 1 911.2MiB allocated
Counts
346 → 9 456
Calls

183 calls:

TimeVariablePointExpression
76.0ms
c
@-inf
((/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (* (* 4 a) c)) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (>= b 0) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))
43.0ms
x
@0
((neg (log (- (/ 1 x) 1))) (log x) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1))
42.0ms
x
@0
((neg (- 1 (* x x))) (exp (neg (- 1 (* x x)))) (- 1 (* x x)) (* x x))
42.0ms
x
@-inf
((neg (log (- (/ 1 x) 1))) (log x) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1))
41.0ms
x
@0
((neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (* x x) 1/2) (* x x) (+ (* (* x x) 1/2) (+ (log x) x)) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (log x))

regimes1.3s (2.1%)

Memory
-12.2MiB live, 1 255.6MiB allocated
Counts
652 → 97
Calls

26 calls:

328.0ms
b
194.0ms
c
103.0ms
z
70.0ms
y
66.0ms
a
Compiler

Compiled 971 to 817 computations (15.9% saved)

bsearch576.0ms (1%)

Memory
11.0MiB live, 636.9MiB allocated
Algorithm
38×binary-search
6×left-value
Stop Event
28×narrow-enough
10×predicate-same
Samples
256.0ms2 576×0valid
51.0ms327×0invalid
11.0ms80×2valid
Compiler

Compiled 9 933 to 7 798 computations (21.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 238.0ms
ival-mult: 67.0ms (28.2% of total)
ival-div: 62.0ms (26.1% of total)
ival->=: 29.0ms (12.2% of total)
ival-add: 21.0ms (8.8% of total)
ival-sub: 20.0ms (8.4% of total)
ival-sqrt: 10.0ms (4.2% of total)
ival-neg: 7.0ms (2.9% of total)
ival-if: 6.0ms (2.5% of total)
ival-fabs: 6.0ms (2.5% of total)
exact: 3.0ms (1.3% of total)
adjust: 2.0ms (0.8% of total)
ival-true: 2.0ms (0.8% of total)
ival-exp: 1.0ms (0.4% of total)
ival-assert: 1.0ms (0.4% of total)

analyze486.0ms (0.8%)

Memory
-75.0MiB live, 733.0MiB allocated
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)

start0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...