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.4min (23%)

Memory

799.7MiB live, 99 535.1MiB allocated

Samples

56.1s	262 512×	0	valid
2.4s	7 763×	1	valid
1.9s	11 304×	0	invalid
846.0ms	2 173×	2	valid
325.0ms	1 608×	1	exit
290.0ms	643×	1	invalid

Precisions

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

ival-mult: 9.8s (19.6% of total)

const: 8.1s (16.2% of total)

ival-<=: 6.2s (12.3% of total)

ival-div: 4.1s (8.1% of total)

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

ival-fabs: 2.3s (4.5% of total)

ival-sub: 1.9s (3.8% of total)

ival-sqrt: 1.6s (3.3% of total)

ival-log: 1.5s (2.9% of total)

ival-and: 1.2s (2.4% of total)

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

ival-exp: 966.0ms (1.9% of total)

ival-pow: 917.0ms (1.8% of total)

ival-sinu: 693.0ms (1.4% of total)

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

ival-pow2: 601.0ms (1.2% of total)

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

adjust: 544.0ms (1.1% of total)

exact: 472.0ms (0.9% of total)

ival-cosu: 432.0ms (0.9% of total)

ival-log1p: 425.0ms (0.8% of total)

ival-asin: 393.0ms (0.8% of total)

ival-cos: 383.0ms (0.8% of total)

ival-tan: 381.0ms (0.8% of total)

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

ival-pi: 312.0ms (0.6% of total)

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

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

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

ival-if: 228.0ms (0.5% of total)

ival-<: 210.0ms (0.4% of total)

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

ival-==: 121.0ms (0.2% of total)

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

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

ival->=: 63.0ms (0.1% of total)

ival-true: 23.0ms (0% of total)

Bogosity

regimes46.7s (12.8%)

Memory

373.0MiB live, 58 594.6MiB allocated

Counts

19 781 → 366

Calls

136 calls:

1.7s	x
1.7s	s
1.6s	u
1.1s	cosTheta_i
1.1s	v

Compiler

Compiled 20 662 to 13 699 computations (33.7% saved)

simplify40.0s (10.9%)

Memory

474.3MiB live, 40 431.9MiB allocated

Algorithm

248×	egg-herbie

Stop Event

337×	iter limit
173×	node limit
69×	saturated
6×	unsound

Counts

11 093 → 11 022

soundness34.3s (9.4%)

Memory

248.9MiB live, 23 228.3MiB allocated

Stop Event

257×	iter limit
166×	node limit
27×	fuel
2×	unsound
1×	done

Compiler

Compiled 58 598 to 16 742 computations (71.4% saved)

eval33.9s (9.3%)

Memory: -24.4MiB live, 46 801.1MiB allocated
Compiler: Compiled 22 637 829 to 501 528 computations (97.8% saved)

rewrite23.8s (6.5%)

Memory

-49.5MiB live, 26 943.3MiB allocated

Stop Event

237×	iter limit
103×	node limit
7×	unsound

Counts

2 055 → 72 050

localize23.6s (6.5%)

Memory

-60.4MiB live, 30 223.4MiB allocated

Samples

10.5s	22 964×	0	valid
2.1s	2 830×	0	invalid
1.9s	1 623×	1	valid
303.0ms	377×	1	exit
184.0ms	203×	2	valid
134.0ms	40×	5	exit
26.0ms	32×	2	exit
21.0ms	86×	0	exit
7.0ms	5×	3	valid

Compiler

Compiled 273 081 to 12 061 computations (95.6% saved)

Precisions

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

ival-mult: 4.2s (36.6% of total)

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

ival-add: 943.0ms (8.1% of total)

ival-sqrt: 595.0ms (5.1% of total)

ival-pow2: 502.0ms (4.3% of total)

ival-pow: 444.0ms (3.8% of total)

ival-sub: 374.0ms (3.2% of total)

adjust: 369.0ms (3.2% of total)

ival-log: 336.0ms (2.9% of total)

ival-exp: 270.0ms (2.3% of total)

ival-neg: 222.0ms (1.9% of total)

ival-cos: 202.0ms (1.7% of total)

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

const: 150.0ms (1.3% of total)

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

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

ival-sinu: 116.0ms (1% of total)

ival-if: 108.0ms (0.9% of total)

ival-cosu: 103.0ms (0.9% of total)

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

ival-tan: 84.0ms (0.7% of total)

ival-fabs: 75.0ms (0.6% of total)

ival-log1p: 70.0ms (0.6% of total)

ival-expm1: 59.0ms (0.5% of total)

exact: 52.0ms (0.4% of total)

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

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

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

ival-e: 28.0ms (0.2% of total)

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

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

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

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

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

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

ival->=: 10.0ms (0.1% of total)

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

prune22.0s (6%)

Memory: -527.3MiB live, 31 225.8MiB allocated
Counts: 119 338 → 6 586
Compiler: Compiled 1 127 238 to 366 122 computations (67.5% saved)

analyze19.0s (5.2%)

Memory

-161.8MiB live, 26 063.7MiB allocated

Algorithm

33×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	11.5%	88.5%	0%	0%	0%	0
52.8%	6.1%	5.4%	88.5%	0%	0%	0%	1
54.4%	6.2%	5.2%	88.5%	0%	0%	0%	2
54.5%	6.3%	5.2%	88.5%	0%	0%	0%	3
55.4%	6.4%	5.1%	88.5%	0%	0%	0%	4
62.6%	7.2%	4.3%	88.5%	0%	0%	0%	5
66.9%	7.6%	3.8%	88.5%	0%	0.1%	0%	6
76.4%	8.4%	2.6%	88.5%	0%	0.4%	0%	7
76.8%	8.5%	2.6%	88.5%	0%	0.4%	0%	8
81.4%	9%	2%	88.5%	0%	0.4%	0%	9
85.1%	9.3%	1.6%	88.5%	0%	0.5%	0%	10
86.3%	9.4%	1.5%	88.5%	0%	0.5%	0%	11
87.3%	9.5%	1.4%	88.5%	0%	0.6%	0%	12

Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

series15.8s (4.3%)

Memory

439.2MiB live, 19 876.5MiB allocated

Counts

2 055 → 11 093

Calls

1230 calls:

Time	Variable		Point	Expression
349.0ms	s	@	inf	((/ -1 (/ -3/4 (- 1/4 u))) (* (* 3 s) (log (/ 1 (+ (/ -1 (/ -3/4 (- 1/4 u))) 1)))) (/ 1 (+ (/ -1 (/ -3/4 (- 1/4 u))) 1)) (+ (/ -1 (/ -3/4 (- 1/4 u))) 1) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* s (+ (* (+ (log 3/4) u) 3) (* (* 3/2 u) u))) (* (* (* u s) u) 3/2) (* (* u s) u) (* (* (neg s) (log (+ 1 (* -4/3 (- u 1/4))))) 3) (* -4/3 (- u 1/4)) (* (neg s) (log (+ 1 (* -4/3 (- u 1/4))))) (neg s) (+ (* (+ 3/2 u) (* u u)) (* (+ (log 3/4) u) 3)) (* (* 3 s) (log (/ 1 (+ (* -4/3 (- u 1/4)) 1)))) (* s (+ (* (+ 3/2 u) (* u u)) (* (+ (log 3/4) u) 3))) (+ 3/2 u) (log (/ 1 (+ (* (- 1/4 u) -4/3) 1))) (+ (* (- 1/4 u) -4/3) 1) (* (* 3 s) (log (/ 1 (+ (* (- 1/4 u) -4/3) 1)))) (* 3 s) (log (/ 1 (+ (/ -1 (/ -3/4 (- 1/4 u))) 1))) (log (+ 1 (* -4/3 (- u 1/4)))) (+ (log 3/4) u) (* (+ (log 3/4) u) 3) (/ 1 (+ (* (- 1/4 u) -4/3) 1)))
239.0ms	y	@	inf	((* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* y (- (exp x) 1)) (- (exp x) 1) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* c y) x) (* c y) (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2)) (* (- y (* y y)) 1/2) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (+ (* y x) 1) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (+ (* (* y (+ (* (+ (* 1/6 x) 1/2) x) 1)) x) 1) (+ (* (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2)) x) y) (* y (+ (* (+ (* 1/6 x) 1/2) x) 1)))
212.0ms	u1	@	-inf	((/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay))) (- 1 (/ (* u0 (* alphay alphay)) (* (- 1 (cos (* (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax))) 2))) (- 1 u0)))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (* (/ (- 1 (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2))) alphay) (/ 1/2 alphay)) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) u0) (- 1 u0))))) (* u0 (* alphay alphay)) (* alphay alphay) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)) (* (/ 1 (+ (/ (/ 1 (+ (pow (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)) 2) 1)) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (/ 1 (+ (pow (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)) 2) 1)) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (* (/ 1 (+ (/ 1 (* (+ (pow (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)) 2) 1) (* alphax alphax))) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (* (+ (pow (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)) 2) 1) (* alphax alphax)) (exp (* (log (+ 1 (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) alphay) 2))))) 1/2)) (* (log (+ 1 (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) alphay) 2))))) 1/2) (log (+ 1 (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) alphay) 2))))) (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))) alphay) 2))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (* (+ (* u1 2) 1/2) (PI))) (+ (* u1 2) 1/2) (- 1 (cos (* (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax))) 2))) (/ (/ 1 (+ (pow (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)) 2) 1)) (* alphax alphax)) (* (* 2 (PI)) u1) (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))) (pow (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)) 2) (cos (atan (* (tan (* (+ (* u1 2) 1/2) (PI))) (/ alphay alphax)))))
195.0ms	c	@	inf	((* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* y (- (exp x) 1)) (- (exp x) 1) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* c y) x) (* c y) (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2)) (* (- y (* y y)) 1/2) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (+ (* y x) 1) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (+ (* (* y (+ (* (+ (* 1/6 x) 1/2) x) 1)) x) 1) (+ (* (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2)) x) y) (* y (+ (* (+ (* 1/6 x) 1/2) x) 1)))
181.0ms	x	@	-inf	((* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* y (- (exp x) 1)) (- (exp x) 1) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* c y) x) (* c y) (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2)) (* (- y (* y y)) 1/2) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (+ (* y x) 1) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (+ (* (* y (+ (* (+ (* 1/6 x) 1/2) x) 1)) x) 1) (+ (* (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2)) x) y) (* y (+ (* (+ (* 1/6 x) 1/2) x) 1)))

explain14.7s (4%)

Memory

-365.7MiB live, 18 886.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	832	64
`-.f32`	`#f`	cancellation	381	36
`sqrt.f32`	`#f`	oflow-rescue	334	0
`sqrt.f64`	`#f`	oflow-rescue	290	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	sensitivity	194	1
`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`	cancellation	182	0
`/.f32`	`#f`	o/n	128	0
`/.f32`	`#f`	u/n	101	0
`*.f32`	`#f`	*nu**	30	0
`/.f32`	`#f`	o/o	14	0
`sqrt.f64`	`#f`	uflow-rescue	10	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	oflow-rescue	4	0
↳	`(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)`	overflow	4
↳	`(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))`	overflow	4
↳	`(pow.f64 (E.f64) x)`	overflow	4
↳	`(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))`	overflow	4
`*.f32`	`#f`	*uo**	2	0
`pow.f64`	`(pow.f64 (E.f64) x)`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	1955	47
-	512	4654

Precision

0.7924604783137413

Recall

0.9765234765234765

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1955	28	19
-	512	103	4551

Precision?

0.7632794457274826

Recall?

0.9905094905094906

Freqs

test

number	freq
0	4701
1	2067
2	386
3	14

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	17	3	1
-	2	3	2

Precision?

0.8

Recall?

0.9523809523809523

Samples

2.8s	16 186×	0	valid
191.0ms	586×	1	valid
45.0ms	124×	2	valid

Compiler

Compiled 32 000 to 4 778 computations (85.1% saved)

Precisions

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

ival-mult: 548.0ms (27% of total)

ival-sub: 386.0ms (19% of total)

ival-div: 238.0ms (11.7% of total)

ival-add: 132.0ms (6.5% of total)

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

ival-log: 69.0ms (3.4% of total)

ival-neg: 51.0ms (2.5% of total)

adjust: 49.0ms (2.4% of total)

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

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

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

ival-pow: 40.0ms (2% of total)

ival-sinu: 33.0ms (1.6% of total)

const: 25.0ms (1.2% of total)

ival-pow2: 24.0ms (1.2% of total)

ival-cosu: 24.0ms (1.2% of total)

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

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

ival-cos: 20.0ms (1% of total)

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

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

ival-true: 17.0ms (0.8% of total)

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

exact: 16.0ms (0.8% of total)

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

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

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

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

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

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

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

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

ival->=: 3.0ms (0.1% of total)

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

preprocess7.5s (2%)

Memory

334.1MiB live, 7 431.1MiB allocated

Algorithm

28×	egg-herbie

Stop Event

56×	iter limit
33×	saturated
23×	node limit

Compiler

Compiled 76 652 to 18 963 computations (75.3% saved)

bsearch831.0ms (0.2%)

Memory

-103.4MiB live, 688.0MiB allocated

Algorithm

59×	left-value
46×	binary-search

Stop Event

45×	narrow-enough
1×	predicate-same

Samples

92.0ms	466×	0	valid
85.0ms	238×	1	valid
74.0ms	256×	2	valid

Compiler

Compiled 12 735 to 8 656 computations (32% saved)

Precisions

Click to see histograms. Total time spent on operations: 187.0ms

ival-pow2: 61.0ms (32.6% of total)

ival-add: 39.0ms (20.8% of total)

adjust: 23.0ms (12.3% of total)

ival-sub: 17.0ms (9.1% of total)

ival-mult: 16.0ms (8.5% of total)

ival-sqrt: 12.0ms (6.4% of total)

ival-fabs: 8.0ms (4.3% of total)

ival-div: 6.0ms (3.2% of total)

ival-pow: 1.0ms (0.5% of total)

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

exact: 1.0ms (0.5% of total)

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

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

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

start3.0ms (0%)

Memory: 6.3MiB live, 6.3MiB allocated

end0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated

sample1.4min (23%)

regimes46.7s (12.8%)

simplify40.0s (10.9%)

soundness34.3s (9.4%)

eval33.9s (9.3%)

rewrite23.8s (6.5%)

localize23.6s (6.5%)

prune22.0s (6%)

analyze19.0s (5.2%)

series15.8s (4.3%)

explain14.7s (4%)

preprocess7.5s (2%)

bsearch831.0ms (0.2%)

start3.0ms (0%)

end0.0ms (0%)

Profiling