Herbie run

Date:Tuesday, August 27th, 2024
Commit:d7da253e on bhargav-log-space
Hostname:nightly with Racket 8.11.1
Seed:2024240
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: 31.6s)

sample11.9s (37.5%)

Memory
204.7MiB live, 11 226.4MiB allocated
Samples
7.2s70 180×0valid
912.0ms4 119×2valid
419.0ms1 847×0invalid
0.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.0s
ival-div: 1.9s (32.7% of total)
ival-mult: 1.5s (24.9% of total)
ival-sub: 672.0ms (11.3% of total)
ival-neg: 415.0ms (7% of total)
ival-sqrt: 397.0ms (6.7% of total)
ival->=: 218.0ms (3.7% of total)
ival-add: 201.0ms (3.4% of total)
ival-fabs: 135.0ms (2.3% of total)
ival-log: 108.0ms (1.8% of total)
adjust: 97.0ms (1.6% of total)
ival-if: 77.0ms (1.3% of total)
ival-exp: 66.0ms (1.1% of total)
ival-true: 54.0ms (0.9% of total)
exact: 53.0ms (0.9% of total)
ival-assert: 29.0ms (0.5% of total)
Bogosity

soundness5.0s (15.7%)

Memory
-5.9MiB live, 1 460.5MiB allocated
Rules
148 548×lower-fma.f32
148 510×lower-fma.f64
62 570×lower-*.f32
62 518×lower-*.f64
42 766×lower-/.f32
Stop Event
31×iter limit
17×node limit
3×done
2×saturated
2×fuel
Compiler

Compiled 1 178 to 504 computations (57.2% saved)

simplify3.6s (11.4%)

Memory
195.3MiB live, 2 407.5MiB allocated
Algorithm
37×egg-herbie
Rules
245 344×lower-fma.f32
245 302×lower-fma.f64
72 774×lower-*.f32
72 712×lower-*.f64
34 734×lower-+.f32
Stop Event
46×iter limit
21×saturated
18×node limit
Counts
2 388 → 2 297

rewrite3.1s (9.8%)

Memory
34.2MiB live, 2 697.4MiB allocated
Rules
66 538×lower-fma.f32
66 496×lower-fma.f64
52 116×lower-*.f32
52 056×lower-*.f64
51 752×lower-/.f32
Stop Event
37×iter limit
14×node limit
2×unsound
1×saturated
Counts
163 → 8 301

eval2.4s (7.5%)

Memory
-146.2MiB live, 2 325.7MiB allocated
Compiler

Compiled 302 427 to 24 767 computations (91.8% saved)

prune1.7s (5.5%)

Memory
-71.4MiB live, 2 473.9MiB allocated
Counts
11 999 → 205
Compiler

Compiled 6 157 to 2 709 computations (56% saved)

localize1.2s (3.7%)

Memory
-16.5MiB live, 986.7MiB allocated
Samples
636.0ms3 841×0valid
59.0ms254×2valid
0.0ms1×5exit
Compiler

Compiled 1 635 to 304 computations (81.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 502.0ms
ival-log: 103.0ms (20.5% of total)
ival-mult: 93.0ms (18.5% of total)
ival-div: 74.0ms (14.8% of total)
ival-add: 62.0ms (12.4% of total)
ival-sub: 54.0ms (10.8% of total)
ival-neg: 43.0ms (8.6% of total)
adjust: 23.0ms (4.6% of total)
ival-sqrt: 16.0ms (3.2% of total)
ival-exp: 11.0ms (2.2% of total)
const: 10.0ms (2% of total)
ival-e: 5.0ms (1% of total)
exact: 5.0ms (1% of total)
ival-true: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)

regimes866.0ms (2.7%)

Memory
23.8MiB live, 832.8MiB allocated
Counts
622 → 51
Calls

14 calls:

207.0ms
x
111.0ms
(*.f64 x x)
105.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
105.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
99.0ms
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
Compiler

Compiled 795 to 531 computations (33.2% saved)

preprocess629.0ms (2%)

Memory
114.9MiB live, 793.8MiB allocated
Algorithm
5×egg-herbie
Rules
7 762×lower-fma.f32
7 762×lower-fma.f64
4 232×exp-sum
3 016×lower-*.f32
3 008×lower-*.f64
Stop Event
10×iter limit
8×saturated
2×node limit
Compiler

Compiled 1 301 to 380 computations (70.8% saved)

analyze503.0ms (1.6%)

Memory
-65.7MiB live, 601.4MiB 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)

explain472.0ms (1.5%)

Memory
0.4MiB live, 605.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (*.f64 x x))oflow-rescue710
↳(*.f64 x x)overflow71
sqrt.f64(sqrt.f64 (*.f64 x x))uflow-rescue490
↳(*.f64 x x)underflow49
-.f64(-.f64 (/.f64 x x) (*.f64 (/.f64 #s(literal 1 binary64) x) (sqrt.f64 (*.f64 x x))))cancellation360
Confusion
Predicted +Predicted -
+12011
-01149
Precision
1.0
Recall
0.916030534351145
Confusion?
Predicted +Predicted MaybePredicted -
+120011
-001149
Precision?
1.0
Recall?
0.916030534351145
Freqs
test
numberfreq
01160
184
236
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-004
Precision?
1.0
Recall?
1.0
Samples
157.0ms2 306×0valid
42.0ms254×2valid
Compiler

Compiled 430 to 179 computations (58.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 118.0ms
ival-log: 26.0ms (21.9% of total)
ival-div: 23.0ms (19.4% of total)
ival-mult: 18.0ms (15.2% of total)
ival-sub: 15.0ms (12.7% of total)
ival-sqrt: 12.0ms (10.1% of total)
ival-neg: 7.0ms (5.9% of total)
adjust: 6.0ms (5.1% of total)
ival-exp: 4.0ms (3.4% of total)
ival-add: 3.0ms (2.5% of total)
ival-true: 2.0ms (1.7% of total)
ival-assert: 1.0ms (0.8% of total)
exact: 1.0ms (0.8% of total)

series263.0ms (0.8%)

Memory
12.3MiB live, 339.0MiB allocated
Counts
163 → 2 388
Calls

60 calls:

TimeVariablePointExpression
44.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) (log (/ -1 (- (/ -1 x) -1))) (/ -1 (- (/ -1 x) -1)) (- (/ -1 x) -1) (/ -1 x))
25.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) (log (/ -1 (- (/ -1 x) -1))) (/ -1 (- (/ -1 x) -1)) (- (/ -1 x) -1) (/ -1 x))
23.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) (log (/ -1 (- (/ -1 x) -1))) (/ -1 (- (/ -1 x) -1)) (- (/ -1 x) -1) (/ -1 x))
12.0ms
x
@-inf
((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 (/ -1 (- (/ -1 x) -1))) (/ -1 (- (/ -1 x) -1)) (+ (* x x) x) (log x))
9.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 (/ -1 (- (/ -1 x) -1))) (/ -1 (- (/ -1 x) -1)) (+ (* x x) x) (log x))

bsearch93.0ms (0.3%)

Memory
-13.6MiB live, 76.4MiB allocated
Algorithm
12×left-value
2×binary-search
Stop Event
2×narrow-enough
Samples
60.0ms320×0valid
6.0ms48×2valid
Compiler

Compiled 385 to 316 computations (17.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-div: 3.0ms (36.9% of total)
ival-mult: 2.0ms (24.6% of total)
adjust: 1.0ms (12.3% of total)
ival-sub: 1.0ms (12.3% of total)
ival-sqrt: 1.0ms (12.3% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

start0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...