Metrics for Herbie run

Date:	Sunday, November 3rd, 2024
Commit:	3e00ba3f on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024308
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.1hr (46.1%)

Memory

108 532.4MiB live, 1 597 836.3MiB allocated

Samples

32.1min	3 912 049×	0	valid
9.7min	411 089×	1	valid
4.4min	126 090×	2	valid
1.1min	322 762×	0	invalid
45.3s	26 421×	5	exit
40.4s	13 065×	3	valid
7.0s	25 973×	1	invalid
7.0s	50 880×	0	exit
2.8s	19 554×	1	exit
726.0ms	506×	4	exit
411.0ms	1 330×	2	invalid
118.0ms	32×	4	valid
111.0ms	103×	3	exit
2.0ms	3×	2	exit

Precisions

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

ival-mult: 7.3min (22.4% of total)

ival-div: 4.9min (15.2% of total)

ival-sub: 3.3min (10.1% of total)

ival-add: 2.9min (9.1% of total)

ival-log: 1.9min (5.7% of total)

ival-hypot: 1.6min (5% of total)

ival-sin: 1.6min (4.9% of total)

const: 1.4min (4.3% of total)

ival-exp: 1.2min (3.7% of total)

ival-sqrt: 1.1min (3.5% of total)

ival-sinu: 54.2s (2.8% of total)

adjust: 45.3s (2.3% of total)

ival-pow: 41.5s (2.1% of total)

ival-pow2: 38.1s (2% of total)

ival-tan: 30.3s (1.6% of total)

ival-cos: 28.4s (1.5% of total)

ival-<=: 12.7s (0.6% of total)

ival-cosu: 10.5s (0.5% of total)

ival-<: 10.1s (0.5% of total)

ival-fabs: 5.4s (0.3% of total)

ival-neg: 4.4s (0.2% of total)

exact: 3.5s (0.2% of total)

ival-true: 2.9s (0.2% of total)

ival-and: 2.7s (0.1% of total)

ival-asin: 2.6s (0.1% of total)

ival-expm1: 2.3s (0.1% of total)

ival-assert: 2.0s (0.1% of total)

ival-log1p: 1.6s (0.1% of total)

ival-atan2: 1.6s (0.1% of total)

ival-acos: 1.4s (0.1% of total)

ival-pi: 1.2s (0.1% of total)

ival-atan: 1.1s (0.1% of total)

ival-sinh: 1.1s (0.1% of total)

ival->: 1.0s (0.1% of total)

ival-fmod: 898.0ms (0% of total)

ival-floor: 636.0ms (0% of total)

ival-==: 539.0ms (0% of total)

ival-cbrt: 507.0ms (0% of total)

ival-fmin: 490.0ms (0% of total)

ival-asinh: 374.0ms (0% of total)

ival-acosh: 368.0ms (0% of total)

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

ival-e: 354.0ms (0% of total)

ival-fmax: 277.0ms (0% of total)

ival->=: 246.0ms (0% of total)

ival-log2: 240.0ms (0% of total)

ival-atanh: 183.0ms (0% of total)

ival-tanu: 173.0ms (0% of total)

ival-cosh: 173.0ms (0% of total)

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

ival-or: 42.0ms (0% of total)

Bogosity

simplify14.6min (10%)

Memory

63 939.8MiB live, 389 212.0MiB allocated

Algorithm

4 119×

egg-herbie

Stop Event

5 396×	iter limit
2 535×	node limit
1 624×	saturated
6×	unsound

Counts

147 527 → 145 721

analyze11.8min (8.1%)

Memory

8 576.1MiB live, 268 951.4MiB allocated

Algorithm

548×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	84.5%	15.5%	0%	0%	0%	0
40%	33.8%	50.7%	15.5%	0%	0%	0%	1
46%	38.5%	45.2%	15.5%	0%	0.8%	0%	2
54.6%	44.6%	37.1%	15.5%	0%	2.8%	0%	3
61.4%	49.6%	31.2%	15.5%	0%	3.8%	0%	4
67.7%	54.3%	26%	15.5%	0%	4.2%	0%	5
71.6%	57.2%	22.7%	15.5%	0%	4.6%	0%	6
75.6%	59.9%	19.4%	15.5%	0%	5.2%	0%	7
77.5%	61.2%	17.7%	15.5%	0%	5.6%	0%	8
80.1%	63%	15.6%	15.5%	0%	5.9%	0%	9
81.7%	64%	14.3%	15.5%	0%	6.2%	0%	10
83.9%	65.6%	12.6%	15.5%	0%	6.4%	0%	11
85%	66.3%	11.7%	15.5%	0%	6.6%	0%	12

