Herbie run

Date:Friday, February 28th, 2025
Commit:f2100aab on no-pareto
Seed:2025059
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:30 767.0 MB

Time bar (total: 42.3s)

prune14.1s (33.5%)

Memory
-76.8MiB live, 10 533.5MiB allocated; 1.9s collecting garbage
Counts
4 723 → 128
Compiler

Compiled 9 987 to 5 572 computations (44.2% saved)

sample13.1s (31.1%)

Memory
263.1MiB live, 10 176.2MiB allocated; 5.3s collecting garbage
Samples
7.9s70 140×0valid
1.1s4 163×2valid
234.0ms1 878×0invalid
0.0ms1×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 1.4s (24.2% of total)
ival-div: 1.2s (20% of total)
ival-sub: 1.0s (17.5% of total)
ival-neg: 681.0ms (11.5% of total)
ival-sqrt: 617.0ms (10.4% of total)
adjust: 230.0ms (3.9% of total)
ival-add: 230.0ms (3.9% of total)
ival-exp: 140.0ms (2.4% of total)
ival-fabs: 127.0ms (2.1% of total)
ival-log: 112.0ms (1.9% of total)
exact: 81.0ms (1.4% of total)
ival-assert: 32.0ms (0.5% of total)
ival-if: 10.0ms (0.2% of total)
ival->=: 4.0ms (0.1% of total)
Bogosity

rewrite6.5s (15.3%)

Memory
-112.1MiB live, 3 835.4MiB allocated; 775ms collecting garbage
Stop Event
67×iter limit
24×node limit
3×unsound
1×saturated
Counts
2 459 → 4 182

preprocess2.6s (6.1%)

Memory
60.4MiB live, 1 448.2MiB allocated; 211ms collecting garbage
Stop Event
18×iter limit
16×node limit
2×saturated
Compiler

Compiled 1 463 to 852 computations (41.8% saved)

explain1.9s (4.5%)

