Herbie run

Date:Sunday, December 15th, 2024
Commit:ada55b03 on main
Hostname:nightly with Racket 8.10
Seed:2024350
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:49 666.6 MB

Time bar (total: 47.5s)

sample11.4s (23.9%)

Memory
252.3MiB live, 12 648.2MiB allocated; 5.5s collecting garbage
Samples
6.4s70 221×0valid
1.0s4 075×2valid
363.0ms1 942×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.4s (27.1% of total)
ival-div: 976.0ms (19.5% of total)
ival-sub: 579.0ms (11.5% of total)
ival-sqrt: 350.0ms (7% of total)
ival-log: 347.0ms (6.9% of total)
ival-add: 270.0ms (5.4% of total)
ival-neg: 245.0ms (4.9% of total)
adjust: 207.0ms (4.1% of total)
ival-if: 187.0ms (3.7% of total)
ival-fabs: 160.0ms (3.2% of total)
ival-exp: 121.0ms (2.4% of total)
ival->=: 74.0ms (1.5% of total)
exact: 59.0ms (1.2% of total)
ival-true: 54.0ms (1.1% of total)
ival-assert: 30.0ms (0.6% of total)
Bogosity

simplify9.8s (20.6%)

Memory
221.3MiB live, 9 348.3MiB allocated; 1.6s collecting garbage
Algorithm
75×egg-herbie
Stop Event
97×iter limit
54×node limit
23×saturated
Counts
2 367 → 2 340

rewrite6.8s (14.3%)

Memory
-53.5MiB live, 6 708.0MiB allocated; 1.1s collecting garbage
Stop Event
69×iter limit
31×node limit
2×unsound
1×saturated
Counts
389 → 13 836

derivations6.2s (13%)

Memory
65.8MiB live, 4 426.3MiB allocated; 793ms collecting garbage
Stop Event
49×iter limit
34×node limit
6×done
3×fuel
1×saturated
Compiler

Compiled 2 722 to 484 computations (82.2% saved)

localize3.7s (7.9%)

Memory
136.4MiB live, 4 812.6MiB allocated; 720ms collecting garbage
Samples
1.1s6 823×0valid
909.0ms890×2valid
545.0ms625×1valid
167.0ms109×3valid
0.0ms1×5exit
Compiler

