Herbie run

Date:Tuesday, October 22nd, 2024
Commit:dcd5694a on varun10p-identities
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.5min)

sample1.4min (24.7%)

Memory
308.2MiB live, 85 766.6MiB allocated
Samples
33.3s225 690×0valid
9.1s65 652×0invalid
6.8s22 741×1valid
3.7s12 204×1invalid
3.4s9 657×2valid
2.5s6 102×3valid
539.0ms1 833×1exit
270.0ms548×2invalid
25.0ms228×0exit
1.0ms2×4valid
1.0ms2×3exit
Precisions
Click to see histograms. Total time spent on operations: 45.3s
ival-mult: 11.5s (25.5% of total)
ival-div: 7.0s (15.5% of total)
ival-sub: 3.5s (7.8% of total)
ival-pow2: 2.7s (6% of total)
ival-add: 2.7s (5.9% of total)
ival-sqrt: 2.5s (5.6% of total)
ival-exp: 2.4s (5.4% of total)
ival-sin: 2.3s (5.2% of total)
adjust: 2.2s (4.8% of total)
ival-pow: 2.0s (4.4% of total)
ival-tan: 820.0ms (1.8% of total)
ival-cos: 793.0ms (1.8% of total)
ival-neg: 724.0ms (1.6% of total)
ival-acos: 679.0ms (1.5% of total)
ival-pi: 587.0ms (1.3% of total)
const: 446.0ms (1% of total)
ival-log: 435.0ms (1% of total)
ival-hypot: 357.0ms (0.8% of total)
exact: 336.0ms (0.7% of total)
ival-asin: 276.0ms (0.6% of total)
ival-true: 263.0ms (0.6% of total)
ival-tanu: 173.0ms (0.4% of total)
ival-assert: 145.0ms (0.3% of total)
ival-atan: 116.0ms (0.3% of total)
ival-fabs: 103.0ms (0.2% of total)
ival-<: 47.0ms (0.1% of total)
ival-and: 12.0ms (0% of total)
Bogosity

simplify49.0s (14.8%)

Memory
896.7MiB live, 45 743.9MiB allocated
Algorithm
288×egg-herbie
Stop Event
384×iter limit
254×node limit
34×saturated
Counts
14 695 → 14 622

soundness42.1s (12.8%)

Memory
64.1MiB live, 28 343.3MiB allocated
Stop Event
271×iter limit
185×node limit
32×fuel
Compiler

Compiled 66 334 to 27 340 computations (58.8% saved)

rewrite29.2s (8.8%)

Memory
240.3MiB live, 31 657.8MiB allocated
Stop Event
257×iter limit
128×node limit
Counts
2 460 → 95 536

localize26.9s (8.1%)

Memory
-71.5MiB live, 30 927.8MiB allocated
Samples
9.5s23 143×0valid
4.7s3 993×1valid
2.7s1 967×2valid
1.5s2 403×0invalid
1.2s778×3valid
438.0ms48×5exit
83.0ms256×0exit
54.0ms54×1invalid
48.0ms61×2exit
37.0ms20×3exit
35.0ms33×2invalid
7.0ms12×1exit
Compiler

Compiled 102 560 to 11 910 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.3s
ival-mult: 4.0s (26.3% of total)
ival-div: 2.5s (16.5% of total)
ival-add: 1.7s (11.3% of total)
adjust: 1.2s (7.7% of total)
ival-sqrt: 813.0ms (5.3% of total)
ival-pow: 788.0ms (5.2% of total)
ival-sub: 670.0ms (4.4% of total)
ival-exp: 423.0ms (2.8% of total)
ival-pow2: 411.0ms (2.7% of total)
ival-sin: 374.0ms (2.4% of total)
ival-cos: 368.0ms (2.4% of total)
ival-acos: 338.0ms (2.2% of total)
ival-log: 315.0ms (2.1% of total)
ival-neg: 311.0ms (2% of total)
const: 225.0ms (1.5% of total)
ival-tan: 130.0ms (0.9% of total)
ival-asin: 114.0ms (0.7% of total)
ival-hypot: 108.0ms (0.7% of total)
ival-tanh: 94.0ms (0.6% of total)
ival-atan: 82.0ms (0.5% of total)
exact: 71.0ms (0.5% of total)
ival-cbrt: 48.0ms (0.3% of total)
ival-pi: 41.0ms (0.3% of total)
ival-true: 31.0ms (0.2% of total)
ival-tanu: 23.0ms (0.2% of total)
ival-assert: 15.0ms (0.1% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-log1p: 12.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)

