; LLVM IR from zhenrong-wang/co2 :: co2_property_calc_origeqns (phirt)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@coeffr1 = external dso_local constant [7 x [3 x double]], align 16
@coeffr2 = external dso_local constant [27 x [4 x double]], align 16
@coeffr3 = external dso_local constant [5 x [7 x double]], align 16
@coeffr4 = external dso_local constant [3 x [8 x double]], align 16

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #1

; Function Attrs: nounwind
declare double @exp(double noundef) #2

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nounwind
declare double @pow(double noundef, double noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local double @deltabit(double noundef, double noundef, double noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local double @psit(double noundef, double noundef, double noundef) #3

; Function Attrs: nounwind uwtable
define dso_local double @phirt(double noundef %0, double noundef %1) #3 {
  %3 = alloca double, align 8
  %4 = alloca double, align 8
  %5 = alloca i32, align 4
  %6 = alloca double, align 8
  %7 = alloca double, align 8
  %8 = alloca double, align 8
  %9 = alloca double, align 8
  %10 = alloca double, align 8
  %11 = alloca double, align 8
  %12 = alloca double, align 8
  %13 = alloca double, align 8
  %14 = alloca double, align 8
  %15 = alloca double, align 8
  %16 = alloca double, align 8
  %17 = alloca double, align 8
  %18 = alloca double, align 8
  %19 = alloca double, align 8
  %20 = alloca double, align 8
  %21 = alloca double, align 8
  %22 = alloca double, align 8
  %23 = alloca double, align 8
  %24 = alloca double, align 8
  %25 = alloca double, align 8
  store double %0, ptr %3, align 8, !tbaa !5
  store double %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #4
  store double 0.000000e+00, ptr %25, align 8, !tbaa !5
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %26

26:                                               ; preds = %58, %2
  %27 = load i32, ptr %5, align 4, !tbaa !9
  %28 = icmp slt i32 %27, 7
  br i1 %28, label %29, label %61

29:                                               ; preds = %26
  %30 = load i32, ptr %5, align 4, !tbaa !9
  %31 = sext i32 %30 to i64
  %32 = getelementptr inbounds [7 x [3 x double]], ptr @coeffr1, i64 0, i64 %31
  %33 = getelementptr inbounds [3 x double], ptr %32, i64 0, i64 0
  %34 = load double, ptr %33, align 8, !tbaa !5
  store double %34, ptr %6, align 8, !tbaa !5
  %35 = load i32, ptr %5, align 4, !tbaa !9
  %36 = sext i32 %35 to i64
  %37 = getelementptr inbounds [7 x [3 x double]], ptr @coeffr1, i64 0, i64 %36
  %38 = getelementptr inbounds [3 x double], ptr %37, i64 0, i64 1
  %39 = load double, ptr %38, align 8, !tbaa !5
  store double %39, ptr %7, align 8, !tbaa !5
  %40 = load i32, ptr %5, align 4, !tbaa !9
  %41 = sext i32 %40 to i64
  %42 = getelementptr inbounds [7 x [3 x double]], ptr @coeffr1, i64 0, i64 %41
  %43 = getelementptr inbounds [3 x double], ptr %42, i64 0, i64 2
  %44 = load double, ptr %43, align 8, !tbaa !5
  store double %44, ptr %8, align 8, !tbaa !5
  %45 = load double, ptr %6, align 8, !tbaa !5
  %46 = load double, ptr %8, align 8, !tbaa !5
  %47 = fmul double %45, %46
  %48 = load double, ptr %4, align 8, !tbaa !5
  %49 = load double, ptr %8, align 8, !tbaa !5
  %50 = fsub double %49, 1.000000e+00
  %51 = call double @pow(double noundef %48, double noundef %50) #4
  %52 = fmul double %47, %51
  %53 = load double, ptr %3, align 8, !tbaa !5
  %54 = load double, ptr %7, align 8, !tbaa !5
  %55 = call double @pow(double noundef %53, double noundef %54) #4
  %56 = load double, ptr %25, align 8, !tbaa !5
  %57 = call double @llvm.fmuladd.f64(double %52, double %55, double %56)
  store double %57, ptr %25, align 8, !tbaa !5
  br label %58

58:                                               ; preds = %29
  %59 = load i32, ptr %5, align 4, !tbaa !9
  %60 = add nsw i32 %59, 1
  store i32 %60, ptr %5, align 4, !tbaa !9
  br label %26, !llvm.loop !11

61:                                               ; preds = %26
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %62

62:                                               ; preds = %105, %61
  %63 = load i32, ptr %5, align 4, !tbaa !9
  %64 = icmp slt i32 %63, 27
  br i1 %64, label %65, label %108

65:                                               ; preds = %62
  %66 = load i32, ptr %5, align 4, !tbaa !9
  %67 = sext i32 %66 to i64
  %68 = getelementptr inbounds [27 x [4 x double]], ptr @coeffr2, i64 0, i64 %67
  %69 = getelementptr inbounds [4 x double], ptr %68, i64 0, i64 0
  %70 = load double, ptr %69, align 16, !tbaa !5
  store double %70, ptr %6, align 8, !tbaa !5
  %71 = load i32, ptr %5, align 4, !tbaa !9
  %72 = sext i32 %71 to i64
  %73 = getelementptr inbounds [27 x [4 x double]], ptr @coeffr2, i64 0, i64 %72
  %74 = getelementptr inbounds [4 x double], ptr %73, i64 0, i64 1
  %75 = load double, ptr %74, align 8, !tbaa !5
  store double %75, ptr %7, align 8, !tbaa !5
  %76 = load i32, ptr %5, align 4, !tbaa !9
  %77 = sext i32 %76 to i64
  %78 = getelementptr inbounds [27 x [4 x double]], ptr @coeffr2, i64 0, i64 %77
  %79 = getelementptr inbounds [4 x double], ptr %78, i64 0, i64 2
  %80 = load double, ptr %79, align 16, !tbaa !5
  store double %80, ptr %8, align 8, !tbaa !5
  %81 = load i32, ptr %5, align 4, !tbaa !9
  %82 = sext i32 %81 to i64
  %83 = getelementptr inbounds [27 x [4 x double]], ptr @coeffr2, i64 0, i64 %82
  %84 = getelementptr inbounds [4 x double], ptr %83, i64 0, i64 3
  %85 = load double, ptr %84, align 8, !tbaa !5
  store double %85, ptr %9, align 8, !tbaa !5
  %86 = load double, ptr %6, align 8, !tbaa !5
  %87 = load double, ptr %8, align 8, !tbaa !5
  %88 = fmul double %86, %87
  %89 = load double, ptr %4, align 8, !tbaa !5
  %90 = load double, ptr %8, align 8, !tbaa !5
  %91 = fsub double %90, 1.000000e+00
  %92 = call double @pow(double noundef %89, double noundef %91) #4
  %93 = fmul double %88, %92
  %94 = load double, ptr %3, align 8, !tbaa !5
  %95 = load double, ptr %7, align 8, !tbaa !5
  %96 = call double @pow(double noundef %94, double noundef %95) #4
  %97 = fmul double %93, %96
  %98 = load double, ptr %3, align 8, !tbaa !5
  %99 = load double, ptr %9, align 8, !tbaa !5
  %100 = call double @pow(double noundef %98, double noundef %99) #4
  %101 = fneg double %100
  %102 = call double @exp(double noundef %101) #4
  %103 = load double, ptr %25, align 8, !tbaa !5
  %104 = call double @llvm.fmuladd.f64(double %97, double %102, double %103)
  store double %104, ptr %25, align 8, !tbaa !5
  br label %105

105:                                              ; preds = %65
  %106 = load i32, ptr %5, align 4, !tbaa !9
  %107 = add nsw i32 %106, 1
  store i32 %107, ptr %5, align 4, !tbaa !9
  br label %62, !llvm.loop !13

108:                                              ; preds = %62
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %109

109:                                              ; preds = %191, %108
  %110 = load i32, ptr %5, align 4, !tbaa !9
  %111 = icmp slt i32 %110, 5
  br i1 %111, label %112, label %194

112:                                              ; preds = %109
  %113 = load i32, ptr %5, align 4, !tbaa !9
  %114 = sext i32 %113 to i64
  %115 = getelementptr inbounds [5 x [7 x double]], ptr @coeffr3, i64 0, i64 %114
  %116 = getelementptr inbounds [7 x double], ptr %115, i64 0, i64 0
  %117 = load double, ptr %116, align 8, !tbaa !5
  store double %117, ptr %6, align 8, !tbaa !5
  %118 = load i32, ptr %5, align 4, !tbaa !9
  %119 = sext i32 %118 to i64
  %120 = getelementptr inbounds [5 x [7 x double]], ptr @coeffr3, i64 0, i64 %119
  %121 = getelementptr inbounds [7 x double], ptr %120, i64 0, i64 1
  %122 = load double, ptr %121, align 8, !tbaa !5
  store double %122, ptr %7, align 8, !tbaa !5
  %123 = load i32, ptr %5, align 4, !tbaa !9
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds [5 x [7 x double]], ptr @coeffr3, i64 0, i64 %124
  %126 = getelementptr inbounds [7 x double], ptr %125, i64 0, i64 2
  %127 = load double, ptr %126, align 8, !tbaa !5
  store double %127, ptr %8, align 8, !tbaa !5
  %128 = load i32, ptr %5, align 4, !tbaa !9
  %129 = sext i32 %128 to i64
  %130 = getelementptr inbounds [5 x [7 x double]], ptr @coeffr3, i64 0, i64 %129
  %131 = getelementptr inbounds [7 x double], ptr %130, i64 0, i64 3
  %132 = load double, ptr %131, align 8, !tbaa !5
  store double %132, ptr %10, align 8, !tbaa !5
  %133 = load i32, ptr %5, align 4, !tbaa !9
  %134 = sext i32 %133 to i64
  %135 = getelementptr inbounds [5 x [7 x double]], ptr @coeffr3, i64 0, i64 %134
  %136 = getelementptr inbounds [7 x double], ptr %135, i64 0, i64 4
  %137 = load double, ptr %136, align 8, !tbaa !5
  store double %137, ptr %11, align 8, !tbaa !5
  %138 = load i32, ptr %5, align 4, !tbaa !9
  %139 = sext i32 %138 to i64
  %140 = getelementptr inbounds [5 x [7 x double]], ptr @coeffr3, i64 0, i64 %139
  %141 = getelementptr inbounds [7 x double], ptr %140, i64 0, i64 5
  %142 = load double, ptr %141, align 8, !tbaa !5
  store double %142, ptr %12, align 8, !tbaa !5
  %143 = load i32, ptr %5, align 4, !tbaa !9
  %144 = sext i32 %143 to i64
  %145 = getelementptr inbounds [5 x [7 x double]], ptr @coeffr3, i64 0, i64 %144
  %146 = getelementptr inbounds [7 x double], ptr %145, i64 0, i64 6
  %147 = load double, ptr %146, align 8, !tbaa !5
  store double %147, ptr %13, align 8, !tbaa !5
  %148 = load double, ptr %6, align 8, !tbaa !5
  %149 = load double, ptr %3, align 8, !tbaa !5
  %150 = load double, ptr %7, align 8, !tbaa !5
  %151 = call double @pow(double noundef %149, double noundef %150) #4
  %152 = fmul double %148, %151
  %153 = load double, ptr %4, align 8, !tbaa !5
  %154 = load double, ptr %8, align 8, !tbaa !5
  %155 = call double @pow(double noundef %153, double noundef %154) #4
  %156 = fmul double %152, %155
  %157 = load double, ptr %10, align 8, !tbaa !5
  %158 = fneg double %157
  %159 = load double, ptr %3, align 8, !tbaa !5
  %160 = load double, ptr %13, align 8, !tbaa !5
  %161 = fsub double %159, %160
  %162 = fmul double %158, %161
  %163 = load double, ptr %3, align 8, !tbaa !5
  %164 = load double, ptr %13, align 8, !tbaa !5
  %165 = fsub double %163, %164
  %166 = load double, ptr %11, align 8, !tbaa !5
  %167 = load double, ptr %4, align 8, !tbaa !5
  %168 = load double, ptr %12, align 8, !tbaa !5
  %169 = fsub double %167, %168
  %170 = fmul double %166, %169
  %171 = load double, ptr %4, align 8, !tbaa !5
  %172 = load double, ptr %12, align 8, !tbaa !5
  %173 = fsub double %171, %172
  %174 = fmul double %170, %173
  %175 = fneg double %174
  %176 = call double @llvm.fmuladd.f64(double %162, double %165, double %175)
  %177 = call double @exp(double noundef %176) #4
  %178 = fmul double %156, %177
  %179 = load double, ptr %8, align 8, !tbaa !5
  %180 = load double, ptr %4, align 8, !tbaa !5
  %181 = fdiv double %179, %180
  %182 = load double, ptr %11, align 8, !tbaa !5
  %183 = fmul double 2.000000e+00, %182
  %184 = load double, ptr %4, align 8, !tbaa !5
  %185 = load double, ptr %12, align 8, !tbaa !5
  %186 = fsub double %184, %185
  %187 = fneg double %183
  %188 = call double @llvm.fmuladd.f64(double %187, double %186, double %181)
  %189 = load double, ptr %25, align 8, !tbaa !5
  %190 = call double @llvm.fmuladd.f64(double %178, double %188, double %189)
  store double %190, ptr %25, align 8, !tbaa !5
  br label %191

191:                                              ; preds = %112
  %192 = load i32, ptr %5, align 4, !tbaa !9
  %193 = add nsw i32 %192, 1
  store i32 %193, ptr %5, align 4, !tbaa !9
  br label %109, !llvm.loop !14

194:                                              ; preds = %109
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %195

195:                                              ; preds = %299, %194
  %196 = load i32, ptr %5, align 4, !tbaa !9
  %197 = icmp slt i32 %196, 3
  br i1 %197, label %198, label %302

198:                                              ; preds = %195
  %199 = load i32, ptr %5, align 4, !tbaa !9
  %200 = sext i32 %199 to i64
  %201 = getelementptr inbounds [3 x [8 x double]], ptr @coeffr4, i64 0, i64 %200
  %202 = getelementptr inbounds [8 x double], ptr %201, i64 0, i64 0
  %203 = load double, ptr %202, align 16, !tbaa !5
  store double %203, ptr %6, align 8, !tbaa !5
  %204 = load i32, ptr %5, align 4, !tbaa !9
  %205 = sext i32 %204 to i64
  %206 = getelementptr inbounds [3 x [8 x double]], ptr @coeffr4, i64 0, i64 %205
  %207 = getelementptr inbounds [8 x double], ptr %206, i64 0, i64 1
  %208 = load double, ptr %207, align 8, !tbaa !5
  store double %208, ptr %14, align 8, !tbaa !5
  %209 = load i32, ptr %5, align 4, !tbaa !9
  %210 = sext i32 %209 to i64
  %211 = getelementptr inbounds [3 x [8 x double]], ptr @coeffr4, i64 0, i64 %210
  %212 = getelementptr inbounds [8 x double], ptr %211, i64 0, i64 2
  %213 = load double, ptr %212, align 16, !tbaa !5
  store double %213, ptr %15, align 8, !tbaa !5
  %214 = load i32, ptr %5, align 4, !tbaa !9
  %215 = sext i32 %214 to i64
  %216 = getelementptr inbounds [3 x [8 x double]], ptr @coeffr4, i64 0, i64 %215
  %217 = getelementptr inbounds [8 x double], ptr %216, i64 0, i64 3
  %218 = load double, ptr %217, align 8, !tbaa !5
  store double %218, ptr %11, align 8, !tbaa !5
  %219 = load i32, ptr %5, align 4, !tbaa !9
  %220 = sext i32 %219 to i64
  %221 = getelementptr inbounds [3 x [8 x double]], ptr @coeffr4, i64 0, i64 %220
  %222 = getelementptr inbounds [8 x double], ptr %221, i64 0, i64 4
  %223 = load double, ptr %222, align 16, !tbaa !5
  store double %223, ptr %16, align 8, !tbaa !5
  %224 = load i32, ptr %5, align 4, !tbaa !9
  %225 = sext i32 %224 to i64
  %226 = getelementptr inbounds [3 x [8 x double]], ptr @coeffr4, i64 0, i64 %225
  %227 = getelementptr inbounds [8 x double], ptr %226, i64 0, i64 5
  %228 = load double, ptr %227, align 8, !tbaa !5
  store double %228, ptr %17, align 8, !tbaa !5
  %229 = load i32, ptr %5, align 4, !tbaa !9
  %230 = sext i32 %229 to i64
  %231 = getelementptr inbounds [3 x [8 x double]], ptr @coeffr4, i64 0, i64 %230
  %232 = getelementptr inbounds [8 x double], ptr %231, i64 0, i64 6
  %233 = load double, ptr %232, align 16, !tbaa !5
  store double %233, ptr %18, align 8, !tbaa !5
  %234 = load i32, ptr %5, align 4, !tbaa !9
  %235 = sext i32 %234 to i64
  %236 = getelementptr inbounds [3 x [8 x double]], ptr @coeffr4, i64 0, i64 %235
  %237 = getelementptr inbounds [8 x double], ptr %236, i64 0, i64 7
  %238 = load double, ptr %237, align 8, !tbaa !5
  store double %238, ptr %19, align 8, !tbaa !5
  %239 = load double, ptr %4, align 8, !tbaa !5
  %240 = fsub double 1.000000e+00, %239
  %241 = load double, ptr %16, align 8, !tbaa !5
  %242 = load double, ptr %3, align 8, !tbaa !5
  %243 = fsub double %242, 1.000000e+00
  %244 = load double, ptr %3, align 8, !tbaa !5
  %245 = fsub double %244, 1.000000e+00
  %246 = fmul double %243, %245
  %247 = load double, ptr %11, align 8, !tbaa !5
  %248 = fdiv double 5.000000e-01, %247
  %249 = call double @pow(double noundef %246, double noundef %248) #4
  %250 = call double @llvm.fmuladd.f64(double %241, double %249, double %240)
  store double %250, ptr %22, align 8, !tbaa !5
  %251 = load double, ptr %22, align 8, !tbaa !5
  %252 = load double, ptr %22, align 8, !tbaa !5
  %253 = load double, ptr %17, align 8, !tbaa !5
  %254 = load double, ptr %3, align 8, !tbaa !5
  %255 = fsub double %254, 1.000000e+00
  %256 = load double, ptr %3, align 8, !tbaa !5
  %257 = fsub double %256, 1.000000e+00
  %258 = fmul double %255, %257
  %259 = load double, ptr %14, align 8, !tbaa !5
  %260 = call double @pow(double noundef %258, double noundef %259) #4
  %261 = fmul double %253, %260
  %262 = call double @llvm.fmuladd.f64(double %251, double %252, double %261)
  store double %262, ptr %20, align 8, !tbaa !5
  %263 = load double, ptr %18, align 8, !tbaa !5
  %264 = fneg double %263
  %265 = load double, ptr %3, align 8, !tbaa !5
  %266 = fsub double %265, 1.000000e+00
  %267 = fmul double %264, %266
  %268 = load double, ptr %3, align 8, !tbaa !5
  %269 = fsub double %268, 1.000000e+00
  %270 = load double, ptr %19, align 8, !tbaa !5
  %271 = load double, ptr %4, align 8, !tbaa !5
  %272 = fsub double %271, 1.000000e+00
  %273 = fmul double %270, %272
  %274 = load double, ptr %4, align 8, !tbaa !5
  %275 = fsub double %274, 1.000000e+00
  %276 = fmul double %273, %275
  %277 = fneg double %276
  %278 = call double @llvm.fmuladd.f64(double %267, double %269, double %277)
  %279 = call double @exp(double noundef %278) #4
  store double %279, ptr %21, align 8, !tbaa !5
  %280 = load double, ptr %6, align 8, !tbaa !5
  %281 = load double, ptr %3, align 8, !tbaa !5
  %282 = fmul double %280, %281
  %283 = load double, ptr %15, align 8, !tbaa !5
  %284 = load double, ptr %22, align 8, !tbaa !5
  %285 = load double, ptr %20, align 8, !tbaa !5
  %286 = call double @deltabit(double noundef %283, double noundef %284, double noundef %285)
  %287 = load double, ptr %21, align 8, !tbaa !5
  %288 = load double, ptr %20, align 8, !tbaa !5
  %289 = load double, ptr %15, align 8, !tbaa !5
  %290 = call double @pow(double noundef %288, double noundef %289) #4
  %291 = load double, ptr %4, align 8, !tbaa !5
  %292 = load double, ptr %21, align 8, !tbaa !5
  %293 = load double, ptr %19, align 8, !tbaa !5
  %294 = call double @psit(double noundef %291, double noundef %292, double noundef %293)
  %295 = fmul double %290, %294
  %296 = call double @llvm.fmuladd.f64(double %286, double %287, double %295)
  %297 = load double, ptr %25, align 8, !tbaa !5
  %298 = call double @llvm.fmuladd.f64(double %282, double %296, double %297)
  store double %298, ptr %25, align 8, !tbaa !5
  br label %299

299:                                              ; preds = %198
  %300 = load i32, ptr %5, align 4, !tbaa !9
  %301 = add nsw i32 %300, 1
  store i32 %301, ptr %5, align 4, !tbaa !9
  br label %195, !llvm.loop !15

302:                                              ; preds = %195
  %303 = load double, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  ret double %303
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #2 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@coeffr1 = external dso_local local_unnamed_addr constant [7 x [3 x double]], align 16
@coeffr2 = external dso_local local_unnamed_addr constant [27 x [4 x double]], align 16
@coeffr3 = external dso_local local_unnamed_addr constant [5 x [7 x double]], align 16
@coeffr4 = external dso_local local_unnamed_addr constant [3 x [8 x double]], align 16

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #0

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @exp(double noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @pow(double noundef, double noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local double @deltabit(double noundef, double noundef, double noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local double @psit(double noundef, double noundef, double noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local double @phirt(double noundef %0, double noundef %1) local_unnamed_addr #2 {
.preheader101.preheader:
  %2 = load double, ptr @coeffr1, align 16, !tbaa !5
  %3 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 8), align 8, !tbaa !5
  %4 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 16), align 16, !tbaa !5
  %5 = fmul double %2, %4
  %6 = fadd double %4, -1.000000e+00
  %7 = tail call double @pow(double noundef %1, double noundef %6) #3
  %8 = fmul double %5, %7
  %9 = tail call double @pow(double noundef %0, double noundef %3) #3
  %10 = tail call double @llvm.fmuladd.f64(double %8, double %9, double 0.000000e+00)
  %11 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 24), align 8, !tbaa !5
  %12 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 32), align 16, !tbaa !5
  %13 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 40), align 8, !tbaa !5
  %14 = fmul double %11, %13
  %15 = fadd double %13, -1.000000e+00
  %16 = tail call double @pow(double noundef %1, double noundef %15) #3
  %17 = fmul double %14, %16
  %18 = tail call double @pow(double noundef %0, double noundef %12) #3
  %19 = tail call double @llvm.fmuladd.f64(double %17, double %18, double %10)
  %20 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 48), align 16, !tbaa !5
  %21 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 56), align 8, !tbaa !5
  %22 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 64), align 16, !tbaa !5
  %23 = fmul double %20, %22
  %24 = fadd double %22, -1.000000e+00
  %25 = tail call double @pow(double noundef %1, double noundef %24) #3
  %26 = fmul double %23, %25
  %27 = tail call double @pow(double noundef %0, double noundef %21) #3
  %28 = tail call double @llvm.fmuladd.f64(double %26, double %27, double %19)
  %29 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 72), align 8, !tbaa !5
  %30 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 80), align 16, !tbaa !5
  %31 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 88), align 8, !tbaa !5
  %32 = fmul double %29, %31
  %33 = fadd double %31, -1.000000e+00
  %34 = tail call double @pow(double noundef %1, double noundef %33) #3
  %35 = fmul double %32, %34
  %36 = tail call double @pow(double noundef %0, double noundef %30) #3
  %37 = tail call double @llvm.fmuladd.f64(double %35, double %36, double %28)
  %38 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 96), align 16, !tbaa !5
  %39 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 104), align 8, !tbaa !5
  %40 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 112), align 16, !tbaa !5
  %41 = fmul double %38, %40
  %42 = fadd double %40, -1.000000e+00
  %43 = tail call double @pow(double noundef %1, double noundef %42) #3
  %44 = fmul double %41, %43
  %45 = tail call double @pow(double noundef %0, double noundef %39) #3
  %46 = tail call double @llvm.fmuladd.f64(double %44, double %45, double %37)
  %47 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 120), align 8, !tbaa !5
  %48 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 128), align 16, !tbaa !5
  %49 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 136), align 8, !tbaa !5
  %50 = fmul double %47, %49
  %51 = fadd double %49, -1.000000e+00
  %52 = tail call double @pow(double noundef %1, double noundef %51) #3
  %53 = fmul double %50, %52
  %54 = tail call double @pow(double noundef %0, double noundef %48) #3
  %55 = tail call double @llvm.fmuladd.f64(double %53, double %54, double %46)
  %56 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 144), align 16, !tbaa !5
  %57 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 152), align 8, !tbaa !5
  %58 = load double, ptr getelementptr inbounds (i8, ptr @coeffr1, i64 160), align 16, !tbaa !5
  %59 = fmul double %56, %58
  %60 = fadd double %58, -1.000000e+00
  %61 = tail call double @pow(double noundef %1, double noundef %60) #3
  %62 = fmul double %59, %61
  %63 = tail call double @pow(double noundef %0, double noundef %57) #3
  %64 = tail call double @llvm.fmuladd.f64(double %62, double %63, double %55)
  br label %.preheader101

