The precision has been set to 20 bits.
[1;2] is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

[1;1] is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

(3 * cos(2 * x)) / (2 * sin(x) * cos(x)) is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

3 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

1073741824 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

1 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 + 17 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

-3 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

1 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

-1 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 * 2 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

1.606938e60 + 1 - 1.606938e60 * (log2(3) / log2(7) - log(3) / log(7) + 1) is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

The previous message id was 478 and the current message id is 52
Warning: more than one warning message is emitted by one of the sollya_lib_get_constant_as_* functions!
1 + 3.87259e-121 + 0.5 * (log2(3) / log2(7) - log(3) / log(7) + 1) is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

The previous message id was 478 and the current message id is 52
Warning: more than one warning message is emitted by one of the sollya_lib_get_constant_as_* functions!
1 + 3.87259e-121 + 0.5 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

The previous message id was 478 and the current message id is 52
Warning: more than one warning message is emitted by one of the sollya_lib_get_constant_as_* functions!
1 - 0.5 * (log2(3) / log2(7) - log(3) / log(7) + 1) is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

0.5 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

1 + 1.5 * (log2(3) / log2(7) - log(3) / log(7) + 1) is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

2.5 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

exp(pi) + log(2) is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

log10(2) / log10(3) - log(2) / log(3) is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

(sin((pi) / 3) - sqrt(3) / 2) * 9.99002e30102 + 3 is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

The previous message id was 478 and the current message id is 453
Warning: more than one warning message is emitted by one of the sollya_lib_get_constant_as_* functions!
-infty is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

NaN is handled similarly by sollya_lib_get_constant_as_uint64_array and sollya_lib_get_constant_as_mpz

