Metrics for Herbie run

Date:	Thursday, September 5th, 2024
Commit:	7a659933 on fewer-globals
Hostname:	nightly with Racket 8.11.1
Seed:	2024249
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.4min (21.7%)

Memory

1 028.7MiB live, 99 066.6MiB allocated

Samples

32.0s	221 841×	0	valid
10.3s	26 685×	1	valid
10.0s	65 580×	0	invalid
4.0s	12 381×	1	invalid
3.3s	9 509×	2	valid
2.6s	6 153×	3	valid
359.0ms	1 798×	1	exit
270.0ms	566×	2	invalid
29.0ms	248×	0	exit
1.0ms	4×	4	valid
1.0ms	3×	4	exit
1.0ms	1×	5	exit
0.0ms	1×	3	exit

Precisions

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

ival-mult: 11.4s (24% of total)

ival-div: 6.9s (14.4% of total)

ival-tan: 4.4s (9.3% of total)

ival-sub: 3.7s (7.8% of total)

ival-add: 3.2s (6.8% of total)

ival-pow2: 2.6s (5.4% of total)

ival-sqrt: 2.6s (5.4% of total)

ival-pow: 2.3s (4.7% of total)

adjust: 2.1s (4.5% of total)

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

ival-sin: 1.7s (3.6% of total)

ival-acos: 992.0ms (2.1% of total)

ival-cos: 720.0ms (1.5% of total)

ival-pi: 646.0ms (1.4% of total)

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

const: 459.0ms (1% of total)

ival-log: 376.0ms (0.8% of total)

exact: 314.0ms (0.7% of total)

ival-true: 248.0ms (0.5% of total)

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

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

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

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

ival-<: 82.0ms (0.2% of total)

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

Bogosity

simplify1.1min (16.7%)

Memory

-481.0MiB live, 69 014.3MiB allocated

Algorithm

288×	egg-herbie

Rules

2 583 768×	`lower-fma.f32`
2 583 070×	`lower-fma.f64`
1 274 972×	`lower-*.f32`
1 272 742×	`lower-*.f64`
673 982×	`lower-+.f32`

Stop Event

384×	iter limit
226×	node limit
62×	saturated

Counts

72 288 → 71 821

soundness43.3s (11.4%)

Memory

274.1MiB live, 34 922.2MiB allocated

Rules

1 595 948×	`lower-fma.f32`
1 595 530×	`lower-fma.f64`
1 046 886×	`lower-*.f32`
1 045 176×	`lower-*.f64`
505 288×	`lower-/.f32`

Stop Event

284×	iter limit
188×	node limit
31×	fuel
1×	done

Compiler

Compiled 37 563 to 20 834 computations (44.5% saved)

eval37.8s (10%)

Memory: 658.2MiB live, 52 598.5MiB allocated
Compiler: Compiled 6 357 481 to 487 857 computations (92.3% saved)

rewrite35.2s (9.3%)

Memory

107.9MiB live, 42 284.9MiB allocated

Rules

597 458×	`lower-*.f32`
595 244×	`lower-*.f64`
577 466×	`lower-fma.f32`
576 768×	`lower-fma.f64`
455 410×	`lower-/.f32`

Stop Event

259×	iter limit
128×	node limit

Counts

2 508 → 91 719

localize28.1s (7.4%)

Memory

175.8MiB live, 36 039.6MiB allocated

Samples

9.7s	23 882×	0	valid
4.9s	4 610×	1	valid
3.0s	2 025×	2	valid
1.6s	782×	3	valid
1.5s	138×	3	exit
337.0ms	830×	0	invalid
219.0ms	414×	0	exit
219.0ms	46×	5	exit
45.0ms	5×	4	exit
30.0ms	32×	2	exit
2.0ms	4×	1	exit

Compiler

Compiled 49 872 to 5 589 computations (88.8% saved)

Precisions

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

ival-mult: 4.3s (26.3% of total)

ival-tan: 2.3s (13.9% of total)

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

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

adjust: 1.2s (7.3% of total)

ival-sqrt: 685.0ms (4.2% of total)

ival-pow: 616.0ms (3.8% of total)

ival-cos: 592.0ms (3.6% of total)

ival-sub: 552.0ms (3.4% of total)

ival-pow2: 424.0ms (2.6% of total)

ival-sin: 321.0ms (2% of total)

ival-exp: 311.0ms (1.9% of total)

ival-log: 246.0ms (1.5% of total)

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

const: 225.0ms (1.4% of total)

ival-asin: 185.0ms (1.1% of total)

ival-acos: 148.0ms (0.9% of total)

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

exact: 65.0ms (0.4% of total)

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

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

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

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

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

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

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

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

ival-hypot: 7.0ms (0% of total)

regimes25.3s (6.7%)

Memory

-100.3MiB live, 34 997.8MiB allocated

Counts

12 701 → 801

Calls

156 calls:

1.5s	l
784.0ms	k
757.0ms	t
619.0ms	n
583.0ms	NdChar

