Documente Academic
Documente Profesional
Documente Cultură
*A2))))/4294967296 + (2523592003505473*2^(4*A1)*log(2)*((2^(6*conj(A2))*(2^(2*A1
)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A
1)*2^(10*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2
) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(1
2*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)
*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2
^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*
A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*
2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*
2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) +
2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)) - (2^(6*conj(A1))*(2^(4*A2) + 2^(
8*A2) + 2^(12*A2) + 2^(16*A2) + 2^(20*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*
2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*
A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) +
2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10
*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2
^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(
12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20
*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16
*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A
2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2))))/17
592186044416 + (7332899844652923*2^(4*A1)*log(2)*((2^(8*conj(A2))*(2^(2*A1)*2^(2
*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(
10*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^
(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1)
- 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12
*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2
)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) +
2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*
A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(1
6*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*
A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*
A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)) - (2^(8*conj(A1))*(2^(4*A2) + 2^(8*A2)
+ 2^(12*A2) + 2^(16*A2) + 2^(20*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A
2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^
(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A
2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) +
2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A
1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)
*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) +
2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2
^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2
^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2))))/35184372
088832 + 304*2^(4*A1)*log(2)*((2^(10*conj(A2))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(
4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(10*A2) + 1))/(2^(4*
A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4
*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A
2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(
12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*
A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2)
+ 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2
^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2
^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^
(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2
^(20*A1) + 2^(20*A2)) - (2^(10*conj(A1))*(2^(4*A2) + 2^(8*A2) + 2^(12*A2) + 2^(1
6*A2) + 2^(20*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^
(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)
*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(
8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2
1) + 2^(20*A2))) - (2421748144540461*2^(6*A1)*(2^(2*A1)*(((((2*2^(2*A1)*2^(2*A2)
*log(2) + 4*2^(4*A1)*2^(4*A2)*log(2) + 6*2^(6*A1)*2^(6*A2)*log(2) + 8*2^(8*A1)*2
^(8*A2)*log(2) + 10*2^(10*A1)*2^(10*A2)*log(2))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^
(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(10*A2) + 1))/(2^(4
*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*
A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^
(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8
*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2)
+ 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*
2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) +
2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2
^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) +
2^(20*A1) + 2^(20*A2)) - ((4*2^(4*A1)*log(2) + 8*2^(8*A1)*log(2) + 12*2^(12*A1)*
log(2) + 16*2^(16*A1)*log(2) + 20*2^(20*A1)*log(2))*(2^(4*A2) + 2^(8*A2) + 2^(12
*A2) + 2^(16*A2) + 2^(20*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*
2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2)
+ 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(1
6*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A
1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*
2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*
A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*
A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1
) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1
) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)))*(2^(4*A2) + 2^(8
*A2) + 2^(12*A2) + 2^(16*A2) + 2^(20*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2
^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A
1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2
^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*
A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^
(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(1
2*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*
A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*
A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2
) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)) + ((2
*2^(2*A1)*2^(2*A2)*log(2) + 4*2^(4*A1)*2^(4*A2)*log(2) + 6*2^(6*A1)*2^(6*A2)*log
(2) + 8*2^(8*A1)*2^(8*A2)*log(2) + 10*2^(10*A1)*2^(10*A2)*log(2))*(2^(2*A1)*2^(2
*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(
10*A2) + 1)*(2^(4*A2) + 2^(8*A2) + 2^(12*A2) + 2^(16*A2) + 2^(20*A2) + 1))/(2^(4
*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*
A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^
(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8
*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2)
+ 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*
2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) +
2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2
^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) +
2^(20*A1) + 2^(20*A2))^2) - 2^(2*A2)*(((((2*2^(2*A1)*2^(2*A2)*log(2) + 4*2^(4*A1
)*2^(4*A2)*log(2) + 6*2^(6*A1)*2^(6*A2)*log(2) + 8*2^(8*A1)*2^(8*A2)*log(2) + 10
*2^(10*A1)*2^(10*A2)*log(2))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2
^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(10*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2
^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2)
+ 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(1
6*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A
1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^
(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A
1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A
1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2)
+ 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1)
*A2))))/140737488355328 + (425842272545*2^(4*A1)*(2^(4*A1)*(((((4*2^(4*A2)*log(2
) + 8*2^(8*A2)*log(2) + 12*2^(12*A2)*log(2) + 16*2^(16*A2)*log(2) + 20*2^(20*A2)
*log(2))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2
^(8*A2) + 2^(10*A1)*2^(10*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2
*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2
) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(
16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*
A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4
*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16
*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12
*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A
1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A
1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)) - ((2*2^(2*A1)*2
^(2*A2)*log(2) + 4*2^(4*A1)*2^(4*A2)*log(2) + 6*2^(6*A1)*2^(6*A2)*log(2) + 8*2^(
8*A1)*2^(8*A2)*log(2) + 10*2^(10*A1)*2^(10*A2)*log(2))*(2^(4*A2) + 2^(8*A2) + 2^
(12*A2) + 2^(16*A2) + 2^(20*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*
A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2
^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(
4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(
16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(
12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20
*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12
*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)))*(2^(2*A1)*2^(
2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^
(10*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2
^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1)
- 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(1
2*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A
2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) +
2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16
*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(
16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18
*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16
*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)) - ((2*2^(2*A1)*2^(2*A2)*log(2) + 4*2^(
4*A1)*2^(4*A2)*log(2) + 6*2^(6*A1)*2^(6*A2)*log(2) + 8*2^(8*A1)*2^(8*A2)*log(2)
+ 10*2^(10*A1)*2^(10*A2)*log(2))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A
1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(10*A2) + 1)*(2^(4*A2) + 2^(8*A2)
+ 2^(12*A2) + 2^(16*A2) + 2^(20*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A
2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^
(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A
2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) +
2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A
1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)
*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) +
2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2
^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2
^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2))^2) - 2^(4*
A2)*(((((4*2^(4*A2)*log(2) + 8*2^(8*A2)*log(2) + 12*2^(12*A2)*log(2) + 16*2^(16*
A2)*log(2) + 20*2^(20*A2)*log(2))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*
A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(10*A2) + 1))/(2^(4*A1)*2^(8*A2)
- 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(
6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)
*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^
(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2)
+ 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^
(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^
(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(2
0*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8
4*A1) + 2^(8*A1) + 2^(12*A1) + 2^(16*A1) + 2^(20*A1) + 1))/(2^(4*A1)*2^(8*A2) 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*
A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2
^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(1
0*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) +
2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(2
0*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(1
2*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*
A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A
1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(2
0*A2)) - ((2*2^(2*A1)*2^(2*A2)*log(2) + 4*2^(4*A1)*2^(4*A2)*log(2) + 6*2^(6*A1)*
2^(6*A2)*log(2) + 8*2^(8*A1)*2^(8*A2)*log(2) + 10*2^(10*A1)*2^(10*A2)*log(2))*(2
^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2
^(10*A1)*2^(10*A2) + 1)^2)/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)
*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*
A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) +
2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20
*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1
)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^
(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(2
0*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^
(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(1
2*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2))^2) + (6*2^(6*A2)*log(2)*(
2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) +
2^(10*A1)*2^(10*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*
2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A
2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2
^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*
A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)
*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(
12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20
*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(
18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12
*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2))))/70368744177664 + (733289
9844652923*2^(4*A1)*(2^(8*A1)*(((((4*2^(4*A2)*log(2) + 8*2^(8*A2)*log(2) + 12*2^
(12*A2)*log(2) + 16*2^(16*A2)*log(2) + 20*2^(20*A2)*log(2))*(2^(2*A1)*2^(2*A2) +
2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(10*A2)
+ 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)
*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^
(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) +
2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(2
0*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A
1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*
2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) +
2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) +
2^(16*A2) + 2^(20*A1) + 2^(20*A2)) - ((2*2^(2*A1)*2^(2*A2)*log(2) + 4*2^(4*A1)*2
^(4*A2)*log(2) + 6*2^(6*A1)*2^(6*A2)*log(2) + 8*2^(8*A1)*2^(8*A2)*log(2) + 10*2^
(10*A1)*2^(10*A2)*log(2))*(2^(4*A2) + 2^(8*A2) + 2^(12*A2) + 2^(16*A2) + 2^(20*A
2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A
2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*
2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2)
+ 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^
(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8
*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1)
- 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1
)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2)
+ 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1)
+ 2^(16*A2) + 2^(20*A1) + 2^(20*A2)))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2
^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(10*A2) + 1))/(2^(4*A1)*2^(8*
*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)) ((4*2^(4*A2)*log(2) + 8*2^(8*A2)*log(2) + 12*2^(12*A2)*log(2) + 16*2^(16*A2)*log
(2) + 20*2^(20*A2)*log(2))*(2^(4*A1) + 2^(8*A1) + 2^(12*A1) + 2^(16*A1) + 2^(20*
A1) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*
A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4
*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2
) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2
^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(
8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1)
- 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A
1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2)
+ 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1)
+ 2^(16*A2) + 2^(20*A1) + 2^(20*A2)))*(2^(4*A1) + 2^(8*A1) + 2^(12*A1) + 2^(16*
A1) + 2^(20*A1) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2
*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2
^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*
A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2)
+ 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(
12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A
2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1)
- 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A
1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2)
+ 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)) + ((2*2^(2*A1)*2^(2*A2)*log(2)
+ 4*2^(4*A1)*2^(4*A2)*log(2) + 6*2^(6*A1)*2^(6*A2)*log(2) + 8*2^(8*A1)*2^(8*A2)
*log(2) + 10*2^(10*A1)*2^(10*A2)*log(2))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2)
+ 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A2) + 2^(10*A1)*2^(10*A2) + 1)*(2^(4*A1) + 2
^(8*A1) + 2^(12*A1) + 2^(16*A1) + 2^(20*A1) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1
)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(
4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2)
+ 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(
10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)
*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2
^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(
20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(
16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8
*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2))^2)
- 2^(8*A1)*(((((2*2^(2*A1)*2^(2*A2)*log(2) + 4*2^(4*A1)*2^(4*A2)*log(2) + 6*2^(
6*A1)*2^(6*A2)*log(2) + 8*2^(8*A1)*2^(8*A2)*log(2) + 10*2^(10*A1)*2^(10*A2)*log(
2))*(2^(2*A1)*2^(2*A2) + 2^(4*A1)*2^(4*A2) + 2^(6*A1)*2^(6*A2) + 2^(8*A1)*2^(8*A
2) + 2^(10*A1)*2^(10*A2) + 1))/(2^(4*A1)*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2
*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2
^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2) + 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1
) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2
^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(1
2*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2)
+ 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(14*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*
2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(16*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) +
2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(20*A1) + 2^(20*A2)) - ((4*2^(4*A2)*log(2)
+ 8*2^(8*A2)*log(2) + 12*2^(12*A2)*log(2) + 16*2^(16*A2)*log(2) + 20*2^(20*A2)*
log(2))*(2^(4*A1) + 2^(8*A1) + 2^(12*A1) + 2^(16*A1) + 2^(20*A1) + 1))/(2^(4*A1)
*2^(8*A2) - 2*2^(4*A1)*2^(4*A2) - 2*2^(2*A1)*2^(2*A2) + 2^(4*A2)*2^(8*A1) - 4*2^
(6*A1)*2^(6*A2) + 2^(4*A1)*2^(12*A2) + 2^(4*A2)*2^(12*A1) - 4*2^(8*A1)*2^(8*A2)
+ 2^(4*A1)*2^(16*A2) + 2^(4*A2)*2^(16*A1) + 2^(8*A1)*2^(12*A2) + 2^(8*A2)*2^(12*
A1) - 6*2^(10*A1)*2^(10*A2) + 2^(4*A1)*2^(20*A2) + 2^(4*A2)*2^(20*A1) + 2^(8*A1)
*2^(16*A2) + 2^(8*A2)*2^(16*A1) - 4*2^(12*A1)*2^(12*A2) + 2^(8*A1)*2^(20*A2) + 2
^(8*A2)*2^(20*A1) + 2^(12*A1)*2^(16*A2) + 2^(12*A2)*2^(16*A1) - 4*2^(14*A1)*2^(1
4*A2) + 2^(12*A1)*2^(20*A2) + 2^(12*A2)*2^(20*A1) - 2*2^(16*A1)*2^(16*A2) + 2^(1
6*A1)*2^(20*A2) + 2^(16*A2)*2^(20*A1) - 2*2^(18*A1)*2^(18*A2) + 2^(4*A1) + 2^(4*
A2) + 2^(8*A1) + 2^(8*A2) + 2^(12*A1) + 2^(12*A2) + 2^(16*A1) + 2^(16*A2) + 2^(2