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: 5.4min)

sample1.3min (25.1%)

Memory
171.4MiB live, 88 233.9MiB allocated
Samples
33.7s225 552×0valid
9.0s65 279×0invalid
7.9s22 887×1valid
3.9s12 304×1invalid
3.5s9 572×2valid
2.7s6 177×3valid
452.0ms1 886×1exit
199.0ms560×2invalid
30.0ms230×0exit
2.0ms4×4valid
1.0ms2×3exit
1.0ms1×5exit
Precisions
Click to see histograms. Total time spent on operations: 47.0s
ival-mult: 11.4s (24.3% of total)
ival-div: 7.9s (16.9% of total)
ival-sub: 3.6s (7.7% of total)
ival-sqrt: 2.9s (6.2% of total)
ival-pow2: 2.8s (5.9% of total)
ival-pow: 2.5s (5.4% of total)
ival-add: 2.5s (5.3% of total)
ival-exp: 2.5s (5.2% of total)
adjust: 2.1s (4.4% of total)
ival-sin: 2.0s (4.2% of total)
ival-cos: 1.1s (2.4% of total)
ival-tan: 882.0ms (1.9% of total)
ival-neg: 788.0ms (1.7% of total)
ival-acos: 718.0ms (1.5% of total)
ival-pi: 520.0ms (1.1% of total)
const: 474.0ms (1% of total)
ival-hypot: 419.0ms (0.9% of total)
ival-log: 365.0ms (0.8% of total)
exact: 348.0ms (0.7% of total)
ival-true: 271.0ms (0.6% of total)
ival-asin: 244.0ms (0.5% of total)
ival-fabs: 205.0ms (0.4% of total)
ival-tanu: 170.0ms (0.4% of total)
ival-assert: 144.0ms (0.3% of total)
ival-atan: 88.0ms (0.2% of total)
ival-<: 53.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify46.2s (14.4%)

Memory
1 233.0MiB live, 45 765.1MiB allocated
Algorithm
288×egg-herbie
Stop Event
384×iter limit
225×node limit
63×saturated
Counts
15 106 → 15 026

soundness44.1s (13.7%)

Memory
66.3MiB live, 29 306.6MiB allocated
Stop Event
285×iter limit
192×node limit
31×fuel
1×done
Compiler

Compiled 74 260 to 29 811 computations (59.9% saved)

rewrite28.9s (9%)

Memory
-310.6MiB live, 31 048.0MiB allocated
Stop Event
257×iter limit
128×node limit
Counts
2 552 → 90 553

localize26.3s (8.2%)

Memory
-185.6MiB live, 31 162.4MiB allocated
Samples
10.6s23 849×0valid
4.1s3 996×1valid
2.8s1 793×2valid
1.3s737×3valid
906.0ms1 970×0invalid
287.0ms24×5exit
187.0ms360×0exit
60.0ms21×3exit
16.0ms12×2exit
4.0ms6×1exit
Compiler

Compiled 109 032 to 12 306 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.2s
ival-mult: 4.1s (27.3% of total)
ival-div: 2.8s (18.3% of total)
ival-add: 1.4s (9.5% of total)
ival-pow: 1.0s (6.7% of total)
adjust: 897.0ms (5.9% of total)
ival-sub: 681.0ms (4.5% of total)
ival-sqrt: 617.0ms (4.1% of total)
ival-pow2: 551.0ms (3.6% of total)
ival-cos: 551.0ms (3.6% of total)
ival-exp: 377.0ms (2.5% of total)
ival-sin: 318.0ms (2.1% of total)
ival-neg: 290.0ms (1.9% of total)
ival-log: 237.0ms (1.6% of total)
ival-hypot: 226.0ms (1.5% of total)
ival-acos: 206.0ms (1.4% of total)
const: 201.0ms (1.3% of total)
ival-asin: 143.0ms (0.9% of total)
ival-tan: 96.0ms (0.6% of total)
exact: 77.0ms (0.5% of total)
ival-cbrt: 61.0ms (0.4% of total)
ival-log1p: 60.0ms (0.4% of total)
ival-tanh: 53.0ms (0.3% of total)
ival-pi: 38.0ms (0.3% of total)
ival-tanu: 33.0ms (0.2% of total)
ival-true: 31.0ms (0.2% of total)
ival-atan: 24.0ms (0.2% of total)
ival-assert: 15.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-expm1: 6.0ms (0% of total)
ival-sinh: 5.0ms (0% of total)

