#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
long double pow(long double, long double);
long double sin(long double);
long double sqrt(long double);
long double rabimin(double Br, double Bz, double dBrdr, double dBrdz,
                    double dBzdr, double dBzdz, double vr_n, double vz_n,
                    double t) {
  long double t3, t6, t8, t11, t13, t14, t15, t16, t19, t20, t22, t23, t27, t31,
      t33, rabimin;
  long double gamm = 1.83247188e+8;
  t3 = dBrdr * vr_n + dBrdz * vz_n;
  t6 = dBzdr * vr_n + dBzdz * vz_n;
  t8 = Bz + t6 * t;
  t11 = Br + t3 * t;
  t13 = t3 * t8 - t6 * t11;
  t14 = t11 * t11;
  t15 = t8 * t8;
  t16 = t14 + t15;
  t19 = gamm * gamm;
  t20 = pow(t16, 0.1E1l);
  t22 = t13 * t13;
  t23 = t16 * t16;
  t27 = sqrt(t19 * t20 + t22 / t23);
  t31 = sin(0.5l * t27 * t);
  t33 = t13 / t16 / t27 * t31;
  rabimin = t33 * t33;
  return rabimin;
}


x86 assembly (clang, -O0):
<rabimin>:
push   %rbp
mov    %rsp,%rbp
sub    $0x180,%rsp
movsd  0x10(%rbp),%xmm8
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  %xmm5,-0x30(%rbp)
movsd  %xmm6,-0x38(%rbp)
movsd  %xmm7,-0x40(%rbp)
fldl   0xe91(%rip)
fstpt  -0x150(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm2
movsd  -0x20(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x158(%rbp)
ff
fldl   -0x158(%rbp)
fstpt  -0x50(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm2
movsd  -0x30(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x160(%rbp)
ff
fldl   -0x160(%rbp)
fstpt  -0x60(%rbp)
fldl   -0x10(%rbp)
fldt   -0x60(%rbp)
fldl   0x10(%rbp)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fstpt  -0x70(%rbp)
fldl   -0x8(%rbp)
fldt   -0x50(%rbp)
fldl   0x10(%rbp)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fstpt  -0x80(%rbp)
fldt   -0x50(%rbp)
fldt   -0x70(%rbp)
fldt   -0x60(%rbp)
fldt   -0x80(%rbp)
fmulp  %st,%st(1)
fxch   %st(2)
fmulp  %st,%st(1)
fsubp  %st,%st(1)
fstpt  -0x90(%rbp)
fldt   -0x80(%rbp)
fmul   %st,%st(0)
fstpt  -0xa0(%rbp)
fldt   -0x70(%rbp)
fmul   %st,%st(0)
fstpt  -0xb0(%rbp)
fldt   -0xa0(%rbp)
fldt   -0xb0(%rbp)
faddp  %st,%st(1)
fstpt  -0xc0(%rbp)
fldt   -0x150(%rbp)
fmul   %st,%st(0)
fstpt  -0xd0(%rbp)
fldt   -0xc0(%rbp)
mov    %rsp,%rax
fld1
fstpt  0x10(%rax)
fstpt  (%rax)
call   1040 <pow@plt>
fstpt  -0xe0(%rbp)
fldt   -0x90(%rbp)
fmul   %st,%st(0)
fstpt  -0xf0(%rbp)
fldt   -0xc0(%rbp)
fmul   %st,%st(0)
fstpt  -0x100(%rbp)
fldt   -0xd0(%rbp)
fldt   -0xe0(%rbp)
fldt   -0xf0(%rbp)
fldt   -0x100(%rbp)
fdivrp %st,%st(1)
fxch   %st(2)
fmulp  %st,%st(1)
faddp  %st,%st(1)
mov    %rsp,%rax
fstpt  (%rax)
call   1050 <sqrt@plt>
fstpt  -0x110(%rbp)
fldt   -0x110(%rbp)
flds   0xd4c(%rip)
fmulp  %st,%st(1)
fldl   0x10(%rbp)
fmulp  %st,%st(1)
mov    %rsp,%rax
fstpt  (%rax)
call   1030 <sin@plt>
fstpt  -0x120(%rbp)
fldt   -0x90(%rbp)
fldt   -0xc0(%rbp)
fdivrp %st,%st(1)
fldt   -0x110(%rbp)
fdivrp %st,%st(1)
fldt   -0x120(%rbp)
fmulp  %st,%st(1)
fstpt  -0x130(%rbp)
fldt   -0x130(%rbp)
fmul   %st,%st(0)
fstpt  -0x140(%rbp)
fldt   -0x140(%rbp)
add    $0x180,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rabimin>:
sub    $0x58,%rsp
mulsd  %xmm7,%xmm3
mulsd  %xmm6,%xmm2
addsd  %xmm3,%xmm2
movsd  %xmm2,0x20(%rsp)
fldl   0x20(%rsp)
mulsd  %xmm7,%xmm5
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
movsd  %xmm4,0x28(%rsp)
fldl   0x28(%rsp)
movsd  %xmm1,0x30(%rsp)
fldl   0x60(%rsp)
fld    %st(1)
fmul   %st(1),%st
faddl  0x30(%rsp)
movsd  %xmm0,0x38(%rsp)
fld    %st(3)
fmul   %st(2),%st
faddl  0x38(%rsp)
fmul   %st,%st(3)
fxch   %st(4)
fmul   %st(1),%st
fsubp  %st,%st(3)
fxch   %st(3)
fmul   %st,%st(0)
fxch   %st(3)
fmul   %st,%st(0)
faddp  %st,%st(3)
fld    %st(1)
fstpt  0x4c(%rsp)
fxch   %st(1)
fmul   %st,%st(0)
fld    %st(2)
fmul   %st(3),%st
fdivrp %st,%st(1)
fld    %st(2)
fstpt  0x40(%rsp)
fxch   %st(2)
fmull  0xe60(%rip)
faddp  %st,%st(2)
fld    %st(1)
fsqrt
fldz
fxch   %st(3)
fucomi %st(3),%st
fstp   %st(3)
jae    11c8 <rabimin+0xa8>
fstp   %st(0)
fxch   %st(1)
fstpt  (%rsp)
fstpt  0x14(%rsp)
call   1040 <sqrt@plt>
fldt   0x14(%rsp)
fldz
fxch   %st(2)
fstp   %st(2)
fld    %st(1)
fstpt  0x14(%rsp)
fxch   %st(1)
fmuls  0xe30(%rip)
fmulp  %st,%st(1)
fstpt  (%rsp)
call   1030 <sin@plt>
fldt   0x4c(%rsp)
fldt   0x40(%rsp)
fdivrp %st,%st(1)
fldt   0x14(%rsp)
fdivrp %st,%st(1)
fmulp  %st,%st(1)
fmul   %st,%st(0)
add    $0x58,%rsp
ret

LLVM IR (-O0):
define x86_fp80 @rabimin(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8) {
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca x86_fp80
%20 = alloca x86_fp80
%21 = alloca x86_fp80
%22 = alloca x86_fp80
%23 = alloca x86_fp80
%24 = alloca x86_fp80
%25 = alloca x86_fp80
%26 = alloca x86_fp80
%27 = alloca x86_fp80
%28 = alloca x86_fp80
%29 = alloca x86_fp80
%30 = alloca x86_fp80
%31 = alloca x86_fp80
%32 = alloca x86_fp80
%33 = alloca x86_fp80
%34 = alloca x86_fp80
%35 = alloca x86_fp80
store double %0, double* %10
store double %1, double* %11
store double %2, double* %12
store double %3, double* %13
store double %4, double* %14
store double %5, double* %15
store double %6, double* %16
store double %7, double* %17
store double %8, double* %18
store x86_fp80 0xK401AAEC2154000000000, x86_fp80* %35
%36 = load double, double* %12
%37 = load double, double* %16
%38 = load double, double* %13
%39 = load double, double* %17
%40 = fmul double %38, %39
%41 = call double @llvm.fmuladd.f64(double %36, double %37, double %40)
%42 = fpext double %41 to x86_fp80
store x86_fp80 %42, x86_fp80* %19
%43 = load double, double* %14
%44 = load double, double* %16
%45 = load double, double* %15
%46 = load double, double* %17
%47 = fmul double %45, %46
%48 = call double @llvm.fmuladd.f64(double %43, double %44, double %47)
%49 = fpext double %48 to x86_fp80
store x86_fp80 %49, x86_fp80* %20
%50 = load double, double* %11
%51 = fpext double %50 to x86_fp80
%52 = load x86_fp80, x86_fp80* %20
%53 = load double, double* %18
%54 = fpext double %53 to x86_fp80
%55 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %52, x86_fp80 %54, x86_fp80 %51)
store x86_fp80 %55, x86_fp80* %21
%56 = load double, double* %10
%57 = fpext double %56 to x86_fp80
%58 = load x86_fp80, x86_fp80* %19
%59 = load double, double* %18
%60 = fpext double %59 to x86_fp80
%61 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %58, x86_fp80 %60, x86_fp80 %57)
store x86_fp80 %61, x86_fp80* %22
%62 = load x86_fp80, x86_fp80* %19
%63 = load x86_fp80, x86_fp80* %21
%64 = load x86_fp80, x86_fp80* %20
%65 = load x86_fp80, x86_fp80* %22
%66 = fmul x86_fp80 %64, %65
%67 = fneg x86_fp80 %66
%68 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %62, x86_fp80 %63, x86_fp80 %67)
store x86_fp80 %68, x86_fp80* %23
%69 = load x86_fp80, x86_fp80* %22
%70 = load x86_fp80, x86_fp80* %22
%71 = fmul x86_fp80 %69, %70
store x86_fp80 %71, x86_fp80* %24
%72 = load x86_fp80, x86_fp80* %21
%73 = load x86_fp80, x86_fp80* %21
%74 = fmul x86_fp80 %72, %73
store x86_fp80 %74, x86_fp80* %25
%75 = load x86_fp80, x86_fp80* %24
%76 = load x86_fp80, x86_fp80* %25
%77 = fadd x86_fp80 %75, %76
store x86_fp80 %77, x86_fp80* %26
%78 = load x86_fp80, x86_fp80* %35
%79 = load x86_fp80, x86_fp80* %35
%80 = fmul x86_fp80 %78, %79
store x86_fp80 %80, x86_fp80* %27
%81 = load x86_fp80, x86_fp80* %26
%82 = call x86_fp80 @pow(x86_fp80 %81, x86_fp80 0xK3FFF8000000000000000)
store x86_fp80 %82, x86_fp80* %28
%83 = load x86_fp80, x86_fp80* %23
%84 = load x86_fp80, x86_fp80* %23
%85 = fmul x86_fp80 %83, %84
store x86_fp80 %85, x86_fp80* %29
%86 = load x86_fp80, x86_fp80* %26
%87 = load x86_fp80, x86_fp80* %26
%88 = fmul x86_fp80 %86, %87
store x86_fp80 %88, x86_fp80* %30
%89 = load x86_fp80, x86_fp80* %27
%90 = load x86_fp80, x86_fp80* %28
%91 = load x86_fp80, x86_fp80* %29
%92 = load x86_fp80, x86_fp80* %30
%93 = fdiv x86_fp80 %91, %92
%94 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %89, x86_fp80 %90, x86_fp80 %93)
%95 = call x86_fp80 @sqrt(x86_fp80 %94)
store x86_fp80 %95, x86_fp80* %31
%96 = load x86_fp80, x86_fp80* %31
%97 = fmul x86_fp80 0xK3FFE8000000000000000, %96
%98 = load double, double* %18
%99 = fpext double %98 to x86_fp80
%100 = fmul x86_fp80 %97, %99
%101 = call x86_fp80 @sin(x86_fp80 %100)
store x86_fp80 %101, x86_fp80* %32
%102 = load x86_fp80, x86_fp80* %23
%103 = load x86_fp80, x86_fp80* %26
%104 = fdiv x86_fp80 %102, %103
%105 = load x86_fp80, x86_fp80* %31
%106 = fdiv x86_fp80 %104, %105
%107 = load x86_fp80, x86_fp80* %32
%108 = fmul x86_fp80 %106, %107
store x86_fp80 %108, x86_fp80* %33
%109 = load x86_fp80, x86_fp80* %33
%110 = load x86_fp80, x86_fp80* %33
%111 = fmul x86_fp80 %109, %110
store x86_fp80 %111, x86_fp80* %34
%112 = load x86_fp80, x86_fp80* %34
ret x86_fp80 %112
}

