Herbie run

Date:Tuesday, September 10th, 2024
Commit:02e7ec5a on main
Hostname:nightly with Racket 8.11.1
Seed:2024254
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: 58.2s)

sample10.8s (18.5%)

Memory
236.1MiB live, 11 335.4MiB allocated
Samples
6.0s70 163×0valid
996.0ms4 136×2valid
250.0ms1 919×0invalid
0.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.4s (27.1% of total)
ival-sub: 932.0ms (18.7% of total)
ival-div: 918.0ms (18.4% of total)
ival-sqrt: 357.0ms (7.1% of total)
ival-add: 273.0ms (5.5% of total)
ival-neg: 256.0ms (5.1% of total)
ival-if: 159.0ms (3.2% of total)
adjust: 143.0ms (2.9% of total)
ival-log: 138.0ms (2.8% of total)
ival->=: 131.0ms (2.6% of total)
ival-exp: 100.0ms (2% of total)
ival-fabs: 100.0ms (2% of total)
ival-true: 53.0ms (1.1% of total)
exact: 53.0ms (1.1% of total)
ival-assert: 29.0ms (0.6% of total)
Bogosity

simplify9.6s (16.5%)

Memory
278.3MiB live, 9 073.7MiB allocated
Algorithm
71×egg-herbie
Rules
396 064×lower-fma.f32
396 002×lower-fma.f64
176 104×lower-*.f32
175 882×lower-*.f64
90 162×lower-+.f32
Stop Event
91×iter limit
40×node limit
33×saturated
Counts
8 880 → 8 709

eval8.5s (14.6%)

Memory
295.9MiB live, 10 519.5MiB allocated
Compiler

Compiled 1 351 549 to 97 690 computations (92.8% saved)

soundness8.0s (13.7%)

Memory
-18.1MiB live, 3 900.4MiB allocated
Rules
252 464×lower-fma.f32
252 430×lower-fma.f64
150 638×lower-*.f32
150 534×lower-*.f64
74 436×lower-/.f32
Stop Event
47×iter limit
31×node limit
5×done
4×fuel
2×saturated
Compiler

Compiled 6 209 to 3 335 computations (46.3% saved)

rewrite6.5s (11.1%)

Memory
-49.4MiB live, 7 149.2MiB allocated
Rules
136 100×lower-fma.f32
136 038×lower-fma.f64
117 564×lower-*.f32
117 352×lower-*.f64
111 850×lower-/.f32
Stop Event
66×iter limit
29×node limit
2×unsound
1×saturated
Counts
352 → 19 285

localize3.8s (6.5%)

Memory
-18.1MiB live, 4 953.6MiB allocated
Samples
1.1s5 821×0valid
949.0ms919×2valid
499.0ms559×1valid
220.0ms127×3valid
104.0ms510×0invalid
Compiler

Compiled 7 127 to 717 computations (89.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 417.0ms (22.6% of total)
ival-div: 344.0ms (18.6% of total)
adjust: 322.0ms (17.4% of total)
ival-if: 172.0ms (9.3% of total)
ival-sub: 167.0ms (9% of total)
ival-sqrt: 138.0ms (7.5% of total)
ival-add: 96.0ms (5.2% of total)
ival-neg: 39.0ms (2.1% of total)
ival-log: 37.0ms (2% of total)
exact: 29.0ms (1.6% of total)
ival-pow: 25.0ms (1.4% of total)
ival-exp: 23.0ms (1.2% of total)
ival->=: 11.0ms (0.6% of total)
ival-fabs: 11.0ms (0.6% of total)
ival-true: 6.0ms (0.3% of total)
ival-expm1: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)
ival-pow2: 2.0ms (0.1% of total)
ival-e: 2.0ms (0.1% of total)

explain2.8s (4.8%)

Memory
-4.3MiB live, 2 146.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue3010
+.f64#fcancellation1220
-.f64#fcancellation1170
sqrt.f64#fuflow-rescue640
/.f64#fu/n280
/.f64#fn/u230
-.f64#fnan-rescue170
*.f64(*.f64 (/.f64 x y) z)n*o100
*.f64(*.f64 (/.f64 x y) z)n*u20
exp.f64(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))sensitivity10
log.f64(log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))oflow-rescue10
↳(/.f64 #s(literal 1 binary64) x)overflow1
↳(-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))overflow1
Confusion
Predicted +Predicted -
+31717
-2151755
Precision
0.5958646616541353
Recall
0.9491017964071856
Confusion?
Predicted +Predicted MaybePredicted -
+317017
-21501755
Precision?
0.5958646616541353
Recall?
0.9491017964071856
Freqs
test
numberfreq
01772
1387
2136
39
Total Confusion?
Predicted +Predicted MaybePredicted -
+600
-003
Precision?
1.0
Recall?
1.0
Samples
936.0ms586×2valid
355.0ms3 678×0valid
61.0ms282×1valid
26.0ms62×3valid
Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 690.0ms
ival-div: 340.0ms (49.3% of total)
ival-sub: 132.0ms (19.1% of total)
adjust: 61.0ms (8.8% of total)
ival-mult: 59.0ms (8.6% of total)
ival-sqrt: 30.0ms (4.3% of total)
ival-add: 15.0ms (2.2% of total)
ival-neg: 11.0ms (1.6% of total)
ival-if: 9.0ms (1.3% of total)
ival-fabs: 8.0ms (1.2% of total)
ival-exp: 6.0ms (0.9% of total)
ival-log: 6.0ms (0.9% of total)
ival-true: 4.0ms (0.6% of total)
ival->=: 3.0ms (0.4% of total)
exact: 3.0ms (0.4% of total)
ival-assert: 2.0ms (0.3% of total)

