Herbie run

Date:Tuesday, November 26th, 2024
Commit:0bc53aaa on bhargav-bigfloat
Hostname:nightly with Racket 8.10
Seed:2024331
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

Time bar (total: 6.5min)

sample1.4min (22%)

Memory
550.0MiB live, 104 054.8MiB allocated
Samples
57.1s262 354×0valid
2.8s7 959×1valid
2.1s11 180×0invalid
739.0ms2 134×2valid
333.0ms1 602×1exit
289.0ms666×1invalid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 50.8s
ival-mult: 10.5s (20.7% of total)
const: 8.1s (15.9% of total)
ival-<=: 6.5s (12.7% of total)
ival-div: 4.1s (8.1% of total)
ival-add: 2.5s (4.8% of total)
ival-sub: 1.9s (3.8% of total)
ival-fabs: 1.7s (3.4% of total)
ival-sqrt: 1.6s (3.1% of total)
ival-log: 1.5s (2.9% of total)
ival-and: 1.2s (2.4% of total)
ival-sin: 1.2s (2.3% of total)
ival-pow: 966.0ms (1.9% of total)
ival-floor: 826.0ms (1.6% of total)
ival-sinu: 810.0ms (1.6% of total)
ival-exp: 734.0ms (1.4% of total)
ival-neg: 661.0ms (1.3% of total)
ival-if: 558.0ms (1.1% of total)
ival-log2: 512.0ms (1% of total)
exact: 498.0ms (1% of total)
adjust: 484.0ms (1% of total)
ival-e: 476.0ms (0.9% of total)
ival-pow2: 473.0ms (0.9% of total)
ival-cosu: 428.0ms (0.8% of total)
ival-cos: 413.0ms (0.8% of total)
ival-pi: 390.0ms (0.8% of total)
ival-fmax: 308.0ms (0.6% of total)
ival-tan: 291.0ms (0.6% of total)
ival-<: 183.0ms (0.4% of total)
ival-log1p: 172.0ms (0.3% of total)
ival->: 167.0ms (0.3% of total)
ival-==: 139.0ms (0.3% of total)
ival-asin: 123.0ms (0.2% of total)
ival-assert: 122.0ms (0.2% of total)
ival-atan: 116.0ms (0.2% of total)
ival-sinh: 75.0ms (0.1% of total)
ival->=: 59.0ms (0.1% of total)
ival-true: 24.0ms (0% of total)
Bogosity

simplify48.7s (12.4%)

Memory
550.7MiB live, 48 866.4MiB allocated
Algorithm
297×egg-herbie
Stop Event
401×iter limit
221×node limit
71×saturated
5×unsound
Counts
14 526 → 14 435

regimes41.5s (10.6%)

Memory
36.6MiB live, 49 905.0MiB allocated
Counts
18 169 → 377
Calls

160 calls:

2.7s
s
1.9s
u
1.2s
x
1.1s
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
950.0ms
r
Compiler

Compiled 23 168 to 14 959 computations (35.4% saved)

soundness37.7s (9.6%)

Memory
76.4MiB live, 25 585.4MiB allocated
Stop Event
271×iter limit
180×node limit
32×fuel
2×unsound
1×done
Compiler

Compiled 53 812 to 16 135 computations (70% saved)

eval36.4s (9.3%)

Memory
417.4MiB live, 51 707.6MiB allocated
Compiler

Compiled 23 582 356 to 576 131 computations (97.6% saved)

rewrite29.4s (7.5%)

Memory
16.7MiB live, 33 039.7MiB allocated
Stop Event
277×iter limit
124×node limit
8×unsound
Counts
2 507 → 86 843

localize28.1s (7.2%)

Memory
76.8MiB live, 35 042.6MiB allocated
Samples
14.5s28 882×0valid
1.3s1 840×0invalid
1.2s1 504×1valid
1.1s1 084×0exit
570.0ms391×2valid
352.0ms84×5exit
22.0ms7×3valid
Compiler

Compiled 291 551 to 14 119 computations (95.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.4s
ival-mult: 5.0s (34.6% of total)
ival-div: 2.3s (16% of total)
ival-add: 1.2s (8.1% of total)
ival-pow2: 701.0ms (4.9% of total)
ival-sqrt: 641.0ms (4.4% of total)
ival-sub: 589.0ms (4.1% of total)
ival-pow: 503.0ms (3.5% of total)
ival-exp: 350.0ms (2.4% of total)
ival-sin: 315.0ms (2.2% of total)
ival-log2: 308.0ms (2.1% of total)
ival-log: 304.0ms (2.1% of total)
adjust: 274.0ms (1.9% of total)
ival-neg: 249.0ms (1.7% of total)
ival-cosu: 168.0ms (1.2% of total)
ival-log1p: 163.0ms (1.1% of total)
const: 154.0ms (1.1% of total)
ival-sinu: 153.0ms (1.1% of total)
ival-fmax: 143.0ms (1% of total)
ival-cos: 136.0ms (0.9% of total)
ival-if: 106.0ms (0.7% of total)
ival-fabs: 103.0ms (0.7% of total)
ival-floor: 88.0ms (0.6% of total)
exact: 69.0ms (0.5% of total)
ival-tan: 68.0ms (0.5% of total)
ival-atan: 50.0ms (0.3% of total)
ival-tanu: 48.0ms (0.3% of total)
ival-pi: 45.0ms (0.3% of total)
ival-expm1: 42.0ms (0.3% of total)
ival-e: 38.0ms (0.3% of total)
ival-true: 33.0ms (0.2% of total)
ival-asin: 25.0ms (0.2% of total)
ival->: 23.0ms (0.2% of total)
ival-assert: 17.0ms (0.1% of total)
ival->=: 15.0ms (0.1% of total)
ival-cbrt: 13.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-acos: 6.0ms (0% of total)
ival-<: 6.0ms (0% of total)

prune22.9s (5.9%)

Memory
-436.6MiB live, 34 092.2MiB allocated
Counts
137 100 → 7 117
Compiler

Compiled 1 093 328 to 384 282 computations (64.9% saved)

analyze22.5s (5.7%)

Memory
-71.5MiB live, 29 866.8MiB allocated
Algorithm
33×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%11.5%88.5%0%0%0%0
52.8%6.1%5.4%88.5%0%0%0%1
54.4%6.2%5.2%88.5%0%0%0%2
54.5%6.3%5.2%88.5%0%0%0%3
55.4%6.4%5.1%88.5%0%0%0%4
62.6%7.2%4.3%88.5%0%0%0%5
66.9%7.6%3.8%88.5%0%0.1%0%6
76.4%8.4%2.6%88.5%0%0.4%0%7
76.8%8.5%2.6%88.5%0%0.4%0%8
81.4%9%2%88.5%0%0.4%0%9
85.1%9.3%1.6%88.5%0%0.5%0%10
86.3%9.4%1.5%88.5%0%0.5%0%11
87.3%9.5%1.4%88.5%0%0.6%0%12
Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

series17.6s (4.5%)

Memory
-56.5MiB live, 22 647.5MiB allocated
Counts
2 507 → 14 526
Calls

1452 calls:

TimeVariablePointExpression
353.0ms
w
@inf
((/ (* (neg dY.v) (floor h)) -1) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (pow (pow (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* dY.u (floor w)) 2))) 1/4) 2) (exp (+ (* (log dY.v) 2) (* (log (floor h)) 2))) (/ dY.v 1) (sqrt (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* dY.u (floor w)) 2)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.u (floor w)) 2) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (pow (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* dY.u (floor w)) 2))) 1/4) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (log dY.v) 2) (* (log (floor h)) 2)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (exp (+ (* (log dY.v) 2) (* (log (floor h)) 2)))))))
240.0ms
cosTheta_i
@0
((* (/ 1 v) (* cosTheta_O cosTheta_i)) (neg (/ (* sinTheta_i sinTheta_O) v)) (/ (* sinTheta_i sinTheta_O) v) (* sinTheta_i sinTheta_O) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (/ cosTheta_i (/ v cosTheta_O)) (/ 2 (/ (/ 1 v) (sinh (/ 1 v)))) (exp (* (log (/ v (* cosTheta_O cosTheta_i))) -1)) (* (log (/ v (* cosTheta_O cosTheta_i))) -1) (sinh (/ 1 v)) (* (* (sinh (/ 1 v)) 2) v) (* (* (sinh (/ 1 v)) 2) v) (/ (* cosTheta_i cosTheta_O) v) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ cosTheta_i (/ v cosTheta_O))) (* (* (sinh (/ 1 v)) 2) v)) (/ (/ 1 v) (sinh (/ 1 v))) (log (/ v (* cosTheta_O cosTheta_i))))
190.0ms
sinTheta_i
@0
((* (/ 1 v) (* cosTheta_O cosTheta_i)) (neg (/ (* sinTheta_i sinTheta_O) v)) (/ (* sinTheta_i sinTheta_O) v) (* sinTheta_i sinTheta_O) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (/ cosTheta_i (/ v cosTheta_O)) (/ 2 (/ (/ 1 v) (sinh (/ 1 v)))) (exp (* (log (/ v (* cosTheta_O cosTheta_i))) -1)) (* (log (/ v (* cosTheta_O cosTheta_i))) -1) (sinh (/ 1 v)) (* (* (sinh (/ 1 v)) 2) v) (* (* (sinh (/ 1 v)) 2) v) (/ (* cosTheta_i cosTheta_O) v) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ cosTheta_i (/ v cosTheta_O))) (* (* (sinh (/ 1 v)) 2) v)) (/ (/ 1 v) (sinh (/ 1 v))) (log (/ v (* cosTheta_O cosTheta_i))))
183.0ms
v
@-inf
((* (/ 1 v) (* cosTheta_O cosTheta_i)) (neg (/ (* sinTheta_i sinTheta_O) v)) (/ (* sinTheta_i sinTheta_O) v) (* sinTheta_i sinTheta_O) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (/ cosTheta_i (/ v cosTheta_O)) (/ 2 (/ (/ 1 v) (sinh (/ 1 v)))) (exp (* (log (/ v (* cosTheta_O cosTheta_i))) -1)) (* (log (/ v (* cosTheta_O cosTheta_i))) -1) (sinh (/ 1 v)) (* (* (sinh (/ 1 v)) 2) v) (* (* (sinh (/ 1 v)) 2) v) (/ (* cosTheta_i cosTheta_O) v) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ cosTheta_i (/ v cosTheta_O))) (* (* (sinh (/ 1 v)) 2) v)) (/ (/ 1 v) (sinh (/ 1 v))) (log (/ v (* cosTheta_O cosTheta_i))))
175.0ms
s
@0
((* (* s 3) (neg (log (neg (- (* 4/3 u) 4/3))))) (neg (- (* 4/3 u) 4/3)) (- (* 4/3 u) 4/3) (* s 3) (* (* (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) 3) s) (* (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) 3) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (+ (* (+ (* 1/2 u) 1) u) (log 3/4)) (* (* 3 s) (log (/ 1 (+ (* (- u 1/4) 4/3) 1)))) (* 3 s) (log (/ 1 (+ (* (- u 1/4) 4/3) 1))) (/ 1 (+ (* (- u 1/4) 4/3) 1)) (* (* 3 s) (log (/ 1 (+ (/ -1 (/ 3/4 (- u 1/4))) 1)))) (log (/ 1 (+ (/ -1 (/ 3/4 (- u 1/4))) 1))) (/ 1 (+ (/ -1 (/ 3/4 (- u 1/4))) 1)) (* (* s 3) (neg (log (+ 1 (neg (+ (* -4/3 u) 1/3)))))) (neg (+ (* -4/3 u) 1/3)) (neg (log (+ 1 (neg (+ (* -4/3 u) 1/3))))) (log (neg (- (* 4/3 u) 4/3))) (* 4/3 u) (+ (* 3/4 u) 3/4) (+ (* -4/3 u) 1/3) (log (+ 1 (neg (+ (* -4/3 u) 1/3)))))

