Integer overflow in Simplify

[kkrutkowski]

With some relatively long expressions (like the example) even despite using BigInt type for all the constants, Julia returns 64-bit overflow during simplification. The code looks like this:

using Symbolics
@variables YC2 YS2 C2 S2 C2S2 C2C2 S2S2 C2C C2S S2S S2C YC YS CC CS SS C S Y

expressions_array =
    [
    (YC2 - YS2*C2C2/C2S2 - (C2S2 - S2S2*C2C2/C2S2)*(YC - YS2*C2C/C2S2)/(S2C - C2C*S2S2/C2S2) - (YS - YS2*C2S/C2S2 - (YC - YS2*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))*(C2C - S2C*C2C2/C2S2 - (C2S2 - S2S2*C2C2/C2S2)*(CC - S2C*C2C/C2S2)/(S2C - C2C*S2S2/C2S2))/(CS - S2C*C2S/C2S2 - (CC - S2C*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2)) - (Y - C2*YS2/C2S2 - (S2 - C2*S2S2/C2S2)*(YC - YS2*C2C/C2S2)/(S2C - C2C*S2S2/C2S2) - (YS - YS2*C2S/C2S2 - (YC - YS2*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))*(C - C2*S2C/C2S2 - (S2 - C2*S2S2/C2S2)*(CC - S2C*C2C/C2S2)/(S2C - C2C*S2S2/C2S2))/(CS - S2C*C2S/C2S2 - (CC - S2C*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2)))*(C2S - S2S*C2C2/C2S2 - (C2S2 - S2S2*C2C2/C2S2)*(CS - S2S*C2C/C2S2)/(S2C - C2C*S2S2/C2S2) - (C2C - S2C*C2C2/C2S2 - (C2S2 - S2S2*C2C2/C2S2)*(CC - S2C*C2C/C2S2)/(S2C - C2C*S2S2/C2S2))*(SS - S2S*C2S/C2S2 - (CS - S2S*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))/(CS - S2C*C2S/C2S2 - (CC - S2C*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2)))/(S - C2*S2S/C2S2 - (S2 - C2*S2S2/C2S2)*(CS - S2S*C2C/C2S2)/(S2C - C2C*S2S2/C2S2) - (SS - S2S*C2S/C2S2 - (CS - S2S*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))*(C - C2*S2C/C2S2 - (S2 - C2*S2S2/C2S2)*(CC - S2C*C2C/C2S2)/(S2C - C2C*S2S2/C2S2))/(CS - S2C*C2S/C2S2 - (CC - S2C*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))))
    /
    (C2 - S2*C2C2/C2S2 - (C - S2*C2C/C2S2)*(C2S2 - S2S2*C2C2/C2S2)/(S2C - C2C*S2S2/C2S2) - (C2C - S2C*C2C2/C2S2 - (C2S2 - S2S2*C2C2/C2S2)*(CC - S2C*C2C/C2S2)/(S2C - C2C*S2S2/C2S2))*(S - S2*C2S/C2S2 - (C - S2*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))/(CS - S2C*C2S/C2S2 - (CC - S2C*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2)) - (1 - S2*C2/C2S2 - (C - S2*C2C/C2S2)*(S2 - C2*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2) - (S - S2*C2S/C2S2 - (C - S2*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))*(C - C2*S2C/C2S2 - (S2 - C2*S2S2/C2S2)*(CC - S2C*C2C/C2S2)/(S2C - C2C*S2S2/C2S2))/(CS - S2C*C2S/C2S2 - (CC - S2C*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2)))*(C2S - S2S*C2C2/C2S2 - (C2S2 - S2S2*C2C2/C2S2)*(CS - S2S*C2C/C2S2)/(S2C - C2C*S2S2/C2S2) - (C2C - S2C*C2C2/C2S2 - (C2S2 - S2S2*C2C2/C2S2)*(CC - S2C*C2C/C2S2)/(S2C - C2C*S2S2/C2S2))*(SS - S2S*C2S/C2S2 - (CS - S2S*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))/(CS - S2C*C2S/C2S2 - (CC - S2C*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2)))/(S - C2*S2S/C2S2 - (S2 - C2*S2S2/C2S2)*(CS - S2S*C2C/C2S2)/(S2C - C2C*S2S2/C2S2) - (SS - S2S*C2S/C2S2 - (CS - S2S*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))*(C - C2*S2C/C2S2 - (S2 - C2*S2S2/C2S2)*(CC - S2C*C2C/C2S2)/(S2C - C2C*S2S2/C2S2))/(CS - S2C*C2S/C2S2 - (CC - S2C*C2C/C2S2)*(S2S - C2S*S2S2/C2S2)/(S2C - C2C*S2S2/C2S2))))
    ]

simplified_expressions = [Symbolics.simplify(expr, expand=true, threaded=true, thread_subtree_cutoff=100) for expr in expressions_array]

println(simplified_expressions[1])

I've attached the log of the error as a text file below.
overflow_log.txt