prune2.5s (4.3%)

Memory
-38.2MiB live, 3 989.8MiB allocated
Counts
37 012 → 307
Compiler

Compiled 15 177 to 8 312 computations (45.2% saved)

preprocess2.3s (4%)

Memory
64.8MiB live, 1 877.1MiB allocated
Algorithm
9×egg-herbie
Rules
11 858×lower-fma.f32
11 858×lower-fma.f64
5 976×div-sub
5 512×lower-*.f32
5 482×lower-*.f64
Stop Event
18×iter limit
13×saturated
5×node limit
Compiler

Compiled 4 505 to 1 244 computations (72.4% saved)

series1.5s (2.6%)

Memory
-155.7MiB live, 1 966.8MiB allocated
Counts
352 → 8 880
Calls

177 calls:

TimeVariablePointExpression
86.0ms
x
@-inf
((neg (log (- (exp (neg (log x))) 1))) (log (- (exp (neg (log x))) 1)) (- (exp (neg (log x))) 1) (neg (log x)) (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 (- (exp (neg (log x))) 1)) (neg (pow (log (- (exp (neg (log x))) 1)) 2))) (/ 1 (/ (log (- (exp (neg (log x))) 1)) (neg (pow (log (- (exp (neg (log x))) 1)) 2)))) (pow (log (- (exp (neg (log x))) 1)) 2))
82.0ms
x
@0
((neg (log (- (exp (neg (log x))) 1))) (log (- (exp (neg (log x))) 1)) (- (exp (neg (log x))) 1) (neg (log x)) (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 (- (exp (neg (log x))) 1)) (neg (pow (log (- (exp (neg (log x))) 1)) 2))) (/ 1 (/ (log (- (exp (neg (log x))) 1)) (neg (pow (log (- (exp (neg (log x))) 1)) 2)))) (pow (log (- (exp (neg (log x))) 1)) 2))
64.0ms
x
@0
((neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (* x x) 1/2) (* x x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (+ (* 1/2 x) 1) x) (+ (* 1/2 x) 1) (+ (* (* x x) 1/2) (+ (log x) x)) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (exp (* (log (neg (log (- (exp (neg (log x))) 1)))) -1)) (/ 1 (exp (* (log (neg (log (- (exp (neg (log x))) 1)))) -1))) (log (neg (log (- (exp (neg (log x))) 1)))) (neg (log (- (exp (neg (log x))) 1))) (log x) (log (- (exp (neg (log x))) 1)) (- (exp (neg (log x))) 1))
40.0ms
b
@inf
((/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (* 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)))))
39.0ms
x
@inf
((neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (* x x) 1/2) (* x x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (+ (* 1/2 x) 1) x) (+ (* 1/2 x) 1) (+ (* (* x x) 1/2) (+ (log x) x)) (neg (log (- (/ 1 x) 1))) (+ (log x) x) (exp (* (log (neg (log (- (exp (neg (log x))) 1)))) -1)) (/ 1 (exp (* (log (neg (log (- (exp (neg (log x))) 1)))) -1))) (log (neg (log (- (exp (neg (log x))) 1)))) (neg (log (- (exp (neg (log x))) 1))) (log x) (log (- (exp (neg (log x))) 1)) (- (exp (neg (log x))) 1))

regimes896.0ms (1.5%)

Memory
17.3MiB live, 1 035.5MiB allocated
Counts
554 → 104
Calls

26 calls:

141.0ms
b
86.0ms
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
68.0ms
c
62.0ms
x
57.0ms
a
Compiler

Compiled 1 073 to 907 computations (15.5% saved)

bsearch508.0ms (0.9%)

Memory
-41.7MiB live, 799.1MiB allocated
Algorithm
39×binary-search
7×left-value
Stop Event
30×narrow-enough
9×predicate-same
Samples
239.0ms2 368×0valid
31.0ms291×0invalid
11.0ms80×2valid
Compiler

Compiled 13 148 to 10 061 computations (23.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 201.0ms
ival-mult: 54.0ms (26.8% of total)
ival-div: 48.0ms (23.8% of total)
ival->=: 28.0ms (13.9% of total)
ival-sub: 18.0ms (8.9% of total)
ival-add: 16.0ms (7.9% of total)
ival-sqrt: 10.0ms (5% of total)
ival-fabs: 7.0ms (3.5% of total)
ival-neg: 7.0ms (3.5% of total)
ival-if: 6.0ms (3% of total)
exact: 3.0ms (1.5% of total)
adjust: 2.0ms (1% of total)
ival-true: 2.0ms (1% of total)
ival-assert: 1.0ms (0.5% of total)

analyze506.0ms (0.9%)

Memory
12.6MiB live, 644.8MiB 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.5MiB live, 0.5MiB allocated

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...