explain10.2s (2.6%)

Memory
10.3MiB live, 12 653.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity97774
-.f32#fcancellation41033
sqrt.f32#foflow-rescue3620
sqrt.f64#foflow-rescue2740
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2100
cos.f32#fsensitivity18110
-.f64#fcancellation1780
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation17018
/.f32#fo/n1440
exp.f32#fsensitivity6120
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u200
/.f32#fu/n170
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue170
↳(*.f32 sinTheta_O sinTheta_O)underflow280
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow17
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow140
↳(*.f32 eta eta)underflow17
/.f32#fo/o140
/.f32#fn/o120
sqrt.f64#fuflow-rescue100
sin.f32#fcancellation30
*.f32#fn*o30
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
Confusion
Predicted +Predicted -
+215865
-4615764
Precision
0.8239786177930508
Recall
0.9707602339181286
Confusion?
Predicted +Predicted MaybePredicted -
+21582936
-4611075657
Precision?
0.7938294010889292
Recall?
0.9838056680161943
Freqs
test
numberfreq
05829
12188
2417
314
Total Confusion?
Predicted +Predicted MaybePredicted -
+2211
-702
Precision?
0.7666666666666667
Recall?
0.9583333333333334
Samples
2.5s16 144×0valid
240.0ms608×1valid
47.0ms144×2valid
Compiler

