8518   double t2919, t2920, t2921, t2922, t2925, t2926, t2927, t2930;  in func_pol()  local
10770   t2921 = t134 * t2920;  in func_pol()
10771   t2922 = t2921 * t2910;  in func_pol()
11489   t4659 = t2919 * t2921 * t4657;  in func_pol()
11814 … t5454 + 0.2585664e1 * t776 * t5459 - 0.17231055034562661972e-1 * t2919 * t2921 * t5462 + 0.103795…  in func_pol()
12123   t6274 = t2919 * t2921 * t6272;  in func_pol()
12479   t7022 = t2919 * t2921 * t7020;  in func_pol()
12908 … t7895 + 0.1292832e1 * t776 * t7899 - 0.17231055034562661972e-1 * t2919 * t2921 * t7902 + 0.646416…  in func_pol()
13064   t8453 = t2919 * t2921 * t96;  in func_pol()
13429   t9148 = t2919 * t2921 * t2935;  in func_pol()
13717   t9655 = t2919 * t2921 * t892;  in func_pol()
13906 …t10026 = -0.3878496e1 * t776 * t9923 - 0.17231055034562661972e-1 * t2919 * t2921 * t879 - 0.646416…  in func_pol()
14128   t10849 = t2921 * t10848;  in func_pol()
14142 … / 0.3e1 * t359 * t3172 * t305 * t70 - 0.10338633020737597183e0 * t2919 * t2921 * t935 * t918 + 0.…  in func_pol()
14497 …291275921996478e-1 * t2919 * t13047 - 0.17231055034562661971e-1 * t2919 * t2921 * t297 * t935 - 0.…  in func_pol()
14500   t13113 = t2921 * t5541;  in func_pol()
14501   t13119 = t2921 * t935;  in func_pol()
15238 … * t18006 + t2298 * t18009 / 0.64e2 + 0.28718425057604436616e-2 * t2919 * t2921 * t18012 + 0.67148…  in func_pol()
15257 …8318656e-3 * t2919 * t10928 * t6272 - 0.26923523491504159328e-3 * t2919 * t2921 * t84 * t918 - 0.3…  in func_pol()
15302   t18521 = t2921 * t305;  in func_pol()
15760 …50 + 0.5e1 / 0.6e1 * t7029 * t18044 + 0.21538818793203327464e-2 * t2919 * t2921 * t2501 * t918 + 0…  in func_pol()
16076 …23350 + 0.2585664e1 * t776 * t23354 - 0.17231055034562661972e-1 * t2919 * t2921 * t2728 * t918 - 0…  in func_pol()
16339 …25e2 / 0.48e2 * t995 * t344 * t8437 - 0.26923523491504159327e-3 * t2919 * t2921 * t344 + 0.1034024…  in func_pol()
16376   t25332 = t2921 * t25331;  in func_pol()
17689   t32704 = t2564 * t2921;  in func_pol()
17694   t32746 = t25338 * t2921;  in func_pol()
17695   t32753 = t2921 * t3230;  in func_pol()