Compiler

Compiled 13 616 to 14 060 computations (-3.3% saved)

series14.5s (3.8%)

Memory

331.3MiB live, 21 187.8MiB allocated

Counts

2 508 → 72 288

Calls

1200 calls:

Time	Variable		Point	Expression
176.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))) (/ (PI) 4) (/ 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))))))) (/ 1 (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI))))) (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI)))) (neg (/ 1 (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI)))))) (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI))))))) (+ (* (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI)))))))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI))))))) (/ -4 (PI)) (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)))))) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI)))))) (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI))))) (/ 1/2 (sinh (* f (* 1/4 (PI))))))
149.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))) (/ (PI) 4) (/ 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))))))) (/ 1 (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI))))) (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI)))) (neg (/ 1 (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI)))))) (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI))))))) (+ (* (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI)))))))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI))))))) (/ -4 (PI)) (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)))))) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI)))))) (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI))))) (/ 1/2 (sinh (* f (* 1/4 (PI))))))
98.0ms	l	@	-inf	((exp (- (* (log t) 3) (* (log l) 2))) (+ (+ 1 (pow (/ k t) 2)) 1) (- (* (log t) 3) (* (log l) 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))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* 2 (* k k)) (/ (/ (pow t 3) l) l)) (* 2 (* k k)) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (* (/ (pow t 3) (* l l)) (sin k)) (* (* (* (/ (* (/ (* t t) l) t) l) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ (* (/ (* t t) l) t) l) (sin k)) (tan k)) (* (/ (* (/ (* t t) l) t) l) (sin k)) (pow (/ (pow t 3/2) l) 2) (* (* (* (pow (/ (pow t 3/2) l) 2) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (pow (/ (pow t 3/2) l) 2) (sin k)) (tan k)) (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (/ (/ (pow t 3) l) l) (/ (pow t 3) l) (* (/ k l) (/ (pow t 3) l)) (/ (* t t) l) (/ (* (/ (* t t) l) t) l) (/ (pow t 3/2) l) (* (pow (/ (pow t 3/2) l) 2) (sin k)))
89.0ms	n	@	0	((/ 1 (/ (pow (sqrt (* (* 2 n) (PI))) k) (sqrt (* (* 2 n) (PI))))) (* (/ 1 (sqrt k)) (/ 1 (/ (pow (sqrt (* (* 2 n) (PI))) k) (sqrt (* (* 2 n) (PI)))))) (/ 1 (sqrt k)) (sqrt k) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (sqrt (* (* n (/ (PI) k)) 2)) (* (* n (/ (PI) k)) 2) (* n (/ (PI) k)) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ (sqrt (* (* 2 n) (PI))) (sqrt k)) (sqrt (* (* 2 n) (PI))) (* (* 2 n) (PI)) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (* (/ (sqrt (PI)) (sqrt (* k 1/2))) (sqrt n)) (/ (sqrt (PI)) (sqrt (* k 1/2))) (sqrt (PI)) (/ (sqrt (PI)) -1) (* (/ (sqrt (PI)) -1) (/ (neg (sqrt n)) (sqrt (* k 1/2)))) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (PI) (/ (pow (sqrt (* (* 2 n) (PI))) k) (sqrt (* (* 2 n) (PI)))))
83.0ms	EAccept	@	inf	((exp 1) (neg (- (- (- Ec Vef) EDonor) mu)) (+ (+ (+ Ev Vef) EAccept) (neg mu)) (+ (/ NdChar (+ 1 (pow (exp 1) (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (* 1/2 (+ NaChar NdChar)) (+ NaChar NdChar) (+ (* -1/4 (+ (* NaChar (/ (- (+ EAccept (+ Vef Ev)) mu) KbT)) (* NdChar (/ (- (+ (+ mu Vef) EDonor) Ec) KbT)))) (* 1/2 (+ NaChar NdChar))) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (+ (* NaChar (/ (- (+ EAccept (+ Vef Ev)) mu) KbT)) (* NdChar (/ (- (+ (+ mu Vef) EDonor) Ec) KbT))) (/ (- (+ EAccept (+ Vef Ev)) mu) KbT) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (/ NdChar (+ (exp (/ (- (+ (+ mu Vef) EDonor) Ec) KbT)) 1)) (+ (exp (/ (- (+ (+ mu Vef) EDonor) Ec) KbT)) 1) (exp (/ (- (+ (+ mu Vef) EDonor) Ec) KbT)) (+ (/ 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)))) (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))) (pow (exp 1) (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT) (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))) (* NdChar (/ (- (+ (+ mu Vef) EDonor) Ec) KbT)) (/ (- (+ (+ mu Vef) EDonor) Ec) KbT) (+ mu Vef) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT)))) (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)) (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT))

prune14.3s (3.8%)

Memory: -615.7MiB live, 24 465.2MiB allocated
Counts: 192 519 → 3 445
Compiler: Compiled 161 237 to 99 802 computations (38.1% saved)

preprocess11.5s (3%)

