clear
x1      = random(8)
x2      = random(8)
// 如果已知x1+x2, x1*x2，求x1, x2
add12   = big_add( $x1, $x2 )
mul12   = big_mul( $x1, $x2 )
// (x-x1)(x-x2)=x^2-x(x1+x2)+x1x2
// (x-x1)(x-x2)=x^2-x(add12)+mul12
//              a      b      c
//
// +------------------------+
// |   -b +/- sqrt(b^2-4ac) |
// +------------------------+
// |             2a         |
// +------------------------+
a       = 01
b       = $add12
c       = $mul12

b_b     = big_mul( $b, $b )
4ac     = big_mul( $c, 04 )
b_b_4ac = big_sub( $b_b, $4ac )
b_b_4ac = big_sqrt( $b_b_4ac )

res     = big_sub( $b_b_4ac, $b )
res     = big_div( $res, 02 )
if $res > $add12
    res = big_add( $b, $b_b_4ac )
    res = big_div( $res, 02 )
endif
结果1   = $res
结果2   = big_sub( $add12, $结果1 )