Metrics for Herbie run

Date:	Thursday, September 26th, 2024
Commit:	029b8eff on dump-egraph
Hostname:	nightly with Racket 8.10
Seed:	2024270
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.2min (22.3%)

Memory

909.2MiB live, 78 276.1MiB allocated

Samples

30.0s	285 626×	0	valid
13.1s	43 839×	1	valid
8.2s	16 910×	2	valid
651.0ms	4 299×	0	invalid
228.0ms	1 001×	0	exit
136.0ms	377×	3	valid
107.0ms	101×	3	exit
86.0ms	101×	4	exit
5.0ms	33×	1	exit

Precisions

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

ival-mult: 8.9s (22.2% of total)

ival-add: 3.9s (9.9% of total)

const: 3.7s (9.3% of total)

ival-sub: 3.6s (9.1% of total)

ival-pow: 3.6s (9% of total)

ival-div: 3.6s (8.9% of total)

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

adjust: 2.5s (6.3% of total)

ival-<=: 2.0s (5% of total)

ival-cos: 1.6s (4.1% of total)

ival-pow2: 502.0ms (1.3% of total)

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

exact: 483.0ms (1.2% of total)

ival-sqrt: 439.0ms (1.1% of total)

ival-neg: 391.0ms (1% of total)

ival-and: 370.0ms (0.9% of total)

ival-==: 295.0ms (0.7% of total)

ival-<: 270.0ms (0.7% of total)

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

ival-assert: 138.0ms (0.3% of total)

ival-expm1: 138.0ms (0.3% of total)

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

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

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

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

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

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

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

Bogosity

simplify55.1s (17.4%)

Memory

151.9MiB live, 48 322.3MiB allocated

Algorithm

338×	egg-herbie

Stop Event

430×	iter limit
218×	node limit
134×	saturated

Counts

38 436 → 37 410

soundness41.4s (13.1%)

Memory

331.1MiB live, 24 755.1MiB allocated

Stop Event

243×	iter limit
160×	node limit
25×	fuel
17×	done
9×	saturated

Compiler

Compiled 19 449 to 8 801 computations (54.7% saved)

rewrite36.2s (11.4%)

Memory

-278.5MiB live, 34 335.7MiB allocated

Stop Event

290×	iter limit
143×	node limit
13×	saturated

Counts

1 871 → 82 938

eval31.9s (10.1%)

Memory: 794.6MiB live, 37 024.3MiB allocated
Compiler: Compiled 4 376 999 to 356 821 computations (91.8% saved)

localize22.5s (7.1%)

Memory

-562.3MiB live, 24 301.7MiB allocated

Samples

8.5s	29 082×	0	valid
4.2s	5 471×	1	valid
3.9s	2 732×	2	valid
416.0ms	197×	3	valid
86.0ms	296×	0	exit
30.0ms	13×	5	exit
20.0ms	56×	1	exit
12.0ms	30×	0	invalid
6.0ms	10×	2	exit
3.0ms	1×	4	valid

Compiler

Compiled 35 310 to 4 073 computations (88.5% saved)

Precisions

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

ival-mult: 3.7s (28.5% of total)

ival-div: 2.1s (15.9% of total)

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

ival-pow: 1.4s (10.5% of total)

adjust: 1.1s (8.7% of total)

ival-sub: 690.0ms (5.3% of total)

const: 643.0ms (4.9% of total)

ival-tan: 357.0ms (2.7% of total)

ival-sin: 333.0ms (2.5% of total)

ival-sqrt: 251.0ms (1.9% of total)

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

ival-neg: 124.0ms (0.9% of total)

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

ival-expm1: 82.0ms (0.6% of total)

exact: 60.0ms (0.5% of total)

ival-pow2: 54.0ms (0.4% of total)

ival-true: 31.0ms (0.2% of total)

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

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

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

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

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

preprocess12.8s (4%)

Memory

-51.4MiB live, 10 346.3MiB allocated

Algorithm

42×	egg-herbie

Stop Event

82×	iter limit
54×	saturated
32×	node limit

Compiler

Compiled 25 633 to 8 300 computations (67.6% saved)

explain11.3s (3.6%)

Memory

-646.0MiB live, 12 953.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1338	0
`+.f64`	`#f`	cancellation	380	82
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	219	0
`sqrt.f64`	`#f`	oflow-rescue	208	0
`/.f64`	`#f`	n/o	169	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	167	0
`/.f64`	`#f`	o/o	166	0
`-.f64`	`#f`	nan-rescue	133	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	116	0
`/.f64`	`#f`	u/n	85	0
`/.f64`	`#f`	n/u	57	0
`/.f64`	`#f`	u/u	56	0
`+.f64`	`#f`	nan-rescue	53	0
`/.f64`	`#f`	o/n	53	0
`*.f64`	`#f`	*nu**	45	0
`*.f64`	`#f`	*no**	27	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	23	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	35
↳	`(/.f64 i n)`	overflow	23
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	23
`sqrt.f64`	`#f`	uflow-rescue	10	0

Confusion

	Predicted +	Predicted -
+	3977	226
-	118	6431

Precision

0.9711843711843712

Recall