regimes21.6s (6.7%)

Memory
-172.1MiB live, 27 393.3MiB allocated
Counts
11 822 → 861
Calls

156 calls:

1.0s
l
887.0ms
k
750.0ms
t
468.0ms
F
465.0ms
d
Compiler

Compiled 13 816 to 14 158 computations (-2.5% saved)

eval21.3s (6.6%)

Memory
415.9MiB live, 28 402.1MiB allocated
Compiler

Compiled 5 183 351 to 462 094 computations (91.1% saved)

series10.7s (3.3%)

Memory
-13.2MiB live, 13 626.1MiB allocated
Counts
2 552 → 15 106
Calls

1200 calls:

TimeVariablePointExpression
172.0ms
f
@inf
((* (/ 2 (sqrt (PI))) (* (/ 2 (sqrt (PI))) (log (tanh (* (* (PI) 1/4) f))))) (/ 2 (sqrt (PI))) (sqrt (PI)) (PI) (* (/ 4 (PI)) (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (PI)) (log (tanh (* f (* 1/4 (PI))))) (/ (/ 4 (PI)) (/ -1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ -1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (pow (/ 4 (PI)) 1/2) (* (sqrt (/ 2 (sqrt (PI)))) (sqrt (/ 2 (sqrt (PI))))) (* (* (sqrt (/ 2 (sqrt (PI)))) (sqrt (/ 2 (sqrt (PI))))) (* (pow (/ 4 (PI)) 1/2) (log (tanh (* f (* 1/4 (PI))))))) (sqrt (/ 2 (sqrt (PI)))) (pow (exp (PI)) 1/2) (/ (- (log (+ 1 (neg (pow (pow (exp (PI)) 1/2) (neg f))))) (log (+ 1 (pow (pow (exp (PI)) 1/2) (neg f))))) (* 1/4 (PI))) (- (log (+ 1 (neg (pow (pow (exp (PI)) 1/2) (neg f))))) (log (+ 1 (pow (pow (exp (PI)) 1/2) (neg f))))) (log (+ 1 (neg (pow (pow (exp (PI)) 1/2) (neg f))))) (log (tanh (* (* (PI) 1/4) f))) (tanh (* f (* 1/4 (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)))))) (/ (/ 4 (PI)) f) (log (tanh (* f (* 1/4 (PI))))) (exp (PI)))
138.0ms
x
@-inf
((/ (- (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) (* (cos B) x)) (sin B)) (- (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) (* (cos B) x)) (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) (sqrt (+ (* 2 x) (+ (* F F) 2))) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (/ (+ (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) (neg x)) B) (+ (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) (neg x)) (- -1 x) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (/ (- (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) x) B) (- (/ F (sqrt (+ (* 2 x) (+ (* F F) 2)))) x) (* x (/ 1 (tan B))) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (neg (* x (/ 1 (tan B)))) (/ 1 (tan B)) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (* (cos B) x) (/ (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) (+ (* (* B B) (* 1/6 F)) F)) B) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2)))) (/ (+ (* -1/6 (* B B)) -1) B) (* -1/6 B) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2)))) (/ -1 (sin B)))
126.0ms
t
@0
((exp (- (* (log t) 3) (* (log l) 2))) (+ (+ 1 (pow (/ k t) 2)) 1) (- (* (log t) 3) (* (log l) 2)) (* (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (/ 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)) (* (* (* k k) 2) (/ (/ (pow t 3) l) l)) (* (* k k) 2) (* (/ (* t (/ (* k k) l)) l) (/ (pow (sin k) 2) (cos k))) (/ 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)) (/ (* t (/ (* k k) l)) l) (* (* (* (/ (* (/ t l) (* t t)) l) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ (* (/ t l) (* t t)) l) (sin k)) (tan k)) (* (/ (* (/ t l) (* t t)) l) (sin k)) (/ 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) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) k) k) (* (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) k) (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (/ (pow t 3) l) (/ (/ (pow t 3) l) l) (/ (* k k) l) (* t (/ (* k k) l)) (/ (* (/ t l) (* t t)) l) (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) (/ (pow t 3) k) (/ (/ (pow t 3) k) k))
85.0ms
v
@inf
((exp (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))))) (log (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))) (acos (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (/ (- 1 (* 5 (* v v))) (- (* v v) 1)) (+ (* 4 (* v v)) -1) (* v v) (/ (+ (* (* (PI) (PI)) (* (PI) 1/8)) (neg (pow (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 3))) (+ (* (* (PI) (PI)) 1/4) (* (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) (+ (* 1/2 (PI)) (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))))))) (* (PI) (PI)) (PI) (* (PI) 1/8) (/ (- (* (pow (pow (cbrt (PI)) 2) 9/2) 1/8) (pow (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 3)) (+ (* (* (PI) (PI)) 1/4) (* (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) (+ (* 1/2 (PI)) (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))))))) (- (* (pow (pow (cbrt (PI)) 2) 9/2) 1/8) (pow (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 3)) (* (pow (pow (cbrt (PI)) 2) 9/2) 1/8) (pow (pow (cbrt (PI)) 2) 9/2) (/ (- (* (* (pow (cbrt (pow (cbrt (PI)) 2)) 9) (pow (cbrt (cbrt (PI))) 9)) 1/8) (pow (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 3)) (+ (* (* (PI) (PI)) 1/4) (* (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) (+ (* 1/2 (PI)) (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))))))) (- (* (* (pow (cbrt (pow (cbrt (PI)) 2)) 9) (pow (cbrt (cbrt (PI))) 9)) 1/8) (pow (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 3)) (* (* (pow (cbrt (pow (cbrt (PI)) 2)) 9) (pow (cbrt (cbrt (PI))) 9)) 1/8) (* (pow (cbrt (pow (cbrt (PI)) 2)) 9) (pow (cbrt (cbrt (PI))) 9)) (+ (* 1/2 (PI)) (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)))) (pow (asin (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1))) 3) (/ (+ (* -5 (* v v)) 1) (+ (* v v) -1)) (cbrt (PI)) (pow (cbrt (PI)) 2) (pow (cbrt (pow (cbrt (PI)) 2)) 9))
81.0ms
f
@-inf
((* (/ 2 (sqrt (PI))) (* (/ 2 (sqrt (PI))) (log (tanh (* (* (PI) 1/4) f))))) (/ 2 (sqrt (PI))) (sqrt (PI)) (PI) (* (/ 4 (PI)) (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (PI)) (log (tanh (* f (* 1/4 (PI))))) (/ (/ 4 (PI)) (/ -1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ -1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (pow (/ 4 (PI)) 1/2) (* (sqrt (/ 2 (sqrt (PI)))) (sqrt (/ 2 (sqrt (PI))))) (* (* (sqrt (/ 2 (sqrt (PI)))) (sqrt (/ 2 (sqrt (PI))))) (* (pow (/ 4 (PI)) 1/2) (log (tanh (* f (* 1/4 (PI))))))) (sqrt (/ 2 (sqrt (PI)))) (pow (exp (PI)) 1/2) (/ (- (log (+ 1 (neg (pow (pow (exp (PI)) 1/2) (neg f))))) (log (+ 1 (pow (pow (exp (PI)) 1/2) (neg f))))) (* 1/4 (PI))) (- (log (+ 1 (neg (pow (pow (exp (PI)) 1/2) (neg f))))) (log (+ 1 (pow (pow (exp (PI)) 1/2) (neg f))))) (log (+ 1 (neg (pow (pow (exp (PI)) 1/2) (neg f))))) (log (tanh (* (* (PI) 1/4) f))) (tanh (* f (* 1/4 (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)))))) (/ (/ 4 (PI)) f) (log (tanh (* f (* 1/4 (PI))))) (exp (PI)))

preprocess10.0s (3.1%)

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

Compiled 102 491 to 22 569 computations (78% saved)

explain9.6s (3%)

Memory
-442.4MiB live, 12 057.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4820
-.f64#fcancellation4530
cos.f64#fsensitivity3871
*.f64#fn*o2900
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))))sensitivity2530
+.f64#fnan-rescue2290
sqrt.f64#fuflow-rescue1660
pow.f64#foflow-rescue1570
-.f64#fnan-rescue1490
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1390
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)))))))sensitivity1351
*.f64#fu*o1270
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8428
+.f64#fcancellation690
*.f64#fn*u670
/.f64#fo/o600
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue600
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow60
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow60
↳(*.f64 K (+.f64 m n))overflow60
*.f64#fo*u600
/.f64#fu/u580
pow.f64#fuflow-rescue510
/.f64#fo/n490
/.f64#fn/o320
/.f64#fn/u320
/.f64#fu/n80
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))))))sensitivity61
exp.f64#fsensitivity22
Confusion
Predicted +Predicted -
+201636
-11115029
Precision
0.6447073872721458
Recall
0.9824561403508771
Confusion?
Predicted +Predicted MaybePredicted -
+2016234
-1111295000
Precision?
0.6390120329322356
Recall?
0.9834307992202729
Freqs
test
numberfreq
05065
12708
2371
339
47
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
2.3s13 310×0valid
803.0ms1 936×1valid
294.0ms756×2valid
137.0ms376×3valid
3.0ms6×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 625.0ms (24.8% of total)
ival-div: 514.0ms (20.4% of total)
ival-pow2: 156.0ms (6.2% of total)
ival-sub: 146.0ms (5.8% of total)
ival-sin: 142.0ms (5.6% of total)
ival-exp: 141.0ms (5.6% of total)
adjust: 138.0ms (5.5% of total)
ival-add: 136.0ms (5.4% of total)
ival-sqrt: 115.0ms (4.6% of total)
ival-cos: 97.0ms (3.8% of total)
ival-pow: 76.0ms (3% of total)
ival-tan: 43.0ms (1.7% of total)
ival-acos: 37.0ms (1.5% of total)
ival-neg: 26.0ms (1% of total)
ival-hypot: 24.0ms (1% of total)
exact: 20.0ms (0.8% of total)
ival-true: 17.0ms (0.7% of total)
ival-pi: 13.0ms (0.5% of total)
ival-log: 12.0ms (0.5% of total)
ival-tanu: 11.0ms (0.4% of total)
ival-asin: 9.0ms (0.4% of total)
const: 8.0ms (0.3% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)

