Metrics for Herbie run

Date:	Wednesday, October 2nd, 2024
Commit:	e7d6e0c5 on bhargav-log-space
Hostname:	nightly with Racket 8.10
Seed:	2024276
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample1.3min (28.5%)

Memory

587.2MiB live, 99 467.2MiB allocated

Samples

53.4s	251 262×	0	valid
2.6s	11 160×	0	invalid
1.6s	4 674×	1	valid
471.0ms	677×	1	invalid
279.0ms	1 671×	1	exit

Precisions

Click to see histograms. Total time spent on operations: 47.2s

ival-mult: 9.6s (20.3% of total)

const: 7.3s (15.4% of total)

ival-<=: 6.3s (13.4% of total)

ival-div: 4.6s (9.8% of total)

ival-sub: 2.2s (4.6% of total)

ival-add: 1.8s (3.8% of total)

ival-sqrt: 1.6s (3.4% of total)

ival-log: 1.3s (2.8% of total)

ival-fabs: 1.3s (2.8% of total)

ival-and: 1.3s (2.7% of total)

ival-sin: 1.2s (2.6% of total)

ival-sinu: 1.0s (2.2% of total)

ival-floor: 906.0ms (1.9% of total)

ival-pow: 823.0ms (1.7% of total)

ival-exp: 749.0ms (1.6% of total)

ival-neg: 587.0ms (1.2% of total)

ival-cosu: 500.0ms (1.1% of total)

exact: 455.0ms (1% of total)

ival-cos: 413.0ms (0.9% of total)

ival-e: 389.0ms (0.8% of total)

ival-tan: 374.0ms (0.8% of total)

ival-pi: 316.0ms (0.7% of total)

ival-fmax: 268.0ms (0.6% of total)

ival-if: 258.0ms (0.5% of total)

ival-<: 257.0ms (0.5% of total)

ival-log2: 213.0ms (0.5% of total)

adjust: 207.0ms (0.4% of total)

ival->: 184.0ms (0.4% of total)

ival-log1p: 155.0ms (0.3% of total)

ival-==: 134.0ms (0.3% of total)

ival-asin: 129.0ms (0.3% of total)

ival-assert: 111.0ms (0.2% of total)

ival-atan: 91.0ms (0.2% of total)

ival-sinh: 86.0ms (0.2% of total)

ival->=: 45.0ms (0.1% of total)

ival-true: 11.0ms (0% of total)

Bogosity

simplify34.6s (12.6%)

Memory

740.6MiB live, 36 007.9MiB allocated

Algorithm

189×	egg-herbie

Stop Event

255×	iter limit
142×	node limit
44×	saturated
3×	unsound

Counts

35 088 → 34 852

regimes24.5s (8.9%)

Memory

-32.0MiB live, 37 746.9MiB allocated

Counts

12 596 → 249

Calls

102 calls:

1.3s	s
999.0ms	x
867.0ms	u
761.0ms	(.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
627.0ms	(*.f32 x (PI.f32))

Compiler

Compiled 8 291 to 8 468 computations (-2.1% saved)

soundness24.1s (8.8%)

Memory

267.6MiB live, 18 767.4MiB allocated

Stop Event

195×	iter limit
125×	node limit
21×	fuel
3×	unsound

Compiler

Compiled 13 433 to 7 355 computations (45.2% saved)

analyze21.7s (7.9%)

Memory

29.1MiB live, 29 755.4MiB allocated

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	5.8%	94.2%	0%	0%	0%	0
0%	0%	5.8%	94.2%	0%	0%	0%	1
3.4%	0.2%	5.6%	94.2%	0%	0%	0%	2
3.8%	0.2%	5.6%	94.2%	0%	0%	0%	3
5.7%	0.3%	5.4%	94.2%	0%	0%	0%	4
20.8%	1.2%	4.6%	94.2%	0%	0%	0%	5
29.6%	1.7%	4%	94.2%	0%	0.1%	0%	6
47.8%	2.5%	2.8%	94.2%	0%	0.5%	0%	7
48.7%	2.6%	2.7%	94.2%	0%	0.5%	0%	8
58.9%	3.1%	2.2%	94.2%	0%	0.5%	0%	9
66.8%	3.5%	1.7%	94.2%	0%	0.5%	0%	10
69.4%	3.6%	1.6%	94.2%	0%	0.6%	0%	11
71.5%	3.7%	1.5%	94.2%	0%	0.6%	0%	12

Compiler

Compiled 2 600 to 1 074 computations (58.7% saved)

eval19.9s (7.2%)

Memory: 436.7MiB live, 27 967.6MiB allocated
Compiler: Compiled 3 637 544 to 335 494 computations (90.8% saved)

rewrite17.1s (6.2%)

Memory

47.9MiB live, 19 917.3MiB allocated

Stop Event

181×	iter limit
79×	node limit
5×	unsound

Counts

1 642 → 56 840

prune16.8s (6.1%)

Memory: -263.7MiB live, 28 628.4MiB allocated
Counts: 115 436 → 5 457
Compiler: Compiled 284 702 to 165 682 computations (41.8% saved)

localize14.2s (5.2%)

Memory

-317.8MiB live, 16 987.7MiB allocated

Samples

8.7s	20 335×	0	valid
675.0ms	768×	0	invalid
378.0ms	304×	1	valid
48.0ms	23×	5	exit
28.0ms	74×	1	exit

Compiler

Compiled 65 188 to 6 647 computations (89.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 7.4s

ival-mult: 2.1s (28.7% of total)

ival-div: 1.6s (21.5% of total)

ival-exp: 537.0ms (7.3% of total)

ival-add: 526.0ms (7.1% of total)

ival-sub: 489.0ms (6.6% of total)

ival-pow: 380.0ms (5.1% of total)

ival-sqrt: 246.0ms (3.3% of total)

ival-log: 225.0ms (3% of total)

ival-neg: 218.0ms (3% of total)

const: 171.0ms (2.3% of total)

ival-sin: 152.0ms (2.1% of total)

ival-sinu: 141.0ms (1.9% of total)

ival-pow2: 122.0ms (1.7% of total)

ival-cosu: 115.0ms (1.6% of total)

ival-log1p: 81.0ms (1.1% of total)

adjust: 60.0ms (0.8% of total)

ival-cbrt: 57.0ms (0.8% of total)

exact: 41.0ms (0.6% of total)

ival-pi: 39.0ms (0.5% of total)

ival-cos: 35.0ms (0.5% of total)

ival-true: 20.0ms (0.3% of total)

ival-assert: 10.0ms (0.1% of total)

ival-e: 7.0ms (0.1% of total)

ival-hypot: 4.0ms (0.1% of total)

series10.5s (3.8%)

Memory

-192.0MiB live, 12 827.9MiB allocated

Counts

1 642 → 35 088

Calls

672 calls:

Time	Variable		Point	Expression
241.0ms	s	@	0	((+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (neg s) (/ (PI) s) (/ (neg (PI)) s) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))
231.0ms	v	@	-inf	((exp (log (/ 1/2 v))) (* (exp (log (/ 1/2 v))) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (log (/ 1/2 v)) (/ 1/2 v) (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v)))) (* cosTheta_O (/ cosTheta_i v)) (/ cosTheta_i v) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (/ 1/2 (/ v (exp 6931/10000))) (/ v (exp 6931/10000)) (exp 6931/10000) (+ (log (/ 1/2 v)) 6931/10000) (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v)))) (* (- (pow (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) 2) (pow (- 6931/10000 (log (* 2 v))) 2)) (/ 1 (- (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) (- 6931/10000 (log (* 2 v)))))) (exp (* (- (pow (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) 2) (pow (- 6931/10000 (log (* 2 v))) 2)) (/ 1 (- (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) (- 6931/10000 (log (* 2 v))))))) (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (- (pow (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) 2) (pow (- 6931/10000 (log (* 2 v))) 2)) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (+ (+ (log (/ 1/2 v)) 6931/10000) (/ (- -1 (* sinTheta_i sinTheta_O)) v)) (pow (- 6931/10000 (log (* 2 v))) 2) (pow (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) 2) (/ 1 (- (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) (- 6931/10000 (log (* 2 v))))))
206.0ms	s	@	-inf	((* u (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (neg s) (neg (log (/ (+ (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (- (pow (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) 1))))) (neg s) (neg (log (/ (+ (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (- (pow (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) 1)))) (+ (* (* u 2) (PI)) (neg (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (* u 2) (PI) (* -1 (* u (neg (PI)))) (+ (* (* -1 (* u (neg (PI)))) -1/2) (* 1/4 (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (+ (* (/ (+ (* (* u (PI)) 1/2) (* -1/4 (PI))) s) -4) (- 1 (/ (+ 0 (* (pow (+ (* 1/2 (* (PI) u)) (* -1/4 (PI))) 2) -8)) (* s s)))) (- 1 (/ (+ 0 (* (pow (+ (* 1/2 (* (PI) u)) (* -1/4 (PI))) 2) -8)) (* s s))) (+ (* (* u (PI)) 1/2) (* -1/4 (PI))) (+ (* 1/2 (* (PI) u)) (* -1/4 (PI))) (/ (+ (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (- (pow (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) 1)) (/ (PI) s) (/ (neg (PI)) s) (neg (PI)) (+ (* (+ (* (* -1 (* u (neg (PI)))) -1/2) (* 1/4 (PI))) (/ 4 s)) 1) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (* u (neg (PI))) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (+ (* (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) -4) (* (/ (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) s) -8)) (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))
128.0ms	s	@	0	((* (* 3 s) (log (/ 1 (+ (* -4/3 (- u 1/4)) 1)))) (/ 1 (+ (* -4/3 (- u 1/4)) 1)) (+ (* -4/3 (- u 1/4)) 1) (* -4/3 (- u 1/4)) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (log 3/4) s) 3) (* (log 3/4) s) (log 3/4) (* (* -3 (log (+ 1 (* -4/3 (- u 1/4))))) s) (* -3 (log (+ 1 (* -4/3 (- u 1/4))))) (log (+ 1 (* -4/3 (- u 1/4)))) (+ (* (+ (log 3/4) u) 3) (* (+ 3/2 u) (* u u))) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* s (+ (* (+ (log 3/4) u) 3) (* (+ 3/2 u) (* u u)))) (+ (log 3/4) u) (* (* 3 s) (log (/ 1 (+ (* -4/3 (- u 1/4)) 1)))) (/ 1 (+ (* -4/3 (- u 1/4)) 1)) (+ (* -4/3 (- u 1/4)) 1) (* 3 s) (log (/ 1 (+ (* -4/3 (- u 1/4)) 1))) (* (+ 3/2 u) (* u u)) (log (/ 1 (+ (* -4/3 (- u 1/4)) 1))))
127.0ms	u	@	inf	((pow (pow (E) (/ -1 v)) 2) (+ 1 (* v (log (+ u (* (- 1 u) (pow (pow (E) (/ -1 v)) 2)))))) (+ u (* (- 1 u) (pow (pow (E) (/ -1 v)) 2))) (pow (E) (/ -1 v)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (* (- 1 u) -2) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (- 1 u) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (- 1 (/ (* (- 1 u) (- 2 (/ 2 v))) v)) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) (+ (* 2 (- 1 u)) (/ (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) v)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (/ (+ (* 2 (- 1 u)) (/ (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) v)) (neg v)) (* v (log (+ u (* (- 1 u) (pow (pow (E) (/ -1 v)) 2))))) (log (+ u (* (- 1 u) (pow (pow (E) (/ -1 v)) 2)))) (+ u (* (- 1 u) (exp (/ -2 v)))) (* (- 1 u) (- 2 (/ 2 v))) (/ (* (- 1 u) (- 2 (/ 2 v))) v) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (pow (- 1 u) 2))

explain7.3s (2.7%)

Memory

-436.3MiB live, 9 764.4MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1022	73
`-.f32`	`#f`	cancellation	387	23
`exp.f32`	`#f`	sensitivity	29	20
`+.f32`	(+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi))	cancellation	1	0
`cos.f32`	`(cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32)))`	cancelation	1	0

Confusion

	Predicted +	Predicted -
+	1332	50
-	100	3894

Precision

0.9301675977653632

Recall

0.9638205499276411

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1332	33	17
-	100	78	3816

Precision?

0.8846403110823072

Recall?

0.9876989869753979

Freqs

test

number	freq
0	3944
1	1424
2	8

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	11	1	3
-	4	0	2

Precision?

0.75

Recall?

0.8

Samples

1.6s	10 722×	0	valid
6.0ms	30×	1	valid

Compiler

Compiled 10 209 to 3 912 computations (61.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.1s

ival-mult: 278.0ms (26.4% of total)

ival-sinu: 205.0ms (19.4% of total)

ival-div: 124.0ms (11.8% of total)

ival-log: 83.0ms (7.9% of total)

ival-sub: 73.0ms (6.9% of total)

ival-exp: 56.0ms (5.3% of total)

ival-add: 45.0ms (4.3% of total)

ival-sqrt: 34.0ms (3.2% of total)

ival-sin: 29.0ms (2.7% of total)

const: 27.0ms (2.6% of total)

ival-cosu: 24.0ms (2.3% of total)

ival-neg: 23.0ms (2.2% of total)

ival-pi: 20.0ms (1.9% of total)

ival-true: 11.0ms (1% of total)

exact: 11.0ms (1% of total)

ival-cos: 6.0ms (0.6% of total)

ival-assert: 5.0ms (0.5% of total)

adjust: 1.0ms (0.1% of total)

preprocess5.6s (2%)

Memory

-67.7MiB live, 5 943.3MiB allocated

Algorithm

21×	egg-herbie

Stop Event

42×	iter limit
26×	saturated
16×	node limit

Compiler

Compiled 16 804 to 7 857 computations (53.2% saved)

bsearch42.0ms (0%)

Memory

-4.4MiB live, 75.6MiB allocated

Algorithm

36×	left-value
26×	binary-search

Stop Event

26×	narrow-enough

Compiler

Compiled 1 219 to 1 012 computations (17% saved)

start2.0ms (0%)

Memory: 6.6MiB live, 6.5MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated

sample1.3min (28.5%)

simplify34.6s (12.6%)

regimes24.5s (8.9%)

soundness24.1s (8.8%)

analyze21.7s (7.9%)

eval19.9s (7.2%)

rewrite17.1s (6.2%)

prune16.8s (6.1%)

localize14.2s (5.2%)

series10.5s (3.8%)

explain7.3s (2.7%)

preprocess5.6s (2%)

bsearch42.0ms (0%)

start2.0ms (0%)

end0.0ms (0%)

Profiling