0.9462288841303831

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3977	156	70
-	118	182	6249

Precision?

0.9323257387773517

Recall?

0.9833452295979063

Freqs

test

number	freq
0	6657
1	3653
2	399
3	43

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	0
-	2	0	9

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.8s	16 402×	0	valid
1.3s	3 704×	1	valid
579.0ms	1 354×	2	valid
26.0ms	44×	3	valid

Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions

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

ival-mult: 522.0ms (21.2% of total)

ival-add: 496.0ms (20.1% of total)

ival-div: 263.0ms (10.7% of total)

ival-pow: 242.0ms (9.8% of total)

ival-sub: 205.0ms (8.3% of total)

adjust: 198.0ms (8% of total)

ival-sin: 169.0ms (6.9% of total)

ival-cos: 76.0ms (3.1% of total)

const: 65.0ms (2.6% of total)

ival-exp: 64.0ms (2.6% of total)

ival-neg: 45.0ms (1.8% of total)

ival-sqrt: 24.0ms (1% of total)

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

exact: 19.0ms (0.8% of total)

ival-pow2: 18.0ms (0.7% of total)

ival-pi: 11.0ms (0.4% of total)

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

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

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

ival-tan: 4.0ms (0.2% of total)

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

prune10.6s (3.3%)

Memory: -600.2MiB live, 14 253.2MiB allocated
Counts: 143 217 → 2 043
Compiler: Compiled 76 066 to 41 006 computations (46.1% saved)

regimes9.8s (3.1%)

Memory

-26.0MiB live, 9 714.7MiB allocated

Counts

5 240 → 561

Calls

96 calls:

1.2s	x
446.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
430.0ms	r
362.0ms	eps
335.0ms	b

Compiler

Compiled 9 552 to 6 069 computations (36.5% saved)

analyze5.8s (1.8%)

Memory

-26.2MiB live, 4 673.5MiB allocated

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	54.5%	45.5%	0%	0%	0%	0
21.4%	11.7%	42.9%	45.5%	0%	0%	0%	1
37.4%	20.4%	34.1%	45.5%	0%	0%	0%	2
48.7%	26.2%	27.7%	45.5%	0%	0.6%	0%	3
57.7%	30.7%	22.6%	45.5%	0%	1.2%	0%	4
71.2%	37.7%	15.3%	45.5%	0%	1.6%	0%	5
72.9%	38.4%	14.3%	45.5%	0%	1.8%	0%	6
77.9%	40.7%	11.6%	45.5%	0%	2.2%	0%	7
81.5%	42.6%	9.7%	45.5%	0%	2.3%	0%	8
84.1%	43.8%	8.3%	45.5%	0%	2.5%	0%	9
86.2%	44.6%	7.2%	45.5%	0%	2.7%	0%	10
88.2%	45.6%	6.1%	45.5%	0%	2.8%	0%	11
89.1%	45.9%	5.6%	45.5%	0%	2.9%	0%	12

Compiler

Compiled 1 402 to 721 computations (48.6% saved)

series5.4s (1.7%)

Memory

242.2MiB live, 6 810.1MiB allocated

Counts

1 871 → 38 436

Calls

849 calls:

Time	Variable		Point	Expression
93.0ms	x	@	inf	((* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2))) (pow (pow (exp 10) x) (/ (* x 1) 2)) (/ (* x 1) 2) (* x 1) (* (cos x) (exp (* 10 (* x x)))) (/ (* 2 x) (/ 2 x)) (* (cos x) (exp (* 10 (/ (* 2 x) (/ 2 x))))) (cos x) (* 10 (/ (* 2 x) (/ 2 x))) (* (cos x) (pow (pow (exp 10) x) x)) (pow (pow (exp 10) x) x) (pow (exp 10) x) (* (cos x) (pow (exp (pow x 3/2)) (* (sqrt x) 10))) (pow (exp (pow x 3/2)) (* (sqrt x) 10)) (exp (pow x 3/2)) (* (cos x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2)))) (exp (* 10 (/ (* 2 x) (/ 2 x)))) (* (sqrt x) 10))
81.0ms	x	@	inf	((/ (- x (sin x)) (tan x)) (/ (* (+ (* (pow (+ (* -11/15120 (* x x)) -23/360) 2) (pow x 4)) -1/36) (* x x)) (+ (* (+ (* -11/15120 (* x x)) -23/360) (* x x)) -1/6)) (* (+ (* (pow (+ (* -11/15120 (* x x)) -23/360) 2) (pow x 4)) -1/36) (* x x)) (+ (* (pow (+ (* -11/15120 (* x x)) -23/360) 2) (pow x 4)) -1/36) (/ (- x (sin x)) (tan x)) (* (* (+ (* (+ (* (+ (* -143/604800 (* x x)) -11/15120) (* x x)) -23/360) (* x x)) 1/6) x) x) (* (+ (* (+ (* (+ (* -143/604800 (* x x)) -11/15120) (* x x)) -23/360) (* x x)) 1/6) x) (+ (* (+ (* (+ (* -143/604800 (* x x)) -11/15120) (* x x)) -23/360) (* x x)) 1/6) (/ (- x (sin x)) (tan x)) (- x (sin x)) (* (pow x 3) 1/6) (pow x 3) (/ (- x (sin x)) (tan x)) (* (/ (* (+ (* (pow (+ (* -11/15120 (* x x)) -23/360) 2) (pow x 4)) -1/36) x) (+ (* (+ (* -11/15120 (* x x)) -23/360) (* x x)) -1/6)) x) (/ (* (+ (* (pow (+ (* -11/15120 (* x x)) -23/360) 2) (pow x 4)) -1/36) x) (+ (* (+ (* -11/15120 (* x x)) -23/360) (* x x)) -1/6)) (* (+ (* (pow (+ (* -11/15120 (* x x)) -23/360) 2) (pow x 4)) -1/36) x) (/ (- (pow x 3) (pow (sin x) 3)) (* (+ (* (+ (sin x) x) (sin x)) (* x x)) (tan x))) (- (pow x 3) (pow (sin x) 3)) (* (pow x 5) 1/2) (pow x 5) (pow (+ (* -11/15120 (* x x)) -23/360) 2) (tan x) (* (+ (* (+ (sin x) x) (sin x)) (* x x)) (tan x)) (+ (* (+ (sin x) x) (sin x)) (* x x)))
66.0ms	d	@	-inf	((/ (+ (* d b) (* c a)) (+ (* d d) (* c c))) (+ (* d b) (* c a)) (* c a) (+ (* d d) (* c c)) (/ (+ (* a c) (* b d)) (+ (* c c) (* d d))) (/ a c) (/ (+ (* a c) (* b d)) (+ (* c c) (* d d))) (* (/ b (+ (* c c) (* d d))) d) (/ b (+ (* c c) (* d d))) (+ (* c c) (* d d)) (+ (* a c) (* b d)) (/ (+ (* a c) (* b d)) (+ (* c c) (* d d))) (* a c) (* b d) (+ (* (neg b) d) (/ (* (* d d) a) c)) (- a (/ (+ (* (neg b) d) (/ (* (* d d) a) c)) c)) (/ (+ (* a c) (* b d)) (+ (* c c) (* d d))) (/ (- a (/ (+ (* (neg b) d) (/ (* (* d d) a) c)) c)) c) (* c c) (+ (* c c) (* d d)) (* (* d d) a) (/ (+ (* (neg b) d) (/ (* (* d d) a) c)) c) (/ (* (* d d) a) c))
65.0ms	a	@	inf	((/ (+ (* d b) (* c a)) (+ (* d d) (* c c))) (/ (+ (* (/ c d) a) b) d) (+ (* (/ c d) a) b) (/ c d) (/ (+ (* d b) (* c a)) (+ (* d d) (* c c))) (/ b d) (/ (+ (* a c) (* b d)) (+ (* c c) (* d d))) (+ (* a c) (* b d)) (* d b) (+ (* c c) (* d d)) (/ (+ (* d b) (* c a)) (+ (* d d) (* c c))) (* (/ c (+ (* c c) (* d d))) a) (/ c (+ (* c c) (* d d))) (+ (* c c) (* d d)) (/ (+ (* d b) (* c a)) (+ (* d d) (* c c))) (/ (+ (* (/ b c) d) a) c) (+ (* (/ b c) d) a) (/ b c) (* c c))
59.0ms	t	@	0	((/ (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2)) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (/ 1 (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) -2) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 8) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (/ (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4))

bsearch3.2s (1%)

Memory

31.2MiB live, 3 154.3MiB allocated

Algorithm

176×	binary-search
92×	left-value

Stop Event

171×	narrow-enough
4×	predicate-same
1×	predicate-failed

Samples

1.3s	9 146×	0	valid
406.0ms	1 005×	1	valid
107.0ms	348×	2	valid
50.0ms	745×	0	invalid
28.0ms	240×	0	exit
6.0ms	13×	3	valid
0.0ms	4×	1	exit

Compiler

Compiled 39 156 to 33 228 computations (15.1% saved)

Precisions

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

ival-mult: 664.0ms (43.1% of total)

ival-div: 226.0ms (14.7% of total)

ival-add: 214.0ms (13.9% of total)

ival-sub: 135.0ms (8.8% of total)

ival-pow: 131.0ms (8.5% of total)

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

adjust: 45.0ms (2.9% of total)

ival-exp: 38.0ms (2.5% of total)

ival-sqrt: 18.0ms (1.2% of total)

exact: 11.0ms (0.7% of total)

ival-true: 9.0ms (0.6% of total)

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

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

start2.0ms (0%)

Memory: 4.2MiB live, 4.1MiB allocated

end0.0ms (0%)

Memory: 0.8MiB live, 0.7MiB allocated

sample1.2min (22.3%)

simplify55.1s (17.4%)

soundness41.4s (13.1%)

rewrite36.2s (11.4%)

eval31.9s (10.1%)

localize22.5s (7.1%)

preprocess12.8s (4%)

explain11.3s (3.6%)

prune10.6s (3.3%)

regimes9.8s (3.1%)

analyze5.8s (1.8%)

series5.4s (1.7%)

bsearch3.2s (1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling