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

analyze2.2min (22.9%)

Memory

1 693.4MiB live, 47 869.1MiB 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)

sample2.1min (22%)

Memory

13 374.0MiB live, 58 761.4MiB allocated

Samples

1.5min	225 470×	0	valid
7.6s	66 762×	0	invalid
6.8s	22 892×	1	valid
3.7s	12 457×	1	invalid
2.5s	9 580×	2	valid
1.9s	6 242×	3	valid
302.0ms	1 848×	1	exit
138.0ms	521×	2	invalid
31.0ms	271×	0	exit
3.0ms	8×	4	valid
1.0ms	1×	5	exit

Precisions

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

ival-mult: 42.6s (43.1% of total)

ival-sqrt: 15.2s (15.3% of total)

ival-add: 9.5s (9.6% of total)

ival-cos: 8.3s (8.4% of total)

ival-div: 5.8s (5.9% of total)

ival-sub: 2.8s (2.8% of total)

ival-pow2: 2.3s (2.3% of total)

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

ival-sin: 1.8s (1.9% of total)

adjust: 1.7s (1.7% of total)

ival-pow: 1.7s (1.7% of total)

ival-tan: 990.0ms (1% of total)

ival-neg: 638.0ms (0.6% of total)

ival-acos: 468.0ms (0.5% of total)

ival-log: 408.0ms (0.4% of total)

exact: 374.0ms (0.4% of total)

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

const: 337.0ms (0.3% of total)

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

ival-hypot: 306.0ms (0.3% of total)

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

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

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

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

ival-atan: 69.0ms (0.1% of total)

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

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

Bogosity

simplify1.9min (19.9%)

Memory

6 623.6MiB live, 44 191.9MiB allocated

Algorithm

256×	egg-herbie

Stop Event

342×	iter limit
198×	node limit
58×	saturated

Counts

12 312 → 12 237

localize45.2s (7.8%)

Memory

4 120.7MiB live, 19 900.3MiB allocated

Samples

22.6s	20 992×	0	valid
2.4s	2 992×	1	valid
1.2s	1 144×	2	valid
1.0s	2 281×	0	invalid
797.0ms	715×	3	valid
691.0ms	247×	5	exit
195.0ms	601×	0	exit
112.0ms	163×	1	exit
54.0ms	27×	3	exit
25.0ms	18×	2	exit
4.0ms	4×	4	valid

Compiler

Compiled 86 211 to 10 157 computations (88.2% saved)

Precisions

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

ival-mult: 18.4s (71.6% of total)

ival-div: 1.7s (6.6% of total)

ival-add: 841.0ms (3.3% of total)

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

adjust: 572.0ms (2.2% of total)

ival-sqrt: 536.0ms (2.1% of total)

ival-sub: 443.0ms (1.7% of total)

ival-pow: 437.0ms (1.7% of total)

ival-pow2: 433.0ms (1.7% of total)

ival-sin: 286.0ms (1.1% of total)

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

ival-exp: 218.0ms (0.8% of total)

ival-acos: 175.0ms (0.7% of total)

const: 140.0ms (0.5% of total)

ival-log: 126.0ms (0.5% of total)

ival-tan: 106.0ms (0.4% of total)

exact: 84.0ms (0.3% of total)

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

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

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

ival-true: 36.0ms (0.1% of total)

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

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

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

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

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

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

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

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

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

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

series39.8s (6.9%)

Memory

2 118.1MiB live, 15 891.7MiB allocated

Counts

2 139 → 12 312

Calls

1092 calls:

Time	Variable		Point	Expression
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.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)))))
1.3s	Om	@	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)))))
188.0ms	f	@	-inf	((pow (/ 4 (PI)) 1/2) (* (pow (/ 4 (PI)) 1/2) (* (pow (/ 4 (PI)) 1/2) (log (tanh (* f (* 1/4 (PI))))))) (/ 4 (PI)) (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))))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (log (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (log (/ 1 (tanh (* f (* 1/4 (PI)))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ 1 (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) (* f (* 1/4 (PI))) (* (pow (/ 4 (PI)) 1/2) (log (tanh (* f (* 1/4 (PI)))))) (log (tanh (* f (* 1/4 (PI))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (* (/ 1 (/ (PI) 4)) (log (/ 1 (tanh (* f (* 1/4 (PI))))))) (/ 1 (tanh (* f (* 1/4 (PI))))) (log (* (sinh (* f (* 1/4 (PI)))) 2)))

soundness33.1s (5.7%)

Memory

537.9MiB live, 6 692.7MiB allocated

Stop Event

256×	iter limit
171×	node limit
28×	fuel

Compiler

Compiled 65 928 to 26 798 computations (59.4% saved)

rewrite25.7s (4.4%)

Memory

5 003.4MiB live, 13 958.4MiB allocated

Stop Event

229×	iter limit
114×	node limit

Counts

2 114 → 81 606

regimes16.1s (2.8%)

Memory

4 949.4MiB live, 10 476.9MiB allocated

Counts

11 770 → 800

Calls

123 calls:

789.0ms	l
584.0ms	d
524.0ms	t
496.0ms	(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) #s(literal 2 binary64)) (pow.f64 (sin.f64 ky) #s(literal 2 binary64)))))
462.0ms	k

Compiler

Compiled 10 014 to 10 721 computations (-7.1% saved)

eval14.7s (2.5%)

Memory: 5 750.1MiB live, 12 217.6MiB allocated
Compiler: Compiled 4 050 399 to 384 093 computations (90.5% saved)

explain10.0s (1.7%)

Memory

2 772.0MiB live, 7 055.4MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	454	1
`cos.f64`	`#f`	sensitivity	450	1
`+.f64`	`#f`	nan-rescue	390	0
`sqrt.f64`	`#f`	oflow-rescue	345	0
`*.f64`	`#f`	*no**	263	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	252	1
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	129	0
`*.f64`	`#f`	*uo**	126	0
`-.f64`	`#f`	nan-rescue	124	0
`+.f64`	`#f`	cancellation	118	0
`*.f64`	`#f`	*nu**	107	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	98	22
`sqrt.f64`	`#f`	uflow-rescue	84	0
`/.f64`	`#f`	u/u	63	0
`/.f64`	`#f`	o/o	62	0
`*.f64`	`#f`	*ou**	58	0
`pow.f64`	`#f`	uflow-rescue	56	0
`/.f64`	`#f`	o/n	52	0
`/.f64`	`#f`	n/o	40	0
`/.f64`	`#f`	n/u	24	0
`/.f64`	`#f`	u/n	16	0
`+.f64`	`(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))`	oflow-left	4	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	4	1
`exp.f64`	`#f`	sensitivity	3	0
`cos.f64`	`(cos.f64 (/.f64 K #s(literal 2 binary64)))`	cancelation	1	0

Confusion

	Predicted +	Predicted -
+	1642	182
-	1191	4409

Precision

0.5795975997176138

Recall

0.9002192982456141

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1642	1	181
-	1191	26	4383

Precision?

0.5744755244755245

Recall?

0.9007675438596491

Freqs

test

number	freq
0	4591
1	2399
2	382
3	48
4	4

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	24	0	0
-	1	0	4

Precision?

0.96

Recall?

1.0

Samples

1.8s	12 373×	0	valid
506.0ms	1 590×	1	valid
189.0ms	536×	2	valid
148.0ms	378×	3	valid
1.0ms	2×	4	valid

Compiler

Compiled 13 686 to 3 803 computations (72.2% saved)

Precisions

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

ival-mult: 427.0ms (23.7% of total)

ival-div: 254.0ms (14.1% of total)

ival-sin: 144.0ms (8% of total)

ival-sub: 129.0ms (7.2% of total)

ival-add: 124.0ms (6.9% of total)

ival-pow2: 94.0ms (5.2% of total)

adjust: 94.0ms (5.2% of total)

ival-exp: 91.0ms (5.1% of total)

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

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

ival-tan: 69.0ms (3.8% of total)

ival-cos: 61.0ms (3.4% of total)

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

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

exact: 22.0ms (1.2% of total)

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

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

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

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

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

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

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

const: 0.0ms (0% of total)

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

preprocess8.2s (1.4%)

Memory

1 674.9MiB live, 3 957.3MiB allocated

Algorithm

29×	egg-herbie

Stop Event

58×	iter limit
39×	node limit
19×	saturated

Compiler

Compiled 85 577 to 18 013 computations (79% saved)

prune6.1s (1%)

Memory: 3 627.3MiB live, 6 490.6MiB allocated
Counts: 93 176 → 2 936
Compiler: Compiled 253 924 to 131 777 computations (48.1% saved)

bsearch5.0s (0.9%)

Memory

1 115.8MiB live, 2 252.9MiB allocated

Algorithm

244×	binary-search
206×	left-value

Stop Event

232×	narrow-enough
12×	predicate-same

Samples

2.4s	15 947×	0	valid
559.0ms	4 187×	0	invalid
82.0ms	357×	1	valid
70.0ms	44×	1	invalid
41.0ms	131×	2	valid
11.0ms	29×	3	valid
0.0ms	1×	2	invalid

Compiler

Compiled 169 510 to 119 691 computations (29.4% saved)

Precisions

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

ival-mult: 627.0ms (26.2% of total)

ival-div: 453.0ms (18.9% of total)

ival-pow: 274.0ms (11.4% of total)

ival-add: 228.0ms (9.5% of total)

ival-sin: 151.0ms (6.3% of total)

ival-pow2: 145.0ms (6.1% of total)

ival-sub: 137.0ms (5.7% of total)

ival-tan: 124.0ms (5.2% of total)

ival-neg: 89.0ms (3.7% of total)

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

exact: 28.0ms (1.2% of total)

adjust: 22.0ms (0.9% of total)

ival-true: 22.0ms (0.9% of total)

ival-sqrt: 21.0ms (0.9% of total)

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

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

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

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

start1.0ms (0%)

Memory: 1.6MiB live, 1.6MiB allocated

end0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated

analyze2.2min (22.9%)

sample2.1min (22%)

simplify1.9min (19.9%)

localize45.2s (7.8%)

series39.8s (6.9%)

soundness33.1s (5.7%)

rewrite25.7s (4.4%)

regimes16.1s (2.8%)

eval14.7s (2.5%)

explain10.0s (1.7%)

preprocess8.2s (1.4%)

prune6.1s (1%)

bsearch5.0s (0.9%)

start1.0ms (0%)

end0.0ms (0%)

Profiling