Metrics for Herbie run

Date:	Thursday, November 21st, 2024
Commit:	d1b0bfd6 on main
Hostname:	nightly with Racket 8.10
Seed:	2024326
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.3min (25.4%)

Memory

85.5MiB live, 84 040.6MiB allocated

Samples

32.5s	225 697×	0	valid
9.0s	64 940×	0	invalid
7.2s	22 788×	1	valid
3.7s	12 321×	1	invalid
3.3s	9 571×	2	valid
2.5s	6 134×	3	valid
372.0ms	1 925×	1	exit
254.0ms	528×	2	invalid
33.0ms	251×	0	exit
1.0ms	2×	4	valid
1.0ms	2×	3	exit

Precisions

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

ival-mult: 11.2s (24.9% of total)

ival-div: 7.5s (16.7% of total)

ival-sub: 3.1s (7% of total)

ival-pow2: 3.1s (6.9% of total)

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

ival-pow: 2.4s (5.3% of total)

ival-add: 2.3s (5.2% of total)

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

adjust: 2.1s (4.7% of total)

ival-exp: 2.0s (4.5% of total)

ival-cos: 897.0ms (2% of total)

ival-tan: 784.0ms (1.7% of total)

ival-neg: 707.0ms (1.6% of total)

ival-acos: 684.0ms (1.5% of total)

ival-hypot: 526.0ms (1.2% of total)

const: 488.0ms (1.1% of total)

ival-pi: 462.0ms (1% of total)

ival-log: 387.0ms (0.9% of total)

exact: 322.0ms (0.7% of total)

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

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

ival-asin: 172.0ms (0.4% of total)

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

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

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

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

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

Bogosity

simplify49.4s (15.8%)

Memory

754.1MiB live, 49 050.9MiB allocated

Algorithm

288×	egg-herbie

Stop Event

384×	iter limit
268×	node limit
20×	saturated

Counts

14 777 → 14 723

soundness38.7s (12.4%)

Memory

-88.6MiB live, 28 023.5MiB allocated

Stop Event

261×	iter limit
179×	node limit
31×	fuel
1×	done

Compiler

Compiled 73 636 to 30 218 computations (59% saved)

rewrite27.2s (8.7%)

Memory

251.9MiB live, 29 643.9MiB allocated

Stop Event

258×	iter limit
128×	node limit

Counts

2 508 → 71 509

localize26.8s (8.6%)

Memory

-581.3MiB live, 30 867.4MiB allocated

Samples

10.2s	24 146×	0	valid
3.7s	3 798×	1	valid
3.6s	1 730×	2	valid
1.7s	812×	3	valid
826.0ms	1 858×	0	invalid
153.0ms	307×	0	exit
69.0ms	62×	1	invalid
45.0ms	29×	2	invalid
26.0ms	16×	5	exit
8.0ms	10×	1	exit

Compiler

Compiled 50 750 to 5 539 computations (89.1% saved)

Precisions

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

ival-mult: 4.1s (26.9% of total)

ival-div: 2.3s (14.9% of total)

ival-pow: 2.0s (13% of total)

ival-add: 1.3s (8.5% of total)

adjust: 1.3s (8.5% of total)

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

ival-sub: 613.0ms (4% of total)

ival-pow2: 525.0ms (3.5% of total)

ival-cos: 503.0ms (3.3% of total)

ival-asin: 315.0ms (2.1% of total)

ival-sin: 314.0ms (2.1% of total)

ival-exp: 201.0ms (1.3% of total)

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

const: 175.0ms (1.2% of total)

ival-acos: 124.0ms (0.8% of total)

ival-log: 106.0ms (0.7% of total)

ival-tan: 90.0ms (0.6% of total)

ival-hypot: 84.0ms (0.6% of total)

exact: 64.0ms (0.4% of total)

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

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

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

ival-tanu: 24.0ms (0.2% of total)

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

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

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

ival-cosu: 15.0ms (0.1% of total)

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

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

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

regimes21.0s (6.7%)

Memory

71.0MiB live, 24 904.8MiB allocated

Counts

11 819 → 793

Calls

156 calls:

1.3s	l
1.2s	t
737.0ms	d
736.0ms	k
433.0ms	x

Compiler

Compiled 12 451 to 12 435 computations (0.1% saved)

eval18.4s (5.9%)

Memory: 98.2MiB live, 24 423.8MiB allocated
Compiler: Compiled 4 581 576 to 415 555 computations (90.9% saved)

series11.9s (3.8%)

Memory

343.4MiB live, 14 685.2MiB allocated

Counts

2 508 → 14 777

Calls

1200 calls:

Time	Variable		Point	Expression
252.0ms	B	@	0	((+ (* F (/ (pow (+ (* 2 x) (+ (* F F) 2)) -1/2) (sin B))) (/ (neg x) (tan B))) (/ (pow (+ (* 2 x) (+ (* F F) 2)) -1/2) (sin B)) (pow (+ (* 2 x) (+ (* F F) 2)) -1/2) (+ (* 2 x) (+ (* F F) 2)) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (/ (- (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) x) B) (- (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) x) (* (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) F) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (* (neg x) (/ (cos B) (sin B))) (neg x) (/ (cos B) (sin B)) (* x (/ 1 (tan B))) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (neg (* x (/ 1 (tan B)))) (/ 1 (tan B)) (pow (pow (+ (* 2 x) (+ (* F F) 2)) -1/4) 2) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (pow (+ (* 2 x) (+ (* F F) 2)) -1/4) 2))) (/ (neg x) (tan B)) (sqrt (/ 1 (+ (* F F) (+ (* 2 x) 2)))) (/ 1 (+ (* F F) (+ (* 2 x) 2))) (cos B) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2)))) (pow (+ (* 2 x) (+ (* F F) 2)) -1/4) (* (/ F (sin B)) (pow (pow (+ (* 2 x) (+ (* F F) 2)) -1/4) 2)))
191.0ms	f	@	-inf	((* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) -4) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ 1 (/ (PI) 4)) (/ 2 (* 1/2 (PI))) (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))))))) (/ (/ (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (sqrt (PI))) (/ (sqrt (PI)) 4)) (/ (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (sqrt (PI))) (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (neg (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f))))))) (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f)))))) (/ (PI) 4) (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) (neg (* (/ 1 (/ (PI) 4)) (log (- (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) 1/2)))) (* (/ 1 (/ (PI) 4)) (log (- (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) 1/2))) (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)))))) (/ (/ 2 (* 1/2 (PI))) f) (sqrt (PI)) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f))))) (* (/ (PI) -4) f) (log (- (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) 1/2)))
170.0ms	a	@	0	((* (/ (pow k m) (+ (* (+ k 10) k) 1)) a) (/ (pow k m) (+ (* (+ k 10) k) 1)) (pow k m) (+ (* (+ k 10) k) 1) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (+ 10 k) k) 1)) (+ (* (+ 10 k) k) 1) (+ 10 k) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (+ (+ 1 (* 10 k)) (* k k)) (- (* (+ (* k k) 1) (+ (* k k) 1)) (* 100 (* k k))) (- (+ (* k k) 1) (* k 10)) (/ (* a (pow k m)) (/ (- (* (+ (* k k) 1) (+ (* k k) 1)) (* 100 (* k k))) (- (+ (* k k) 1) (* k 10)))) (+ k 10) (/ (- (* (+ (* k k) 1) (+ (* k k) 1)) (* 100 (* k k))) (- (+ (* k k) 1) (* k 10))) (* 100 (* k k)))
161.0ms	ky	@	-inf	((pow (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) 1/4) 2) (* (/ 1 2) (+ 1 (/ 1 (pow (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) 1/4) 2)))) (/ 1 2) (sqrt (* (/ 1 2) (+ 1 (/ 1 (pow (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) 1/4) 2))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (pow (pow (+ (* (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1/2) 1/2) 1/4) 2) (pow (+ (* (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1/2) 1/2) 1/4) (+ (* (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1/2) 1/2) (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) 1/4) (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) (/ 1 (pow (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) 1/4) 2)) (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) (/ (* l l) Om) (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) (/ (pow (sin ky) 2) Om) (pow (sin ky) 2) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))
154.0ms	f	@	inf	((* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) -4) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ 1 (/ (PI) 4)) (/ 2 (* 1/2 (PI))) (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))))))) (/ (/ (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (sqrt (PI))) (/ (sqrt (PI)) 4)) (/ (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (sqrt (PI))) (neg (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))) (neg (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f))))))) (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f)))))) (/ (PI) 4) (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) (neg (* (/ 1 (/ (PI) 4)) (log (- (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) 1/2)))) (* (/ 1 (/ (PI) 4)) (log (- (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) 1/2))) (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)))))) (/ (/ 2 (* 1/2 (PI))) f) (sqrt (PI)) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f))))) (* (/ (PI) -4) f) (log (- (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) 1/2)))

preprocess10.5s (3.4%)

Memory

-30.2MiB live, 10 634.3MiB allocated

Algorithm

32×	egg-herbie

Stop Event

64×	iter limit
52×	node limit
12×	saturated

Compiler

Compiled 91 967 to 19 439 computations (78.9% saved)

explain9.3s (3%)

Memory

