Metrics for Herbie run

Date:	Wednesday, October 2nd, 2024
Commit:	913204d2 on artem-batch-finish-rewrite
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

simplify6.1min (17.8%)

Memory

1 101.9MiB live, 286 638.3MiB allocated

Algorithm

2 127×

egg-herbie

Stop Event

2 773×	iter limit
1 230×	node limit
911×	saturated

Counts

352 692 → 344 654

sample6.1min (17.6%)

Memory

-490.8MiB live, 384 777.6MiB allocated

Samples

3.5min	2 147 264×	0	valid
23.9s	67 296×	1	valid
10.3s	64 416×	0	invalid
2.1s	5 662×	2	valid
1.5s	1 647×	1	invalid
1.0s	1 237×	5	exit
494.0ms	396×	4	exit
211.0ms	639×	3	valid
3.0ms	26×	1	exit
1.0ms	3×	4	valid

Precisions

Click to see histograms. Total time spent on operations: 2.5min

ival-mult: 47.9s (31.4% of total)

ival-sub: 23.2s (15.2% of total)

ival-add: 20.2s (13.2% of total)

ival-div: 17.8s (11.7% of total)

ival-log: 11.5s (7.5% of total)

const: 6.9s (4.5% of total)

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

ival-sin: 4.7s (3.1% of total)

adjust: 3.7s (2.4% of total)

ival-cos: 3.7s (2.4% of total)

ival-exp: 2.4s (1.6% of total)

ival-true: 1.7s (1.1% of total)

exact: 1.0s (0.7% of total)

ival-assert: 898.0ms (0.6% of total)

ival-fabs: 484.0ms (0.3% of total)

ival-hypot: 361.0ms (0.2% of total)

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

ival-cosh: 228.0ms (0.1% of total)

ival-tan: 227.0ms (0.1% of total)

ival-acos: 213.0ms (0.1% of total)

ival-tanh: 142.0ms (0.1% of total)

Bogosity

soundness5.4min (15.6%)

Memory

402.9MiB live, 159 500.5MiB allocated

Stop Event

1 400×	iter limit
948×	node limit
153×	fuel
116×	done
22×	saturated
3×	unsound

Compiler

Compiled 241 070 to 90 009 computations (62.7% saved)

rewrite4.0min (11.5%)

Memory

-286.0MiB live, 222 464.7MiB allocated

Stop Event

1 903×	iter limit
905×	node limit
17×	saturated
15×	unsound

Counts

11 400 → 490 188

eval3.3min (9.5%)

Memory: 5 002.7MiB live, 251 204.0MiB allocated
Compiler: Compiled 31 842 843 to 1 931 078 computations (93.9% saved)

localize2.1min (6.1%)

Memory

-1 947.1MiB live, 119 435.4MiB allocated

Samples

1.3min	219 938×	0	valid
11.5s	10 497×	1	valid
3.4s	2 487×	2	valid
2.7s	3 814×	0	invalid
439.0ms	85×	1	exit
351.0ms	268×	3	valid
188.0ms	238×	2	exit
178.0ms	153×	5	exit
95.0ms	336×	0	exit
13.0ms	8×	4	valid

Compiler