Compiled 7 457 to 779 computations (89.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 446.0ms (24.2% of total)
ival-div: 372.0ms (20.2% of total)
adjust: 286.0ms (15.5% of total)
ival-sub: 199.0ms (10.8% of total)
ival-add: 185.0ms (10% of total)
ival-sqrt: 134.0ms (7.3% of total)
ival-if: 66.0ms (3.6% of total)
ival-log: 41.0ms (2.2% of total)
ival-neg: 31.0ms (1.7% of total)
ival-exp: 29.0ms (1.6% of total)
ival-fabs: 22.0ms (1.2% of total)
exact: 13.0ms (0.7% of total)
ival->=: 10.0ms (0.5% of total)
ival-true: 7.0ms (0.4% of total)
ival-assert: 4.0ms (0.2% of total)
ival-expm1: 2.0ms (0.1% of total)
ival->: 1.0ms (0.1% of total)
ival-then: 0.0ms (0% of total)

eval3.0s (6.3%)

Memory
16.0MiB live, 4 030.0MiB allocated; 652ms collecting garbage
Compiler

Compiled 766 374 to 63 958 computations (91.7% saved)

explain1.7s (3.5%)

Memory
75.2MiB live, 2 287.2MiB allocated; 376ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2620
-.f64#fcancellation1200
+.f64#fcancellation1140
sqrt.f64#fuflow-rescue790
/.f64#fu/n370
/.f64#fn/u240
-.f64#fnan-rescue150
*.f64(*.f64 (/.f64 x y) z)n*o90
*.f64(*.f64 (/.f64 x y) z)n*u50
Confusion
Predicted +Predicted -
+30714
-2201763
Precision
0.5825426944971537
Recall
0.956386292834891
Confusion?
Predicted +Predicted MaybePredicted -
+307014
-22001763
Precision?
0.5825426944971537
Recall?
0.956386292834891
Freqs
test
numberfreq
01777
1393
2130
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
274.0ms3 664×0valid
241.0ms576×2valid
124.0ms318×1valid
46.0ms50×3valid
Compiler

Compiled 1 107 to 300 computations (72.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 473.0ms
ival-sub: 94.0ms (19.9% of total)
ival-div: 87.0ms (18.4% of total)
adjust: 77.0ms (16.3% of total)
ival-mult: 70.0ms (14.8% of total)
ival-sqrt: 59.0ms (12.5% of total)
ival-add: 22.0ms (4.6% of total)
ival-if: 18.0ms (3.8% of total)
ival-exp: 11.0ms (2.3% of total)
ival-neg: 11.0ms (2.3% of total)
ival-fabs: 6.0ms (1.3% of total)
ival-log: 5.0ms (1.1% of total)
ival-true: 4.0ms (0.8% of total)
exact: 4.0ms (0.8% of total)
ival->=: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)

preprocess1.2s (2.6%)

Memory
-158.1MiB live, 1 298.0MiB allocated; 285ms collecting garbage
Algorithm
9×egg-herbie
Stop Event
18×iter limit
14×saturated
4×node limit
Compiler

Compiled 5 985 to 1 316 computations (78% saved)

prune970.0ms (2%)

Memory
-76.9MiB live, 1 327.5MiB allocated; 198ms collecting garbage
Counts
15 150 → 278
Compiler

Compiled 19 837 to 9 524 computations (52% saved)

series875.0ms (1.8%)

Memory
-21.2MiB live, 973.2MiB allocated; 172ms collecting garbage
Counts
389 → 2 367
Calls

195 calls:

TimeVariablePointExpression
100.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) (neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x))
41.0ms
b
@inf
((+ (* (/ (sqrt (+ (* (* -4 c) a) (* b b))) a) 2) (* 2 (/ (neg b) a))) (/ (+ (* (/ (sqrt (+ (* (* -4 c) a) (* b b))) a) 2) (* 2 (/ (neg b) a))) 4) (- (* b b) (* (* 4 a) c)) (* 2 (/ (neg b) a)) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (if (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* (* c a) -4) (* b b))) b)) (* (/ (- (sqrt (+ (* (* c a) -4) (* b b))) b) a) 1/2)) (>= b 0) (/ (* -2 c) (+ (sqrt (+ (* (* c a) -4) (* b b))) b)) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (* (+ (* (/ -2 b) (* a (/ c b))) 2) (neg b)) (if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))) (+ (* (neg b) b) (+ (* (* -4 c) a) (* b b))) (/ (* -2 c) (+ (* (neg b) b) (+ (* (* -4 c) a) (* b b)))) (* (/ (* -2 c) (+ (* (neg b) b) (+ (* (* -4 c) a) (* b b)))) (+ (sqrt (+ (* (* -4 c) a) (* b b))) (neg b))) (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (+ (* (* -4 c) a) (* b b))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (+ (* (* c a) -4) (* b b))) (+ (sqrt (+ (* (* c a) -4) (* b b))) b) (- (sqrt (+ (* (* c a) -4) (* b b))) b) (/ (- (sqrt (+ (* (* c a) -4) (* b b))) b) a) (sqrt (- (* b b) (* (* 4 a) c))) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* a (/ c b)))
37.0ms
x
@-inf
((* (sqrt (- x 1)) (sqrt x)) (+ (* (/ -1/2 x) x) x) (* (sqrt (- x 1)) (sqrt x)) (/ -1/2 x) (/ x x) (+ (* (/ x x) (- (/ -1/8 x) 1/2)) x) (* (sqrt (- x 1)) (sqrt x)) (- (/ -1/8 x) 1/2) (* (sqrt (- (exp (log x)) 1)) (sqrt x)) (sqrt (- (exp (log x)) 1)) (- (exp (log x)) 1) (log x) (/ -1/8 x) (sqrt x))
37.0ms
y
@0
((fabs (/ (+ (* (neg z) x) (+ x 4)) y)) (/ (+ (* (neg z) x) (+ x 4)) y) (+ (* (neg z) x) (+ x 4)) (neg z) (- (/ (+ x 4) y) (* (/ x y) z)) (/ (+ (* (- 1 z) x) 4) y) (+ (* (- 1 z) x) 4) (+ 4 x) (- (/ (+ x 4) y) (* (/ x y) z)) (* (/ x y) (- 1 z)) (/ x y) (- 1 z) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (* (neg z) (/ x y)) (* (neg x) (/ z y)) (fabs (- (/ (+ x 4) y) (* (/ x y) z))) (- (/ (+ x 4) y) (* (/ x y) z)) (* (/ (- 1 z) y) x) (/ (- 1 z) y) (+ x 4))
37.0ms
x
@0
((* (sqrt (- x 1)) (sqrt x)) (+ (* (/ -1/2 x) x) x) (* (sqrt (- x 1)) (sqrt x)) (/ -1/2 x) (/ x x) (+ (* (/ x x) (- (/ -1/8 x) 1/2)) x) (* (sqrt (- x 1)) (sqrt x)) (- (/ -1/8 x) 1/2) (* (sqrt (- (exp (log x)) 1)) (sqrt x)) (sqrt (- (exp (log x)) 1)) (- (exp (log x)) 1) (log x) (/ -1/8 x) (sqrt x))

regimes852.0ms (1.8%)

Memory
-56.0MiB live, 878.3MiB allocated; 96ms collecting garbage
Counts
460 → 92
Calls

26 calls:

108.0ms
b
92.0ms
z
83.0ms
(/.f64 #s(literal 1 binary64) x)
73.0ms
x
49.0ms
c
Compiler

Compiled 981 to 842 computations (14.2% saved)

analyze604.0ms (1.3%)

Memory
30.7MiB live, 489.0MiB allocated; 86ms 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
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)

bsearch453.0ms (1%)

Memory
9.5MiB live, 439.2MiB allocated; 51ms collecting garbage
Algorithm
35×binary-search
4×left-value
Stop Event
32×narrow-enough
3×predicate-same
Samples
202.0ms2 352×0valid
29.0ms55×0invalid
5.0ms32×2valid
3.0ms16×1valid
Compiler

Compiled 16 835 to 10 813 computations (35.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 159.0ms
ival-mult: 68.0ms (42.9% of total)
ival-div: 25.0ms (15.8% of total)
ival-sqrt: 20.0ms (12.6% of total)
ival-sub: 13.0ms (8.2% of total)
ival-add: 10.0ms (6.3% of total)
ival-fabs: 6.0ms (3.8% of total)
ival-neg: 4.0ms (2.5% of total)
ival-if: 3.0ms (1.9% of total)
adjust: 2.0ms (1.3% of total)
ival->=: 2.0ms (1.3% of total)
ival-true: 2.0ms (1.3% of total)
exact: 2.0ms (1.3% of total)
ival-exp: 1.0ms (0.6% of total)
ival-assert: 1.0ms (0.6% of total)

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