5.2MiB live, 11 575.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	466	0
`-.f64`	`#f`	cancellation	451	0
`cos.f64`	`#f`	sensitivity	409	1
`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	255	1
`*.f64`	`#f`	*no**	238	0
`+.f64`	`#f`	nan-rescue	235	0
`sqrt.f64`	`#f`	uflow-rescue	163	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	137	1
`pow.f64`	`#f`	oflow-rescue	129	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	125	1
`*.f64`	`#f`	*uo**	121	0
`-.f64`	`#f`	nan-rescue	115	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	92	27
`/.f64`	`#f`	o/n	80	0
`/.f64`	`#f`	o/o	65	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	56	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	56
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	56
↳	`(*.f64 K (+.f64 m n))`	overflow	56
`+.f64`	`#f`	cancellation	55	1
`*.f64`	`#f`	*ou**	54	0
`pow.f64`	`#f`	uflow-rescue	53	0
`*.f64`	`#f`	*nu**	52	0
`/.f64`	`#f`	u/u	46	0
`/.f64`	`#f`	n/o	36	0
`/.f64`	`#f`	n/u	29	0
`/.f64`	`#f`	u/n	16	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`	`(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	1930	36
-	1164	5062

Precision

0.6237879767291532

Recall

0.9816887080366226

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1930	1	35
-	1164	30	5032

Precision?

0.61792

Recall?

0.9821973550356052

Freqs

test

number	freq
0	5098
1	2738
2	322
3	32
4	2

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	0	0
-	1	0	6

Precision?

0.9615384615384616

Recall?

1.0

Samples

2.1s	13 358×	0	valid
818.0ms	1 904×	1	valid
317.0ms	732×	2	valid
186.0ms	380×	3	valid
5.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.3s

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

ival-div: 418.0ms (18% of total)

ival-exp: 143.0ms (6.1% of total)

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

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

adjust: 135.0ms (5.8% of total)

ival-sin: 127.0ms (5.5% of total)

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

ival-sqrt: 103.0ms (4.4% of total)

ival-pow: 100.0ms (4.3% of total)

ival-neg: 73.0ms (3.1% of total)

ival-cos: 57.0ms (2.4% of total)

ival-tan: 55.0ms (2.4% of total)

ival-log: 52.0ms (2.2% of total)

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

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

exact: 18.0ms (0.8% of total)

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

ival-pi: 12.0ms (0.5% of total)

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

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

const: 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.0s (2.6%)

Memory

131.0MiB live, 10 713.4MiB 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)

prune7.2s (2.3%)

Memory: -443.9MiB live, 11 250.1MiB allocated
Counts: 92 110 → 3 157
Compiler: Compiled 297 777 to 147 479 computations (50.5% saved)

bsearch4.8s (1.5%)

Memory

16.3MiB live, 5 021.3MiB allocated

Algorithm

229×	left-value
208×	binary-search

Stop Event

188×	narrow-enough
20×	predicate-same

Samples

2.2s	12 377×	0	valid
543.0ms	3 450×	0	invalid
105.0ms	465×	1	valid
43.0ms	167×	2	valid
15.0ms	80×	1	invalid
15.0ms	47×	3	valid
1.0ms	2×	2	invalid

Compiler

Compiled 153 118 to 105 079 computations (31.4% saved)

Precisions

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

ival-mult: 524.0ms (24% of total)

ival-div: 380.0ms (17.4% of total)

ival-pow: 299.0ms (13.7% of total)

ival-add: 278.0ms (12.7% of total)

ival-pow2: 166.0ms (7.6% of total)

ival-tan: 93.0ms (4.3% of total)

ival-sub: 92.0ms (4.2% of total)

ival-sin: 91.0ms (4.2% of total)

ival-exp: 60.0ms (2.8% of total)

ival-neg: 53.0ms (2.4% of total)

adjust: 32.0ms (1.5% of total)

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

ival-cos: 23.0ms (1.1% of total)

exact: 16.0ms (0.7% of total)

ival-atan: 15.0ms (0.7% of total)

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

const: 10.0ms (0.5% of total)

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

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

start1.0ms (0%)

Memory: 2.8MiB live, 2.7MiB allocated

end0.0ms (0%)

Memory: 0.7MiB live, 0.5MiB allocated

sample1.3min (25.4%)

simplify49.4s (15.8%)

soundness38.7s (12.4%)

rewrite27.2s (8.7%)

localize26.8s (8.6%)

regimes21.0s (6.7%)

eval18.4s (5.9%)

series11.9s (3.8%)

preprocess10.5s (3.4%)

explain9.3s (3%)

analyze8.0s (2.6%)

prune7.2s (2.3%)

bsearch4.8s (1.5%)

start1.0ms (0%)

end0.0ms (0%)

Profiling