Herbie run

Date:Sunday, May 11th, 2025
Commit:32d50127 on autofix-28-1
Seed:2025131
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:128 812.9 MB

Time bar (total: 2.3min)

sample1.6min (68.5%)

Memory
1 235.9MiB live, 86 066.9MiB allocated; 30.8s collecting garbage
Samples
26.8s44 640×2valid
16.8s97 014×1valid
13.7s144 939×0invalid
10.8s5 993×5exit
7.1s85 871×0valid
2.5s3 640×3valid
487.0ms4 297×0exit
140.0ms1 036×1exit
107.0ms129×4exit
6.0ms2×3exit
3.0ms3×4valid
1.0ms1×2exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-tan: 13.7s (21.6% of total)
ival-pow: 10.2s (16.2% of total)
adjust: 6.6s (10.4% of total)
ival-mult!: 4.5s (7.1% of total)
ival-cos: 4.4s (7% of total)
ival-sin: 3.8s (6% of total)
ival-log: 3.5s (5.6% of total)
ival-div!: 2.9s (4.5% of total)
ival-sub!: 1.9s (3% of total)
ival-exp: 1.9s (3% of total)
ival-add!: 1.9s (3% of total)
ival-expm1: 1.6s (2.5% of total)
ival-sqrt: 1.5s (2.3% of total)
ival-fabs: 1.3s (2.1% of total)
ival-log1p: 1.3s (2% of total)
ival-atan: 560.0ms (0.9% of total)
ival-<: 446.0ms (0.7% of total)
ival-and: 328.0ms (0.5% of total)
ival-<=: 307.0ms (0.5% of total)
ival-cbrt: 286.0ms (0.5% of total)
ival-neg: 253.0ms (0.4% of total)
ival-assert: 69.0ms (0.1% of total)
ival-fmin: 63.0ms (0.1% of total)
ival->: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

rewrite18.2s (13.2%)

Memory
915.1MiB live, 16 928.6MiB allocated; 3.3s collecting garbage
Stop Event
260×iter-limit
105×node-limit
Counts
12 177 → 29 807

derivations5.1s (3.7%)

Memory
-278.8MiB live, 3 452.8MiB allocated; 1.6s collecting garbage
Stop Event
22×fuel
6×done
Compiler

Compiled 3 352 to 1 884 computations (43.8% saved)

preprocess4.7s (3.4%)

Memory
-447.2MiB live, 4 284.2MiB allocated; 1.9s collecting garbage
Stop Event
28×node-limit
1×iter-limit
Compiler

Compiled 6 246 to 4 337 computations (30.6% saved)

eval4.3s (3.1%)

Memory
-47.7MiB live, 5 506.6MiB allocated; 1.4s collecting garbage
Compiler

Compiled 512 421 to 163 001 computations (68.2% saved)

series3.7s (2.7%)

Memory
342.1MiB live, 4 386.6MiB allocated; 784ms collecting garbage
Counts
2 812 → 9 365
Calls

492 calls:

TimeVariablePointExpression
79.0ms
n
@0
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) (log (+ 1 x)) (+ 1 x) 1 x 3 (pow (log x) 3) (log x) n (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)) (neg (log (+ 1 x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ (/ x n) 1) (/ x n) (pow x (/ 1 n)) (/ 1 n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (pow x (/ 1 n)) (+ (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) 1) (+ (* (pow (/ (log x) n) 3) 1/6) (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n))) (pow (/ (log x) n) 3) (/ (log x) n) 1/6 (+ (* (/ (* (log x) (log x)) (* n n)) 1/2) (/ (log x) n)) (/ (* (log x) (log x)) (* n n)) (* n n))
69.0ms
eps
@-inf
((- (cos (+ x eps)) (cos x)) (* (- (* (+ (* (cos x) -1/2) (* (+ (* (sin x) 1/6) (* (* (cos x) eps) 1/24)) eps)) eps) (sin x)) eps) (- (* (+ (* (cos x) -1/2) (* (+ (* (sin x) 1/6) (* (* (cos x) eps) 1/24)) eps)) eps) (sin x)) (* (+ (* (cos x) -1/2) (* (+ (* (sin x) 1/6) (* (* (cos x) eps) 1/24)) eps)) eps) (+ (* (cos x) -1/2) (* (+ (* (sin x) 1/6) (* (* (cos x) eps) 1/24)) eps)) (cos x) x -1/2 (* (+ (* (sin x) 1/6) (* (* (cos x) eps) 1/24)) eps) (+ (* (sin x) 1/6) (* (* (cos x) eps) 1/24)) (sin x) 1/6 (* (* (cos x) eps) 1/24) (* (cos x) eps) eps 1/24 (- (cos (+ x eps)) (cos x)) (- (cos eps) 1) (cos eps) 1 (- (cos (+ x eps)) (cos x)) (cos (+ x eps)) (+ x eps) (- (cos (+ x eps)) (sin (+ (neg x) (/ (PI) 2)))) (cos (+ x eps)) (+ x eps) (sin (+ (neg x) (/ (PI) 2))) (+ (neg x) (/ (PI) 2)) (neg x) (/ (PI) 2) (PI) 2 (/ (- (+ 1/2 (* 1/2 (cos (* 2 (+ eps x))))) (+ 1/2 (* 1/2 (cos (* 2 x))))) (+ (cos x) (cos (+ eps x)))) (- (+ 1/2 (* 1/2 (cos (* 2 (+ eps x))))) (+ 1/2 (* 1/2 (cos (* 2 x))))) (+ 1/2 (* 1/2 (cos (* 2 (+ eps x))))) 1/2 (* 1/2 (cos (* 2 (+ eps x)))) (cos (* 2 (+ eps x))) (* 2 (+ eps x)) (+ eps x) (+ 1/2 (* 1/2 (cos (* 2 x)))) (* 1/2 (cos (* 2 x))) (cos (* 2 x)) (* 2 x) (+ (cos x) (cos (+ eps x))) (cos (+ eps x)))
62.0ms
n
@inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (neg (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (/ (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n) (+ (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) (neg (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n)) (/ (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) (+ (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) (neg (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n)) (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4)) (pow (log (+ 1 x)) 4) (log (+ 1 x)) (+ 1 x) 1 x 4 (pow (log x) 4) (log x) n (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) 3 (pow (log x) 3) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)) (neg (log (+ 1 x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (/ 1 (* n x)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (- (+ 1 (/ 1/3 (* x x))) (* 1/2 (/ 1 x))) x) (- (+ 1 (/ 1/3 (* x x))) (* 1/2 (/ 1 x))) (+ 1 (/ 1/3 (* x x))) (/ 1/3 (* x x)) 1/3 (* x x) (* 1/2 (/ 1 x)) (/ 1 x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (- (* -1/2 (/ (* (log x) (log x)) (* n n))) (/ (log x) n)) (* -1/2 (/ (* (log x) (log x)) (* n n))) -1/2 (/ (* (log x) (log x)) (* n n)) (* n n) (/ (log x) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (+ (neg (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n)) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))))) n)) (neg (log (+ 1 x)))) (log x)) n)) (- (* -1/2 (/ (* (log x) (log x)) (* n n))) (+ (* 1/6 (pow (/ (log x) n) 3)) (/ (log x) n))) (+ (* 1/6 (pow (/ (log x) n) 3)) (/ (log x) n)) 1/6 (pow (/ (log x) n) 3))
58.0ms
eps
@inf
((/ (- eps (sin eps)) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (- 9/40 (/ (/ 1/2 eps) eps)) (* eps eps)) (- 9/40 (/ (/ 1/2 eps) eps)) 9/40 (/ (/ 1/2 eps) eps) (/ 1/2 eps) 1/2 eps (* eps eps) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (+ (* (- (* 27/112000 (* eps eps)) 27/2800) (* eps eps)) 9/40) (* eps eps)) 1/2) (* (* (* eps eps) eps) (* (* (* eps eps) eps) (- (+ (/ (- (/ 9/40 (* eps eps)) 27/2800) (* eps eps)) 27/112000) (/ 1/2 (* (* (* (* eps eps) eps) (* eps eps)) eps))))) (* (* eps eps) eps) (* (* (* eps eps) eps) (- (+ (/ (- (/ 9/40 (* eps eps)) 27/2800) (* eps eps)) 27/112000) (/ 1/2 (* (* (* (* eps eps) eps) (* eps eps)) eps)))) (- (+ (/ (- (/ 9/40 (* eps eps)) 27/2800) (* eps eps)) 27/112000) (/ 1/2 (* (* (* (* eps eps) eps) (* eps eps)) eps))) (+ (/ (- (/ 9/40 (* eps eps)) 27/2800) (* eps eps)) 27/112000) (/ (- (/ 9/40 (* eps eps)) 27/2800) (* eps eps)) (- (/ 9/40 (* eps eps)) 27/2800) (/ 9/40 (* eps eps)) 27/2800 27/112000 (/ 1/2 (* (* (* (* eps eps) eps) (* eps eps)) eps)) (* (* (* (* eps eps) eps) (* eps eps)) eps) (* (* (* eps eps) eps) (* eps eps)) (/ (- eps (sin eps)) (- eps (tan eps))) (- (* (+ (* (- (* 27/112000 (* eps eps)) 27/2800) (* eps eps)) 9/40) (* eps eps)) 1/2) (* (* (* (* eps eps) eps) (* (* eps eps) eps)) (- (+ 27/112000 (- (/ 9/40 (* (* eps eps) (* eps eps))) (/ 27/2800 (* eps eps)))) (* (/ 1/2 (* (* (* eps eps) eps) (* eps eps))) (/ 1 eps)))) (* (* (* eps eps) eps) (* (* eps eps) eps)) (- (+ 27/112000 (- (/ 9/40 (* (* eps eps) (* eps eps))) (/ 27/2800 (* eps eps)))) (* (/ 1/2 (* (* (* eps eps) eps) (* eps eps))) (/ 1 eps))) (+ 27/112000 (- (/ 9/40 (* (* eps eps) (* eps eps))) (/ 27/2800 (* eps eps)))) (- (/ 9/40 (* (* eps eps) (* eps eps))) (/ 27/2800 (* eps eps))) (/ 9/40 (* (* eps eps) (* eps eps))) (* (* eps eps) (* eps eps)) (/ 27/2800 (* eps eps)) (* (/ 1/2 (* (* (* eps eps) eps) (* eps eps))) (/ 1 eps)) (/ 1/2 (* (* (* eps eps) eps) (* eps eps))) (/ 1 eps) 1 (/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (neg (* (/ (- (exp (* (log (/ (sin eps) eps)) 3)) 1) (+ (/ (- 1/2 (* 1/2 (cos (* 2 eps)))) (* eps eps)) (+ 1 (/ (sin eps) eps)))) eps)) (* (/ (- (exp (* (log (/ (sin eps) eps)) 3)) 1) (+ (/ (- 1/2 (* 1/2 (cos (* 2 eps)))) (* eps eps)) (+ 1 (/ (sin eps) eps)))) eps) (/ (- (exp (* (log (/ (sin eps) eps)) 3)) 1) (+ (/ (- 1/2 (* 1/2 (cos (* 2 eps)))) (* eps eps)) (+ 1 (/ (sin eps) eps)))) (- (exp (* (log (/ (sin eps) eps)) 3)) 1) (* (log (/ (sin eps) eps)) 3) (log (/ (sin eps) eps)) (/ (sin eps) eps) (sin eps) 3 (+ (/ (- 1/2 (* 1/2 (cos (* 2 eps)))) (* eps eps)) (+ 1 (/ (sin eps) eps))) (/ (- 1/2 (* 1/2 (cos (* 2 eps)))) (* eps eps)) (- 1/2 (* 1/2 (cos (* 2 eps)))) (* 1/2 (cos (* 2 eps))) (cos (* 2 eps)) (* 2 eps) 2 (+ 1 (/ (sin eps) eps)) (- eps (tan eps)) (* (+ (* (tan eps) (/ -1 eps)) 1) eps) (+ (* (tan eps) (/ -1 eps)) 1) (tan eps) (/ -1 eps) -1 (/ (- eps (sin eps)) (- (/ (* (* eps eps) eps) (+ (* eps eps) (+ (pow (tan eps) 2) (* eps (tan eps))))) (/ (pow (tan eps) 3) (+ (* eps eps) (+ (pow (tan eps) 2) (* eps (tan eps))))))) (- eps (sin eps)) (- (/ (* (* eps eps) eps) (+ (* eps eps) (+ (pow (tan eps) 2) (* eps (tan eps))))) (/ (pow (tan eps) 3) (+ (* eps eps) (+ (pow (tan eps) 2) (* eps (tan eps)))))) (/ (* (* eps eps) eps) (+ (* eps eps) (+ (pow (tan eps) 2) (* eps (tan eps))))) (+ (* eps eps) (+ (pow (tan eps) 2) (* eps (tan eps)))) (+ (pow (tan eps) 2) (* eps (tan eps))) (pow (tan eps) 2) (* eps (tan eps)) (/ (pow (tan eps) 3) (+ (* eps eps) (+ (pow (tan eps) 2) (* eps (tan eps))))) (pow (tan eps) 3))
54.0ms
n
@0
((- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) (- (* (+ n 1) (log (+ n 1))) (* n (log n))) (* (+ n 1) (log (+ n 1))) (+ n 1) n 1 (log (+ n 1)) (* n (log n)) (log n))

