Metrics for Herbie run

Date:	Wednesday, October 30th, 2024
Commit:	aeaf0403 on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024304
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

sample5.1min (41.9%)

Memory

11 331.1MiB live, 123 311.9MiB allocated

Samples

1.6min	218 400×	0	valid
1.3min	60 735×	0	invalid
17.6s	5 091×	3	valid
17.5s	8 048×	2	valid
6.1s	21 927×	1	valid
4.1s	12 445×	1	invalid
292.0ms	1 846×	1	exit
124.0ms	490×	2	invalid
24.0ms	213×	0	exit
1.0ms	2×	5	exit
1.0ms	2×	3	exit

Precisions

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

ival-mult: 1.5min (48.4% of total)

ival-div: 35.8s (19.8% of total)

ival-pow2: 25.6s (14.2% of total)

ival-sub: 9.5s (5.3% of total)

ival-sqrt: 8.2s (4.5% of total)

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

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

adjust: 1.7s (0.9% of total)

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

ival-pow: 1.4s (0.8% of total)

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

ival-neg: 652.0ms (0.4% of total)

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

ival-cos: 616.0ms (0.3% of total)

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

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

const: 330.0ms (0.2% of total)

exact: 327.0ms (0.2% of total)

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

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

ival-tanu: 221.0ms (0.1% of total)

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

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

ival-fabs: 81.0ms (0% of total)

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

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

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

Bogosity

analyze2.0min (16.4%)

Memory

1 360.9MiB live, 43 716.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)

simplify1.3min (10.8%)

Memory

5 860.8MiB live, 31 725.7MiB allocated

Algorithm

242×	egg-herbie

Stop Event

324×	iter limit
187×	node limit
55×	saturated

Counts

11 316 → 11 242

localize1.2min (10.2%)

Memory

3 635.0MiB live, 30 027.5MiB allocated

Samples

22.2s	20 732×	0	valid
21.5s	3 367×	1	valid
854.0ms	892×	2	valid
708.0ms	603×	3	valid
682.0ms	1 717×	0	invalid
286.0ms	16×	5	exit
108.0ms	288×	0	exit
54.0ms	30×	3	exit
4.0ms	3×	2	exit

Compiler

Compiled 82 556 to 9 594 computations (88.4% saved)

Precisions

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

ival-sqrt: 10.7s (39.9% of total)

ival-pow2: 8.1s (30.2% of total)

ival-mult: 2.6s (9.6% of total)

ival-div: 1.3s (4.8% of total)

ival-add: 779.0ms (2.9% of total)

adjust: 479.0ms (1.8% of total)

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

ival-sub: 417.0ms (1.6% of total)

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

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

ival-exp: 274.0ms (1% of total)

ival-sin: 214.0ms (0.8% of total)

ival-neg: 191.0ms (0.7% of total)

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

const: 110.0ms (0.4% of total)

ival-tan: 82.0ms (0.3% of total)

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

exact: 75.0ms (0.3% of total)

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

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

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

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

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

ival-tanu: 25.0ms (0.1% of total)

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

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

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

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

series52.1s (7.1%)

Memory

2 070.8MiB live, 20 625.4MiB allocated

Counts

2 054 → 11 677

Calls

1008 calls:

Time	Variable		Point	Expression
13.3s	kx	@	-inf	((* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))) (- 1/2 (* 1/2 (cos (* 2 ky)))) (sqrt (* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (sqrt 1/2)) (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (+ (* (/ Om (* (sin ky) l)) 1/4) 1) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (sqrt 1/2)) (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (+ (* (/ Om (* (sin ky) l)) -1/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))))))) (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)))))))) (+ (/ 1/2 (sqrt (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1))) 1/2) (/ 1/2 (sqrt (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))) (/ Om (* (sin ky) l)) (/ Om (* ky l)) (/ Om (* (sin ky) l)) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* 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 (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1)) (/ (* (sin kx) l) Om) (pow (/ (* (sin kx) l) Om) 2))
10.2s	l	@	-inf	((* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))) (- 1/2 (* 1/2 (cos (* 2 ky)))) (sqrt (* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (sqrt 1/2)) (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (+ (* (/ Om (* (sin ky) l)) 1/4) 1) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (sqrt 1/2)) (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (+ (* (/ Om (* (sin ky) l)) -1/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))))))) (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)))))))) (+ (/ 1/2 (sqrt (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1))) 1/2) (/ 1/2 (sqrt (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))) (/ Om (* (sin ky) l)) (/ Om (* ky l)) (/ Om (* (sin ky) l)) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* 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 (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1)) (/ (* (sin kx) l) Om) (pow (/ (* (sin kx) l) Om) 2))
7.1s	Om	@	-inf	((* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))) (- 1/2 (* 1/2 (cos (* 2 ky)))) (sqrt (* 1/2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (sqrt 1/2)) (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (+ (* (/ Om (* (sin ky) l)) 1/4) 1) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (sqrt 1/2)) (sqrt (+ (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1)) (+ (* (/ Om (* (sin ky) l)) -1/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))))))) (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)))))))) (+ (/ 1/2 (sqrt (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1))) 1/2) (/ 1/2 (sqrt (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))) (/ Om (* (sin ky) l)) (/ Om (* ky l)) (/ Om (* (sin ky) l)) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (* 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 (+ (* (pow (/ (* (sin kx) l) Om) 2) 4) 1)) (/ (* (sin kx) l) Om) (pow (/ (* (sin kx) l) Om) 2))
145.0ms	f	@	inf	((/ 1 (/ (PI) 4)) (log (/ 1 (tanh (* f (* 1/4 (PI)))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ 1 (tanh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (log (/ 1 (tanh (* f (* 1/4 (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) (* (sqrt (PI)) (sqrt (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))))))) (/ 1 (/ (* 1/4 (PI)) (log (tanh (* f (* 1/4 (PI))))))) (/ (* 1/4 (PI)) (log (tanh (* f (* 1/4 (PI)))))) (* 1/4 (PI)) (PI) (/ 1 (/ (* 1/4 (* (sqrt (PI)) (sqrt (PI)))) (log (tanh (* f (* 1/4 (PI))))))) (/ (* 1/4 (* (sqrt (PI)) (sqrt (PI)))) (log (tanh (* f (* 1/4 (PI)))))) (* 1/4 (* (sqrt (PI)) (sqrt (PI)))) (/ 1 (tanh (* f (* 1/4 (PI))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (sqrt (PI)) (log (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))))
138.0ms	kx	@	inf	((* (/ (sin th) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (sin ky)) (/ (sin th) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (sin th) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin th)) (sin th) (* -1/6 (* th th)) (* th th) (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin th)) (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (/ ky (sin kx)) (sin kx) (- 1/2 (* (cos (* 2 kx)) 1/2)) (* (/ (sin ky) (sqrt (+ (- 1/2 (* (cos (* 2 kx)) 1/2)) (pow (sin ky) 2)))) (sin th)) (/ (sin ky) (sqrt (+ (- 1/2 (* (cos (* 2 kx)) 1/2)) (pow (sin ky) 2)))) (sin ky) (* (/ (sin ky) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (sin th)) (/ (sin ky) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx))))) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))) (+ (* (* -1/6 (* th th)) th) th) (pow (sin ky) 2) (sqrt (+ (- 1/2 (* (cos (* 2 kx)) 1/2)) (pow (sin ky) 2))) (sin kx) (+ (* 1/120 (* kx kx)) -1/6))

soundness26.4s (3.6%)

Memory

271.5MiB live, 5 978.8MiB allocated

Stop Event

213×	iter limit
144×	node limit
26×	fuel

Compiler

Compiled 55 112 to 21 901 computations (60.3% saved)

rewrite19.7s (2.7%)

Memory

4 905.4MiB live, 11 267.8MiB allocated

Stop Event

216×	iter limit
107×	node limit

Counts

2 021 → 80 755

eval14.1s (1.9%)

Memory: 5 603.7MiB live, 12 129.5MiB allocated
Compiler: Compiled 3 894 574 to 364 308 computations (90.6% saved)

regimes13.6s (1.9%)

Memory

4 135.3MiB live, 9 590.8MiB allocated

Counts

9 976 → 617

Calls

117 calls:

507.0ms	l
473.0ms	t
426.0ms	F
384.0ms	x
310.0ms	(+.f64 (/.f64 NdChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 #s(literal 1 binary64) (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Compiler

Compiled 8 965 to 9 487 computations (-5.8% saved)

explain9.4s (1.3%)

Memory

2 332.0MiB live, 5 922.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	462	2
`+.f64`	`#f`	nan-rescue	392	0
`sqrt.f64`	`#f`	oflow-rescue	343	0
`-.f64`	`#f`	cancellation	335	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	252	1
`*.f64`	`#f`	*no**	196	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	136	0
`+.f64`	`#f`	cancellation	103	0
`-.f64`	`#f`	nan-rescue	90	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	88	29
`*.f64`	`#f`	*nu**	77	0
`sqrt.f64`	`#f`	uflow-rescue	62	0
`*.f64`	`#f`	*uo**	59	0
`/.f64`	`#f`	o/o	49	0
`pow.f64`	`#f`	uflow-rescue	41	0
`/.f64`	`#f`	o/n	34	0
`*.f64`	`#f`	*ou**	33	0
`/.f64`	`#f`	n/o	32	0
`/.f64`	`#f`	n/u	28	0
`/.f64`	`#f`	u/u	26	0
`/.f64`	`#f`	u/n	12	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	9	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	8	0
`exp.f64`	`#f`	sensitivity	3	2

Confusion

	Predicted +	Predicted -
+	1325	141
-	1163	4283

Precision

0.532556270096463

Recall

0.9038199181446112

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1325	1	140
-	1163	33	4250

Precision?

0.5257731958762887

Recall?

0.9045020463847203

Freqs

test

number	freq
0	4424
1	2162
2	280
3	36
4	10

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	21	0	0
-	2	0	4

Precision?

0.9130434782608695

Recall?

1.0

Samples

1.6s	11 605×	0	valid
501.0ms	1 512×	1	valid
145.0ms	418×	2	valid
110.0ms	302×	3	valid

Compiler

Compiled 12 577 to 3 510 computations (72.1% saved)

Precisions

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

ival-mult: 343.0ms (21.7% of total)

ival-div: 231.0ms (14.6% of total)

ival-add: 139.0ms (8.8% of total)

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

ival-sub: 110.0ms (7% of total)

ival-exp: 87.0ms (5.5% of total)

adjust: 81.0ms (5.1% of total)

ival-pow2: 77.0ms (4.9% of total)

ival-sqrt: 72.0ms (4.6% of total)

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

ival-cos: 58.0ms (3.7% of total)

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

ival-tan: 34.0ms (2.2% of total)

ival-acos: 29.0ms (1.8% of total)

ival-log: 19.0ms (1.2% of total)

exact: 19.0ms (1.2% of total)

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

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

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

ival-assert: 8.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)

preprocess7.7s (1%)

Memory

1 669.0MiB live, 3 599.8MiB allocated

Algorithm

27×	egg-herbie

Stop Event

54×	iter limit
35×	node limit
19×	saturated

Compiler

Compiled 72 782 to 19 405 computations (73.3% saved)

prune5.8s (0.8%)

Memory: 3 319.7MiB live, 6 285.8MiB allocated
Counts: 90 144 → 2 699
Compiler: Compiled 230 526 to 119 362 computations (48.2% saved)

bsearch3.0s (0.4%)

Memory

644.4MiB live, 1 644.3MiB allocated

Algorithm

169×	binary-search
167×	left-value

Stop Event

162×	narrow-enough
7×	predicate-same

Samples

1.6s	11 368×	0	valid
137.0ms	1 135×	0	invalid
114.0ms	269×	1	valid
10.0ms	54×	1	invalid
3.0ms	11×	2	valid

Compiler

Compiled 106 700 to 76 939 computations (27.9% saved)

Precisions

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

ival-mult: 278.0ms (19.7% of total)

ival-div: 264.0ms (18.7% of total)

ival-add: 153.0ms (10.8% of total)

ival-pow: 138.0ms (9.8% of total)

ival-sin: 121.0ms (8.6% of total)

ival-tan: 105.0ms (7.4% of total)

ival-sub: 91.0ms (6.4% of total)

ival-pow2: 58.0ms (4.1% of total)

ival-neg: 47.0ms (3.3% of total)

ival-sqrt: 41.0ms (2.9% of total)

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

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

exact: 16.0ms (1.1% of total)

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

adjust: 11.0ms (0.8% of total)

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

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

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

start1.0ms (0%)

Memory: 3.5MiB live, 1.7MiB allocated

end0.0ms (0%)

Memory: 0.2MiB live, 0.1MiB allocated

sample5.1min (41.9%)

analyze2.0min (16.4%)

simplify1.3min (10.8%)

localize1.2min (10.2%)

series52.1s (7.1%)

soundness26.4s (3.6%)

rewrite19.7s (2.7%)

eval14.1s (1.9%)

regimes13.6s (1.9%)

explain9.4s (1.3%)

preprocess7.7s (1%)

prune5.8s (0.8%)

bsearch3.0s (0.4%)

start1.0ms (0%)

end0.0ms (0%)

Profiling