Compiler

Compiled 12 580 to 7 848 computations (37.6% saved)

soundness10.2min (7%)

Memory

4 133.4MiB live, 144 136.5MiB allocated

Stop Event

3 168×	iter limit
2 089×	node limit
323×	fuel
173×	done
46×	saturated
14×	unsound

Compiler

Compiled 520 481 to 191 631 computations (63.2% saved)

rewrite10.1min (6.9%)

Memory

57 163.7MiB live, 305 338.7MiB allocated

Stop Event

3 716×	iter limit
1 747×	node limit
47×	saturated
40×	unsound

Counts

24 762 → 1 005 119

explain6.8min (4.6%)

Memory

23 236.3MiB live, 194 367.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	11132	62
`sqrt.f64`	`#f`	oflow-rescue	5203	0
`+.f64`	`#f`	cancellation	3511	130
`log.f64`	`#f`	sensitivity	3239	7
`cos.f64`	`#f`	sensitivity	2981	3
`sin.f64`	`#f`	sensitivity	1646	5
`/.f64`	`#f`	o/n	1526	0
`/.f64`	`#f`	o/o	1512	0
`*.f64`	`#f`	*no**	1034	0
`+.f64`	`#f`	nan-rescue	981	0
`-.f64`	`#f`	nan-rescue	958	0
`log.f32`	`#f`	sensitivity	832	64
`sqrt.f64`	`#f`	uflow-rescue	721	0
`/.f64`	`#f`	u/n	640	0
`/.f64`	`#f`	u/u	631	0
`/.f64`	`#f`	n/o	608	0
`acos.f64`	`#f`	sensitivity	532	4
`sqrt.f32`	`#f`	oflow-rescue	461	0
`*.f64`	`#f`	*nu**	411	0
`-.f32`	`#f`	cancellation	381	36
`pow.f64`	`#f`	sensitivity	340	49
`tan.f64`	`#f`	sensitivity	317	0
`/.f64`	`#f`	n/u	221	0
`exp.f64`	`#f`	sensitivity	215	20
`cos.f32`	`(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))`	cancelation	191	0
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancelation	187	0
`*.f64`	`#f`	*uo**	186	0
`log.f64`	`#f`	uflow-rescue	140	0
`/.f32`	`#f`	o/n	128	0
`*.f64`	`#f`	*ou**	127	0
`/.f32`	`#f`	u/n	101	0
`cbrt.f64`	`#f`	oflow-rescue	93	0
`log.f64`	`#f`	oflow-rescue	67	0
`pow.f64`	`#f`	uflow-rescue	64	0
`cbrt.f64`	`#f`	uflow-rescue	42	0
`*.f32`	`#f`	*nu**	30	0
`/.f32`	`#f`	o/o	14	0
`+.f64`	`#f`	oflow-left	6	0
`-.f64`	`#f`	oflow-left	5	0
`*.f32`	`#f`	*uo**	2	0
`cos.f64`	`(cos.f64 (/.f64 K #s(literal 2 binary64)))`	cancelation	1	0
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	1	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	1
↳	`(*.f32 x x)`	overflow	127
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	127

Confusion

	Predicted +	Predicted -
+	27915	1235
-	7253	94157

Precision

0.7937613739763422

Recall

0.9576329331046313

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	27915	260	975
-	7253	391	93766

Precision?

0.786593707250342

Recall?

0.9665523156089194

Freqs

test

number	freq
0	95392
1	29457
2	4546
3	698
4	351
5	76
6	27
7	3
8	8
9	1
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	313	5	6
-	10	4	172

Precision?

0.9578313253012049

Recall?

0.9814814814814815

Samples

1.2min	227 186×	0	valid
29.0s	9 035×	2	valid
22.0s	27 881×	1	valid
399.0ms	876×	3	valid
1.0ms	2×	4	valid

Compiler

Compiled 161 937 to 43 109 computations (73.4% saved)

Precisions

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

ival-mult: 20.8s (27.1% of total)

ival-log: 13.6s (17.7% of total)

adjust: 11.7s (15.2% of total)

ival-sin: 9.9s (12.9% of total)

ival-sqrt: 5.3s (6.8% of total)

ival-sub: 3.2s (4.2% of total)

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

ival-div: 2.0s (2.7% of total)

ival-add: 2.0s (2.6% of total)

ival-cos: 1.3s (1.7% of total)

ival-tan: 688.0ms (0.9% of total)

const: 548.0ms (0.7% of total)

ival-pow: 446.0ms (0.6% of total)

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

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

ival-neg: 182.0ms (0.2% of total)

exact: 170.0ms (0.2% of total)

ival-sinu: 163.0ms (0.2% of total)

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

ival-cosu: 136.0ms (0.2% of total)

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

ival-atan2: 94.0ms (0.1% of total)

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

ival-log1p: 76.0ms (0.1% of total)

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

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

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

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

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

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

ival-atan: 37.0ms (0% of total)

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

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

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

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

ival-fmax: 16.0ms (0% of total)

ival-log2: 14.0ms (0% of total)

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

ival->=: 6.0ms (0% of total)

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

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

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

eval6.4min (4.4%)

Memory: 56 580.9MiB live, 256 283.4MiB allocated
Compiler: Compiled 68 615 161 to 4 467 963 computations (93.5% saved)

localize5.6min (3.9%)

Memory

34 214.2MiB live, 198 870.0MiB allocated

Samples

2.8min	372 784×	0	valid
44.5s	51 167×	1	valid
27.5s	18 385×	2	valid
6.5s	12 995×	0	invalid
2.5s	1 895×	3	valid
1.5s	1 443×	2	exit
1.3s	511×	5	exit
935.0ms	1 388×	1	exit
928.0ms	2 697×	0	exit
332.0ms	250×	1	invalid
134.0ms	42×	3	exit
61.0ms	13×	4	exit
26.0ms	16×	4	valid
11.0ms	4×	2	invalid

Compiler

Compiled 1 126 661 to 114 604 computations (89.8% saved)

Precisions

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

ival-mult: 52.5s (31.4% of total)

ival-div: 35.0s (20.9% of total)

ival-add: 15.5s (9.3% of total)

ival-sin: 10.4s (6.3% of total)

adjust: 8.3s (5% of total)

ival-sub: 6.9s (4.1% of total)

ival-pow: 5.9s (3.5% of total)

ival-cos: 5.1s (3.1% of total)

const: 5.0s (3% of total)

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

ival-sqrt: 3.2s (1.9% of total)

ival-pow2: 2.4s (1.5% of total)

ival-exp: 2.2s (1.3% of total)

ival-neg: 1.9s (1.2% of total)

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

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

exact: 715.0ms (0.4% of total)

ival-sinu: 705.0ms (0.4% of total)

ival-log1p: 578.0ms (0.3% of total)

ival-cosu: 568.0ms (0.3% of total)

ival-acos: 535.0ms (0.3% of total)

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

ival-true: 434.0ms (0.3% of total)

ival-atan2: 351.0ms (0.2% of total)

ival-cbrt: 325.0ms (0.2% of total)

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

ival-if: 232.0ms (0.1% of total)

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

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

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

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

ival-fmax: 142.0ms (0.1% of total)

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

ival-log2: 120.0ms (0.1% of total)

ival-floor: 86.0ms (0.1% of total)

ival-tanu: 68.0ms (0% of total)

ival-atan: 52.0ms (0% of total)

ival-<: 30.0ms (0% of total)

ival-e: 29.0ms (0% of total)

ival->=: 17.0ms (0% of total)

ival->: 13.0ms (0% of total)

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

ival-copysign: 2.0ms (0% of total)

preprocess3.3min (2.3%)

Memory

16 516.1MiB live, 85 569.4MiB allocated

Algorithm

508×	egg-herbie

Stop Event

1 012×	iter limit
709×	saturated
312×	node limit

Compiler

Compiled 764 996 to 161 578 computations (78.9% saved)

regimes3.3min (2.3%)

Memory

38 765.9MiB live, 149 641.2MiB allocated

Counts

99 928 → 8 049

Calls

1 105 calls:

17.5s	z
16.5s	x
7.6s	y
5.9s	a
4.6s	b

Compiler

Compiled 104 777 to 108 778 computations (-3.8% saved)

series3.2min (2.2%)

Memory

21 970.1MiB live, 107 626.9MiB allocated

Counts

24 811 → 147 596

Calls

14925 calls:

Time	Variable		Point	Expression
22.1s	a	@	-inf	((+ (* (exp a) (exp a)) (+ 1 (exp a))) (/ 1 (/ (- (exp (* a 2)) 1) (- (exp (* a 3)) 1))) (log (+ (exp a) (exp b))) (+ (* (/ 1 (/ (- (exp (* a 2)) 1) (- (exp (* a 3)) 1))) (/ b (+ (* (exp a) (exp a)) (+ 1 (exp a))))) (log (+ 1 (exp a)))) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (exp a) (+ 1 a) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (+ (* (+ (* 1/8 a) 1/2) a) (log 2)) (+ (* 1/8 a) 1/2) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (+ (* (+ (* (+ (* (* a a) -1/192) 1/8) a) 1/2) a) (log 2)) (+ (* (+ (* (* a a) -1/192) 1/8) a) 1/2) (log (+ (exp a) (exp b))) (+ (/ b (+ (exp a) 1)) (log (+ 1 (exp a)))) (/ b (+ (exp a) 1)) (+ (exp a) 1) (/ (- (exp (* a 2)) 1) (- (exp (* a 3)) 1)) (- (exp (* a 3)) 1) (log 2) (+ (* (* a a) -1/192) 1/8) (exp a))
12.9s	l	@	inf	((* (sqrt (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1)) (sqrt 1/2)) (sqrt (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1)) (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1) (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/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)))))))) (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 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) (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) (/ 1 2) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 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))))))))) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))) (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (/ (* l l) Om) (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) (/ (pow (sin ky) 2) Om) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (* (* 2 (/ l Om)) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))))
9.3s	y	@	0	((+ (* z y) (* (neg x) y)) (+ (* z y) (+ (* (neg x) y) x)) (* (neg x) y) (neg x))
9.0s	ky	@	-inf	((* (sqrt (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1)) (sqrt 1/2)) (sqrt (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1)) (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1) (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/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)))))))) (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 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) (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) (/ 1 2) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 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))))))))) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))) (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (/ (* l l) Om) (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) (/ (pow (sin ky) 2) Om) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (* (* 2 (/ l Om)) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))))
8.6s	kx	@	inf	((* (sqrt (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1)) (sqrt 1/2)) (sqrt (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1)) (+ (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/2) 1) (pow (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) -1/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)))))))) (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 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) (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) (/ 1 2) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 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))))))))) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))) (+ (* (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (pow (/ (* l 2) Om) 2)) 1) (+ (* (sin ky) (sin ky)) (pow (sin kx) 2)) (/ (* l l) Om) (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) (/ (pow (sin ky) 2) Om) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (* (* 2 (/ l Om)) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))))

prune2.3min (1.6%)

Memory: 36 542.7MiB live, 125 912.8MiB allocated
Counts: 1 164 109 → 36 455
Compiler: Compiled 3 550 052 to 1 525 422 computations (57% saved)

bsearch47.3s (0.5%)

Memory

8 507.1MiB live, 21 924.9MiB allocated

Algorithm

2 388×	binary-search
1 676×	left-value

Stop Event

2 309×	narrow-enough
79×	predicate-same

Samples

24.9s	171 177×	0	valid
4.6s	11 260×	1	valid
1.0s	10 196×	0	invalid
614.0ms	1 726×	2	valid
70.0ms	44×	1	invalid
34.0ms	109×	3	valid
17.0ms	165×	0	exit
0.0ms	3×	1	exit
0.0ms	1×	2	invalid

Compiler

Compiled 1 417 026 to 935 987 computations (33.9% saved)

Precisions

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

ival-mult: 6.0s (32.6% of total)

ival-sub: 2.1s (11.6% of total)

ival-add: 1.9s (10.3% of total)

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

ival-cos: 1.3s (6.8% of total)

ival-sin: 1.2s (6.8% of total)

ival-log: 593.0ms (3.2% of total)

ival-pow: 475.0ms (2.6% of total)

adjust: 473.0ms (2.6% of total)

ival-pow2: 431.0ms (2.3% of total)

ival-hypot: 301.0ms (1.6% of total)

ival-sqrt: 276.0ms (1.5% of total)

const: 268.0ms (1.5% of total)

ival-exp: 253.0ms (1.4% of total)

ival-tan: 205.0ms (1.1% of total)

ival-true: 191.0ms (1% of total)

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

ival-atan2: 150.0ms (0.8% of total)

exact: 117.0ms (0.6% of total)

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

ival-sinu: 112.0ms (0.6% of total)

ival-cosu: 96.0ms (0.5% of total)

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

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

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

ival-asin: 9.0ms (0% of total)

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

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

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

ival->=: 5.0ms (0% of total)

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

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

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

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

start20.0ms (0%)

Memory: 28.5MiB live, 28.5MiB allocated

end4.0ms (0%)

Memory: 4.2MiB live, 4.0MiB allocated

sample1.1hr (46.1%)

simplify14.6min (10%)

analyze11.8min (8.1%)

soundness10.2min (7%)

rewrite10.1min (6.9%)

explain6.8min (4.6%)

eval6.4min (4.4%)

localize5.6min (3.9%)

preprocess3.3min (2.3%)

regimes3.3min (2.3%)

series3.2min (2.2%)

prune2.3min (1.6%)

bsearch47.3s (0.5%)

start20.0ms (0%)

end4.0ms (0%)

Profiling