Herbie run

Date:Wednesday, November 27th, 2024
Commit:a25f782f on bhargav-double-double
Hostname:nightly with Racket 8.10
Seed:2024332
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: 4.6min)

sample1.9min (42.7%)

Memory
536.3MiB live, 103 354.8MiB allocated
Samples
30.4s41 621×2valid
25.6s144 915×0invalid
19.0s91 855×1valid
9.6s4 764×5exit
8.7s94 770×0valid
1.8s2 919×3valid
758.0ms2 274×1exit
430.0ms4 171×0exit
25.0ms9×4exit
3.0ms3×4valid
2.0ms3×3exit
1.0ms2×2exit
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-tan: 13.7s (17.3% of total)
ival-pow: 10.5s (13.3% of total)
ival-mult: 6.1s (7.7% of total)
const: 5.6s (7.1% of total)
adjust: 5.4s (6.9% of total)
ival-sub: 4.2s (5.4% of total)
ival-cos: 4.1s (5.2% of total)
ival-div: 4.0s (5% of total)
ival-add: 3.5s (4.4% of total)
ival-sin: 3.3s (4.2% of total)
ival-log: 3.2s (4.1% of total)
ival-exp: 2.5s (3.2% of total)
ival-fabs: 2.3s (2.9% of total)
ival-expm1: 2.1s (2.7% of total)
ival-<=: 1.8s (2.3% of total)
ival-sqrt: 1.3s (1.6% of total)
ival-log1p: 1.1s (1.4% of total)
ival-<: 1.0s (1.3% of total)
ival-and: 631.0ms (0.8% of total)
ival-cbrt: 591.0ms (0.7% of total)
ival-fmin: 441.0ms (0.6% of total)
ival-atan: 365.0ms (0.5% of total)
exact: 358.0ms (0.5% of total)
ival-neg: 300.0ms (0.4% of total)
ival->: 279.0ms (0.4% of total)
ival-assert: 156.0ms (0.2% of total)
ival-true: 71.0ms (0.1% of total)
Bogosity

simplify37.5s (13.7%)

Memory
155.7MiB live, 28 622.8MiB allocated
Algorithm
248×egg-herbie
Stop Event
328×iter limit
171×node limit
80×saturated
Counts
8 658 → 8 562

soundness32.4s (11.8%)

Memory
-456.2MiB live, 16 279.2MiB allocated
Stop Event
206×iter limit
138×node limit
24×fuel
4×done
2×saturated
Compiler

Compiled 17 690 to 7 663 computations (56.7% saved)

rewrite23.5s (8.6%)

Memory
335.0MiB live, 21 457.4MiB allocated
Stop Event
220×iter limit
109×node limit
3×saturated
Counts
1 633 → 64 312

localize22.8s (8.3%)

Memory
324.0MiB live, 21 971.3MiB allocated
Samples
7.9s5 985×2valid
7.2s10 304×1valid
2.8s10 500×0valid
786.0ms497×3valid
335.0ms834×0invalid
18.0ms35×0exit
6.0ms5×5exit
Compiler

