Metrics for Herbie run

Date:	Friday, September 27th, 2024
Commit:	c2e5e391 on varun10p-identities
Hostname:	nightly with Racket 8.10
Seed:	2024271
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

end1.6min (17.3%)

Memory: -5.1MiB live, 55 477.6MiB allocated

sample1.4min (15.6%)

Memory

141.5MiB live, 107 653.5MiB allocated

Samples

57.4s	251 235×	0	valid
2.5s	11 030×	0	invalid
2.5s	4 701×	1	valid
522.0ms	1 646×	1	exit
397.0ms	677×	1	invalid

Precisions

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

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

ival-<=: 7.5s (14.6% of total)

const: 7.3s (14.2% of total)

ival-div: 4.5s (8.7% of total)

ival-sub: 2.5s (4.8% of total)

ival-fabs: 1.9s (3.6% of total)

ival-pow: 1.8s (3.4% of total)

ival-add: 1.7s (3.4% of total)

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

ival-log: 1.6s (3% of total)

ival-sin: 1.3s (2.5% of total)

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

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

ival-exp: 780.0ms (1.5% of total)

ival-floor: 728.0ms (1.4% of total)

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

ival-e: 635.0ms (1.2% of total)

ival-sinu: 602.0ms (1.2% of total)

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

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

exact: 458.0ms (0.9% of total)

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

ival-fmax: 346.0ms (0.7% of total)

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

ival-log1p: 279.0ms (0.5% of total)

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

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

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

adjust: 191.0ms (0.4% of total)

ival-==: 139.0ms (0.3% of total)

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

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

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

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

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

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

Bogosity

eval1.2min (13.4%)

Memory: 472.0MiB live, 116 301.1MiB allocated
Compiler: Compiled 41 095 979 to 610 803 computations (98.5% saved)

simplify54.2s (10%)

Memory

417.4MiB live, 60 704.6MiB allocated

Algorithm

275×	egg-herbie

Stop Event

372×	iter limit
232×	node limit
37×	saturated
6×	unsound

Counts

63 768 → 63 515

regimes52.2s (9.6%)

Memory

574.0MiB live, 69 929.6MiB allocated

Counts

20 399 → 374

Calls

152 calls:

2.5s	s
1.8s	u
1.3s	v
1.2s	r
1.1s	cosTheta_i

Compiler

Compiled 26 024 to 17 208 computations (33.9% saved)

soundness36.7s (6.8%)

Memory

-90.8MiB live, 25 328.0MiB allocated

Stop Event

271×	iter limit
178×	node limit
30×	fuel
1×	done

Compiler

Compiled 47 575 to 16 128 computations (66.1% saved)

prune32.1s (5.9%)

Memory: -584.1MiB live, 56 664.2MiB allocated
Counts: 249 883 → 7 834
Compiler: Compiled 807 558 to 312 557 computations (61.3% saved)

localize25.2s (4.6%)

Memory

359.2MiB live, 35 981.5MiB allocated

Samples

12.8s	26 794×	0	valid
1.5s	2 376×	0	invalid
1.5s	1 394×	1	valid
354.0ms	67×	5	exit
274.0ms	309×	1	exit
105.0ms	289×	0	exit
5.0ms	3×	2	valid

Compiler

Compiled 267 308 to 11 885 computations (95.6% saved)

Precisions

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

ival-mult: 4.1s (31.5% of total)

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

ival-add: 998.0ms (7.7% of total)

ival-sub: 603.0ms (4.7% of total)

ival-sqrt: 534.0ms (4.1% of total)

ival-pow2: 503.0ms (3.9% of total)

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

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

ival-exp: 396.0ms (3.1% of total)

const: 325.0ms (2.5% of total)

ival-sin: 272.0ms (2.1% of total)

ival-sinu: 264.0ms (2% of total)

adjust: 259.0ms (2% of total)

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

ival-cos: 176.0ms (1.4% of total)

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

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

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

ival-floor: 108.0ms (0.8% of total)

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

ival-expm1: 93.0ms (0.7% of total)

ival-if: 92.0ms (0.7% of total)

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

ival-e: 78.0ms (0.6% of total)

exact: 63.0ms (0.5% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

rewrite24.5s (4.5%)

Memory

450.2MiB live, 33 345.3MiB allocated

Stop Event

261×	iter limit
117×	node limit
5×	unsound

Counts

2 352 → 78 006

series24.2s (4.5%)

Memory

177.9MiB live, 31 920.8MiB allocated

Counts

2 352 → 63 768

Calls

1275 calls:

Time	Variable		Point	Expression
358.0ms	sinTheta_i	@	inf	((* (exp (- 6931/10000 (log (* 2 v)))) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (exp (- 6931/10000 (log (* 2 v)))) (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (- 6931/10000 (log (* 2 v))) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (* (/ (exp 6931/10000) v) 1/2) (/ (exp 6931/10000) v) (exp 6931/10000) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (exp (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (* 2 v)))) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (* 2 v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (+ (* cosTheta_i cosTheta_O) -1))
315.0ms	dY.u	@	-inf	((* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor h) dX.v)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor h) dY.v)) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))
270.0ms	alphay	@	0	((neg (- (log (+ 1 (* (neg u0) u0))) (log (+ 1 u0)))) (/ (neg (- (log (+ 1 (* (neg u0) u0))) (log (+ 1 u0)))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (- (log (+ 1 (* (neg u0) u0))) (log (+ 1 u0))) (log (+ 1 (* (neg u0) u0))) (/ (neg (log (- 1 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))) (/ u0 (+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax)))) (+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax))) (/ sin2phi (* alphay alphay)) (/ 1 (/ (* alphax alphax) cos2phi)) (log (- 1 u0)) (neg (log (- 1 u0))) (- 1 u0) (exp (* (log (/ (* alphax alphax) cos2phi)) -1)) (* (log (/ (* alphax alphax) cos2phi)) -1) (/ (* (/ (neg (log (+ 1 (neg u0)))) (- (pow (/ cos2phi (* alphax alphax)) 2) (pow (/ sin2phi (* alphay alphay)) 2))) (- (* cos2phi alphay) (/ (* sin2phi (* alphax alphax)) alphay))) (* (* alphax alphax) alphay)) (/ (neg (log (+ 1 (neg u0)))) (- (pow (/ cos2phi (* alphax alphax)) 2) (pow (/ sin2phi (* alphay alphay)) 2))) (* (/ (neg (log (+ 1 (neg u0)))) (- (pow (/ cos2phi (* alphax alphax)) 2) (pow (/ sin2phi (* alphay alphay)) 2))) (- (* cos2phi alphay) (/ (* sin2phi (* alphax alphax)) alphay))) (neg (log (+ 1 (neg u0)))) (log (+ 1 u0)) (/ cos2phi (* alphax alphax)) (/ (neg (log (- 1 u0))) (+ (/ 1 (/ (* alphax alphax) cos2phi)) (/ sin2phi (* alphay alphay)))) (/ (* alphax alphax) cos2phi) (/ (neg (log (- 1 u0))) (+ (exp (* (log (/ (* alphax alphax) cos2phi)) -1)) (/ sin2phi (* alphay alphay)))) (log (+ 1 (neg u0))))
252.0ms	cosTheta_O	@	0	((* (exp (- 6931/10000 (log (* 2 v)))) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (exp (- 6931/10000 (log (* 2 v)))) (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (- 6931/10000 (log (* 2 v))) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (* (/ (exp 6931/10000) v) 1/2) (/ (exp 6931/10000) v) (exp 6931/10000) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (exp (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (* 2 v)))) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (* 2 v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (+ (* cosTheta_i cosTheta_O) -1))
244.0ms	v	@	inf	((* (exp (- 6931/10000 (log (* 2 v)))) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (exp (- 6931/10000 (log (* 2 v)))) (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (- 6931/10000 (log (* 2 v))) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (* (/ (exp 6931/10000) v) 1/2) (/ (exp 6931/10000) v) (exp 6931/10000) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (exp (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (* 2 v)))) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (* 2 v))) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (+ (* cosTheta_i cosTheta_O) -1))

analyze23.4s (4.3%)

Memory

208.9MiB live, 31 679.0MiB allocated

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	5.8%	94.2%	0%	0%	0%	0
0%	0%	5.8%	94.2%	0%	0%	0%	1
3.4%	0.2%	5.6%	94.2%	0%	0%	0%	2
3.8%	0.2%	5.6%	94.2%	0%	0%	0%	3
5.7%	0.3%	5.4%	94.2%	0%	0%	0%	4
20.8%	1.2%	4.6%	94.2%	0%	0%	0%	5
29.6%	1.7%	4%	94.2%	0%	0.1%	0%	6
47.8%	2.5%	2.8%	94.2%	0%	0.5%	0%	7
48.7%	2.6%	2.7%	94.2%	0%	0.5%	0%	8
58.9%	3.1%	2.2%	94.2%	0%	0.5%	0%	9
66.8%	3.5%	1.7%	94.2%	0%	0.5%	0%	10
69.4%	3.6%	1.6%	94.2%	0%	0.6%	0%	11
71.5%	3.7%	1.5%	94.2%	0%	0.6%	0%	12

Compiler

Compiled 2 600 to 1 074 computations (58.7% saved)

preprocess9.3s (1.7%)

Memory

6.8MiB live, 10 831.3MiB allocated

Algorithm

31×	egg-herbie

Stop Event

62×	iter limit
33×	saturated
29×	node limit

Compiler

Compiled 57 958 to 18 283 computations (68.5% saved)

explain9.1s (1.7%)

Memory

-162.2MiB live, 14 039.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1011	79
`-.f32`	`#f`	cancellation	390	30
`sqrt.f32`	`#f`	oflow-rescue	365	0
`cos.f32`	`#f`	sensitivity	208	7
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	sensitivity	203	2
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	197	14
`/.f32`	`#f`	o/n	128	0
`exp.f32`	`#f`	sensitivity	56	23
`-.f64`	`(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))`	cancellation	34	0
`/.f32`	`#f`	u/n	29	0
`*.f64`	`(.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))`	*nu**	17	0
`sqrt.f32`	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))`	uflow-rescue	9	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	280
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	9
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	140
↳	`(*.f32 eta eta)`	underflow	9
`/.f32`	`#f`	o/o	8	0
`/.f32`	`(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay))))`	n/o	3	0
↳	`(/.f32 sin2phi (*.f32 alphay alphay))`	overflow	11
↳	`(+.f32 (/.f32 cos2phi (.f32 alphax alphax)) (/.f32 sin2phi (.f32 alphay alphay)))`	overflow	11
`*.f64`	`(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)`	*no**	1	0
`sin.f32`	`(sin.f32 (.f32 (.f32 x (PI.f32)) tau))`	cancellation	1	1
`*.f32`	`(*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta))`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	1817	51
-	479	5589

Precision

0.7913763066202091

Recall

0.9726980728051392

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1817	30	21
-	479	111	5478

Precision?

0.7578990562166599

Recall?

0.9887580299785867

Freqs

test

number	freq
0	5640
1	1939
2	349
3	8

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	24	0	1
-	3	1	2

Precision?

0.8571428571428571

Recall?

0.96

Samples

2.6s	15 488×	0	valid
121.0ms	384×	1	valid

Compiler

Compiled 23 833 to 2 304 computations (90.3% saved)

Precisions

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

ival-mult: 619.0ms (33.9% of total)

ival-div: 219.0ms (12% of total)

ival-log: 186.0ms (10.2% of total)

ival-add: 105.0ms (5.7% of total)

ival-sub: 100.0ms (5.5% of total)

ival-sqrt: 75.0ms (4.1% of total)

ival-neg: 53.0ms (2.9% of total)

ival-sin: 52.0ms (2.8% of total)

ival-exp: 41.0ms (2.2% of total)

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

ival-sinu: 35.0ms (1.9% of total)

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

ival-cos: 25.0ms (1.4% of total)

const: 23.0ms (1.3% of total)

ival-cosu: 23.0ms (1.3% of total)

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

ival-pi: 22.0ms (1.2% of total)

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

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

adjust: 15.0ms (0.8% of total)

ival-if: 15.0ms (0.8% of total)

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

exact: 14.0ms (0.8% of total)

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

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

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

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

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

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

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

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

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

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

bsearch283.0ms (0.1%)

Memory

-41.9MiB live, 464.4MiB allocated

Algorithm

52×	left-value
34×	binary-search

Stop Event

34×	narrow-enough

Samples

62.0ms	249×	1	valid
11.0ms	119×	0	valid
6.0ms	67×	0	invalid

Compiler

Compiled 3 628 to 2 343 computations (35.4% saved)

Precisions

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

ival-pow: 28.0ms (44.5% of total)

ival-e: 13.0ms (20.7% of total)

ival-mult: 8.0ms (12.7% of total)

ival-log1p: 6.0ms (9.5% of total)

adjust: 5.0ms (7.9% of total)

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

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

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

exact: 0.0ms (0% of total)

start3.0ms (0%)

Memory: 6.2MiB live, 6.1MiB allocated

end1.6min (17.3%)

sample1.4min (15.6%)

eval1.2min (13.4%)

simplify54.2s (10%)

regimes52.2s (9.6%)

soundness36.7s (6.8%)

prune32.1s (5.9%)

localize25.2s (4.6%)

rewrite24.5s (4.5%)

series24.2s (4.5%)

analyze23.4s (4.3%)

preprocess9.3s (1.7%)

explain9.1s (1.7%)

bsearch283.0ms (0.1%)

start3.0ms (0%)

Profiling