analyze8.6s (2.7%)

Memory
183.1MiB live, 10 573.7MiB 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)

prune8.0s (2.5%)

Memory
-714.5MiB live, 12 519.5MiB allocated
Counts
110 607 → 3 256
Compiler

Compiled 293 442 to 150 520 computations (48.7% saved)

bsearch5.5s (1.7%)

Memory
157.3MiB live, 6 944.5MiB allocated
Algorithm
266×left-value
206×binary-search
Stop Event
196×narrow-enough
10×predicate-same
Samples
2.5s15 109×0valid
631.0ms3 944×0invalid
153.0ms635×1valid
126.0ms339×2valid
77.0ms157×3valid
15.0ms53×1invalid
2.0ms9×2invalid
Compiler

Compiled 151 477 to 105 636 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 576.0ms (22.2% of total)
ival-div: 545.0ms (21% of total)
ival-pow: 336.0ms (13% of total)
ival-pow2: 194.0ms (7.5% of total)
ival-add: 165.0ms (6.4% of total)
ival-sin: 155.0ms (6% of total)
ival-tan: 147.0ms (5.7% of total)
ival-sub: 123.0ms (4.7% of total)
ival-neg: 87.0ms (3.4% of total)
adjust: 74.0ms (2.9% of total)
ival-sqrt: 42.0ms (1.6% of total)
ival-cos: 38.0ms (1.5% of total)
ival-exp: 37.0ms (1.4% of total)
exact: 21.0ms (0.8% of total)
ival-true: 16.0ms (0.6% of total)
ival-assert: 8.0ms (0.3% of total)
const: 8.0ms (0.3% of total)
ival-fabs: 7.0ms (0.3% of total)
ival-asin: 5.0ms (0.2% of total)
ival-atan: 4.0ms (0.2% of total)

start1.0ms (0%)

Memory
2.8MiB live, 2.8MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...