eval22.4s (6.8%)

Memory
385.9MiB live, 28 045.3MiB allocated
Compiler

Compiled 4 915 742 to 466 844 computations (90.5% saved)

regimes20.1s (6.1%)

Memory
-23.9MiB live, 25 590.3MiB allocated
Counts
11 587 → 825
Calls

156 calls:

1.1s
l
715.0ms
k
626.0ms
t
576.0ms
x
472.0ms
n
Compiler

Compiled 12 912 to 13 271 computations (-2.8% saved)

series11.8s (3.6%)

Memory
109.4MiB live, 14 057.5MiB allocated
Counts
2 460 → 14 695
Calls

1200 calls:

TimeVariablePointExpression
222.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))))
139.0ms
l
@inf
((/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (* (/ (pow (sin k) 2) l) k) (+ (* (/ (/ (pow t 3) k) k) 2) t)) (/ k (* (cos k) l))) (* (* (/ (pow (sin k) 2) l) k) (+ (* (/ (/ (pow t 3) k) k) 2) t)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* 2 (* l l)) (/ (/ (/ (cos k) t) (pow (sin k) 2)) (* k k))) (* 2 (* l l)) (* l l) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (/ l (* k k)) (* k k) (/ l (pow t 3)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* l l) 2) (* (* k k) (* (* (tan k) (sin k)) t)) (* (pow t 3/4) (/ (pow t 3/4) l)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (pow (* (* (pow t 3/4) (/ (pow t 3/4) l)) k) 2) 2) (/ (/ (pow t 3) k) k) (/ (pow (sin k) 2) l) (/ (/ (cos k) t) (pow (sin k) 2)) (* (* k k) t) (* (/ l (* k k)) (/ l (pow t 3))) (/ (* (* l l) 2) (* (* k k) (* (* (tan k) (sin k)) t))) (* (* (tan k) (sin k)) t) (* (* (pow t 3/4) (/ (pow t 3/4) l)) k) (/ (pow t 3/4) l))
119.0ms
kx
@inf
((exp (* (+ (log (+ 1 (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2))) (log 1/2)) 1/2)) (* (+ (log (+ 1 (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2))) (log 1/2)) 1/2) (+ (log (+ 1 (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2))) (log 1/2)) (log (+ 1 (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) (/ 1 2) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))) (- 1/2 (* 1/2 (cos (* 2 ky)))) (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (/ (* l l) Om) (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) (/ (pow (sin ky) 2) Om) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (* (* 2 (/ l Om)) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (cos (* 2 ky)))
118.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))))
106.0ms
Om
@inf
((exp (* (log (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) 1/2)) (* (log (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) 1/2) (log (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (+ (* (/ Om (* (sin ky) l)) 1/4) 1/2) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (/ (pow (* l (sin ky)) 2) (* Om Om)) 4) 1))) 1/2) 1/2) (sqrt (/ 1 (+ (* (/ (pow (* l (sin ky)) 2) (* Om Om)) 4) 1))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (+ (* (/ Om (* (sin ky) l)) -1/4) 1/2) (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (sqrt 1/2)) (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (pow (+ (* 4 (pow (/ (* l (sin ky)) Om) 2)) 1) -1/2) (/ (* l (sin ky)) Om) (pow (/ (* l (sin ky)) Om) 2) (* (sin ky) l) (/ Om (* (sin ky) l)) (pow (* l (sin ky)) 2) (/ (pow (* l (sin ky)) 2) (* Om Om)) (/ 1 (+ (* (/ (pow (* l (sin ky)) 2) (* Om Om)) 4) 1)) (/ Om (* (sin ky) l)) (* (sin ky) l) (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) (/ (* l l) Om) (/ (pow (sin ky) 2) Om))

preprocess11.0s (3.3%)

Memory
-232.1MiB live, 9 531.9MiB allocated
Algorithm
32×egg-herbie
Stop Event
64×iter limit
41×node limit
23×saturated
Compiler

Compiled 87 205 to 19 817 computations (77.3% saved)

prune10.4s (3.1%)

Memory
-799.8MiB live, 13 039.0MiB allocated
Counts
109 515 → 3 361
Compiler

Compiled 300 593 to 154 090 computations (48.7% saved)

explain10.1s (3.1%)

Memory
-413.7MiB live, 12 068.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5090
-.f64#fcancellation4260
cos.f64#fsensitivity4040
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2531
*.f64#fn*o2460
+.f64#fnan-rescue2280
sqrt.f64#fuflow-rescue1840
*.f64#fu*o1370
pow.f64#foflow-rescue1350
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1241
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1171
-.f64#fnan-rescue1080
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#fn*u770
/.f64#fo/o680
pow.f64#fuflow-rescue640
*.f64#fo*u630
+.f64#fcancellation620
/.f64#fu/u490
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue470
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow47
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow47
↳(*.f64 K (+.f64 m n))overflow47
/.f64#fo/n470
/.f64#fn/o440
/.f64#fn/u310
/.f64#fu/n160
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
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))))))oflow-rescue10
↳(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))overflow12
↳(/.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)))))overflow1
↳(-.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))))overflow6
↳(+.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))))overflow6
Confusion
Predicted +Predicted -
+196440
-11285060
Precision
0.6351875808538163
Recall
0.9800399201596807
Confusion?
Predicted +Predicted MaybePredicted -
+1964436
-1128305030
Precision?
0.6295585412667947
Recall?
0.9820359281437125
Freqs
test
numberfreq
05100
12702
2342
339
47
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-106
Precision?
0.9615384615384616
Recall?
1.0
Samples
2.2s13 438×0valid
732.0ms1 842×1valid
281.0ms700×2valid
142.0ms390×3valid
9.0ms14×5exit
Compiler

