Herbie run

Date:Saturday, April 5th, 2025
Commit:f7a7cb35 on main
Seed:2025095
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:139 756.8 MB

Time bar (total: 2.4min)

sample1.5min (64.5%)

Memory
1 248.6MiB live, 88 859.6MiB allocated; 26.6s collecting garbage
Samples
25.9s44 583×2valid
15.8s96 832×1valid
14.7s146 313×0invalid
9.4s6 068×5exit
5.8s86 075×0valid
3.1s3 675×3valid
319.0ms4 209×0exit
184.0ms1 093×1exit
17.0ms8×4exit
7.0ms2×3exit
3.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-tan: 12.2s (20.2% of total)
ival-pow: 9.9s (16.3% of total)
adjust: 6.3s (10.4% of total)
ival-cos: 3.8s (6.4% of total)
ival-mult!: 3.7s (6.1% of total)
ival-log: 3.2s (5.4% of total)
ival-sin: 3.2s (5.3% of total)
ival-div!: 2.7s (4.5% of total)
ival-expm1: 2.5s (4.2% of total)
ival-sub!: 2.3s (3.7% of total)
ival-exp: 2.1s (3.5% of total)
ival-add!: 1.9s (3.1% of total)
ival-fabs: 1.6s (2.7% of total)
ival-sqrt: 1.3s (2.1% of total)
ival-log1p: 1.1s (1.9% of total)
ival-<: 722.0ms (1.2% of total)
ival-atan: 373.0ms (0.6% of total)
ival-neg: 364.0ms (0.6% of total)
ival-and: 341.0ms (0.6% of total)
ival-<=: 332.0ms (0.5% of total)
ival-cbrt: 298.0ms (0.5% of total)
ival-assert: 66.0ms (0.1% of total)
ival-fmin: 65.0ms (0.1% of total)
ival->: 1.0ms (0% of total)
Bogosity

rewrite20.0s (14%)

Memory
791.3MiB live, 18 846.8MiB allocated; 3.9s collecting garbage
Stop Event
262×iter-limit
108×node-limit
Counts
14 768 → 32 640

derivations5.9s (4.1%)

Memory
51.3MiB live, 4 083.4MiB allocated; 1.8s collecting garbage
Stop Event
22×fuel
6×done
Compiler

Compiled 7 485 to 1 788 computations (76.1% saved)

explain5.6s (3.9%)

Memory
-197.8MiB live, 5 325.1MiB allocated; 1.8s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation420935
log.f64#fsensitivity7632
/.f64#fu/u4270
sqrt.f64#foflow-rescue3560
+.f64#fcancellation3310
/.f64#fu/n1280
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity630
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u190
↳(*.f64 b eps)underflow144
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow142
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow144
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow236
↳(*.f64 a eps)underflow142
-.f64#fnan-rescue170
sqrt.f64#fuflow-rescue120
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow64
*.f64#fn*u20
exp.f64(exp.f64 (*.f64 #s(literal 2 binary64) x))sensitivity10
Confusion
Predicted +Predicted -
+518416
-1311837
Precision
0.9753527751646284
Recall
0.9969230769230769
Confusion?
Predicted +Predicted MaybePredicted -
+5184160
-131191818
Precision?
0.9719626168224299
Recall?
1.0
Freqs
test
numberfreq
01853
14511
2651
394
459
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.6s6 124×1valid
1.5s2 768×2valid
415.0ms5 236×0valid
124.0ms208×3valid
Compiler

Compiled 2 154 to 763 computations (64.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-log1p: 658.0ms (22.2% of total)
ival-tan: 575.0ms (19.4% of total)
ival-cos: 312.0ms (10.5% of total)
adjust: 286.0ms (9.6% of total)
ival-log: 262.0ms (8.8% of total)
ival-sin: 148.0ms (5% of total)
ival-exp: 128.0ms (4.3% of total)
ival-div!: 125.0ms (4.2% of total)
ival-pow: 121.0ms (4.1% of total)
ival-mult!: 78.0ms (2.6% of total)
ival-sub!: 72.0ms (2.4% of total)
ival-sqrt: 67.0ms (2.3% of total)
ival-add!: 61.0ms (2.1% of total)
ival-atan: 23.0ms (0.8% of total)
ival-expm1: 23.0ms (0.8% of total)
ival-cbrt: 16.0ms (0.5% of total)
ival-neg: 12.0ms (0.4% of total)

eval5.4s (3.8%)

Memory
-219.1MiB live, 7 143.9MiB allocated; 1.2s collecting garbage
Compiler

Compiled 1 298 093 to 156 712 computations (87.9% saved)

series3.2s (2.3%)

Memory
209.2MiB live, 3 814.6MiB allocated; 464ms collecting garbage
Counts
2 572 → 12 196
Calls

504 calls:

TimeVariablePointExpression
69.0ms
c
@inf
((/ (- (neg b) (/ 1 (pow (+ (* (* -4 a) c) (* b b)) -1/2))) (+ a a)) (- (neg b) (/ 1 (pow (+ (* (* -4 a) c) (* b b)) -1/2))) (neg b) b (/ 1 (pow (+ (* (* -4 a) c) (* b b)) -1/2)) 1 (pow (+ (* (* -4 a) c) (* b b)) -1/2) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) -1/2 (+ a a) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (neg b) a) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (* (sqrt (* (/ c a) -4)) -1/2) (sqrt (* (/ c a) -4)) (* (/ c a) -4) (/ c a) (/ (- (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (+ a a)) (- (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (sqrt (+ (* (* c a) -4) (* b b))) (+ (* (* c a) -4) (* b b)) (* (* a c) -4) (* a c) (/ (- (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (+ a a)) (- (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (* (- (/ (neg b) c) (sqrt (* (/ a c) -4))) c) (- (/ (neg b) c) (sqrt (* (/ a c) -4))) (/ (neg b) c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c))
65.0ms
b_2
@inf
((- (/ (neg b_2) a) (/ (sqrt (+ (* (neg a) c) (* b_2 b_2))) a)) (/ (neg b_2) a) (neg b_2) b_2 a (/ (sqrt (+ (* (neg a) c) (* b_2 b_2))) a) (sqrt (+ (* (neg a) c) (* b_2 b_2))) (+ (* (neg a) c) (* b_2 b_2)) (neg a) c (* b_2 b_2) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (* -1/2 (/ c b_2)) -1/2 (/ c b_2) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) -1 (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (* -1/2 (/ (* c a) b_2)) (/ (* c a) b_2) (* c a) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (- (* b_2 b_2) (* a c))) (+ (* -1/2 (/ (* c a) b_2)) b_2))
57.0ms
x
@-inf
((/ (* (sin x) (/ (tan (/ x 2)) x)) x) (* (sin x) (/ (tan (/ x 2)) x)) (sin x) x (/ (tan (/ x 2)) x) (tan (/ x 2)) (/ x 2) 2 (/ (/ (* (sin x) (sin x)) (+ (cos x) 1)) (* x x)) (+ (* (* x x) -1/24) 1/2) (* x x) -1/24 1/2 (/ (/ (- 1 (cos x)) x) x) (/ (- 1 (cos x)) x) (- 1 (cos x)) 1 (cos x) (+ (* -1/2 (* x x)) 1) -1/2 (- (/ 1 (* x x)) (/ (/ (cos x) x) x)) (/ 1 (* x x)) (/ (/ (cos x) x) x) (/ (cos x) x) (cos x) (/ (- (* 1 (* x x)) (* (* x x) (cos x))) (* (* x x) (* x x))) (- (* 1 (* x x)) (* (* x x) (cos x))) (* 1 (* x x)) (* (* x x) (cos x)) (* (* x x) (* x x)))
51.0ms
x
@0
((/ (- 1 (cos x)) (sin x)) (* 1/2 x) 1/2 x (/ (- 1 (cos x)) (sin x)) (* (+ (* (* x x) 1/24) 1/2) x) (+ (* (* x x) 1/24) 1/2) (* x x) 1/24 (/ (- 1 (cos x)) (sin x)) (* (+ (* (+ (* 1/240 (* x x)) 1/24) (* x x)) 1/2) x) (+ (* (+ (* 1/240 (* x x)) 1/24) (* x x)) 1/2) (+ (* 1/240 (* x x)) 1/24) 1/240 (tan (/ x 2)) (/ x 2) 2)
48.0ms
b_2
@inf
((/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (neg b_2) b_2 (sqrt (- (* b_2 b_2) (* a c))) (- (* b_2 b_2) (* a c)) (* b_2 b_2) (* a c) a c)

preprocess2.9s (2.1%)

Memory
-341.9MiB live, 2 643.2MiB allocated; 548ms collecting garbage
Stop Event
26×node-limit
2×saturated
Compiler

Compiled 19 246 to 6 260 computations (67.5% saved)

regimes2.2s (1.6%)

Memory
-46.5MiB live, 2 979.7MiB allocated; 452ms collecting garbage
Counts
2 513 → 302
Calls

43 calls:

565.0ms
x
112.0ms
eps
89.0ms
b
89.0ms
(exp.f64 x)
86.0ms
a
Compiler

Compiled 1 944 to 1 808 computations (7% saved)

prune2.2s (1.5%)

Memory
-206.1MiB live, 2 916.7MiB allocated; 660ms collecting garbage
Counts
38 193 → 1 385
Compiler

Compiled 71 659 to 38 573 computations (46.2% saved)

analyze1.9s (1.3%)

Memory
-85.1MiB live, 1 484.6MiB allocated; 1.1s collecting garbage
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch1.4s (1%)

Memory
-13.8MiB live, 1 656.9MiB allocated; 202ms collecting garbage
Algorithm
94×binary-search
14×left-value
Stop Event
89×narrow-enough
5×predicate-same
Samples
462.0ms6 471×0valid
137.0ms850×1valid
111.0ms450×2valid
103.0ms1 351×0invalid
4.0ms34×1exit
2.0ms28×0exit
1.0ms5×3valid
Compiler

Compiled 37 860 to 27 809 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 498.0ms
ival-pow: 130.0ms (26.1% of total)
ival-mult!: 105.0ms (21.1% of total)
ival-div!: 54.0ms (10.8% of total)
ival-sqrt: 51.0ms (10.2% of total)
adjust: 38.0ms (7.6% of total)
ival-sub!: 35.0ms (7% of total)
ival-neg: 35.0ms (7% of total)
ival-add!: 16.0ms (3.2% of total)
ival-cos: 15.0ms (3% of total)
ival-exp: 9.0ms (1.8% of total)
ival-expm1: 7.0ms (1.4% of total)
ival-cbrt: 4.0ms (0.8% of total)

start1.0ms (0%)

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

end0.0ms (0%)

Memory
0.4MiB live, 0.3MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...