LLVM IR (-O2):
define x86_fp80 @rabimin(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8) {
%10 = fmul double %3, %7
%11 = tail call double @llvm.fmuladd.f64(double %2, double %6, double %10)
%12 = fpext double %11 to x86_fp80
%13 = fmul double %5, %7
%14 = tail call double @llvm.fmuladd.f64(double %4, double %6, double %13)
%15 = fpext double %14 to x86_fp80
%16 = fpext double %1 to x86_fp80
%17 = fpext double %8 to x86_fp80
%18 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %15, x86_fp80 %17, x86_fp80 %16)
%19 = fpext double %0 to x86_fp80
%20 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %12, x86_fp80 %17, x86_fp80 %19)
%21 = fneg x86_fp80 %20
%22 = fmul x86_fp80 %15, %21
%23 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %12, x86_fp80 %18, x86_fp80 %22)
%24 = fmul x86_fp80 %20, %20
%25 = fmul x86_fp80 %18, %18
%26 = fadd x86_fp80 %24, %25
%27 = fmul x86_fp80 %23, %23
%28 = fmul x86_fp80 %26, %26
%29 = fdiv x86_fp80 %27, %28
%30 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %26, x86_fp80 0xK4035EE98D00E6D872000, x86_fp80 %29)
%31 = tail call x86_fp80 @sqrt(x86_fp80 %30)
%32 = fmul x86_fp80 %31, 0xK3FFE8000000000000000
%33 = fmul x86_fp80 %32, %17
%34 = tail call x86_fp80 @sin(x86_fp80 %33)
%35 = fdiv x86_fp80 %23, %26
%36 = fdiv x86_fp80 %35, %31
%37 = fmul x86_fp80 %36, %34
%38 = fmul x86_fp80 %37, %37
ret x86_fp80 %38
}