Memory

222.4MiB live, 13 733.0MiB allocated

Algorithm

32×	egg-herbie

Rules

229 844×	`lower-fma.f64`
229 844×	`lower-fma.f32`
79 498×	`lower-*.f32`
79 270×	`lower-*.f64`
36 848×	`lower-/.f32`

Stop Event

64×	iter limit
41×	node limit
23×	saturated

Compiler

Compiled 52 647 to 19 759 computations (62.5% saved)

explain10.5s (2.8%)

Memory

-914.1MiB live, 13 178.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	473	0
`-.f64`	`#f`	cancellation	457	1
`cos.f64`	`#f`	sensitivity	417	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	253	0
`*.f64`	`#f`	*no**	243	0
`+.f64`	`#f`	nan-rescue	217	0
`sqrt.f64`	`#f`	uflow-rescue	182	0
`*.f64`	`#f`	*uo**	142	0
`-.f64`	`#f`	nan-rescue	138	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	126	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	126	0
`pow.f64`	`#f`	oflow-rescue	112	0
`/.f64`	`#f`	o/o	85	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	84	35
`pow.f64`	`#f`	uflow-rescue	66	0
`*.f64`	`#f`	*nu**	64	0
`+.f64`	`#f`	cancellation	57	0
`/.f64`	`#f`	u/u	54	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	52	0
`*.f64`	`#f`	*ou**	52	0
`/.f64`	`#f`	n/o	29	0
`/.f64`	`#f`	n/u	29	0
`/.f64`	`#f`	u/n	15	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	7	0
`exp.f64`	`#f`	sensitivity	6	0

Confusion

	Predicted +	Predicted -
+	1985	36
-	1118	5053

Precision

0.6397035127296165

Recall

0.9821870361207323

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1985	2	34
-	1118	35	5018

Precision?

0.6328025477707007

Recall?

0.983176645225136

Freqs

test

number	freq
0	5089
1	2731
2	313
3	53
4	6

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	27	0	0
-	0	0	5

Precision?

1.0

Recall?

1.0

Samples

2.0s	13 096×	0	valid
814.0ms	2 106×	1	valid
381.0ms	768×	2	valid
227.0ms	396×	3	valid
11.0ms	18×	5	exit

Compiler

Compiled 7 557 to 1 659 computations (78% saved)

Precisions

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

ival-mult: 585.0ms (23.8% of total)

ival-tan: 336.0ms (13.6% of total)

ival-div: 328.0ms (13.3% of total)

ival-sub: 156.0ms (6.3% of total)

ival-sin: 146.0ms (5.9% of total)

ival-add: 134.0ms (5.4% of total)

ival-sqrt: 127.0ms (5.2% of total)

adjust: 126.0ms (5.1% of total)

ival-pow2: 108.0ms (4.4% of total)

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

ival-cos: 87.0ms (3.5% of total)

ival-pow: 79.0ms (3.2% of total)

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

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

exact: 18.0ms (0.7% of total)

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

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

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

const: 9.0ms (0.4% of total)

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

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

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

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

analyze8.7s (2.3%)

Memory

-47.7MiB live, 12 552.4MiB allocated

Algorithm

32×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
19.1%	18.7%	79.5%	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 797 to 576 computations (27.7% saved)

bsearch4.6s (1.2%)

Memory

86.0MiB live, 5 823.6MiB allocated

Algorithm

241×	left-value
175×	binary-search

Stop Event

166×	narrow-enough
9×	predicate-same

Samples

2.1s	12 811×	0	valid
659.0ms	2 329×	0	invalid
110.0ms	108×	2	valid
74.0ms	256×	1	valid
8.0ms	25×	3	valid
7.0ms	41×	1	invalid
2.0ms	8×	2	invalid

Compiler

Compiled 46 127 to 45 074 computations (2.3% saved)

Precisions

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

ival-add: 566.0ms (25% of total)

ival-mult: 368.0ms (16.3% of total)

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

ival-pow: 230.0ms (10.2% of total)

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

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

ival-pow2: 116.0ms (5.1% of total)

ival-tan: 113.0ms (5% of total)

ival-cos: 48.0ms (2.1% of total)

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

ival-neg: 38.0ms (1.7% of total)

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

adjust: 20.0ms (0.9% of total)

exact: 14.0ms (0.6% of total)

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

const: 9.0ms (0.4% of total)

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

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

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

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

start1.0ms (0%)

Memory: 3.0MiB live, 3.0MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.5MiB allocated

sample1.4min (21.7%)

simplify1.1min (16.7%)

soundness43.3s (11.4%)

eval37.8s (10%)

rewrite35.2s (9.3%)

localize28.1s (7.4%)

regimes25.3s (6.7%)

series14.5s (3.8%)

prune14.3s (3.8%)

preprocess11.5s (3%)

explain10.5s (2.8%)

analyze8.7s (2.3%)

bsearch4.6s (1.2%)

start1.0ms (0%)

end0.0ms (0%)

Profiling