Compiled 10 899 to 2 164 computations (80.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 514.0ms (24.7% of total)
ival-div: 289.0ms (13.9% of total)
ival-add: 165.0ms (7.9% of total)
ival-sub: 160.0ms (7.7% of total)
ival-exp: 144.0ms (6.9% of total)
ival-sin: 139.0ms (6.7% of total)
adjust: 111.0ms (5.3% of total)
ival-pow2: 101.0ms (4.8% of total)
ival-sqrt: 94.0ms (4.5% of total)
ival-pow: 71.0ms (3.4% of total)
ival-cos: 63.0ms (3% of total)
ival-tan: 48.0ms (2.3% of total)
ival-acos: 27.0ms (1.3% of total)
ival-neg: 26.0ms (1.2% of total)
ival-hypot: 21.0ms (1% of total)
exact: 19.0ms (0.9% of total)
ival-pi: 16.0ms (0.8% of total)
ival-true: 16.0ms (0.8% of total)
ival-log: 15.0ms (0.7% of total)
ival-tanu: 11.0ms (0.5% of total)
const: 9.0ms (0.4% of total)
ival-asin: 8.0ms (0.4% of total)
ival-assert: 8.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)

analyze8.3s (2.5%)

Memory
123.4MiB live, 10 473.8MiB 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)

bsearch7.3s (2.2%)

Memory
-179.3MiB live, 6 498.4MiB allocated
Algorithm
237×binary-search
216×left-value
Stop Event
227×narrow-enough
10×predicate-same
Samples
3.3s17 925×0valid
925.0ms4 923×0invalid
102.0ms182×1valid
21.0ms82×2valid
14.0ms35×3valid
Compiler

Compiled 160 519 to 112 178 computations (30.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-div: 971.0ms (28.8% of total)
ival-mult: 676.0ms (20.1% of total)
ival-pow: 395.0ms (11.7% of total)
ival-add: 241.0ms (7.2% of total)
ival-sub: 206.0ms (6.1% of total)
ival-tan: 165.0ms (4.9% of total)
ival-sin: 160.0ms (4.7% of total)
ival-pow2: 151.0ms (4.5% of total)
ival-sqrt: 108.0ms (3.2% of total)
ival-neg: 76.0ms (2.3% of total)
ival-cos: 53.0ms (1.6% of total)
ival-exp: 52.0ms (1.5% of total)
ival-asin: 22.0ms (0.7% of total)
exact: 22.0ms (0.7% of total)
ival-true: 18.0ms (0.5% of total)
adjust: 15.0ms (0.4% of total)
ival-atan: 11.0ms (0.3% of total)
ival-assert: 10.0ms (0.3% of total)
const: 8.0ms (0.2% of total)
ival-fabs: 7.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

start1.0ms (0%)

Memory
2.9MiB live, 2.9MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...