formula
$new_issued = $lp_shares.issued - $received_shares_amount;
$new_linear = $get_linear_shares($new_issued);
$res = $pool_lib#1.$redeem_shares($s, $balances, $l_balances, $profits, $recent, $x0, $y0, $s - $new_linear, trigger.data.preferred_asset, $pool_props);
$lp_shares.coef = $lp_shares.coef * $res.coef;
$lp_shares.linear = $new_linear;
$lp_shares.issued = $new_issued;
failed: redemption amount too large, it would bring us too close to the singularity point, denom=-0.07442899351071