Herbie run

Date:Friday, April 11th, 2025
Commit:1485bc85 on chassis-platforms-cleanup
Seed:2025101
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:32 610.1 MB

Time bar (total: 26.8s)

sample9.0s (33.4%)

Memory
262.6MiB live, 10 076.7MiB allocated; 4.2s collecting garbage
Samples
5.5s70 194×0valid
718.0ms4 100×2valid
302.0ms2 009×0invalid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 3.8s
ival-div!: 752.0ms (19.7% of total)
ival-mult!: 730.0ms (19.1% of total)
ival-sqrt: 574.0ms (15% of total)
ival-neg: 564.0ms (14.8% of total)
ival-fabs: 370.0ms (9.7% of total)
ival-sub!: 323.0ms (8.4% of total)
ival-log: 152.0ms (4% of total)
ival-add!: 147.0ms (3.8% of total)
adjust: 131.0ms (3.4% of total)
ival-exp: 73.0ms (1.9% of total)
ival-if: 4.0ms (0.1% of total)
ival->=: 3.0ms (0.1% of total)
Bogosity

rewrite6.3s (23.6%)

Memory
210.1MiB live, 7 209.1MiB allocated; 1.3s collecting garbage
Stop Event
75×iter-limit
29×node-limit
2×unsound
1×saturated
Counts
4 764 → 9 886

derivations2.3s (8.7%)

Memory
-184.5MiB live, 2 120.0MiB allocated; 402ms collecting garbage
Stop Event
6×done
3×fuel
Compiler

Compiled 5 005 to 680 computations (86.4% saved)

explain1.8s (6.8%)

Memory
-77.1MiB live, 2 186.2MiB allocated; 1.1s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2620
+.f64#fcancellation1260
-.f64#fcancellation1180
sqrt.f64#fuflow-rescue690
/.f64#fn/u300
-.f64#fnan-rescue220
/.f64#fu/n170
*.f64(*.f64 (/.f64 x y) z)n*u160
*.f64(*.f64 (/.f64 x y) z)n*o110
Confusion
Predicted +Predicted -
+29714
-2341759
Precision
0.559322033898305
Recall
0.954983922829582
Confusion?
Predicted +Predicted MaybePredicted -
+297014
-23401759
Precision?
0.559322033898305
Recall?
0.954983922829582
Freqs
test
numberfreq
01773
1402
2118
311
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
520.0ms552×2valid
217.0ms3 672×0valid
86.0ms320×1valid
65.0ms64×3valid
Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 339.0ms
ival-div!: 121.0ms (35.7% of total)
adjust: 57.0ms (16.8% of total)
ival-mult!: 48.0ms (14.1% of total)
ival-sqrt: 38.0ms (11.2% of total)
ival-sub!: 22.0ms (6.5% of total)
ival-if: 12.0ms (3.5% of total)
ival-neg: 12.0ms (3.5% of total)
ival-log: 8.0ms (2.4% of total)
ival-add!: 8.0ms (2.4% of total)
ival-fabs: 6.0ms (1.8% of total)
ival-exp: 4.0ms (1.2% of total)
ival->=: 3.0ms (0.9% of total)

eval1.5s (5.6%)

Memory
122.2MiB live, 2 587.7MiB allocated; 393ms collecting garbage
Compiler

Compiled 488 524 to 45 547 computations (90.7% saved)

preprocess1.5s (5.6%)

Memory
-122.3MiB live, 1 762.4MiB allocated; 1.0s collecting garbage
Stop Event
8×node-limit
1×saturated
Compiler

Compiled 12 706 to 2 872 computations (77.4% saved)

regimes1.4s (5.2%)

Memory
99.4MiB live, 2 039.1MiB allocated; 224ms collecting garbage
Counts
911 → 140
Calls

26 calls:

217.0ms
(*.f64 x x)
206.0ms
x
147.0ms
b
136.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
116.0ms
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
Compiler

Compiled 1 201 to 1 033 computations (14% saved)

series1.1s (3.9%)

Memory
136.5MiB live, 1 833.0MiB allocated; 167ms collecting garbage
Counts
761 → 4 003
Calls

186 calls:

TimeVariablePointExpression
35.0ms
x
@inf
((neg (log (- (/ 1 x) 1))) (log x) 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) 1/2 1)
31.0ms
x
@inf
((exp (neg (- 1 (* x x)))) (+ (* (+ (* x x) 1) (/ 1 (E))) (* (* (* (* x x) x) x) (* (/ 1 (E)) (+ (* (* 1/6 x) x) 1/2)))) (+ (* x x) 1) x 1 (/ 1 (E)) (E) (* (* (* (* x x) x) x) (* (/ 1 (E)) (+ (* (* 1/6 x) x) 1/2))) (* (* (* x x) x) x) (* (* x x) x) (* x x) (* (/ 1 (E)) (+ (* (* 1/6 x) x) 1/2)) (+ (* (* 1/6 x) x) 1/2) (* 1/6 x) 1/6 1/2 (exp (neg (- 1 (* x x)))) (* (+ (* x x) 1) (/ 1 (E))) (/ (* x x) (E)) (exp (neg (- 1 (* x x)))) (+ (* (* (+ (* 1/2 (* x x)) 1) (/ 1 (E))) (* x x)) (/ 1 (E))) (* (/ (* (* (* x x) x) x) (E)) 1/2) (/ (* (* (* x x) x) x) (E)) (exp (neg (- 1 (* x x)))) (+ (* (* (* (* (/ (+ (* (* x x) 1/6) 1/2) (E)) x) x) x) x) (/ (+ (* x x) 1) (E))) (* (* (* (/ (+ (* (* x x) 1/6) 1/2) (E)) x) x) x) (* (* (/ (+ (* (* x x) 1/6) 1/2) (E)) x) x) (* (/ (+ (* (* x x) 1/6) 1/2) (E)) x) (/ (+ (* (* x x) 1/6) 1/2) (E)) (+ (* (* x x) 1/6) 1/2) (/ (+ (* x x) 1) (E)) (exp (neg (- 1 (* x x)))) (+ (* (+ (* x x) 1) (/ 1 (E))) (* (* (* (* x x) x) x) (/ (+ (* (* (* x x) 1/6) (E)) (* (E) 1/2)) (* (E) (E))))) (* (* (* (* x x) x) x) (/ (+ (* (* (* x x) 1/6) (E)) (* (E) 1/2)) (* (E) (E)))) (/ (+ (* (* (* x x) 1/6) (E)) (* (E) 1/2)) (* (E) (E))) (+ (* (* (* x x) 1/6) (E)) (* (E) 1/2)) (* (* x x) 1/6) (* (E) 1/2) (* (E) (E)))
28.0ms
c
@-inf
((if (>= b 0) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (+ a a)) (/ (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (>= b 0) b 0 (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (+ a a)) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (neg b) (sqrt (+ (* (* -4 a) c) (* b b))) (+ (* (* -4 a) c) (* b b)) (* -4 a) -4 a c (* b b) (+ a a) (/ (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ c c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* (+ (* a (* (/ c (* b b)) -2)) 2) (neg b)) (* (+ (* (/ b c) -2) (/ (+ a a) b)) c) (+ (* (/ b c) -2) (/ (+ a a) b)) (/ b c) -2 (/ (+ a a) b) (if (>= b 0) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (* 2 a)) (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (sqrt (+ (* (* -4 a) c) (* b b))) (* 2 a) 2 (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (- (/ c (* b b)) (/ 1 a)) b) (- (/ c (* b b)) (/ 1 a)) (/ c (* b b)) (/ 1 a) 1 (if (>= b 0) (/ (- (neg b) (sqrt (+ (* (* -4 a) c) (* b b)))) (+ a a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (neg (/ (+ (* 1/2 b) (sqrt (* (* c a) -1))) a)) (/ (+ (* 1/2 b) (sqrt (* (* c a) -1))) a) (+ (* 1/2 b) (sqrt (* (* c a) -1))) 1/2 (sqrt (* (* c a) -1)) (* (* c a) -1) (* c a) -1 (if (>= b 0) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (- (* b b) (* (* 4 a) c))) (- (* b b) (* (* 4 a) c)) (* (* 4 a) c) (* 4 a) 4 (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (neg (* (+ (* (sqrt (* (/ a c) -1)) 2) (/ b c)) c)) (* (+ (* (sqrt (* (/ a c) -1)) 2) (/ b c)) c) (+ (* (sqrt (* (/ a c) -1)) 2) (/ b c)) (* (sqrt (/ (neg a) c)) -2) (sqrt (/ (neg a) c)) (/ (neg a) c) (neg a))
24.0ms
x
@0
((neg (log (- (/ 1 x) 1))) (log x) 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) 1/2 1)
20.0ms
c
@0
((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)))))

bsearch837.0ms (3.1%)

Memory
47.7MiB live, 1 170.8MiB allocated; 171ms collecting garbage
Algorithm
63×binary-search
7×left-value
Stop Event
56×narrow-enough
7×predicate-same
Samples
404.0ms3 839×0valid
56.0ms668×0invalid
19.0ms80×2valid
0.0ms1×1valid
Compiler

Compiled 42 134 to 26 843 computations (36.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 282.0ms
ival-mult!: 71.0ms (25.2% of total)
ival-add!: 69.0ms (24.5% of total)
ival-div!: 38.0ms (13.5% of total)
ival-sub!: 31.0ms (11% of total)
ival-sqrt: 23.0ms (8.2% of total)
ival-neg: 16.0ms (5.7% of total)
ival-if: 13.0ms (4.6% of total)
ival->=: 10.0ms (3.5% of total)
ival-fabs: 6.0ms (2.1% of total)
adjust: 3.0ms (1.1% of total)
ival-exp: 3.0ms (1.1% of total)

prune681.0ms (2.5%)

Memory
-179.8MiB live, 1 097.9MiB allocated; 173ms collecting garbage
Counts
10 290 → 359
Compiler

Compiled 27 767 to 13 752 computations (50.5% saved)

analyze434.0ms (1.6%)

Memory
-78.2MiB live, 526.4MiB allocated; 117ms 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)

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...