Herbie run

Date:Tuesday, October 22nd, 2024
Commit:5ca06d70 on bhargav-double-double
Hostname:nightly with Racket 8.10
Seed:2024296
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: 5.0min)

sample1.3min (26.1%)

Memory
389.5MiB live, 85 085.7MiB allocated
Samples
31.4s225 690×0valid
9.3s65 652×0invalid
7.0s22 741×1valid
3.7s12 204×1invalid
3.1s9 657×2valid
2.5s6 102×3valid
483.0ms1 833×1exit
204.0ms548×2invalid
28.0ms228×0exit
1.0ms4valid
1.0ms3exit
Precisions
Click to see histograms. Total time spent on operations: 44.2s
ival-mult: 11.1s (25.1% of total)
ival-div: 6.7s (15.1% of total)
ival-sub: 3.5s (8% of total)
ival-add: 2.7s (6.2% of total)
ival-exp: 2.6s (5.9% of total)
ival-pow2: 2.6s (5.8% of total)
ival-sqrt: 2.5s (5.7% of total)
ival-pow: 2.1s (4.6% of total)
adjust: 2.0s (4.5% of total)
ival-sin: 1.9s (4.4% of total)
ival-cos: 946.0ms (2.1% of total)
ival-acos: 845.0ms (1.9% of total)
ival-tan: 780.0ms (1.8% of total)
ival-neg: 627.0ms (1.4% of total)
ival-pi: 457.0ms (1% of total)
ival-log: 422.0ms (1% of total)
const: 400.0ms (0.9% of total)
ival-hypot: 346.0ms (0.8% of total)
exact: 330.0ms (0.7% of total)
ival-fabs: 283.0ms (0.6% of total)
ival-true: 267.0ms (0.6% of total)
ival-asin: 256.0ms (0.6% of total)
ival-tanu: 227.0ms (0.5% of total)
ival-assert: 134.0ms (0.3% of total)
ival-atan: 78.0ms (0.2% of total)
ival-<: 62.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify42.4s (14.3%)

Memory
679.7MiB live, 39 939.3MiB allocated
Algorithm
252×egg-herbie
Stop Event
336×iter limit
194×node limit
58×saturated
Counts
13 242 → 13 175

soundness38.5s (12.9%)

Memory
184.1MiB live, 25 674.6MiB allocated
Stop Event
251×iter limit
171×node limit
28×fuel
Compiler

Compiled 61 504 to 25 172 computations (59.1% saved)

rewrite26.7s (9%)

Memory
-204.9MiB live, 27 216.0MiB allocated
Stop Event
225×iter limit
112×node limit
Counts
2 153 → 82 689

localize23.1s (7.8%)

Memory
-254.5MiB live, 25 923.3MiB allocated
Samples
9.7s21 739×0valid
3.4s3 078×1valid
1.5s1 031×2valid
988.0ms2 041×0invalid
673.0ms328×3valid
509.0ms19×5exit
105.0ms256×0exit
64.0ms61×2exit
44.0ms54×1invalid
36.0ms33×2invalid
31.0ms20×3exit
7.0ms12×1exit
Compiler

Compiled 91 845 to 10 673 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.4s
ival-mult: 3.8s (30.5% of total)
ival-div: 2.2s (17.5% of total)
ival-add: 1.0s (8.4% of total)
adjust: 853.0ms (6.9% of total)
ival-pow: 660.0ms (5.3% of total)
ival-sqrt: 634.0ms (5.1% of total)
ival-log: 564.0ms (4.6% of total)
ival-pow2: 470.0ms (3.8% of total)
ival-sub: 455.0ms (3.7% of total)
ival-cos: 402.0ms (3.2% of total)
ival-sin: 357.0ms (2.9% of total)
ival-exp: 242.0ms (2% of total)
ival-neg: 186.0ms (1.5% of total)
const: 156.0ms (1.3% of total)
ival-tan: 110.0ms (0.9% of total)
exact: 59.0ms (0.5% of total)
ival-pi: 52.0ms (0.4% of total)
ival-tanh: 46.0ms (0.4% of total)
ival-hypot: 30.0ms (0.2% of total)
ival-true: 26.0ms (0.2% of total)
ival-tanu: 24.0ms (0.2% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-assert: 12.0ms (0.1% of total)
ival-log1p: 12.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)
ival-sinu: 6.0ms (0% of total)
ival-cosu: 4.0ms (0% of total)