Compiled 51 659 to 7 157 computations (86.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.1s
ival-mult: 2.3s (15.5% of total)
ival-div: 2.1s (13.8% of total)
adjust: 1.9s (12.9% of total)
ival-tan: 1.9s (12.7% of total)
ival-add: 1.3s (8.6% of total)
ival-pow: 751.0ms (5% of total)
ival-sub: 737.0ms (4.9% of total)
const: 661.0ms (4.4% of total)
ival-cos: 590.0ms (3.9% of total)
ival-sin: 569.0ms (3.8% of total)
ival-log: 475.0ms (3.1% of total)
ival-exp: 411.0ms (2.7% of total)
ival-sqrt: 253.0ms (1.7% of total)
ival-neg: 241.0ms (1.6% of total)
ival-log1p: 196.0ms (1.3% of total)
ival-pow2: 137.0ms (0.9% of total)
ival-cosh: 125.0ms (0.8% of total)
ival-expm1: 75.0ms (0.5% of total)
ival-cbrt: 68.0ms (0.4% of total)
ival-hypot: 59.0ms (0.4% of total)
ival-atan2: 49.0ms (0.3% of total)
exact: 48.0ms (0.3% of total)
ival-true: 25.0ms (0.2% of total)
ival-atan: 22.0ms (0.1% of total)
ival-assert: 13.0ms (0.1% of total)
ival-sinh: 4.0ms (0% of total)

eval13.4s (4.9%)

Memory
-182.5MiB live, 16 007.2MiB allocated
Compiler

Compiled 2 940 629 to 294 043 computations (90% saved)

explain8.6s (3.1%)

Memory
-300.9MiB live, 8 018.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation537937
log.f64#fsensitivity7621
+.f64#fcancellation6991
sqrt.f64#foflow-rescue4360
/.f64#fu/n3730
/.f64#fu/u1540
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity380
sqrt.f64#fuflow-rescue360
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u270
↳(*.f64 b eps)underflow151
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow146
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow151
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow235
↳(*.f64 a eps)underflow146
-.f64#fnan-rescue130
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow50
cos.f64(cos.f64 (+.f64 x eps))sensitivity20
sin.f64(sin.f64 (+.f64 x eps))sensitivity20
tan.f64(tan.f64 (+.f64 x eps))sensitivity20
/.f64(/.f64 (+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)o/n10
↳(*.f64 b_2 b_2)overflow100
↳(+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))overflow1
↳(*.f64 a c)overflow19
↳(-.f64 (*.f64 b_2 b_2) (*.f64 a c))overflow111
Confusion
Predicted +Predicted -
+521648
-8601044
Precision
0.858459512837393
Recall
0.9908814589665653
Confusion?
Predicted +Predicted MaybePredicted -
+52161830
-860191025
Precision?
0.8562080811385572
Recall?
0.9943009118541033
Freqs
test
numberfreq
01092
14872
2778
3205
4221
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.8s2 674×2valid
1.0s5 750×1valid
604.0ms5 712×0valid
158.0ms200×3valid
Compiler

Compiled 3 914 to 1 430 computations (63.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-tan: 788.0ms (27.5% of total)
adjust: 285.0ms (9.9% of total)
ival-cos: 226.0ms (7.9% of total)
ival-div: 205.0ms (7.1% of total)
ival-sub: 190.0ms (6.6% of total)
ival-log: 183.0ms (6.4% of total)
ival-sin: 177.0ms (6.2% of total)
ival-expm1: 165.0ms (5.8% of total)
ival-exp: 129.0ms (4.5% of total)
ival-pow: 107.0ms (3.7% of total)
ival-add: 105.0ms (3.7% of total)
ival-mult: 103.0ms (3.6% of total)
ival-sqrt: 66.0ms (2.3% of total)
ival-log1p: 55.0ms (1.9% of total)
ival-atan: 23.0ms (0.8% of total)
ival-cbrt: 19.0ms (0.7% of total)
ival-true: 14.0ms (0.5% of total)
ival-neg: 12.0ms (0.4% of total)
exact: 9.0ms (0.3% of total)
ival-assert: 7.0ms (0.2% of total)

preprocess4.1s (1.5%)

Memory
168.9MiB live, 3 710.5MiB allocated
Algorithm
28×egg-herbie
Stop Event
56×iter limit
50×saturated
6×node limit
Compiler

Compiled 22 212 to 5 661 computations (74.5% saved)

prune4.0s (1.5%)

Memory
-157.2MiB live, 5 770.9MiB allocated
Counts
73 907 → 1 795
Compiler

Compiled 101 014 to 50 258 computations (50.2% saved)

regimes4.0s (1.4%)

Memory
42.1MiB live, 4 901.7MiB allocated
Counts
4 225 → 348
Calls

43 calls:

1.1s
x
279.0ms
eps
226.0ms
(/.f64 #s(literal 1 binary64) n)
196.0ms
(-.f64 (cbrt.f64 (+.f64 x #s(literal 1 binary64))) (cbrt.f64 x))
154.0ms
a
Compiler

Compiled 2 236 to 2 071 computations (7.4% saved)

series3.6s (1.3%)

Memory
-1.9MiB live, 3 884.4MiB allocated
Counts
1 633 → 8 658
Calls

507 calls:

TimeVariablePointExpression
153.0ms
n
@-inf
((- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) (log n))
95.0ms
x
@0
((- (cbrt (+ x 1)) (cbrt x)) (* (pow (cbrt x) -2) 1/3) (pow (cbrt x) -2) (cbrt x) (- (/ 1 (cbrt (exp (neg (log (+ 1 x)))))) (cbrt x)) (neg (cbrt x)) (- (cbrt (+ x 1)) (cbrt x)) (/ 1/3 (pow (cbrt x) 2)) (pow (cbrt x) 2) (* (/ -1 (cbrt x)) (/ -1 (cbrt x))) (* (* (/ -1 (cbrt x)) (/ -1 (cbrt x))) 1/3) (- (cbrt (+ x 1)) (cbrt x)) (/ -1 (cbrt x)) (- (cbrt (+ x 1)) (cbrt x)) (* (* (cbrt (pow x -1/2)) (cbrt (pow x -3/2))) 1/3) (* (cbrt (pow x -1/2)) (cbrt (pow x -3/2))) (cbrt (pow x -1/2)) (cbrt (pow x -3/2)))
72.0ms
x
@inf
((* (+ (sqrt x) (sqrt (+ x 1))) (neg (sqrt (+ x 1)))) (/ (* (- (+ x 1) x) (/ -1 (sqrt x))) (* (+ (sqrt x) (sqrt (+ x 1))) (neg (sqrt (+ x 1))))) (* (- (+ x 1) x) (/ -1 (sqrt x))) (neg (sqrt (/ 1 x))) (- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1)))) (/ 1 (sqrt x)) (sqrt x) (* (/ -1/2 x) (/ (/ (- 1 x) (sqrt x)) x)) (- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1)))) (/ -1/2 x) (/ (/ (- 1 x) (sqrt x)) x) (/ x (* (/ (- 1 x) (sqrt x)) (/ -1/2 x))) (/ 1 (/ x (* (/ (- 1 x) (sqrt x)) (/ -1/2 x)))) (* (/ (- 1 x) (sqrt x)) (/ -1/2 x)) (- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1)))) (/ (* (- (+ x 1) x) (pow (+ (* x x) x) -1/2)) (+ (sqrt x) (sqrt (+ x 1)))) (* (- (+ x 1) x) (pow (+ (* x x) x) -1/2)) (/ (- (+ (/ 3/8 (* x x)) 1) (/ 1/2 x)) x) (- (+ (/ 3/8 (* x x)) 1) (/ 1/2 x)) (sqrt (/ 1 x)) (+ (sqrt x) (sqrt (+ x 1))) (/ (- 1 x) (sqrt x)) (/ 3/8 (* x x)))
69.0ms
x
@0
((+ (* (tan x) (pow (tan x) 3)) 1/3) (+ (* eps (+ (* 4/3 (pow (tan x) 2)) (+ (* (tan x) (pow (tan x) 3)) 1/3))) (+ (tan x) (pow (tan x) 3))) (- (tan (+ x eps)) (tan x)) (+ (* (+ (* (+ (* (+ (* (+ (* (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (/ (sin x) (cos x))) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x)))) eps) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2))))) eps) (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x))) eps) (/ (pow (sin x) 2) (pow (cos x) 2))) eps) eps) (- (tan (+ x eps)) (tan x)) (+ (* (+ (* (+ (* (+ (* (+ (* (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (/ (sin x) (cos x))) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x)))) eps) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2))))) eps) (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x))) eps) (/ (pow (sin x) 2) (pow (cos x) 2))) eps) eps) (+ (* (+ (* (+ (* (+ (* (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (/ (sin x) (cos x))) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x)))) eps) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2))))) eps) (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x))) eps) (/ (pow (sin x) 2) (pow (cos x) 2))) (* (* eps eps) 1/3) (- (tan (+ x eps)) (tan x)) (+ (* (+ (* (+ (* (+ (* (+ (* (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (/ (sin x) (cos x))) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x)))) eps) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2))))) eps) (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x))) eps) (/ (pow (sin x) 2) (pow (cos x) 2))) eps) eps) (+ (* (+ (* (+ (* (+ (* (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (/ (sin x) (cos x))) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x)))) eps) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2))))) eps) (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x))) eps) (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (* (+ (* (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/3) (+ (* (sin x) (/ (sin x) (pow (cos x) 2))) (+ (/ (pow (sin x) 4) (pow (cos x) 4)) 1/3))) eps) (+ (/ (pow (sin x) 3) (pow (cos x) 3)) (/ (sin x) (cos x)))) eps) (/ (pow (sin x) 2) (pow (cos x) 2))) (+ 0 eps) (/ (+ (* (sin (+ eps x)) (cos x)) (* (cos (+ eps x)) (neg (sin x)))) (* (cos (+ eps x)) (cos x))) (+ (* (sin (+ eps x)) (cos x)) (* (cos (+ eps x)) (neg (sin x)))) (* (cos (+ eps x)) (cos x)) (+ (* (sin (+ eps x)) (cos x)) (* (cos (+ eps x)) (neg (sin x)))) (sin eps) (cos (+ eps x)) (+ (* (+ (* eps (+ (* 4/3 (pow (tan x) 2)) (+ (* (tan x) (pow (tan x) 3)) 1/3))) (+ (tan x) (pow (tan x) 3))) eps) (pow (tan x) 2)) (+ (* (+ (* (+ (* (+ (* (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (/ (sin x) (cos x))) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x)))) eps) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2))))) eps) (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x))) eps) (/ (pow (sin x) 2) (pow (cos x) 2))) (pow (tan x) 3) (pow (tan x) 2) (* eps eps) (+ (* (+ (* (+ (* (* eps eps) 4/3) 1) x) eps) x) (* (* eps eps) 1/3)) (/ (+ (* (sin (+ eps x)) (cos x)) (* (cos (+ eps x)) (neg (sin x)))) (* (cos (+ eps x)) (cos x))))
57.0ms
N
@-inf
((- (log (+ N 1)) (log N)) (/ (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1) N) (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1) (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) (- (log (+ N 1)) (log N)) (/ 1 N) (/ (* (- N 1) N) (+ (* N N) -1)) (neg (log (/ (* (- N 1) N) (+ (* N N) -1)))) (log (/ (* (- N 1) N) (+ (* N N) -1))) (* (- N 1) N) (+ (* (log (+ 1 N)) (/ (log (+ 1 N)) (+ (log N) (log (+ 1 N))))) (neg (/ (pow (log N) 2) (+ (log N) (log (+ 1 N)))))) (log (+ 1 N)) (/ (log (+ 1 N)) (+ (log N) (log (+ 1 N)))) (+ (log N) (log (+ 1 N))) (/ (- (* 1 (+ (log N) (log (+ 1 N)))) (* (/ (+ (log N) (log (+ 1 N))) (pow (log (+ 1 N)) 2)) (pow (log N) 2))) (* (/ (+ (log N) (log (+ 1 N))) (pow (log (+ 1 N)) 2)) (+ (log N) (log (+ 1 N))))) (- (* 1 (+ (log N) (log (+ 1 N)))) (* (/ (+ (log N) (log (+ 1 N))) (pow (log (+ 1 N)) 2)) (pow (log N) 2))) (* (/ (+ (log N) (log (+ 1 N))) (pow (log (+ 1 N)) 2)) (+ (log N) (log (+ 1 N)))) (* 1 (+ (log N) (log (+ 1 N)))) (/ (- (/ 1/4 N) 1/3) N) (- (/ 1/4 N) 1/3) (pow (log N) 2) (/ (pow (log N) 2) (+ (log N) (log (+ 1 N)))) (pow (log (+ 1 N)) 2) (/ (+ (log N) (log (+ 1 N))) (pow (log (+ 1 N)) 2)))

