Metrics for Herbie run

Date:	Saturday, November 16th, 2024
Commit:	1a83c9f5 on main
Hostname:	nightly with Racket 8.10
Seed:	2024321
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

sample1.4min (25.2%)

Memory

136.1MiB live, 90 491.6MiB allocated

Samples

33.6s	225 382×	0	valid
9.8s	65 157×	0	invalid
7.6s	22 956×	1	valid
4.3s	12 436×	1	invalid
3.6s	9 656×	2	valid
2.8s	6 195×	3	valid
375.0ms	1 926×	1	exit
163.0ms	496×	2	invalid
30.0ms	216×	0	exit
1.0ms	2×	5	exit
1.0ms	3×	4	valid
1.0ms	3×	3	exit

Precisions

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

ival-mult: 11.8s (24.4% of total)

ival-div: 8.3s (17.2% of total)

ival-sub: 3.9s (8% of total)

ival-pow2: 2.9s (5.9% of total)

adjust: 2.7s (5.5% of total)

ival-sqrt: 2.7s (5.5% of total)

ival-add: 2.7s (5.5% of total)

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

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

ival-sin: 2.2s (4.5% of total)

ival-tan: 1.2s (2.4% of total)

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

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

ival-acos: 603.0ms (1.2% of total)

ival-log: 502.0ms (1% of total)

ival-hypot: 494.0ms (1% of total)

const: 455.0ms (0.9% of total)

ival-pi: 396.0ms (0.8% of total)

exact: 348.0ms (0.7% of total)

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

ival-asin: 234.0ms (0.5% of total)

ival-tanu: 176.0ms (0.4% of total)

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

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

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

ival-<: 45.0ms (0.1% of total)

ival-and: 12.0ms (0% of total)

Bogosity

simplify47.4s (14.3%)

Memory

503.9MiB live, 44 848.7MiB allocated

Algorithm

288×	egg-herbie

Stop Event

384×	iter limit
256×	node limit
32×	saturated

Counts

14 425 → 14 351

soundness44.8s (13.6%)

Memory

111.3MiB live, 27 838.4MiB allocated

Stop Event

293×	iter limit
196×	node limit
30×	fuel
2×	done

Compiler

Compiled 74 728 to 30 508 computations (59.2% saved)

rewrite30.5s (9.2%)

Memory

-509.6MiB live, 32 486.9MiB allocated

Stop Event

258×	iter limit
128×	node limit

Counts

2 498 → 95 535

localize26.3s (8%)

Memory

49.7MiB live, 30 161.6MiB allocated

Samples

10.5s	23 665×	0	valid
3.3s	3 459×	1	valid
2.7s	1 767×	2	valid
1.6s	810×	3	valid
1.1s	2 166×	0	invalid
976.0ms	272×	5	exit
207.0ms	112×	1	invalid
171.0ms	381×	0	exit
89.0ms	70×	2	invalid
65.0ms	48×	2	exit
28.0ms	3×	4	exit
6.0ms	4×	3	exit
6.0ms	9×	1	exit
3.0ms	2×	4	valid

Compiler

Compiled 48 540 to 5 495 computations (88.7% saved)

Precisions

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

ival-mult: 3.8s (24.4% of total)

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

ival-add: 1.4s (9.2% of total)

adjust: 1.2s (7.9% of total)

ival-cos: 861.0ms (5.5% of total)

ival-pow: 780.0ms (5% of total)

ival-sqrt: 761.0ms (4.9% of total)

ival-sub: 682.0ms (4.4% of total)

ival-pow2: 422.0ms (2.7% of total)

ival-neg: 396.0ms (2.5% of total)

const: 384.0ms (2.5% of total)

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

ival-cosh: 362.0ms (2.3% of total)

ival-acos: 314.0ms (2% of total)

ival-exp: 235.0ms (1.5% of total)

ival-tanu: 204.0ms (1.3% of total)

ival-asin: 197.0ms (1.3% of total)

ival-log: 176.0ms (1.1% of total)

ival-tan: 112.0ms (0.7% of total)

ival-hypot: 75.0ms (0.5% of total)

exact: 72.0ms (0.5% of total)

ival-atan: 48.0ms (0.3% of total)

ival-cbrt: 40.0ms (0.3% of total)

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

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

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

ival-tanh: 25.0ms (0.2% of total)

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

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

regimes22.0s (6.7%)

Memory

5.9MiB live, 27 888.5MiB allocated

Counts

13 112 → 924

Calls

156 calls:

1.1s	l
930.0ms	t
802.0ms	k
567.0ms	x
514.0ms	(sin.f64 kx)

Compiler

Compiled 13 097 to 13 583 computations (-3.7% saved)

eval21.7s (6.6%)

Memory: 482.1MiB live, 27 779.7MiB allocated
Compiler: Compiled 4 957 226 to 464 366 computations (90.6% saved)

series10.9s (3.3%)

Memory

-72.1MiB live, 13 166.3MiB allocated

Counts

2 498 → 14 425

Calls

1200 calls:

Time	Variable		Point	Expression
136.0ms	t	@	-inf	((exp (- (* (log t) 3) (* (log l) 2))) (+ (+ 1 (pow (/ k t) 2)) 1) (- (* (log t) 3) (* (log l) 2)) (/ 2 (* (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (/ l (pow t 3)) (/ l (* k k))) (/ l (pow t 3)) (pow t 3) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* 2 (* l l)) (/ (/ (cos k) t) (* (* (pow (sin k) 2) k) k))) (* 2 (* l l)) (* l l) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (/ (* (* (cos k) l) l) (* (pow t 3) (pow (sin k) 2))) (* (* (cos k) l) l) (* (cos k) l) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ (/ (pow (sin k) 2) l) (* (cos k) l)) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) (* k k)) (* (/ (/ (pow (sin k) 2) l) (* (cos k) l)) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) (* (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (/ l (* k k)) (/ (/ (cos k) t) (* (* (pow (sin k) 2) k) k)) (pow (sin k) 2) (* (pow t 3) (pow (sin k) 2)) (/ (pow t 3) k) (/ (/ (pow t 3) k) k))
123.0ms	f	@	inf	((/ 1 (/ (* 1/4 (PI)) (log (tanh (* f (* 1/4 (PI))))))) (/ (* 1/4 (PI)) (log (tanh (* f (* 1/4 (PI)))))) (* 1/4 (PI)) (PI) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* (* (PI) f) 1/4) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (+ (log (* 1/4 (PI))) (log f)) (log (* 1/4 (PI))) (/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI)))))) (neg (/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))))) (/ 4 (sqrt (PI))) (sqrt (PI)) (+ (* (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI)))))))) (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (tanh (* f (* 1/4 (PI))))) (log (tanh (* (/ f 4) (PI)))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI))))))) (/ 1/2 (sinh (* f (* 1/4 (PI))))))
113.0ms	f	@	0	((/ 1 (/ (* 1/4 (PI)) (log (tanh (* f (* 1/4 (PI))))))) (/ (* 1/4 (PI)) (log (tanh (* f (* 1/4 (PI)))))) (* 1/4 (PI)) (PI) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* (* (PI) f) 1/4) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (+ (log (* 1/4 (PI))) (log f)) (log (* 1/4 (PI))) (/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI)))))) (neg (/ (/ 4 (sqrt (PI))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))))) (/ 4 (sqrt (PI))) (sqrt (PI)) (+ (* (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI)))))))) (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (tanh (* f (* 1/4 (PI))))) (log (tanh (* (/ f 4) (PI)))) (/ (neg (sqrt (PI))) (log (tanh (* (/ f 4) (PI))))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI))))))) (/ 1/2 (sinh (* f (* 1/4 (PI))))))
108.0ms	f	@	inf	((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI))))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (neg (log (tanh (* f (* 1/4 (PI)))))) (- (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI)))) (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* (cosh (* f (* 1/4 (PI)))) 2) (* (neg (pow (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) 3)) (/ 1 (+ (pow (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) 2) 0))) (+ (pow (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) 2) 0) (neg (pow (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) 3)) (pow (* (log (tanh (* f (* 1/4 (PI))))) (/ -4 (PI))) 3) (PI) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (/ 4 (PI)) f) (sqrt (PI)) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))))
95.0ms	mu	@	0	((neg (- (- (- Ec Vef) EDonor) mu)) (+ (+ (+ Ev Vef) EAccept) (neg mu)) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT) (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))) (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))))

preprocess10.8s (3.3%)

Memory

39.4MiB live, 9 350.3MiB allocated

Algorithm

32×	egg-herbie

Stop Event

64×	iter limit
41×	node limit
23×	saturated

Compiler

Compiled 94 049 to 18 387 computations (80.4% saved)

explain9.3s (2.8%)

Memory

-189.0MiB live, 11 214.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	476	0
`-.f64`	`#f`	cancellation	442	2
`cos.f64`	`#f`	sensitivity	417	0
`+.f64`	`#f`	nan-rescue	265	0
`*.f64`	`#f`	*no**	261	0
`acos.f64`	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`	sensitivity	254	0
`sqrt.f64`	`#f`	uflow-rescue	172	0
`-.f64`	`#f`	nan-rescue	140	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	132	0
`*.f64`	`#f`	*uo**	129	0
`pow.f64`	`#f`	oflow-rescue	128	0
`asin.f64`	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))`	sensitivity	124	0
`/.f64`	`#f`	o/o	78	0
`pow.f64`	`(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))`	sensitivity	77	31
`*.f64`	`#f`	*nu**	73	0
`pow.f64`	`#f`	uflow-rescue	60	0
`+.f64`	`#f`	cancellation	59	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	54	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	54
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	54
↳	`(*.f64 K (+.f64 m n))`	overflow	54
`/.f64`	`#f`	o/n	53	0
`/.f64`	`#f`	n/o	50	0
`*.f64`	`#f`	*ou**	50	0
`/.f64`	`#f`	u/u	45	0
`/.f64`	`#f`	n/u	27	0
`/.f64`	`#f`	u/n	18	0
`log.f64`	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`	sensitivity	9	0
`exp.f64`	`#f`	sensitivity	4	4
`log.f64`	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`	oflow-rescue	1	0
↳	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`	overflow	6
↳	`(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))`	overflow	1
↳	`(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`	overflow	3
↳	`(+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`	overflow	3

Confusion

	Predicted +	Predicted -
+	1994	47
-	1119	5032

Precision

0.6405396723417924

Recall

0.9769720725134737

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1994	1	46
-	1119	32	5000

Precision?

0.6341385886840433

Recall?

0.9774620284174425

Freqs

test

number	freq
0	5079
1	2689
2	374
3	39
4	11

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	26	0	0
-	3	0	3

Precision?

0.896551724137931

Recall?

1.0

Samples

2.2s	13 342×	0	valid
603.0ms	1 920×	1	valid
251.0ms	710×	2	valid
154.0ms	402×	3	valid
8.0ms	10×	5	exit

Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions

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

ival-mult: 467.0ms (21.9% of total)

ival-div: 337.0ms (15.8% of total)

adjust: 149.0ms (7% of total)

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

ival-sin: 139.0ms (6.5% of total)

ival-sqrt: 135.0ms (6.3% of total)

ival-add: 130.0ms (6.1% of total)

ival-pow2: 115.0ms (5.4% of total)

ival-exp: 99.0ms (4.7% of total)

ival-pow: 76.0ms (3.6% of total)

ival-cos: 64.0ms (3% of total)

ival-tan: 48.0ms (2.3% of total)

ival-neg: 31.0ms (1.5% of total)

ival-acos: 30.0ms (1.4% of total)

ival-hypot: 29.0ms (1.4% of total)

ival-atan: 27.0ms (1.3% of total)

exact: 19.0ms (0.9% of total)

ival-tanu: 17.0ms (0.8% of total)

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

ival-pi: 13.0ms (0.6% of total)

ival-log: 13.0ms (0.6% of total)

ival-asin: 12.0ms (0.6% of total)

const: 9.0ms (0.4% of total)

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

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

prune8.6s (2.6%)

Memory: -291.1MiB live, 12 556.3MiB allocated
Counts: 109 498 → 3 421
Compiler: Compiled 303 152 to 155 941 computations (48.6% saved)

analyze8.6s (2.6%)

Memory

304.9MiB live, 10 905.5MiB allocated

Algorithm

32×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
22.2%	21.8%	76.4%	1.8%	0%	0%	0%	1
22.6%	21.8%	74.8%	1.8%	0%	1.6%	0%	2
28.6%	26.5%	66.3%	1.8%	0%	5.5%	0%	3
32.6%	29.6%	61.2%	1.8%	0%	7.4%	0%	4
35.8%	32.3%	58%	1.8%	0%	8%	0%	5
40.1%	36.1%	54%	1.8%	0%	8.1%	0%	6
45.5%	40.6%	48.7%	1.8%	0%	8.9%	0%	7
47.9%	42.1%	45.8%	1.8%	0%	10.3%	0%	8
51%	44.7%	42.9%	1.8%	0%	10.6%	0%	9
52.2%	45.5%	41.7%	1.8%	0%	11%	0%	10
53.9%	46.8%	39.9%	1.8%	0%	11.5%	0%	11
55.7%	47.9%	38.2%	1.8%	0%	12.2%	0%	12

Compiler

Compiled 798 to 574 computations (28.1% saved)

bsearch6.1s (1.9%)

Memory

100.4MiB live, 6 343.1MiB allocated

Algorithm

266×	left-value
259×	binary-search

Stop Event

245×	narrow-enough
14×	predicate-same

Samples

3.0s	17 817×	0	valid
523.0ms	2 964×	0	invalid
103.0ms	355×	1	valid
100.0ms	140×	3	valid
89.0ms	232×	2	valid
6.0ms	2×	5	exit
4.0ms	22×	1	invalid
0.0ms	1×	2	invalid

Compiler

Compiled 174 378 to 123 552 computations (29.1% saved)

Precisions

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

ival-mult: 612.0ms (21% of total)

ival-pow: 520.0ms (17.8% of total)

ival-div: 513.0ms (17.6% of total)

ival-add: 244.0ms (8.4% of total)

ival-pow2: 182.0ms (6.2% of total)

ival-tan: 180.0ms (6.2% of total)

ival-sin: 180.0ms (6.2% of total)

ival-sub: 158.0ms (5.4% of total)

adjust: 81.0ms (2.8% of total)

ival-neg: 67.0ms (2.3% of total)

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

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

ival-cos: 22.0ms (0.8% of total)

exact: 22.0ms (0.8% of total)

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

const: 12.0ms (0.4% of total)

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

ival-asin: 6.0ms (0.2% of total)

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

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

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

start1.0ms (0%)

Memory: 2.5MiB live, 2.5MiB allocated

end0.0ms (0%)

Memory: 0.3MiB live, 0.2MiB allocated

sample1.4min (25.2%)

simplify47.4s (14.3%)

soundness44.8s (13.6%)

rewrite30.5s (9.2%)

localize26.3s (8%)

regimes22.0s (6.7%)

eval21.7s (6.6%)

series10.9s (3.3%)

preprocess10.8s (3.3%)

explain9.3s (2.8%)

prune8.6s (2.6%)

analyze8.6s (2.6%)

bsearch6.1s (1.9%)

start1.0ms (0%)

end0.0ms (0%)

Profiling