regimes18.3s (6.2%)

Memory
-86.8MiB live, 24 159.1MiB allocated
Counts
10 860 → 736
Calls

133 calls:

1.0s
l
648.0ms
k
565.0ms
t
438.0ms
B
425.0ms
x
Compiler

Compiled 11 215 to 11 655 computations (-3.9% saved)

eval17.7s (5.9%)

Memory
269.8MiB live, 23 253.7MiB allocated
Compiler

Compiled 4 177 157 to 396 023 computations (90.5% saved)

explain11.4s (3.8%)

Memory
-102.8MiB live, 14 100.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity4510
-.f64#fcancellation4390
sqrt.f64#foflow-rescue4090
+.f64#fnan-rescue3610
*.f64#fn*o2460
*.f64#fu*o1370
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1241
*.f64#fn*u1160
-.f64#fnan-rescue1130
+.f64#fcancellation1110
sqrt.f64#fuflow-rescue930
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9131
/.f64#fo/o680
*.f64#fo*u680
pow.f64#fuflow-rescue640
/.f64#fu/u490
/.f64#fo/n470
/.f64#fn/o430
/.f64#fn/u320
/.f64#fu/n160
+.f64(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))oflow-left130
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity80
exp.f64(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))sensitivity20
Confusion
Predicted +Predicted -
+1645144
-9494430
Precision
0.6341557440246723
Recall
0.9195081050866406
Confusion?
Predicted +Predicted MaybePredicted -
+16453141
-949294401
Precision?
0.6275704493526276
Recall?
0.9211850195640022
Freqs
test
numberfreq
04574
12160
2374
349
49
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+2100
-205
Precision?
0.9130434782608695
Recall?
1.0
Samples
2.2s12 368×0valid
716.0ms1 418×1valid
169.0ms388×2valid
70.0ms162×3valid
Compiler

Compiled 13 362 to 3 647 computations (72.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 693.0ms (31% of total)
ival-div: 224.0ms (10% of total)
ival-sub: 187.0ms (8.4% of total)
ival-exp: 175.0ms (7.8% of total)
ival-pow: 127.0ms (5.7% of total)
adjust: 116.0ms (5.2% of total)
ival-sin: 115.0ms (5.2% of total)
ival-pow2: 112.0ms (5% of total)
ival-add: 112.0ms (5% of total)
ival-sqrt: 106.0ms (4.7% of total)
ival-cos: 91.0ms (4.1% of total)
ival-tan: 43.0ms (1.9% of total)
ival-pi: 35.0ms (1.6% of total)
ival-neg: 28.0ms (1.3% of total)
exact: 16.0ms (0.7% of total)
ival-log: 15.0ms (0.7% of total)
ival-true: 15.0ms (0.7% of total)
ival-tanu: 11.0ms (0.5% of total)
ival-assert: 6.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)

series10.6s (3.6%)

Memory
-65.6MiB live, 12 996.2MiB allocated
Counts
2 153 → 13 242
Calls

1104 calls:

TimeVariablePointExpression
187.0ms
f
@0
((/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI)))))) (neg (/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))))) (/ 4 (sqrt (PI))) (sqrt (PI)) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* (PI) f) (* (* 1/4 (sqrt (PI))) (sqrt (PI))) (/ (/ 4 (PI)) f) (/ 1 (* (* 1/4 (sqrt (PI))) (sqrt (PI)))) (neg (* (/ 1 (* (* 1/4 (sqrt (PI))) (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (log (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI))))) (* (neg (sqrt (/ 1 (PI)))) (+ (log (* 1/4 (PI))) (log f))) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (PI) (log (tanh (* (/ f 4) (PI)))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (* 1/4 (PI))))
185.0ms
f
@-inf
((/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI)))))) (neg (/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))))) (/ 4 (sqrt (PI))) (sqrt (PI)) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* (PI) f) (* (* 1/4 (sqrt (PI))) (sqrt (PI))) (/ (/ 4 (PI)) f) (/ 1 (* (* 1/4 (sqrt (PI))) (sqrt (PI)))) (neg (* (/ 1 (* (* 1/4 (sqrt (PI))) (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (log (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI))))) (* (neg (sqrt (/ 1 (PI)))) (+ (log (* 1/4 (PI))) (log f))) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (PI) (log (tanh (* (/ f 4) (PI)))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (* 1/4 (PI))))
130.0ms
t
@inf
((* 2 (- 1 (* 3 (* v v)))) (- 1 (* 5 (* v v))) (- 1 (* 3 (* v v))) (* 5 (* v v)) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (PI) t) (* 3 (* v v)))
110.0ms
f
@inf
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI))))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (neg (log (tanh (* f (* 1/4 (PI)))))) (- (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI)))) (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* (cosh (* f (* 1/4 (PI)))) 2) (* (neg (pow (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) 2)) (/ (* -1/4 (PI)) (log (tanh (* f (* 1/4 (PI))))))) (neg (pow (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) 2)) (pow (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) 2) (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) (PI) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (sqrt (PI)) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))))
108.0ms
f
@inf
((/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI)))))) (neg (/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))))) (/ 4 (sqrt (PI))) (sqrt (PI)) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* (PI) f) (* (* 1/4 (sqrt (PI))) (sqrt (PI))) (/ (/ 4 (PI)) f) (/ 1 (* (* 1/4 (sqrt (PI))) (sqrt (PI)))) (neg (* (/ 1 (* (* 1/4 (sqrt (PI))) (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (log (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI))))) (* (neg (sqrt (/ 1 (PI)))) (+ (log (* 1/4 (PI))) (log f))) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (PI) (log (tanh (* (/ f 4) (PI)))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (* 1/4 (PI))))

preprocess9.7s (3.3%)

Memory
26.7MiB live, 8 972.3MiB allocated
Algorithm
28×egg-herbie
Stop Event
56×iter limit
37×node limit
19×saturated
Compiler

Compiled 84 235 to 19 466 computations (76.9% saved)

analyze8.8s (2.9%)

Memory
24.5MiB live, 9 984.0MiB allocated
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.7%42.9%1.8%0%10.6%0%9
52.2%45.5%41.7%1.8%0%11%0%10
53.9%46.8%39.9%1.8%0%11.5%0%11
55.7%47.9%38.2%1.8%0%12.2%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

prune7.3s (2.4%)

Memory
-99.8MiB live, 11 570.8MiB allocated
Counts
93 564 → 3 110
Compiler

Compiled 282 674 to 145 209 computations (48.6% saved)

bsearch5.6s (1.9%)

Memory
41.0MiB live, 6 586.4MiB allocated
Algorithm
220×binary-search
179×left-value
Stop Event
213×narrow-enough
predicate-same
Samples
2.7s16 926×0valid
753.0ms4 880×0invalid
60.0ms82×2valid
40.0ms141×1valid
11.0ms35×3valid
Compiler

Compiled 154 471 to 107 280 computations (30.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 637.0ms (23.6% of total)
ival-div: 578.0ms (21.4% of total)
ival-pow: 312.0ms (11.6% of total)
ival-add: 275.0ms (10.2% of total)
ival-pow2: 235.0ms (8.7% of total)
ival-sub: 222.0ms (8.2% of total)
ival-sin: 109.0ms (4% of total)
ival-tan: 107.0ms (4% of total)
ival-neg: 56.0ms (2.1% of total)
ival-exp: 53.0ms (2% of total)
ival-cos: 25.0ms (0.9% of total)
ival-sqrt: 21.0ms (0.8% of total)
exact: 20.0ms (0.7% of total)
ival-true: 17.0ms (0.6% of total)
adjust: 13.0ms (0.5% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 6.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

start1.0ms (0%)

Memory
2.3MiB live, 2.2MiB allocated

end0.0ms (0%)

Memory
0.4MiB live, 0.3MiB allocated

Profiling

Loading profile data...