Metrics for ((x1*exp(x1/gamma) + x2*exp(x2/gamma) + x3*exp(x3/gamma))/(exp(x1/gamma) + exp(x2/gamma) + exp(x3/gamma)) - (x1*exp(-x1/gamma) + x2*exp(-x2/gamma) + x3*exp(-x3/gamma))/(exp(-x1/gamma) + exp(-x2/gamma) + exp(-x3/gamma)))

Memory

26.4MiB live, 105.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.4%	99.6%	0%	0%	0%	0
0%	0%	0.4%	99.6%	0%	0%	0%	1
0%	0%	0.4%	99.6%	0%	0%	0%	2
0%	0%	0.4%	99.6%	0%	0%	0%	3
0%	0%	0.4%	99.6%	0%	0%	0%	4
0%	0%	0.4%	99.6%	0%	0%	0%	5
0%	0%	0.4%	99.6%	0%	0%	0%	6
0%	0%	0.2%	99.6%	0%	0.2%	0%	7
0%	0%	0.2%	99.6%	0%	0.2%	0%	8
0%	0%	0.2%	99.6%	0%	0.2%	0%	9
0%	0%	0.1%	99.6%	0%	0.2%	0%	10
0%	0%	0.1%	99.6%	0%	0.3%	0%	11
0%	0%	0.1%	99.6%	0%	0.3%	0%	12

Compiler

Compiled 109 to 55 computations (49.5% saved)

Memory

15.5MiB live, 15.5MiB allocated

Samples

23.0ms	100×	0	exit
1.0ms	1×	4	exit

Precisions

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

ival-div: 5.0ms (25.9% of total)

ival-exp: 4.0ms (20.8% of total)

ival-mult: 3.0ms (15.6% of total)

ival-add: 3.0ms (15.6% of total)

ival-<=: 2.0ms (10.4% of total)

ival-and: 1.0ms (5.2% of total)

ival-neg: 1.0ms (5.2% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

((x1exp(x1/gamma) + x2exp(x2/gamma) + x3exp(x3/gamma))/(exp(x1/gamma) + exp(x2/gamma) + exp(x3/gamma)) - (x1exp(-x1/gamma) + x2exp(-x2/gamma) + x3exp(-x3/gamma))/(exp(-x1/gamma) + exp(-x2/gamma) + exp(-x3/gamma)))