Compiled 299 682 to 47 309 computations (84.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.0min

ival-mult: 17.6s (29.4% of total)

ival-div: 9.3s (15.5% of total)

ival-add: 7.5s (12.5% of total)

ival-sub: 5.9s (9.8% of total)

ival-hypot: 4.9s (8.1% of total)

const: 3.0s (5% of total)

adjust: 2.7s (4.4% of total)

ival-log: 1.8s (3% of total)

ival-pow: 1.7s (2.8% of total)

ival-cos: 1.4s (2.4% of total)

ival-sqrt: 932.0ms (1.6% of total)

ival-neg: 870.0ms (1.4% of total)

ival-sin: 751.0ms (1.3% of total)

ival-exp: 408.0ms (0.7% of total)

ival-pow2: 352.0ms (0.6% of total)

exact: 222.0ms (0.4% of total)

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

ival-tan: 192.0ms (0.3% of total)

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

ival-log1p: 79.0ms (0.1% of total)

ival-fabs: 72.0ms (0.1% of total)

ival-expm1: 34.0ms (0.1% of total)

ival-sinh: 24.0ms (0% of total)

ival-cosh: 23.0ms (0% of total)

ival-acos: 19.0ms (0% of total)

ival-tanh: 15.0ms (0% of total)

ival-asin: 2.0ms (0% of total)

ival-pi: 1.0ms (0% of total)

regimes1.6min (4.8%)

Memory

-990.1MiB live, 115 141.6MiB allocated

Counts

41 757 → 5 194

Calls

511 calls:

14.4s	x
12.9s	y
10.6s	z
5.5s	t
3.7s	a

Compiler

Compiled 38 589 to 57 154 computations (-48.1% saved)

series1.4min (4.2%)

Memory

-241.8MiB live, 88 892.9MiB allocated

Counts

11 400 → 352 692

Calls

8874 calls:

Time	Variable		Point	Expression
1.4s	y	@	inf	((/ (log (/ y x)) (/ -1 x)) (log (/ y x)) (/ y x) (/ -1 x) (/ (* (neg (* x x)) (log (/ y x))) x) (* (neg (* x x)) (log (/ y x))) (neg (* x x)) (* x x) (/ 1 (/ (/ -1 (log (/ x y))) (neg x))) (/ (/ -1 (log (/ x y))) (neg x)) (/ -1 (log (/ x y))) (log (/ x y)) (- (* (log x) x) (* (log y) x)) (* (log x) x) (log x) (* (log y) x) (/ (* (neg (pow x 3)) 1) (* (+ (* x x) 0) (/ -1 (log (/ x y))))) (* (neg (pow x 3)) 1) (* (+ (* x x) 0) (/ -1 (log (/ x y)))) (+ (* x x) 0))
299.0ms	y	@	inf	((+ (* (log (/ x y)) x) (neg z)) (log (/ x y)) (/ x y) (neg z) (/ (* (neg z) z) (+ 0 z)) (+ 0 z) (- (* x (log (/ x y))) z) (* (neg z) z) (- (* x (neg (log (/ y x)))) z) (* (- (log x) (log y)) x) (- (log x) (log y)) (log x) (+ (* (log (neg x)) x) (* (neg (log (neg y))) x)) (- (+ (* (log (neg x)) x) (* (neg (log (neg y))) x)) z) (* (log (neg x)) x) (log (neg x)) (+ (* (* (pow (log (/ y x)) 2) x) (/ x (+ (* (log (/ x y)) x) z))) (neg (/ (* z z) (+ (* (log (/ x y)) x) z)))) (* (pow (log (/ y x)) 2) x) (pow (log (/ y x)) 2) (log (/ y x)) (log y) (log (neg y)) (neg x) (neg y) (neg (/ (* z z) (+ (* (log (/ x y)) x) z))) (* z z))
296.0ms	t	@	inf	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (- (* (log y) x) (+ (* z y) t)) (* (log y) x) (log y) (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (+ (* (neg y) z) (* (log y) x)) (* (neg z) y) (/ 1 (/ 1 (+ (* (log (+ 1 (neg y))) z) (+ (* (log y) x) (neg t))))) (* (log (+ 1 (neg y))) z) (log (+ 1 (neg y))) (neg y) (* (neg t) (- 1 (/ (+ (* (log (+ 1 (neg y))) z) (* (log y) x)) t))) (/ 1 (/ 1 (+ (* (log (+ 1 (neg y))) z) (+ (* (log y) x) (neg t))))) (neg t) (- 1 (/ (+ (* (log (+ 1 (neg y))) z) (* (log y) x)) t)) (+ (* t (+ (+ (* x (log y)) (* z (log (- 1 y)))) t)) (pow (+ (* x (log y)) (* z (log (- 1 y)))) 2)) (/ 1 (/ (+ (* t (+ (+ (* x (log y)) (* z (log (- 1 y)))) t)) (pow (+ (* x (log y)) (* z (log (- 1 y)))) 2)) (- (pow (+ (* x (log y)) (* z (log (- 1 y)))) 3) (pow t 3)))) (/ (+ (* t (+ (+ (* x (log y)) (* z (log (- 1 y)))) t)) (pow (+ (* x (log y)) (* z (log (- 1 y)))) 2)) (- (pow (+ (* x (log y)) (* z (log (- 1 y)))) 3) (pow t 3))) (+ (+ (* x (log y)) (* z (log (- 1 y)))) t) (neg z) (/ (+ (* (log (+ 1 (neg y))) z) (* (log y) x)) t) (+ (* (log (+ 1 (neg y))) z) (* (log y) x)) (+ (* x (log y)) (* z (log (- 1 y)))) (- (pow (+ (* x (log y)) (* z (log (- 1 y)))) 3) (pow t 3)) (pow (+ (* x (log y)) (* z (log (- 1 y)))) 2))
255.0ms	x	@	0	((* 3 (/ 2 (+ (sqrt 5) 3))) (/ (+ (* (sqrt 2) (* (+ (* (sin y) -1/16) (sin x)) (* (- (cos x) (cos y)) (+ (* (sin x) -1/16) (sin y))))) 2) (+ (* (* 3 (/ 2 (+ (sqrt 5) 3))) (cos y)) (* (+ (* (+ (* 1/2 (sqrt 5)) -1/2) (cos x)) 1) 3))) (+ (* (sqrt 2) (* (+ (* (sin y) -1/16) (sin x)) (* (- (cos x) (cos y)) (+ (* (sin x) -1/16) (sin y))))) 2) (sqrt 2) (* 3 (+ (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (* (/ (- 3 (sqrt 5)) 2) (cos y)))) (/ (- 3 (sqrt 5)) 2) (+ (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (* (/ (- 3 (sqrt 5)) 2) (cos y))) (+ 1 (* (/ (- (sqrt 5) 1) 2) (cos x))) (- 14 (* (sqrt 5) 3)) (/ (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (* 3 (+ (* (/ (* (cos y) 2) (+ (* (sqrt 5) 5) 27)) (- 14 (* (sqrt 5) 3))) (+ (* (+ (* 1/2 (sqrt 5)) -1/2) (cos x)) 1)))) (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (+ (* (* (sqrt 2) (pow (sin x) 2)) (+ (* -1/16 (cos x)) 1/16)) 2) (* (- 3 (sqrt 5)) (/ (cos y) 2)) (+ (* (* (- 3 (sqrt 5)) (/ (cos y) 2)) 3) (* (+ (* (+ (* 1/2 (sqrt 5)) -1/2) (cos x)) 1) 3)) (/ (+ (* (sqrt 2) (* (+ (* (sin y) -1/16) (sin x)) (* (- (cos x) (cos y)) (+ (* (sin x) -1/16) (sin y))))) 2) (+ (* (* (- 3 (sqrt 5)) (/ (cos y) 2)) 3) (* (+ (* (+ (* 1/2 (sqrt 5)) -1/2) (cos x)) 1) 3))) (- (cos x) (cos y)) (* (+ (* (sin y) -1/16) (sin x)) (* (- (cos x) (cos y)) (+ (* (sin x) -1/16) (sin y)))) (* (- (cos x) (cos y)) (+ (* (sin x) -1/16) (sin y))) (* (sqrt 2) (pow (sin x) 2)) (+ 2 (* (* (* (sqrt 2) (- (sin x) (/ (sin y) 16))) (- (sin y) (/ (sin x) 16))) (- (cos x) (cos y)))) (+ (* -1/16 (cos x)) 1/16) (- 3 (sqrt 5)) (/ (* (cos y) 2) (+ (* (sqrt 5) 5) 27)) (* (sqrt 2) (pow (sin x) 2)) (- (cos x) (cos y)) (- 1 (cos y)) (* (+ (* (sin y) -1/16) (sin x)) (* (- (cos x) (cos y)) (+ (* (sin x) -1/16) (sin y)))))
243.0ms	x	@	inf	((* (neg z) (neg (+ (/ y x) (/ 7936500793651/10000000000000000 x)))) (neg (+ (/ y x) (/ 7936500793651/10000000000000000 x))) (+ (+ (- (* (- x 1/2) (log x)) x) 91893853320467/100000000000000) (/ (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) (- (+ (* (+ (* (/ y x) z) (/ (+ (* 7936500793651/10000000000000000 z) -13888888888889/5000000000000000) x)) z) (+ (* (- x 1/2) (log x)) (/ 83333333333333/1000000000000000 x))) (- x 91893853320467/100000000000000)) (+ (+ (- (* (- x 1/2) (log x)) x) 91893853320467/100000000000000) (/ (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) (* y (* (/ z x) z)) (* (/ z x) z) (/ z x) (+ (+ (- (* (- x 1/2) (log x)) x) 91893853320467/100000000000000) (/ (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) (+ (* (- (+ (+ (* (/ z x) (+ (/ (+ (* 7936500793651/10000000000000000 z) -13888888888889/5000000000000000) y) z)) (* (/ (- x 1/2) y) (log x))) (/ 91893853320467/100000000000000 y)) (/ x y)) y) (/ 83333333333333/1000000000000000 x)) (/ (+ (* (* (+ (/ (+ (* 7936500793651/10000000000000000 z) -13888888888889/5000000000000000) y) z) z) y) 83333333333333/1000000000000000) x) (+ (* (* (+ (/ (+ (* 7936500793651/10000000000000000 z) -13888888888889/5000000000000000) y) z) z) y) 83333333333333/1000000000000000) (+ (* (- x 1/2) (log x)) (+ (- 91893853320467/100000000000000 x) (/ (+ (* (+ (* (+ y 7936500793651/10000000000000000) z) -13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x))) (- x 1/2) (log x) (+ (- 91893853320467/100000000000000 x) (/ (+ (* (+ (* (+ y 7936500793651/10000000000000000) z) -13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) (/ (- (* (* (+ (* x x) -1/4) (log x)) (+ x 91893853320467/100000000000000)) (* (+ 1/2 x) (- (* x x) 8444480278083503881401098089/10000000000000000000000000000))) (* (+ 1/2 x) (+ x 91893853320467/100000000000000))) (- (* (* (+ (* x x) -1/4) (log x)) (+ x 91893853320467/100000000000000)) (* (+ 1/2 x) (- (* x x) 8444480278083503881401098089/10000000000000000000000000000))) (- (* x x) 8444480278083503881401098089/10000000000000000000000000000) (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) (+ (* (/ y x) z) (/ (+ (* 7936500793651/10000000000000000 z) -13888888888889/5000000000000000) x)) (+ (* (+ (* (/ y x) z) (/ (+ (* 7936500793651/10000000000000000 z) -13888888888889/5000000000000000) x)) z) (+ (* (- x 1/2) (log x)) (/ 83333333333333/1000000000000000 x))) (/ 83333333333333/1000000000000000 x) (/ (+ (* 7936500793651/10000000000000000 z) -13888888888889/5000000000000000) y) (/ (+ (* (+ (* (+ y 7936500793651/10000000000000000) z) -13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) (+ (* (+ (* (+ y 7936500793651/10000000000000000) z) -13888888888889/5000000000000000) z) 83333333333333/1000000000000000) (+ (* (+ y 7936500793651/10000000000000000) z) -13888888888889/5000000000000000) (/ (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) (* (* (+ (* x x) -1/4) (log x)) (+ x 91893853320467/100000000000000)))

preprocess1.3min (3.7%)

Memory

287.6MiB live, 71 155.1MiB allocated

Algorithm

269×	egg-herbie

Stop Event

538×	iter limit
394×	saturated
144×	node limit

Compiler

Compiled 356 954 to 64 864 computations (81.8% saved)

prune1.2min (3.4%)

Memory: -2 342.2MiB live, 104 309.5MiB allocated
Counts: 923 904 → 13 872
Compiler: Compiled 847 767 to 465 882 computations (45% saved)

explain1.0min (3%)

Memory

-816.6MiB live, 53 835.4MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`#f`	sensitivity	1588	1
`/.f64`	`#f`	o/n	1127	0
`sqrt.f64`	`#f`	oflow-rescue	811	0
`-.f64`	`#f`	cancellation	604	9
`/.f64`	`#f`	o/o	558	0
`-.f64`	`#f`	nan-rescue	531	0
`*.f64`	`#f`	*no**	510	0
`+.f64`	`#f`	nan-rescue	468	0
`cos.f64`	`#f`	sensitivity	355	0
`/.f64`	`#f`	n/o	334	0
`+.f64`	`#f`	cancellation	312	2
`/.f64`	`#f`	u/n	279	0
`sin.f64`	`#f`	sensitivity	219	0
`*.f64`	`#f`	*nu**	185	0
`cos.f64`	`#f`	oflow-rescue	139	0
`/.f64`	`#f`	n/u	122	0
`/.f64`	`#f`	u/u	98	0
`log.f64`	`#f`	oflow-rescue	98	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	sensitivity	97	0
`log.f64`	`#f`	uflow-rescue	69	0
`sqrt.f64`	`#f`	uflow-rescue	53	0
`exp.f64`	`#f`	sensitivity	30	2
`*.f64`	`#f`	*ou**	30	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	26	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	26
`sin.f64`	`(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	oflow-rescue	26	0
↳	`(/.f64 x (*.f64 y #s(literal 2 binary64)))`	overflow	26
`*.f64`	`#f`	*uo**	2	0

Confusion

	Predicted +	Predicted -
+	6019	225
-	1737	60883

Precision

0.7760443527591542

Recall

0.9639654067905189

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	6019	5	220
-	1737	10	60873

Precision?

0.775189808261485

Recall?

0.9647661755285074

Freqs

test

number	freq
0	61108
1	6960
2	719
3	49
4	16
5	10
6	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	135	1	0
-	2	0	131

Precision?

0.9855072463768116

Recall?

1.0

Samples

13.1s	130 560×	0	valid
2.0s	5 924×	1	valid
761.0ms	1 146×	2	valid
31.0ms	94×	3	valid
1.0ms	4×	5	exit

Compiler

Compiled 34 663 to 10 844 computations (68.7% saved)

Precisions

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

ival-mult: 2.4s (28.4% of total)

ival-sub: 1.4s (16.8% of total)

ival-add: 978.0ms (11.7% of total)

ival-log: 912.0ms (10.9% of total)

ival-div: 816.0ms (9.8% of total)

const: 531.0ms (6.4% of total)

ival-sqrt: 294.0ms (3.5% of total)

adjust: 268.0ms (3.2% of total)

ival-cos: 191.0ms (2.3% of total)

ival-sin: 191.0ms (2.3% of total)

ival-true: 123.0ms (1.5% of total)

ival-exp: 88.0ms (1.1% of total)

exact: 63.0ms (0.8% of total)

ival-assert: 58.0ms (0.7% of total)

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

ival-tan: 11.0ms (0.1% of total)

ival-cosh: 11.0ms (0.1% of total)

ival-fabs: 11.0ms (0.1% of total)

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

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

ival-acos: 5.0ms (0.1% of total)

bsearch35.7s (1.7%)

Memory

-379.0MiB live, 42 725.1MiB allocated

Algorithm

1 652×	binary-search
1 349×	left-value

Stop Event

1 628×	narrow-enough
24×	predicate-same

Samples

19.3s	134 940×	0	valid
1.2s	3 694×	1	valid
227.0ms	2 898×	0	invalid
36.0ms	118×	1	invalid
10.0ms	61×	2	valid
2.0ms	9×	3	valid

Compiler

Compiled 870 789 to 636 951 computations (26.9% saved)

Precisions

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

ival-mult: 5.7s (41.3% of total)

ival-sub: 2.7s (19.2% of total)

ival-add: 1.6s (11.4% of total)

ival-div: 1.2s (8.4% of total)

ival-log: 774.0ms (5.6% of total)

const: 711.0ms (5.2% of total)

ival-sin: 313.0ms (2.3% of total)

ival-cos: 262.0ms (1.9% of total)

ival-exp: 160.0ms (1.2% of total)

adjust: 123.0ms (0.9% of total)

ival-true: 111.0ms (0.8% of total)

ival-sqrt: 80.0ms (0.6% of total)

ival-assert: 58.0ms (0.4% of total)

exact: 52.0ms (0.4% of total)

ival-fabs: 30.0ms (0.2% of total)

ival-cosh: 27.0ms (0.2% of total)

ival-tanh: 16.0ms (0.1% of total)

analyze18.8s (0.9%)

Memory

-186.2MiB live, 22 483.6MiB allocated

Algorithm

269×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
46.8%	46.8%	53.1%	0.1%	0%	0%	0%	1
50.5%	50.1%	49.2%	0.1%	0%	0.6%	0%	2
58.6%	57%	40.3%	0.1%	0%	2.6%	0%	3
65.2%	62.7%	33.5%	0.1%	0%	3.6%	0%	4
71.2%	68.2%	27.5%	0.1%	0%	4.1%	0%	5
75.9%	72.3%	23%	0.1%	0%	4.6%	0%	6
79.8%	75.6%	19.1%	0.1%	0%	5.1%	0%	7
81.7%	77%	17.3%	0.1%	0%	5.6%	0%	8
84.3%	79.3%	14.7%	0.1%	0%	5.9%	0%	9
85.9%	80.5%	13.2%	0.1%	0%	6.2%	0%	10
88.5%	82.8%	10.8%	0.1%	0%	6.2%	0%	11
89.6%	83.6%	9.8%	0.1%	0%	6.5%	0%	12

Compiler

Compiled 3 462 to 2 977 computations (14% saved)

start11.0ms (0%)

Memory: -59.9MiB live, 18.2MiB allocated

end2.0ms (0%)

Memory: -34.4MiB live, 4.4MiB allocated

simplify6.1min (17.8%)

sample6.1min (17.6%)

soundness5.4min (15.6%)

rewrite4.0min (11.5%)

eval3.3min (9.5%)

localize2.1min (6.1%)

regimes1.6min (4.8%)

series1.4min (4.2%)

preprocess1.3min (3.7%)

prune1.2min (3.4%)

explain1.0min (3%)

bsearch35.7s (1.7%)

analyze18.8s (0.9%)

start11.0ms (0%)

end2.0ms (0%)

Profiling