Metrics for Herbie run

Date:	Monday, December 2nd, 2024
Commit:	a3fa83c3 on main
Hostname:	nightly with Racket 8.10
Seed:	2024337
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
Memory:	369 500.3 MB

sample1.5min (26.3%)

Memory

1 102.5MiB live, 100 648.6MiB allocated

Samples

38.1s	225 616×	0	valid
9.6s	65 100×	0	invalid
6.9s	22 789×	1	valid
4.4s	12 364×	1	invalid
3.9s	9 543×	2	valid
2.8s	6 241×	3	valid
836.0ms	1 893×	1	exit
195.0ms	537×	2	invalid
27.0ms	206×	0	exit
1.0ms	3×	4	valid
1.0ms	1×	5	exit

Precisions

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

ival-mult: 12.5s (24.6% of total)

ival-div: 7.3s (14.5% of total)

ival-sub: 4.5s (8.9% of total)

ival-pow2: 3.0s (6% of total)

ival-sqrt: 2.9s (5.8% of total)

ival-add: 2.9s (5.7% of total)

adjust: 2.9s (5.6% of total)

ival-sin: 2.6s (5.1% of total)

ival-exp: 2.4s (4.8% of total)

ival-pow: 2.2s (4.3% of total)

ival-tan: 1.3s (2.6% of total)

ival-cos: 1.1s (2.2% of total)

ival-pi: 945.0ms (1.9% of total)

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

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

const: 510.0ms (1% of total)

ival-hypot: 505.0ms (1% of total)

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

exact: 343.0ms (0.7% of total)

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

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

ival-tanu: 172.0ms (0.3% of total)

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

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

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

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

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

Bogosity

simplify52.8s (15.7%)

Memory

480.3MiB live, 51 582.6MiB allocated

Algorithm

288×	egg-herbie

Stop Event

386×	iter limit
266×	node limit
21×	saturated
1×	unsound

Counts

15 013 → 14 946

soundness42.7s (12.7%)

Memory

-22.2MiB live, 32 726.3MiB allocated

Stop Event

274×	iter limit
182×	node limit
32×	fuel

Compiler

Compiled 67 399 to 27 746 computations (58.8% saved)

rewrite28.9s (8.6%)

Memory

491.6MiB live, 31 260.6MiB allocated

Stop Event

263×	iter limit
128×	node limit

Counts

2 467 → 70 213

localize26.8s (8%)

Memory

221.1MiB live, 32 062.5MiB allocated

Samples

10.0s	22 471×	0	valid
5.7s	5 137×	1	valid
2.4s	1 689×	2	valid
1.4s	770×	3	valid
1.3s	2 422×	0	invalid
76.0ms	188×	0	exit
35.0ms	10×	5	exit
24.0ms	43×	1	exit
18.0ms	35×	2	exit
4.0ms	2×	4	exit
2.0ms	1×	4	valid

Compiler

Compiled 49 634 to 5 511 computations (88.9% saved)

Precisions

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

ival-mult: 4.7s (29.5% of total)

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

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

adjust: 1.1s (7% of total)

ival-pow: 826.0ms (5.2% of total)

ival-sqrt: 712.0ms (4.5% of total)

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

ival-cos: 594.0ms (3.8% of total)

ival-tan: 536.0ms (3.4% of total)

ival-pow2: 523.0ms (3.3% of total)

ival-sin: 353.0ms (2.2% of total)

ival-exp: 327.0ms (2.1% of total)

ival-log: 305.0ms (1.9% of total)

ival-acos: 207.0ms (1.3% of total)

ival-asin: 159.0ms (1% of total)

const: 143.0ms (0.9% of total)

ival-neg: 134.0ms (0.8% of total)

ival-hypot: 103.0ms (0.7% of total)

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

exact: 69.0ms (0.4% of total)

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

ival-tanu: 41.0ms (0.3% of total)

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

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

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

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

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

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

ival-asinh: 11.0ms (0.1% of total)

eval19.8s (5.9%)

Memory: 161.0MiB live, 25 625.3MiB allocated
Compiler: Compiled 4 622 451 to 411 159 computations (91.1% saved)

regimes18.7s (5.6%)

Memory

534.7MiB live, 25 831.1MiB allocated

Counts

11 022 → 776

Calls

156 calls:

1.2s	l
659.0ms	t
644.0ms	k
430.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)))))
398.0ms	F

Compiler

Compiled 12 467 to 12 898 computations (-3.5% saved)

series14.1s (4.2%)

Memory

57.6MiB live, 15 240.8MiB allocated

Counts

2 467 → 15 013

Calls

1200 calls:

Time	Variable		Point	Expression
522.0ms	a1	@	0	((/ (+ (* (* (* (cos th) a2) a2) (sqrt 2)) (* (sqrt 2) (* (* (cos th) a1) a1))) 2) (* (* (* 1/2 (cos th)) (sqrt 2)) (+ (* a1 a1) (* a2 a2))) (* (* 1/2 (cos th)) (sqrt 2)) (* 1/2 (cos th)) (+ (* (/ (cos th) (sqrt 2)) (* a1 a1)) (* (/ (cos th) (sqrt 2)) (* a2 a2))) (/ (+ (* (* a2 a2) (sqrt 2)) (* (sqrt 2) (* a1 a1))) 2) (* (* (* 1/2 (sqrt 2)) a1) a1) (* (* 1/2 (sqrt 2)) a1) (/ (+ (* (* (* (cos th) a2) a2) (sqrt 2)) (* (sqrt 2) (* (* (cos th) a1) a1))) 2) (* (* 1/2 (sqrt 2)) (+ (* a1 a1) (* a2 a2))) (* 1/2 (sqrt 2)) (sqrt 2) (* (+ (* a2 a2) (* a1 a1)) (/ (cos th) (sqrt 2))) (+ (* a2 a2) (* a1 a1)) (* a1 a1) (/ (cos th) (sqrt 2)) (* (neg (sqrt 2)) (sqrt 2)) (+ (* (* (neg a1) a1) (sqrt 2)) (* (neg (sqrt 2)) (* a2 a2))) (/ (+ (* (* (neg a1) a1) (sqrt 2)) (* (neg (sqrt 2)) (* a2 a2))) (* (neg (sqrt 2)) (sqrt 2))) (+ (* (/ (cos th) (sqrt 2)) (* a1 a1)) (* (/ (cos th) (sqrt 2)) (* a2 a2))) (+ (* a1 a1) (* a2 a2)) (cos th) (+ (* (* th th) -1/2) 1) (* (neg (sqrt 2)) (* a2 a2)))
499.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))))))) (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16)) (* (* f 2) (* (* (* -1/2 (PI)) (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16))) (/ f (PI)))) (+ (* (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)) -4) (* (* f 2) (* (* (* -1/2 (PI)) (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16))) (/ f (PI))))) (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) (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))))) (/ (/ 2 (* 1/2 (PI))) f) (log (/ 2 (* 1/2 (PI)))) (* (* -1/2 (PI)) (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16))) (* (* (* (PI) 2) 2) 1/192) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f))))) (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) (pow (exp f) (/ (PI) 4)))
388.0ms	Om	@	inf	((* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (/ 1 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))))))))) (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)))))) (pow (sin ky) 2))
201.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))))))) (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16)) (* (* f 2) (* (* (* -1/2 (PI)) (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16))) (/ f (PI)))) (+ (* (/ (- (log (/ 2 (* 1/2 (PI)))) (log f)) (PI)) -4) (* (* f 2) (* (* (* -1/2 (PI)) (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16))) (/ f (PI))))) (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) (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))))) (/ (/ 2 (* 1/2 (PI))) f) (log (/ 2 (* 1/2 (PI)))) (* (* -1/2 (PI)) (+ (* (* (* (* (PI) 2) 2) 1/192) -2) (* (* (PI) 2) 1/16))) (* (* (* (PI) 2) 2) 1/192) (- (log (* (cosh (* (/ (PI) -4) f)) 2)) (log (* -2 (sinh (* (/ (PI) -4) f))))) (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (+ (cosh (* (/ (PI) -4) f)) (pow (exp f) (/ (PI) 4))) (* -2 (sinh (* (/ (PI) -4) f)))) (pow (exp f) (/ (PI) 4)))
151.0ms	EAccept	@	-inf	((+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (+ (/ NdChar (+ (exp (/ (- (+ EDonor Vef) Ec) KbT)) 1)) (/ NaChar (+ (exp (/ (+ (+ Ev Vef) EAccept) KbT)) 1))) (/ NdChar (+ (exp (/ (- (+ EDonor Vef) Ec) KbT)) 1)) (+ (exp (/ (- (+ EDonor Vef) Ec) KbT)) 1) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (* 1/2 (+ NaChar NdChar)) (* 1/2 NdChar) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (/ NaChar (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1)) (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1) (+ 2 (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) (+ (/ (+ Ev Vef) (* EAccept KbT)) (/ 1 KbT)) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (/ NaChar (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1)) (+ (exp (/ (- (+ (+ Ev Vef) EAccept) mu) KbT)) 1) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (+ (/ NdChar (+ (exp (/ (- (+ EDonor Vef) Ec) KbT)) 1)) (/ NaChar (+ (exp (/ (+ (+ Ev Vef) EAccept) KbT)) 1))) (/ (+ (+ Ev Vef) EAccept) KbT) (exp (/ (+ (+ Ev Vef) EAccept) KbT)) (/ (- (+ EDonor Vef) Ec) KbT) (/ (- (+ (+ Ev Vef) EAccept) mu) KbT) (/ (- (+ EAccept Vef) mu) KbT) (* (- (+ (/ (+ Ev Vef) (* EAccept KbT)) (/ 1 KbT)) (/ mu (* EAccept KbT))) EAccept) (/ mu (* EAccept KbT)) (exp (/ (+ (+ Ev Vef) EAccept) KbT)) (/ (+ EAccept (+ Ev Vef)) KbT))

analyze10.5s (3.1%)

Memory

106.6MiB live, 13 323.2MiB 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)

explain10.5s (3.1%)

Memory

-149.0MiB live, 12 071.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	494	0
`-.f64`	`#f`	cancellation	482	0
`cos.f64`	`#f`	sensitivity	427	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	254	1
`+.f64`	`#f`	nan-rescue	248	0
`*.f64`	`#f`	*no**	229	0
`sqrt.f64`	`#f`	uflow-rescue	166	0
`pow.f64`	`#f`	oflow-rescue	141	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	131	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	130	0
`*.f64`	`#f`	*uo**	116	0
`-.f64`	`#f`	nan-rescue	108	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	94	34
`/.f64`	`#f`	o/o	77	0
`pow.f64`	`#f`	uflow-rescue	58	0
`+.f64`	`#f`	cancellation	58	0
`*.f64`	`#f`	*nu**	56	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	55	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	55
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	55
↳	`(*.f64 K (+.f64 m n))`	overflow	55
`*.f64`	`#f`	*ou**	54	0
`/.f64`	`#f`	u/u	53	0
`/.f64`	`#f`	o/n	48	0
`/.f64`	`#f`	n/u	40	0
`/.f64`	`#f`	n/o	32	0
`/.f64`	`#f`	u/n	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	5	0
`exp.f64`	`#f`	sensitivity	4	4

Confusion

	Predicted +	Predicted -
+	1968	34
-	1153	5037

Precision

0.6305671259211791

Recall

0.983016983016983

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1968	3	31
-	1153	36	5001

Precision?

0.6237341772151899

Recall?

0.9845154845154845

Freqs

test

number	freq
0	5071
1	2725
2	350
3	41
4	4
5	1

Total Confusion?

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

Precision?

0.9615384615384616

Recall?

1.0

Samples

2.2s	13 274×	0	valid
1.1s	2 030×	1	valid
253.0ms	688×	2	valid
148.0ms	384×	3	valid
4.0ms	8×	5	exit

Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions

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

ival-mult: 543.0ms (22% of total)

ival-div: 301.0ms (12.2% of total)

ival-sub: 292.0ms (11.8% of total)

ival-cos: 183.0ms (7.4% of total)

ival-pow2: 148.0ms (6% of total)

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

adjust: 125.0ms (5.1% of total)

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

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

ival-exp: 103.0ms (4.2% of total)

ival-neg: 94.0ms (3.8% of total)

ival-pow: 72.0ms (2.9% of total)

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

ival-log: 40.0ms (1.6% of total)

ival-hypot: 35.0ms (1.4% of total)

ival-pi: 33.0ms (1.3% of total)

ival-acos: 26.0ms (1.1% of total)

exact: 19.0ms (0.8% of total)

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

const: 12.0ms (0.5% of total)

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

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

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

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

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

preprocess10.0s (3%)

Memory

355.0MiB live, 10 713.2MiB allocated

Algorithm

32×	egg-herbie

Stop Event

64×	iter limit
52×	node limit
12×	saturated

Compiler

Compiled 83 031 to 17 011 computations (79.5% saved)

prune7.7s (2.3%)

Memory: -517.3MiB live, 12 148.7MiB allocated
Counts: 91 363 → 3 157
Compiler: Compiled 299 191 to 149 473 computations (50% saved)

bsearch5.5s (1.6%)

Memory

-190.4MiB live, 6 257.0MiB allocated

Algorithm

222×	binary-search
192×	left-value

Stop Event

202×	narrow-enough
20×	predicate-same

Samples

3.0s	15 350×	0	valid
362.0ms	2 378×	0	invalid
117.0ms	403×	1	valid
40.0ms	101×	2	valid
11.0ms	18×	3	valid
11.0ms	58×	1	invalid
2.0ms	7×	2	invalid

Compiler

Compiled 156 426 to 103 930 computations (33.6% saved)

Precisions

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

ival-div: 583.0ms (23% of total)

ival-mult: 554.0ms (21.9% of total)

ival-add: 267.0ms (10.5% of total)

ival-pow: 193.0ms (7.6% of total)

ival-sin: 182.0ms (7.2% of total)

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

ival-tan: 160.0ms (6.3% of total)

ival-pow2: 151.0ms (6% of total)

ival-neg: 56.0ms (2.2% of total)

ival-exp: 54.0ms (2.1% of total)

ival-sqrt: 33.0ms (1.3% of total)

adjust: 25.0ms (1% of total)

ival-cos: 24.0ms (0.9% of total)

exact: 18.0ms (0.7% of total)

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

const: 11.0ms (0.4% of total)

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

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

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

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

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

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

start3.0ms (0%)

Memory: 9.0MiB live, 9.0MiB allocated

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

sample1.5min (26.3%)

simplify52.8s (15.7%)

soundness42.7s (12.7%)

rewrite28.9s (8.6%)

localize26.8s (8%)

eval19.8s (5.9%)

regimes18.7s (5.6%)

series14.1s (4.2%)

analyze10.5s (3.1%)

explain10.5s (3.1%)

preprocess10.0s (3%)

prune7.7s (2.3%)

bsearch5.5s (1.6%)

start3.0ms (0%)

end0.0ms (0%)

Profiling