#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 cos(long double);
long double pow(long double, long double);
long double sqrt(long double);
long double rabiplus(double Br, double Bz, double dBrdr, double dBrdz,
                     double dBzdr, double dBzdz, double vr_n, double vz_n,
                     double t) {
  long double t3, t5, t6, t9, t11, t12, t13, t14, t16, t17, t22, t23, t27, t33,
      t34, rabiplus;
  long double gamm = 1.83247188e+8;
  t3 = dBrdr * vr_n + dBrdz * vz_n;
  t5 = Br + t3 * t;
  t6 = t5 * t5;
  t9 = dBzdr * vr_n + dBzdz * vz_n;
  t11 = Bz + t9 * t;
  t12 = t11 * t11;
  t13 = t6 + t12;
  t14 = pow(t13, 0.5l);
  t16 = gamm * gamm;
  t17 = pow(t13, 0.1E1l);
  t22 = pow(t3 * t11 - t9 * t5, 2.0l);
  t23 = t13 * t13;
  t27 = sqrt(t16 * t17 + t22 / t23);
  t33 = cos(0.5l * t27 * t);
  t34 = (gamm * t14 + t27) / t27 * t33;
  rabiplus = t34 * t34;
  return rabiplus;
}


x86 assembly (clang, -O0):
<rabiplus>:
push   %rbp
mov    %rsp,%rbp
sub    $0x190,%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)
fldl   -0x8(%rbp)
fldt   -0x50(%rbp)
fldl   0x10(%rbp)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fstpt  -0x60(%rbp)
fldt   -0x60(%rbp)
fmul   %st,%st(0)
fstpt  -0x70(%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  -0x80(%rbp)
fldl   -0x10(%rbp)
fldt   -0x80(%rbp)
fldl   0x10(%rbp)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fstpt  -0x90(%rbp)
fldt   -0x90(%rbp)
fmul   %st,%st(0)
fstpt  -0xa0(%rbp)
fldt   -0x70(%rbp)
fldt   -0xa0(%rbp)
faddp  %st,%st(1)
fstpt  -0xb0(%rbp)
fldt   -0xb0(%rbp)
mov    %rsp,%rax
flds   0xdd8(%rip)
fld    %st(0)
fstpt  -0x16c(%rbp)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1040 <pow@plt>
fstpt  -0xc0(%rbp)
fldt   -0x150(%rbp)
fmul   %st,%st(0)
fstpt  -0xd0(%rbp)
fldt   -0xb0(%rbp)
mov    %rsp,%rax
fld1
fstpt  0x10(%rax)
fstpt  (%rax)
call   1040 <pow@plt>
fstpt  -0xe0(%rbp)
fldt   -0x50(%rbp)
fldt   -0x90(%rbp)
fldt   -0x80(%rbp)
fldt   -0x60(%rbp)
fmulp  %st,%st(1)
fxch   %st(2)
fmulp  %st,%st(1)
fsubp  %st,%st(1)
mov    %rsp,%rax
flds   0xd7b(%rip)
fstpt  0x10(%rax)
fstpt  (%rax)
call   1040 <pow@plt>
fstpt  -0xf0(%rbp)
fldt   -0xb0(%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>
fldt   -0x16c(%rbp)
fxch   %st(1)
fstpt  -0x110(%rbp)
fldt   -0x110(%rbp)
fmulp  %st,%st(1)
fldl   0x10(%rbp)
fmulp  %st,%st(1)
mov    %rsp,%rax
fstpt  (%rax)
call   1030 <cos@plt>
fstpt  -0x120(%rbp)
fldt   -0x150(%rbp)
fldt   -0xc0(%rbp)
fldt   -0x110(%rbp)
fxch   %st(2)
fmulp  %st,%st(1)
fadd   %st(1),%st
fdivp  %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    $0x190,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rabiplus>:
sub    $0x98,%rsp
mulsd  %xmm7,%xmm3
mulsd  %xmm6,%xmm2
addsd  %xmm3,%xmm2
movsd  %xmm2,0x30(%rsp)
fldl   0x30(%rsp)
fld    %st(0)
fstpt  0x24(%rsp)
movsd  %xmm0,0x48(%rsp)
fldl   0xa0(%rsp)
fmul   %st,%st(1)
fxch   %st(1)
faddl  0x48(%rsp)
fld    %st(0)
fstpt  0x74(%rsp)
fmul   %st,%st(0)
mulsd  %xmm7,%xmm5
mulsd  %xmm6,%xmm4
addsd  %xmm5,%xmm4
movsd  %xmm4,0x38(%rsp)
fldl   0x38(%rsp)
fld    %st(0)
fstpt  0x68(%rsp)
movsd  %xmm1,0x40(%rsp)
fld    %st(2)
fstpt  0x8c(%rsp)
fmulp  %st,%st(2)
fxch   %st(1)
faddl  0x40(%rsp)
fld    %st(0)
fstpt  0x5c(%rsp)
fmul   %st,%st(0)
faddp  %st,%st(1)
fld    %st(0)
fstpt  0x50(%rsp)
flds   0xe47(%rip)
fstpt  0x10(%rsp)
fstpt  (%rsp)
call   1040 <pow@plt>
fstpt  0x80(%rsp)
fldt   0x74(%rsp)
fldt   0x68(%rsp)
fmulp  %st,%st(1)
fldt   0x24(%rsp)
fldt   0x5c(%rsp)
fmulp  %st,%st(1)
fsubp  %st,%st(1)
fmul   %st,%st(0)
fldt   0x50(%rsp)
fld    %st(0)
fmul   %st(1),%st
fdivrp %st,%st(2)
fmull  0xe14(%rip)
faddp  %st,%st(1)
fld    %st(0)
fsqrt
fldz
fxch   %st(2)
fucomi %st(2),%st
fstp   %st(2)
jae    1212 <rabiplus+0xe2>
fstp   %st(0)
fstpt  (%rsp)
call   1050 <sqrt@plt>
fldz
fxch   %st(1)
fstp   %st(1)
fld    %st(0)
fstpt  0x24(%rsp)
fmuls  0xde0(%rip)
fldt   0x8c(%rsp)
fmulp  %st,%st(1)
fstpt  (%rsp)
call   1030 <cos@plt>
fldt   0x80(%rsp)
fmull  0xdd2(%rip)
fldt   0x24(%rsp)
fadd   %st,%st(1)
fdivrp %st,%st(1)
fmulp  %st,%st(1)
fmul   %st,%st(0)
add    $0x98,%rsp
ret

LLVM IR (-O0):
define x86_fp80 @rabiplus(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* %10
%44 = fpext double %43 to x86_fp80
%45 = load x86_fp80, x86_fp80* %19
%46 = load double, double* %18
%47 = fpext double %46 to x86_fp80
%48 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %45, x86_fp80 %47, x86_fp80 %44)
store x86_fp80 %48, x86_fp80* %20
%49 = load x86_fp80, x86_fp80* %20
%50 = load x86_fp80, x86_fp80* %20
%51 = fmul x86_fp80 %49, %50
store x86_fp80 %51, x86_fp80* %21
%52 = load double, double* %14
%53 = load double, double* %16
%54 = load double, double* %15
%55 = load double, double* %17
%56 = fmul double %54, %55
%57 = call double @llvm.fmuladd.f64(double %52, double %53, double %56)
%58 = fpext double %57 to x86_fp80
store x86_fp80 %58, x86_fp80* %22
%59 = load double, double* %11
%60 = fpext double %59 to x86_fp80
%61 = load x86_fp80, x86_fp80* %22
%62 = load double, double* %18
%63 = fpext double %62 to x86_fp80
%64 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %61, x86_fp80 %63, x86_fp80 %60)
store x86_fp80 %64, x86_fp80* %23
%65 = load x86_fp80, x86_fp80* %23
%66 = load x86_fp80, x86_fp80* %23
%67 = fmul x86_fp80 %65, %66
store x86_fp80 %67, x86_fp80* %24
%68 = load x86_fp80, x86_fp80* %21
%69 = load x86_fp80, x86_fp80* %24
%70 = fadd x86_fp80 %68, %69
store x86_fp80 %70, x86_fp80* %25
%71 = load x86_fp80, x86_fp80* %25
%72 = call x86_fp80 @pow(x86_fp80 %71, x86_fp80 0xK3FFE8000000000000000)
store x86_fp80 %72, x86_fp80* %26
%73 = load x86_fp80, x86_fp80* %35
%74 = load x86_fp80, x86_fp80* %35
%75 = fmul x86_fp80 %73, %74
store x86_fp80 %75, x86_fp80* %27
%76 = load x86_fp80, x86_fp80* %25
%77 = call x86_fp80 @pow(x86_fp80 %76, x86_fp80 0xK3FFF8000000000000000)
store x86_fp80 %77, x86_fp80* %28
%78 = load x86_fp80, x86_fp80* %19
%79 = load x86_fp80, x86_fp80* %23
%80 = load x86_fp80, x86_fp80* %22
%81 = load x86_fp80, x86_fp80* %20
%82 = fmul x86_fp80 %80, %81
%83 = fneg x86_fp80 %82
%84 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %78, x86_fp80 %79, x86_fp80 %83)
%85 = call x86_fp80 @pow(x86_fp80 %84, x86_fp80 0xK40008000000000000000)
store x86_fp80 %85, x86_fp80* %29
%86 = load x86_fp80, x86_fp80* %25
%87 = load x86_fp80, x86_fp80* %25
%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 @cos(x86_fp80 %100)
store x86_fp80 %101, x86_fp80* %32
%102 = load x86_fp80, x86_fp80* %35
%103 = load x86_fp80, x86_fp80* %26
%104 = load x86_fp80, x86_fp80* %31
%105 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %102, x86_fp80 %103, x86_fp80 %104)
%106 = load x86_fp80, x86_fp80* %31
%107 = fdiv x86_fp80 %105, %106
%108 = load x86_fp80, x86_fp80* %32
%109 = fmul x86_fp80 %107, %108
store x86_fp80 %109, x86_fp80* %33
%110 = load x86_fp80, x86_fp80* %33
%111 = load x86_fp80, x86_fp80* %33
%112 = fmul x86_fp80 %110, %111
store x86_fp80 %112, x86_fp80* %34
%113 = load x86_fp80, x86_fp80* %34
ret x86_fp80 %113
}

LLVM IR (-O2):
define x86_fp80 @rabiplus(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 = fpext double %0 to x86_fp80
%14 = fpext double %8 to x86_fp80
%15 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %12, x86_fp80 %14, x86_fp80 %13)
%16 = fmul x86_fp80 %15, %15
%17 = fmul double %5, %7
%18 = tail call double @llvm.fmuladd.f64(double %4, double %6, double %17)
%19 = fpext double %18 to x86_fp80
%20 = fpext double %1 to x86_fp80
%21 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %19, x86_fp80 %14, x86_fp80 %20)
%22 = fmul x86_fp80 %21, %21
%23 = fadd x86_fp80 %16, %22
%24 = tail call x86_fp80 @pow(x86_fp80 %23, x86_fp80 0xK3FFE8000000000000000)
%25 = fneg x86_fp80 %15
%26 = fmul x86_fp80 %19, %25
%27 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %12, x86_fp80 %21, x86_fp80 %26)
%28 = fmul x86_fp80 %27, %27
%29 = fmul x86_fp80 %23, %23
%30 = fdiv x86_fp80 %28, %29
%31 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %23, x86_fp80 0xK4035EE98D00E6D872000, x86_fp80 %30)
%32 = tail call x86_fp80 @sqrt(x86_fp80 %31)
%33 = fmul x86_fp80 %32, 0xK3FFE8000000000000000
%34 = fmul x86_fp80 %33, %14
%35 = tail call x86_fp80 @cos(x86_fp80 %34)
%36 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %24, x86_fp80 0xK401AAEC2154000000000, x86_fp80 %32)
%37 = fdiv x86_fp80 %36, %32
%38 = fmul x86_fp80 %35, %37
%39 = fmul x86_fp80 %38, %38
ret x86_fp80 %39
}