regimes2.4s (1.8%)

Memory
0.7MiB live, 2 901.8MiB allocated; 367ms collecting garbage
Counts
3 001 → 312
Calls

43 calls:

753.0ms
x
362.0ms
eps
105.0ms
b
101.0ms
b_2
93.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
Compiler

Compiled 1 576 to 1 696 computations (-7.6% saved)

analyze1.9s (1.3%)

Memory
15.2MiB live, 1 630.2MiB allocated; 1.1s collecting garbage
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)

prune1.7s (1.2%)

Memory
-145.3MiB live, 2 448.3MiB allocated; 367ms collecting garbage
Counts
29 959 → 1 489
Compiler

Compiled 65 705 to 50 902 computations (22.5% saved)

bsearch1.4s (1%)

Memory
-42.4MiB live, 1 204.3MiB allocated; 364ms collecting garbage
Algorithm
102×binary-search
21×left-value
Stop Event
101×narrow-enough
1×predicate-same
Samples
499.0ms4 993×0valid
169.0ms1 093×1valid
131.0ms511×2valid
85.0ms1 092×0invalid
11.0ms149×0exit
4.0ms11×3valid
0.0ms1×1exit
Compiler

Compiled 26 499 to 27 382 computations (-3.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 640.0ms
ival-sub!: 184.0ms (28.8% of total)
ival-pow: 118.0ms (18.4% of total)
ival-mult!: 88.0ms (13.8% of total)
ival-div!: 71.0ms (11.1% of total)
adjust: 45.0ms (7% of total)
ival-sqrt: 45.0ms (7% of total)
ival-neg: 37.0ms (5.8% of total)
ival-cos: 16.0ms (2.5% of total)
ival-add!: 15.0ms (2.3% of total)
ival-exp: 9.0ms (1.4% of total)
ival-cbrt: 7.0ms (1.1% of total)
ival-expm1: 4.0ms (0.6% of total)

start1.0ms (0%)

Memory
2.3MiB live, 2.2MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...