Compiled 24 467 to 2 456 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 556.0ms (28.2% of total)
ival-div: 257.0ms (13% of total)
ival-sub: 193.0ms (9.8% of total)
ival-add: 114.0ms (5.8% of total)
ival-sinu: 98.0ms (5% of total)
ival-sqrt: 91.0ms (4.6% of total)
ival-log: 88.0ms (4.5% of total)
ival-cosu: 53.0ms (2.7% of total)
ival-pi: 48.0ms (2.4% of total)
ival-exp: 45.0ms (2.3% of total)
ival-floor: 44.0ms (2.2% of total)
ival-sin: 42.0ms (2.1% of total)
ival-pow: 35.0ms (1.8% of total)
const: 32.0ms (1.6% of total)
ival-neg: 31.0ms (1.6% of total)
ival-pow2: 29.0ms (1.5% of total)
adjust: 26.0ms (1.3% of total)
ival-cos: 20.0ms (1% of total)
ival-tan: 18.0ms (0.9% of total)
ival-fmax: 18.0ms (0.9% of total)
ival-fabs: 18.0ms (0.9% of total)
ival-e: 17.0ms (0.9% of total)
ival-true: 17.0ms (0.9% of total)
exact: 17.0ms (0.9% of total)
ival-if: 16.0ms (0.8% of total)
ival-atan: 13.0ms (0.7% of total)
ival-log2: 12.0ms (0.6% of total)
ival-assert: 8.0ms (0.4% of total)
ival-log1p: 7.0ms (0.4% of total)
ival-sinh: 5.0ms (0.3% of total)
ival-asin: 4.0ms (0.2% of total)
ival->: 3.0ms (0.2% of total)
ival->=: 3.0ms (0.2% of total)
ival-<: 1.0ms (0.1% of total)

preprocess9.3s (2.4%)

Memory
198.1MiB live, 8 431.1MiB allocated
Algorithm
33×egg-herbie
Stop Event
66×iter limit
35×saturated
31×node limit
Compiler

Compiled 80 038 to 19 975 computations (75% saved)

bsearch755.0ms (0.2%)

Memory
-16.9MiB live, 1 076.8MiB allocated
Algorithm
63×left-value
46×binary-search
Stop Event
42×narrow-enough
4×predicate-same
Samples
298.0ms878×1valid
116.0ms946×0valid
19.0ms63×1invalid
14.0ms163×0invalid
Compiler

Compiled 10 453 to 7 602 computations (27.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 344.0ms
ival-pow: 100.0ms (29.1% of total)
ival-e: 95.0ms (27.6% of total)
ival-mult: 37.0ms (10.8% of total)
ival-add: 22.0ms (6.4% of total)
ival-log1p: 21.0ms (6.1% of total)
adjust: 18.0ms (5.2% of total)
ival-sub: 16.0ms (4.7% of total)
ival-pow2: 13.0ms (3.8% of total)
ival-sqrt: 7.0ms (2% of total)
ival-fabs: 6.0ms (1.7% of total)
ival-div: 5.0ms (1.5% of total)
ival-true: 2.0ms (0.6% of total)
exact: 2.0ms (0.6% of total)
ival-assert: 1.0ms (0.3% of total)

start3.0ms (0%)

Memory
6.3MiB live, 6.3MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...