Memory
30.9MiB live, 1 738.5MiB allocated; 259ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2560
+.f64#fcancellation1231
-.f64#fcancellation1040
sqrt.f64#fuflow-rescue660
/.f64#fu/n310
/.f64#fn/u250
-.f64#fnan-rescue150
*.f64#fn*o120
*.f64(*.f64 (/.f64 x y) z)n*u90
/.f64(/.f64 (*.f64 #s(literal 2 binary64) c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))))o/n10
↳(*.f64 #s(literal 2 binary64) c)overflow1
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 -
+28517
-2451757
Precision
0.5377358490566038
Recall
0.9437086092715232
Confusion?
Predicted +Predicted MaybePredicted -
+285116
-24501757
Precision?
0.5386064030131826
Recall?
0.9470198675496688
Freqs
test
numberfreq
01774
1419
2109
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+510
-003
Precision?
1.0
Recall?
1.0
Samples
355.0ms3 664×0valid
203.0ms562×2valid
101.0ms302×1valid
50.0ms80×3valid
Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 455.0ms
ival-mult: 86.0ms (18.9% of total)
adjust: 78.0ms (17.2% of total)
ival-div: 72.0ms (15.8% of total)
ival-sub: 55.0ms (12.1% of total)
ival-sqrt: 47.0ms (10.3% of total)
ival-fabs: 28.0ms (6.2% of total)
ival-add: 26.0ms (5.7% of total)
ival-neg: 19.0ms (4.2% of total)
ival-if: 14.0ms (3.1% of total)
ival-exp: 7.0ms (1.5% of total)
ival-log: 6.0ms (1.3% of total)
ival-true: 5.0ms (1.1% of total)
exact: 5.0ms (1.1% of total)
ival->=: 4.0ms (0.9% of total)
ival-assert: 2.0ms (0.4% of total)

eval1.1s (2.7%)

Memory
-23.0MiB live, 944.6MiB allocated; 218ms collecting garbage
Compiler

Compiled 213 074 to 23 295 computations (89.1% saved)

series896.0ms (2.1%)

Memory
180.5MiB live, 732.9MiB allocated; 79ms collecting garbage
Counts
358 → 2 101
Calls

168 calls:

TimeVariablePointExpression
61.0ms
y
@0
((fabs (+ (* (pow y -1) x) (- (/ 4 y) (* (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) z)))) (+ (* (pow y -1) x) (- (/ 4 y) (* (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) z))) (pow y -1) y -1 x (- (/ 4 y) (* (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) z)) (/ 4 y) 4 (* (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) z) (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) (* (pow y -1/4) (pow y -1/4)) (pow y -1/4) -1/4 (* (pow y -1/2) x) (pow y -1/2) -1/2 z)
55.0ms
x
@0
((neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (+ (* (+ (* (+ (* -1/3 x) -1/2) x) -1) x) (neg (log x))) (+ (* (+ (* -1/3 x) -1/2) x) -1) (+ (* -1/3 x) -1/2) -1/3 x -1/2 -1 (neg (log x)) (log x))
46.0ms
y
@-inf
((fabs (+ (* (pow y -1) x) (- (/ 4 y) (* (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) z)))) (+ (* (pow y -1) x) (- (/ 4 y) (* (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) z))) (pow y -1) y -1 x (- (/ 4 y) (* (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) z)) (/ 4 y) 4 (* (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) z) (* (* (pow y -1/4) (pow y -1/4)) (* (pow y -1/2) x)) (* (pow y -1/4) (pow y -1/4)) (pow y -1/4) -1/4 (* (pow y -1/2) x) (pow y -1/2) -1/2 z)
45.0ms
b
@-inf
((if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (>= b 0) b 0 (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg b) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* b b) (* (* 4 a) c) (* 4 a) 4 a c (* 2 a) 2 (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
41.0ms
x
@-inf
((neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (+ (* (+ (* (+ (* -1/3 x) -1/2) x) -1) x) (neg (log x))) (+ (* (+ (* -1/3 x) -1/2) x) -1) (+ (* -1/3 x) -1/2) -1/3 x -1/2 -1 (neg (log x)) (log x))

analyze870.0ms (2.1%)

Memory
73.5MiB live, 570.8MiB allocated; 556ms collecting garbage
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
66.4%56.2%28.4%0.1%0%15.3%0%5
74%62.1%21.8%0.1%0%16%0%6
77.6%63.8%18.4%0.1%0%17.7%0%7
79.3%65%17%0.1%0%17.9%0%8
85%69.2%12.2%0.1%0%18.5%0%9
86.8%69.7%10.6%0.1%0%19.6%0%10
88.7%71.1%9.1%0.1%0%19.8%0%11
91.6%72.9%6.7%0.1%0%20.3%0%12
Compiler

Compiled 153 to 106 computations (30.7% saved)

simplify540.0ms (1.3%)

Memory
-86.8MiB live, 395.0MiB allocated; 72ms collecting garbage
Stop Event
8×node limit
1×saturated

derivations333.0ms (0.8%)

Memory
53.9MiB live, 147.9MiB allocated; 8ms collecting garbage
Stop Event
6×done
3×fuel
Compiler

Compiled 447 to 235 computations (47.4% saved)

bsearch153.0ms (0.4%)

Memory
37.1MiB live, 128.5MiB allocated; 16ms collecting garbage
Algorithm
6×binary-search
Stop Event
4×narrow-enough
2×predicate-same
Samples
73.0ms560×0valid
25.0ms80×2valid
1.0ms11×0invalid
Compiler

Compiled 2 915 to 1 894 computations (35% saved)

Precisions
Click to see histograms. Total time spent on operations: 72.0ms
ival-mult: 30.0ms (41.4% of total)
ival-div: 13.0ms (18% of total)
ival-sub: 8.0ms (11.1% of total)
ival-sqrt: 6.0ms (8.3% of total)
adjust: 5.0ms (6.9% of total)
ival-add: 3.0ms (4.1% of total)
ival-if: 2.0ms (2.8% of total)
ival-neg: 2.0ms (2.8% of total)
ival->=: 1.0ms (1.4% of total)
ival-fabs: 1.0ms (1.4% of total)
ival-true: 1.0ms (1.4% of total)
exact: 1.0ms (1.4% of total)
ival-assert: 0.0ms (0% of total)

regimes131.0ms (0.3%)

Memory
-24.3MiB live, 114.8MiB allocated; 8ms collecting garbage
Counts
66 → 14
Calls

23 calls:

33.0ms
a
12.0ms
x
11.0ms
b
11.0ms
c
10.0ms
y
Compiler

Compiled 183 to 149 computations (18.6% saved)

start0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...