Metrics for Herbie run

Date:	Friday, November 15th, 2024
Commit:	04e94a4d on Main-same-cost-newRule2
Hostname:	nightly with Racket 8.10
Seed:	2024320
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

sample5.4min (20%)

Memory

489.8MiB live, 327 266.9MiB allocated

Samples

3.1min	2 147 115×	0	valid
21.1s	67 500×	1	valid
11.4s	65 062×	0	invalid
1.5s	5 610×	2	valid
1.1s	1 215×	5	exit
502.0ms	1 826×	1	invalid
284.0ms	397×	4	exit
224.0ms	636×	3	valid
3.0ms	22×	1	exit
1.0ms	3×	4	valid

Precisions

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

ival-mult: 44.7s (32% of total)

ival-sub: 20.3s (14.5% of total)

ival-add: 19.9s (14.2% of total)

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

ival-log: 8.9s (6.4% of total)

const: 5.5s (3.9% of total)

ival-sqrt: 5.0s (3.5% of total)

ival-sin: 3.8s (2.7% of total)

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

adjust: 2.8s (2% of total)

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

ival-true: 1.6s (1.2% of total)

exact: 984.0ms (0.7% of total)

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

ival-tan: 502.0ms (0.4% of total)

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

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

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

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

ival-sinh: 168.0ms (0.1% of total)

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

Bogosity

simplify4.9min (18.1%)

Memory

1 981.2MiB live, 247 551.5MiB allocated

Algorithm

2 199×

egg-herbie

Stop Event

2 885×	iter limit
1 466×	node limit
745×	saturated
5×	unsound

Counts

75 382 → 74 161

soundness4.5min (16.5%)

Memory

120.3MiB live, 141 608.3MiB allocated

Stop Event

1 445×	iter limit
987×	node limit
163×	fuel
106×	done
24×	saturated
9×	unsound

Compiler

Compiled 217 418 to 87 808 computations (59.6% saved)

rewrite3.7min (13.8%)

Memory

246.0MiB live, 203 062.1MiB allocated

Stop Event

2 011×	iter limit
921×	node limit
33×	unsound
18×	saturated

Counts

12 111 → 379 571

localize1.7min (6.4%)

Memory

-583.2MiB live, 110 645.1MiB allocated

Samples

57.2s	221 485×	0	valid
10.2s	11 335×	1	valid
4.3s	3 165×	2	valid
3.4s	8 387×	0	invalid
820.0ms	1 460×	0	exit
355.0ms	431×	5	exit
253.0ms	325×	3	valid
239.0ms	439×	1	exit
15.0ms	13×	4	valid

Compiler

Compiled 337 414 to 50 433 computations (85.1% saved)

Precisions

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

ival-mult: 18.8s (35.7% of total)

ival-div: 7.8s (14.8% of total)

ival-add: 7.3s (13.8% of total)

ival-sub: 4.4s (8.4% of total)

const: 2.3s (4.4% of total)

ival-log: 2.1s (4% of total)

adjust: 1.9s (3.7% of total)

ival-sqrt: 1.3s (2.4% of total)

ival-sin: 1.3s (2.4% of total)

ival-pow: 1.2s (2.2% of total)

ival-neg: 1.0s (2% of total)

ival-cos: 828.0ms (1.6% of total)

ival-exp: 510.0ms (1% of total)

ival-pow2: 505.0ms (1% of total)

ival-hypot: 497.0ms (0.9% of total)

exact: 216.0ms (0.4% of total)

ival-true: 196.0ms (0.4% of total)

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

ival-log1p: 99.0ms (0.2% of total)

ival-sinh: 67.0ms (0.1% of total)

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

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

ival-asin: 42.0ms (0.1% of total)

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

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

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

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

ival-sinu: 17.0ms (0% of total)

ival-expm1: 5.0ms (0% of total)

eval1.6min (5.8%)

Memory: -557.1MiB live, 103 894.6MiB allocated
Compiler: Compiled 17 639 984 to 1 642 379 computations (90.7% saved)

regimes1.3min (4.7%)

Memory

-758.6MiB live, 84 601.9MiB allocated

Counts

32 099 → 4 670

Calls

509 calls:

9.7s	x
9.4s	y
8.8s	z
5.3s	t
3.8s	a

Compiler

Compiled 37 582 to 56 483 computations (-50.3% saved)

preprocess58.1s (3.6%)

Memory

969.1MiB live, 50 681.2MiB allocated

Algorithm

269×	egg-herbie

Stop Event

536×	iter limit
398×	saturated
142×	node limit

Compiler

Compiled 317 362 to 60 662 computations (80.9% saved)

series52.3s (3.2%)

Memory

503.3MiB live, 59 155.7MiB allocated

Counts

12 111 → 75 382

Calls

9117 calls:

Time	Variable		Point	Expression
315.0ms	z	@	inf	((+ (* -1 (* (* (- t (log z)) y) x)) x) (/ (* x 1) (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (/ (+ (* -1 (* (* (- t (log z)) y) x)) x) (pow (exp (neg a)) (- (log (- 1 z)) b))) (* (* (- t (log z)) y) x) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))) (* x (/ (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))))))) (/ (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))))) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (* (exp (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) x) (exp (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y)))) (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))) (/ x (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y)))) (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))) (* t y) (* (- t (log z)) y) (pow (exp (neg a)) (- (log (- 1 z)) b)) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))
259.0ms	t	@	0	((+ (* -1 (* (* (- t (log z)) y) x)) x) (/ (* x 1) (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (/ (+ (* -1 (* (* (- t (log z)) y) x)) x) (pow (exp (neg a)) (- (log (- 1 z)) b))) (* (* (- t (log z)) y) x) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))) (* x (/ (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))))))) (/ (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))))) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (* (exp (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) x) (exp (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y)))) (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))) (/ x (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y)))) (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))) (* t y) (* (- t (log z)) y) (pow (exp (neg a)) (- (log (- 1 z)) b)) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))
234.0ms	z	@	0	((+ (* -1 (* (* (- t (log z)) y) x)) x) (/ (* x 1) (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (/ (+ (* -1 (* (* (- t (log z)) y) x)) x) (pow (exp (neg a)) (- (log (- 1 z)) b))) (* (* (- t (log z)) y) x) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))) (* x (/ (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))))))) (/ (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (- (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 2) (* (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))))) (+ (pow (sinh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3) (pow (cosh (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) 3)) (* (exp (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) x) (exp (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (neg (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y)))) (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))) (/ x (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))))) (exp (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y)))) (neg (+ (* (- (log (+ 1 (neg z))) b) a) (* (- (log z) t) y))) (* t y) (* (- t (log z)) y) (pow (exp (neg a)) (- (log (- 1 z)) b)) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))
231.0ms	t	@	-inf	((+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (- -2 (/ (- (/ -2 z) 2) t)) (/ (- (/ -2 z) 2) t) (- (/ -2 z) 2) (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (* (+ (* (/ (- (/ (+ 1 z) z) t) (* x t)) 2) (/ 1 y)) x) (/ x y) (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/ (- (/ 2 z) -2) t) (- (/ 2 z) -2) (/ (+ (* 2 z) 2) (* t z)) (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/ (- (/ 2 z) -2) t) (+ (* 2 z) 2) (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/ (/ 2 t) z) (/ 2 t) (* t z))
223.0ms	z	@	0	((+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (+ (+ (* (+ -1/2 a) (log t)) (log z)) (- (log y) t)) (+ (* (+ -1/2 a) (log t)) (log z)) (+ -1/2 a) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (neg t) (+ (- (+ (log (+ x y)) (log z)) t) (/ (* (- (* a a) 1/4) (log t)) (+ 1/2 a))) (- (+ (log (+ x y)) (log z)) t) (+ (log (+ x y)) (log z)) (log (+ x y)) (+ (- (+ (- (log (+ (pow y 3) (pow x 3))) (log (+ (* y (- y x)) (* x x)))) (log z)) t) (* (- a 1/2) (log t))) (- (+ (- (log (+ (pow y 3) (pow x 3))) (log (+ (* y (- y x)) (* x x)))) (log z)) t) (+ (- (log (+ (pow y 3) (pow x 3))) (log (+ (* y (- y x)) (* x x)))) (log z)) (- (log (+ (pow y 3) (pow x 3))) (log (+ (* y (- y x)) (* x x)))) (- (pow (- (log (* z (+ y x))) t) 2) (* (* (log t) (- a 1/2)) (- (log (* z (+ y x))) t))) (+ (pow (* (log t) (- a 1/2)) 2) (- (pow (- (log (* z (+ y x))) t) 2) (* (* (log t) (- a 1/2)) (- (log (* z (+ y x))) t)))) (/ (+ (pow (* (log t) (- a 1/2)) 3) (pow (- (log (* z (+ y x))) t) 3)) (+ (pow (* (log t) (- a 1/2)) 2) (- (pow (- (log (* z (+ y x))) t) 2) (* (* (log t) (- a 1/2)) (- (log (* z (+ y x))) t))))) (+ (pow (* (log t) (- a 1/2)) 3) (pow (- (log (* z (+ y x))) t) 3)) (log t) (/ (* (- (* a a) 1/4) (log t)) (+ 1/2 a)) (* (- (* a a) 1/4) (log t)) (log (+ (pow y 3) (pow x 3))) (log (+ (* y (- y x)) (* x x))) (+ (pow y 3) (pow x 3)) (log (* z (+ y x))))

explain43.6s (2.7%)

Memory

-915.3MiB live, 45 917.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`#f`	sensitivity	1591	3
`/.f64`	`#f`	o/n	1061	0
`sqrt.f64`	`#f`	oflow-rescue	806	0
`/.f64`	`#f`	o/o	580	0
`-.f64`	`#f`	cancellation	579	6
`*.f64`	`#f`	*no**	495	0
`+.f64`	`#f`	nan-rescue	465	0
`-.f64`	`#f`	nan-rescue	433	0
`cos.f64`	`#f`	sensitivity	361	1
`+.f64`	`#f`	cancellation	331	4
`/.f64`	`#f`	n/o	290	0
`/.f64`	`#f`	u/n	250	0
`sin.f64`	`#f`	sensitivity	222	0
`*.f64`	`#f`	*nu**	170	0
`/.f64`	`#f`	n/u	156	0
`cos.f64`	`#f`	oflow-rescue	134	0
`tan.f64`	`(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))`	sensitivity	91	0
`/.f64`	`#f`	u/u	82	0
`log.f64`	`#f`	oflow-rescue	79	0
`log.f64`	`#f`	uflow-rescue	77	0
`sqrt.f64`	`#f`	uflow-rescue	42	0
`*.f64`	`#f`	*ou**	30	0
`exp.f64`	`#f`	sensitivity	27	3
`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 y #s(literal 2 binary64))`	overflow	1
`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
↳	`(*.f64 y #s(literal 2 binary64))`	overflow	1
`*.f64`	`#f`	*uo**	2	0

Confusion

	Predicted +	Predicted -
+	5864	170
-	1712	61118

Precision

0.7740232312565998

Recall

0.9718263175339742

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5864	2	168
-	1712	15	61103

Precision?

0.7725536678519689

Recall?

0.9721577726218097

Freqs

test

number	freq
0	61288
1	6857
2	639
3	54
4	21
5	5

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	135	0	0
-	1	1	132

Precision?

0.9854014598540146

Recall?

1.0

Samples

14.2s	130 428×	0	valid
1.9s	6 004×	1	valid
543.0ms	1 168×	2	valid
32.0ms	126×	3	valid
1.0ms	2×	4	valid

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.6s (31.2% of total)

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

ival-add: 1.0s (12.4% of total)

ival-div: 937.0ms (11.1% of total)

ival-log: 830.0ms (9.9% of total)

const: 299.0ms (3.6% of total)

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

adjust: 255.0ms (3% of total)

ival-cos: 212.0ms (2.5% of total)

ival-sin: 199.0ms (2.4% of total)

ival-true: 116.0ms (1.4% of total)

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

exact: 60.0ms (0.7% of total)

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

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

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

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

ival-sinh: 9.0ms (0.1% of total)

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

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

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

prune34.1s (2.1%)

Memory: -1 950.4MiB live, 45 069.8MiB allocated
Counts: 430 500 → 12 785
Compiler: Compiled 818 070 to 436 625 computations (46.6% saved)

bsearch32.1s (2%)

Memory

267.6MiB live, 33 161.3MiB allocated

Algorithm

1 523×	binary-search
1 127×	left-value

Stop Event

1 498×	narrow-enough
25×	predicate-same

Samples

17.4s	126 724×	0	valid
931.0ms	3 317×	1	valid
347.0ms	3 196×	0	invalid
20.0ms	110×	2	valid
9.0ms	37×	1	invalid
2.0ms	9×	3	valid

Compiler

Compiled 904 365 to 644 049 computations (28.8% saved)

Precisions

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

ival-mult: 5.6s (43.5% of total)

ival-sub: 2.9s (22.4% of total)

ival-add: 1.5s (11.3% of total)

ival-div: 930.0ms (7.2% of total)

ival-log: 477.0ms (3.7% of total)

const: 457.0ms (3.6% of total)

ival-sin: 310.0ms (2.4% of total)

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

adjust: 103.0ms (0.8% of total)

ival-true: 94.0ms (0.7% of total)

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

ival-sqrt: 61.0ms (0.5% of total)

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

exact: 44.0ms (0.3% of total)

ival-tanh: 37.0ms (0.3% of total)

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

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

ival-fabs: 5.0ms (0% of total)

analyze18.3s (1.1%)

Memory

205.0MiB live, 19 829.0MiB 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)

start8.0ms (0%)

Memory: -24.7MiB live, 14.2MiB allocated

end2.0ms (0%)

Memory: 4.0MiB live, 3.8MiB allocated

sample5.4min (20%)

simplify4.9min (18.1%)

soundness4.5min (16.5%)

rewrite3.7min (13.8%)

localize1.7min (6.4%)

eval1.6min (5.8%)

regimes1.3min (4.7%)

preprocess58.1s (3.6%)

series52.3s (3.2%)

explain43.6s (2.7%)

prune34.1s (2.1%)

bsearch32.1s (2%)

analyze18.3s (1.1%)

start8.0ms (0%)

end2.0ms (0%)

Profiling