1561   double t3770, t3771, t3772, t3774, t3775, t3776, t3778, t3779;  in func_pol()  local
3788   t3771 = t1231 * t3770;  in func_pol()
3789   t3772 = t3771 * t282;  in func_pol()
3888   t3966 = t3771 * t355;  in func_pol()
5574   t11915 = t3771 * t703;  in func_pol()
5585   t11936 = t3771 * t698;  in func_pol()
5598   t11976 = t3771 * t11974 * t591;  in func_pol()
5727   t12576 = t3771 * t869;  in func_pol()
5737   t12610 = t3771 * t11974 * t835;  in func_pol()
5738   t12613 = t3771 * t11980 * t872;  in func_pol()
5740   t12617 = t3771 * t11974 * t879;  in func_pol()
5872   t13432 = t3771 * t11974 * t983;  in func_pol()
5888   t13495 = t3771 * t1020;  in func_pol()
5898   t13548 = t3771 * t1025;  in func_pol()