.preheader101:                                    ; preds = %.preheader101.preheader, %.preheader101
  %indvars.iv = phi i64 [ 0, %.preheader101.preheader ], [ %indvars.iv.next, %.preheader101 ]
  %.1105 = phi double [ %64, %.preheader101.preheader ], [ %82, %.preheader101 ]
  %65 = getelementptr inbounds [27 x [4 x double]], ptr @coeffr2, i64 0, i64 %indvars.iv
  %66 = load double, ptr %65, align 16, !tbaa !5
  %67 = getelementptr inbounds i8, ptr %65, i64 8
  %68 = load double, ptr %67, align 8, !tbaa !5
  %69 = getelementptr inbounds i8, ptr %65, i64 16
  %70 = load double, ptr %69, align 16, !tbaa !5
  %71 = getelementptr inbounds i8, ptr %65, i64 24
  %72 = load double, ptr %71, align 8, !tbaa !5
  %73 = fmul double %66, %70
  %74 = fadd double %70, -1.000000e+00
  %75 = tail call double @pow(double noundef %1, double noundef %74) #3
  %76 = fmul double %73, %75
  %77 = tail call double @pow(double noundef %0, double noundef %68) #3
  %78 = fmul double %76, %77
  %79 = tail call double @pow(double noundef %0, double noundef %72) #3
  %80 = fneg double %79
  %81 = tail call double @exp(double noundef %80) #3
  %82 = tail call double @llvm.fmuladd.f64(double %78, double %81, double %.1105)
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 27
  br i1 %exitcond.not, label %.preheader100.preheader, label %.preheader101, !llvm.loop !9