analyze1.9s (0.7%)

Memory
-45.0MiB live, 1 946.4MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch1.1s (0.4%)

Memory
24.8MiB live, 1 050.6MiB allocated
Algorithm
75×binary-search
43×left-value
Stop Event
68×narrow-enough
7×predicate-same
Samples
316.0ms3 635×0valid
152.0ms333×2valid
72.0ms500×1valid
40.0ms532×0invalid
3.0ms34×0exit
3.0ms12×3valid
Compiler

Compiled 25 080 to 18 892 computations (24.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 443.0ms
ival-pow: 135.0ms (30.5% of total)
ival-mult: 62.0ms (14% of total)
ival-sqrt: 51.0ms (11.5% of total)
ival-div: 42.0ms (9.5% of total)
adjust: 39.0ms (8.8% of total)
ival-sub: 34.0ms (7.7% of total)
ival-cos: 20.0ms (4.5% of total)
ival-add: 17.0ms (3.8% of total)
ival-neg: 15.0ms (3.4% of total)
ival-sin: 6.0ms (1.4% of total)
ival-expm1: 5.0ms (1.1% of total)
ival-true: 4.0ms (0.9% of total)
ival-exp: 3.0ms (0.7% of total)
ival-cbrt: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)
exact: 2.0ms (0.5% of total)
ival-log1p: 1.0ms (0.2% of total)
ival-log: 1.0ms (0.2% of total)

start1.0ms (0%)

Memory
1.5MiB live, 1.4MiB allocated

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...