.preheader100.preheader:                          ; preds = %.preheader101
  %83 = load double, ptr @coeffr3, align 16, !tbaa !5
  %84 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 8), align 8, !tbaa !5
  %85 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 16), align 16, !tbaa !5
  %86 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 24), align 8, !tbaa !5
  %87 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 32), align 16, !tbaa !5
  %88 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 40), align 8, !tbaa !5
  %89 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 48), align 16, !tbaa !5
  %90 = tail call double @pow(double noundef %0, double noundef %84) #3
  %91 = fmul double %83, %90
  %92 = tail call double @pow(double noundef %1, double noundef %85) #3
  %93 = fmul double %91, %92
  %94 = fneg double %86
  %95 = fsub double %0, %89
  %96 = fmul double %95, %94
  %97 = fsub double %1, %88
  %98 = fneg double %87
  %99 = fmul double %97, %98
  %100 = fmul double %97, %99
  %101 = tail call double @llvm.fmuladd.f64(double %96, double %95, double %100)
  %102 = tail call double @exp(double noundef %101) #3
  %103 = fmul double %93, %102
  %104 = fdiv double %85, %1
  %105 = fmul double %87, -2.000000e+00
  %106 = tail call double @llvm.fmuladd.f64(double %105, double %97, double %104)
  %107 = tail call double @llvm.fmuladd.f64(double %103, double %106, double %82)
  %108 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 56), align 8, !tbaa !5
  %109 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 64), align 16, !tbaa !5
  %110 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 72), align 8, !tbaa !5
  %111 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 80), align 16, !tbaa !5
  %112 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 88), align 8, !tbaa !5
  %113 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 96), align 16, !tbaa !5
  %114 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 104), align 8, !tbaa !5
  %115 = tail call double @pow(double noundef %0, double noundef %109) #3
  %116 = fmul double %108, %115
  %117 = tail call double @pow(double noundef %1, double noundef %110) #3
  %118 = fmul double %116, %117
  %119 = fneg double %111
  %120 = fsub double %0, %114
  %121 = fmul double %120, %119
  %122 = fsub double %1, %113
  %123 = fneg double %112
  %124 = fmul double %122, %123
  %125 = fmul double %122, %124
  %126 = tail call double @llvm.fmuladd.f64(double %121, double %120, double %125)
  %127 = tail call double @exp(double noundef %126) #3
  %128 = fmul double %118, %127
  %129 = fdiv double %110, %1
  %130 = fmul double %112, -2.000000e+00
  %131 = tail call double @llvm.fmuladd.f64(double %130, double %122, double %129)
  %132 = tail call double @llvm.fmuladd.f64(double %128, double %131, double %107)
  %133 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 112), align 16, !tbaa !5
  %134 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 120), align 8, !tbaa !5
  %135 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 128), align 16, !tbaa !5
  %136 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 136), align 8, !tbaa !5
  %137 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 144), align 16, !tbaa !5
  %138 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 152), align 8, !tbaa !5
  %139 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 160), align 16, !tbaa !5
  %140 = tail call double @pow(double noundef %0, double noundef %134) #3
  %141 = fmul double %133, %140
  %142 = tail call double @pow(double noundef %1, double noundef %135) #3
  %143 = fmul double %141, %142
  %144 = fneg double %136
  %145 = fsub double %0, %139
  %146 = fmul double %145, %144
  %147 = fsub double %1, %138
  %148 = fneg double %137
  %149 = fmul double %147, %148
  %150 = fmul double %147, %149
  %151 = tail call double @llvm.fmuladd.f64(double %146, double %145, double %150)
  %152 = tail call double @exp(double noundef %151) #3
  %153 = fmul double %143, %152
  %154 = fdiv double %135, %1
  %155 = fmul double %137, -2.000000e+00
  %156 = tail call double @llvm.fmuladd.f64(double %155, double %147, double %154)
  %157 = tail call double @llvm.fmuladd.f64(double %153, double %156, double %132)
  %158 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 168), align 8, !tbaa !5
  %159 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 176), align 16, !tbaa !5
  %160 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 184), align 8, !tbaa !5
  %161 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 192), align 16, !tbaa !5
  %162 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 200), align 8, !tbaa !5
  %163 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 208), align 16, !tbaa !5
  %164 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 216), align 8, !tbaa !5
  %165 = tail call double @pow(double noundef %0, double noundef %159) #3
  %166 = fmul double %158, %165
  %167 = tail call double @pow(double noundef %1, double noundef %160) #3
  %168 = fmul double %166, %167
  %169 = fneg double %161
  %170 = fsub double %0, %164
  %171 = fmul double %170, %169
  %172 = fsub double %1, %163
  %173 = fneg double %162
  %174 = fmul double %172, %173
  %175 = fmul double %172, %174
  %176 = tail call double @llvm.fmuladd.f64(double %171, double %170, double %175)
  %177 = tail call double @exp(double noundef %176) #3
  %178 = fmul double %168, %177
  %179 = fdiv double %160, %1
  %180 = fmul double %162, -2.000000e+00
  %181 = tail call double @llvm.fmuladd.f64(double %180, double %172, double %179)
  %182 = tail call double @llvm.fmuladd.f64(double %178, double %181, double %157)
  %183 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 224), align 16, !tbaa !5
  %184 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 232), align 8, !tbaa !5
  %185 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 240), align 16, !tbaa !5
  %186 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 248), align 8, !tbaa !5
  %187 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 256), align 16, !tbaa !5
  %188 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 264), align 8, !tbaa !5
  %189 = load double, ptr getelementptr inbounds (i8, ptr @coeffr3, i64 272), align 16, !tbaa !5
  %190 = tail call double @pow(double noundef %0, double noundef %184) #3
  %191 = fmul double %183, %190
  %192 = tail call double @pow(double noundef %1, double noundef %185) #3
  %193 = fmul double %191, %192
  %194 = fneg double %186
  %195 = fsub double %0, %189
  %196 = fmul double %195, %194
  %197 = fsub double %1, %188
  %198 = fneg double %187
  %199 = fmul double %197, %198
  %200 = fmul double %197, %199
  %201 = tail call double @llvm.fmuladd.f64(double %196, double %195, double %200)
  %202 = tail call double @exp(double noundef %201) #3
  %203 = fmul double %193, %202
  %204 = fdiv double %185, %1
  %205 = fmul double %187, -2.000000e+00
  %206 = tail call double @llvm.fmuladd.f64(double %205, double %197, double %204)
  %207 = tail call double @llvm.fmuladd.f64(double %203, double %206, double %182)
  %208 = fsub double 1.000000e+00, %1
  %209 = fadd double %0, -1.000000e+00
  %210 = fmul double %209, %209
  %211 = fadd double %1, -1.000000e+00
  %212 = load double, ptr @coeffr4, align 16, !tbaa !5
  %213 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 8), align 8, !tbaa !5
  %214 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 16), align 16, !tbaa !5
  %215 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 24), align 8, !tbaa !5
  %216 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 32), align 16, !tbaa !5
  %217 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 40), align 8, !tbaa !5
  %218 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 48), align 16, !tbaa !5
  %219 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 56), align 8, !tbaa !5
  %220 = fdiv double 5.000000e-01, %215
  %221 = tail call double @pow(double noundef %210, double noundef %220) #3
  %222 = tail call double @llvm.fmuladd.f64(double %216, double %221, double %208)
  %223 = tail call double @pow(double noundef %210, double noundef %213) #3
  %224 = fmul double %217, %223
  %225 = tail call double @llvm.fmuladd.f64(double %222, double %222, double %224)
  %226 = fneg double %218
  %227 = fmul double %209, %226
  %228 = fneg double %219
  %229 = fmul double %211, %228
  %230 = fmul double %211, %229
  %231 = tail call double @llvm.fmuladd.f64(double %227, double %209, double %230)
  %232 = tail call double @exp(double noundef %231) #3
  %233 = fmul double %212, %0
  %234 = tail call double @deltabit(double noundef %214, double noundef %222, double noundef %225)
  %235 = tail call double @pow(double noundef %225, double noundef %214) #3
  %236 = tail call double @psit(double noundef %1, double noundef %232, double noundef %219)
  %237 = fmul double %235, %236
  %238 = tail call double @llvm.fmuladd.f64(double %234, double %232, double %237)
  %239 = tail call double @llvm.fmuladd.f64(double %233, double %238, double %207)
  %240 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 64), align 16, !tbaa !5
  %241 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 72), align 8, !tbaa !5
  %242 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 80), align 16, !tbaa !5
  %243 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 88), align 8, !tbaa !5
  %244 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 96), align 16, !tbaa !5
  %245 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 104), align 8, !tbaa !5
  %246 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 112), align 16, !tbaa !5
  %247 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 120), align 8, !tbaa !5
  %248 = fdiv double 5.000000e-01, %243
  %249 = tail call double @pow(double noundef %210, double noundef %248) #3
  %250 = tail call double @llvm.fmuladd.f64(double %244, double %249, double %208)
  %251 = tail call double @pow(double noundef %210, double noundef %241) #3
  %252 = fmul double %245, %251
  %253 = tail call double @llvm.fmuladd.f64(double %250, double %250, double %252)
  %254 = fneg double %246
  %255 = fmul double %209, %254
  %256 = fneg double %247
  %257 = fmul double %211, %256
  %258 = fmul double %211, %257
  %259 = tail call double @llvm.fmuladd.f64(double %255, double %209, double %258)
  %260 = tail call double @exp(double noundef %259) #3
  %261 = fmul double %240, %0
  %262 = tail call double @deltabit(double noundef %242, double noundef %250, double noundef %253)
  %263 = tail call double @pow(double noundef %253, double noundef %242) #3
  %264 = tail call double @psit(double noundef %1, double noundef %260, double noundef %247)
  %265 = fmul double %263, %264
  %266 = tail call double @llvm.fmuladd.f64(double %262, double %260, double %265)
  %267 = tail call double @llvm.fmuladd.f64(double %261, double %266, double %239)
  %268 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 128), align 16, !tbaa !5
  %269 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 136), align 8, !tbaa !5
  %270 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 144), align 16, !tbaa !5
  %271 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 152), align 8, !tbaa !5
  %272 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 160), align 16, !tbaa !5
  %273 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 168), align 8, !tbaa !5
  %274 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 176), align 16, !tbaa !5
  %275 = load double, ptr getelementptr inbounds (i8, ptr @coeffr4, i64 184), align 8, !tbaa !5
  %276 = fdiv double 5.000000e-01, %271
  %277 = tail call double @pow(double noundef %210, double noundef %276) #3
  %278 = tail call double @llvm.fmuladd.f64(double %272, double %277, double %208)
  %279 = tail call double @pow(double noundef %210, double noundef %269) #3
  %280 = fmul double %273, %279
  %281 = tail call double @llvm.fmuladd.f64(double %278, double %278, double %280)
  %282 = fneg double %274
  %283 = fmul double %209, %282
  %284 = fneg double %275
  %285 = fmul double %211, %284
  %286 = fmul double %211, %285
  %287 = tail call double @llvm.fmuladd.f64(double %283, double %209, double %286)
  %288 = tail call double @exp(double noundef %287) #3
  %289 = fmul double %268, %0
  %290 = tail call double @deltabit(double noundef %270, double noundef %278, double noundef %281)
  %291 = tail call double @pow(double noundef %281, double noundef %270) #3
  %292 = tail call double @psit(double noundef %1, double noundef %288, double noundef %275)
  %293 = fmul double %291, %292
  %294 = tail call double @llvm.fmuladd.f64(double %290, double %288, double %293)
  %295 = tail call double @llvm.fmuladd.f64(double %289, double %294, double %267)
  ret double %295
}

attributes #0 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #1 = { mustprogress nofree nounwind willreturn memory(write) "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass