#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 */
double f(long double, long double);
long double dopri(long double x, long double y, double h) {
  long double k1, k2, k3, k4, k5, k6;
  k1 = h * f(x, y);
  k2 = h * f((x + (1.0 / 5.0) * h), (y + (1.0 / 5.0) * k1));
  k3 = h *
       f((x + (3.0 / 10.0) * h), (y + (3.0 / 40.0) * k1 + (9.0 / 40.0) * k2));
  k4 = h * f(x + (4.0 / 5.0) * h,
             y + (44.0 / 45.0) * k1 + (-56.0 / 15.0) * k2 + (32.0 / 9.0) * k3);
  k5 = h * f((x + (8.0 / 9.0) * h),
             (y + (19372.0 / 6561.0) * k1 + (-25360.0 / 2187.0) * k2 +
              (64448.0 / 6561.0) * k3 + (-212.0 / 729.0) * k4));
  k6 = h * f((x + 1.0 * h), (y + (9017.0 / 3168.0) * k1 + (-355.0 / 33.0) * k2 +
                             (46732.0 / 5247.0) * k3 + (49.0 / 176.0) * k4 +
                             (-5103.0 / 18656.0) * k5));
  y = (y + ((35.0 / 384.0) * k1) + ((500.0 / 1113.0) * k3) +
       ((125.0 / 192.0) * k4) + ((-2187.0 / 6784.0) * k5) +
       ((11.0 / 84.0) * k6));
  return y;
}


x86 assembly (clang, -O0):
<dopri>:
push   %rbp
mov    %rsp,%rbp
sub    $0x140,%rsp
fldt   0x20(%rbp)
fldt   0x10(%rbp)
fstpt  -0x10(%rbp)
fstpt  -0x20(%rbp)
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x118(%rbp)
ff
fldt   -0x10(%rbp)
fldt   -0x20(%rbp)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <f@plt>
movaps %xmm0,%xmm1
movsd  -0x118(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
fldl   -0x98(%rbp)
fstpt  -0x40(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x110(%rbp)
ff
fldt   -0x10(%rbp)
movsd  0xe7c(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
fldl   -0xa0(%rbp)
faddp  %st,%st(1)
fldt   -0x20(%rbp)
fldt   -0x40(%rbp)
fldl   0xe5c(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <f@plt>
movaps %xmm0,%xmm1
movsd  -0x110(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
fldl   -0xa8(%rbp)
fstpt  -0x50(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x108(%rbp)
ff
fldt   -0x10(%rbp)
movsd  0xe1b(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
fldl   -0xb0(%rbp)
faddp  %st,%st(1)
fldt   -0x20(%rbp)
fldt   -0x40(%rbp)
fldl   0xe03(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x50(%rbp)
fldl   0xdfe(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <f@plt>
movaps %xmm0,%xmm1
movsd  -0x108(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
fldl   -0xb8(%rbp)
fstpt  -0x60(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x100(%rbp)
ff
fldt   -0x10(%rbp)
movsd  0xdbd(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
fldl   -0xc0(%rbp)
faddp  %st,%st(1)
fldt   -0x20(%rbp)
fldt   -0x40(%rbp)
fldl   0xda5(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x50(%rbp)
fldl   0xda0(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x60(%rbp)
fldl   0xd9b(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
mov    %rsp,%rax
fstpt  0x10(%rax)
fstpt  (%rax)
call   1030 <f@plt>
movaps %xmm0,%xmm1
movsd  -0x100(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
fldl   -0xc8(%rbp)
fstpt  -0x70(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
fldt   -0x10(%rbp)
movsd  0xd5a(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
fldl   -0xd0(%rbp)
faddp  %st,%st(1)
fldt   -0x20(%rbp)
fldt   -0x40(%rbp)
fldl   0xd42(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x50(%rbp)
fldl   0xd3d(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x60(%rbp)
fldl   0xd38(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x70(%rbp)
fldl   0xd33(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
mov    %rsp,%rax
fxch   %st(1)
fstpt  (%rax)
fstpt  0x10(%rax)
call   1030 <f@plt>
movaps %xmm0,%xmm1
movsd  -0xf8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
fldl   -0xd8(%rbp)
fstpt  -0x80(%rbp)
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
fldt   -0x10(%rbp)
movsd  %xmm0,-0xe0(%rbp)
ff
fldl   -0xe0(%rbp)
faddp  %st,%st(1)
fldt   -0x20(%rbp)
fldt   -0x40(%rbp)
fldl   0xcdc(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x50(%rbp)
fldl   0xcd7(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x60(%rbp)
fldl   0xcd2(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x70(%rbp)
fldl   0xccd(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x80(%rbp)
fldl   0xcc8(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
mov    %rsp,%rax
fxch   %st(1)
fstpt  (%rax)
fstpt  0x10(%rax)
call   1030 <f@plt>
movaps %xmm0,%xmm1
movsd  -0xf0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
fldl   -0xe8(%rbp)
fstpt  -0x90(%rbp)
fldt   -0x20(%rbp)
fldt   -0x40(%rbp)
fldl   0xc8e(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x60(%rbp)
fldl   0xc89(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x70(%rbp)
fldl   0xc84(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x80(%rbp)
fldl   0xc7f(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fldt   -0x90(%rbp)
fldl   0xc77(%rip)
fmulp  %st,%st(1)
faddp  %st,%st(1)
fstpt  -0x20(%rbp)
fldt   -0x20(%rbp)
add    $0x140,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dopri>:
sub    $0xc8,%rsp
movsd  %xmm0,0x20(%rsp)
fldt   0xd0(%rsp)
fld    %st(0)
fstpt  0x4c(%rsp)
fldt   0xe0(%rsp)
fld    %st(0)
fstpt  0x28(%rsp)
fstpt  0x10(%rsp)
fstpt  (%rsp)
call   1030 <f@plt>
movsd  0x20(%rsp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,0x98(%rsp)
fldl   0x98(%rsp)
fld    %st(0)
fstpt  0x40(%rsp)
movsd  0xe95(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,0xa0(%rsp)
fldt   0x4c(%rsp)
faddl  0xa0(%rsp)
fxch   %st(1)
fmull  0xe75(%rip)
fldt   0x28(%rsp)
faddp  %st,%st(1)
fxch   %st(1)
fstpt  (%rsp)
fstpt  0x10(%rsp)
call   1030 <f@plt>
movsd  0x20(%rsp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,0x90(%rsp)
fldl   0x90(%rsp)
fld    %st(0)
fstpt  0x34(%rsp)
movsd  0xe41(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,0xa8(%rsp)
fldt   0x4c(%rsp)
faddl  0xa8(%rsp)
fldt   0x40(%rsp)
fmull  0xe27(%rip)
fldt   0x28(%rsp)
faddp  %st,%st(1)
fxch   %st(2)
fmull  0xe21(%rip)
faddp  %st,%st(2)
fstpt  (%rsp)
fstpt  0x10(%rsp)
call   1030 <f@plt>
movsd  0x20(%rsp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,0x88(%rsp)
fldl   0x88(%rsp)
fld    %st(0)
fstpt  0x58(%rsp)
movsd  0xdf3(%rip),%xmm0
mulsd  %xmm1,%xmm0
fldt   0x40(%rsp)
fmull  0xded(%rip)
fldt   0x34(%rsp)
fmull  0xdeb(%rip)
fldt   0x28(%rsp)
faddp  %st,%st(2)
faddp  %st,%st(1)
fxch   %st(1)
fmull  0xde3(%rip)
movsd  %xmm0,0xb0(%rsp)
faddp  %st,%st(1)
fldt   0x4c(%rsp)
faddl  0xb0(%rsp)
fstpt  (%rsp)
fstpt  0x10(%rsp)
call   1030 <f@plt>
movsd  0x20(%rsp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,0x80(%rsp)
fldl   0x80(%rsp)
fld    %st(0)
fstpt  0x64(%rsp)
movsd  0xda1(%rip),%xmm0
fldt   0x40(%rsp)
fmull  0xd9f(%rip)
fldt   0x34(%rsp)
fmull  0xd9d(%rip)
fldt   0x28(%rsp)
faddp  %st,%st(2)
faddp  %st,%st(1)
fldt   0x58(%rsp)
fmull  0xd93(%rip)
mulsd  %xmm1,%xmm0
faddp  %st,%st(1)
fxch   %st(1)
fmull  0xd8d(%rip)
movsd  %xmm0,0xb8(%rsp)
faddp  %st,%st(1)
fldt   0x4c(%rsp)
faddl  0xb8(%rsp)
fstpt  (%rsp)
fstpt  0x10(%rsp)
call   1030 <f@plt>
movsd  0x20(%rsp),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,0x78(%rsp)
fldt   0x40(%rsp)
fmull  0xd59(%rip)
fldt   0x28(%rsp)
faddp  %st,%st(1)
fldt   0x34(%rsp)
fmull  0xd51(%rip)
fldt   0x58(%rsp)
fmull  0xd4f(%rip)
fxch   %st(1)
faddp  %st,%st(2)
faddp  %st,%st(1)
fldt   0x64(%rsp)
fmull  0xd47(%rip)
fldl   0x78(%rsp)
fld    %st(0)
fstpt  0x34(%rsp)
fxch   %st(1)
faddp  %st,%st(2)
fmull  0xd3b(%rip)
faddp  %st,%st(1)
movsd  %xmm1,0xc0(%rsp)
fldt   0x4c(%rsp)
faddl  0xc0(%rsp)
fstpt  (%rsp)
fstpt  0x10(%rsp)
call   1030 <f@plt>
mulsd  0x20(%rsp),%xmm0
movsd  %xmm0,0x70(%rsp)
fldl   0x70(%rsp)
fldt   0x40(%rsp)
fmull  0xd07(%rip)
fldt   0x28(%rsp)
faddp  %st,%st(1)
fldt   0x58(%rsp)
fmull  0xcff(%rip)
fldt   0x64(%rsp)
fmull  0xcfd(%rip)
fxch   %st(1)
faddp  %st,%st(2)
faddp  %st,%st(1)
fldt   0x34(%rsp)
fmull  0xcf5(%rip)
faddp  %st,%st(1)
fxch   %st(1)
fmull  0xcf3(%rip)
faddp  %st,%st(1)
add    $0xc8,%rsp
ret

LLVM IR (-O0):
define x86_fp80 @dopri(x86_fp80 %0, x86_fp80 %1, double %2) {
%4 = alloca x86_fp80
%5 = alloca x86_fp80
%6 = alloca double
%7 = alloca x86_fp80
%8 = alloca x86_fp80
%9 = alloca x86_fp80
%10 = alloca x86_fp80
%11 = alloca x86_fp80
%12 = alloca x86_fp80
store x86_fp80 %0, x86_fp80* %4
store x86_fp80 %1, x86_fp80* %5
store double %2, double* %6
%13 = load double, double* %6
%14 = load x86_fp80, x86_fp80* %4
%15 = load x86_fp80, x86_fp80* %5
%16 = call double @f(x86_fp80 %14, x86_fp80 %15)
%17 = fmul double %13, %16
%18 = fpext double %17 to x86_fp80
store x86_fp80 %18, x86_fp80* %7
%19 = load double, double* %6
%20 = load x86_fp80, x86_fp80* %4
%21 = load double, double* %6
%22 = fmul double 2.000000e-01, %21
%23 = fpext double %22 to x86_fp80
%24 = fadd x86_fp80 %20, %23
%25 = load x86_fp80, x86_fp80* %5
%26 = load x86_fp80, x86_fp80* %7
%27 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFCCCCCCCCCCCCCD000, x86_fp80 %26, x86_fp80 %25)
%28 = call double @f(x86_fp80 %24, x86_fp80 %27)
%29 = fmul double %19, %28
%30 = fpext double %29 to x86_fp80
store x86_fp80 %30, x86_fp80* %8
%31 = load double, double* %6
%32 = load x86_fp80, x86_fp80* %4
%33 = load double, double* %6
%34 = fmul double 3.000000e-01, %33
%35 = fpext double %34 to x86_fp80
%36 = fadd x86_fp80 %32, %35
%37 = load x86_fp80, x86_fp80* %5
%38 = load x86_fp80, x86_fp80* %7
%39 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFB9999999999999800, x86_fp80 %38, x86_fp80 %37)
%40 = load x86_fp80, x86_fp80* %8
%41 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFCE666666666666800, x86_fp80 %40, x86_fp80 %39)
%42 = call double @f(x86_fp80 %36, x86_fp80 %41)
%43 = fmul double %31, %42
%44 = fpext double %43 to x86_fp80
store x86_fp80 %44, x86_fp80* %9
%45 = load double, double* %6
%46 = load x86_fp80, x86_fp80* %4
%47 = load double, double* %6
%48 = fmul double 8.000000e-01, %47
%49 = fpext double %48 to x86_fp80
%50 = fadd x86_fp80 %46, %49
%51 = load x86_fp80, x86_fp80* %5
%52 = load x86_fp80, x86_fp80* %7
%53 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFEFA4FA4FA4FA4F800, x86_fp80 %52, x86_fp80 %51)
%54 = load x86_fp80, x86_fp80* %8
%55 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xKC000EEEEEEEEEEEEF000, x86_fp80 %54, x86_fp80 %53)
%56 = load x86_fp80, x86_fp80* %9
%57 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK4000E38E38E38E38E000, x86_fp80 %56, x86_fp80 %55)
%58 = call double @f(x86_fp80 %50, x86_fp80 %57)
%59 = fmul double %45, %58
%60 = fpext double %59 to x86_fp80
store x86_fp80 %60, x86_fp80* %10
%61 = load double, double* %6
%62 = load x86_fp80, x86_fp80* %4
%63 = load double, double* %6
%64 = fmul double 0x3FEC71C71C71C71C, %63
%65 = fpext double %64 to x86_fp80
%66 = fadd x86_fp80 %62, %65
%67 = load x86_fp80, x86_fp80* %5
%68 = load x86_fp80, x86_fp80* %7
%69 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK4000BCF7607E1B8C0800, x86_fp80 %68, x86_fp80 %67)
%70 = load x86_fp80, x86_fp80* %8
%71 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xKC002B9885E94A9072000, x86_fp80 %70, x86_fp80 %69)
%72 = load x86_fp80, x86_fp80* %9
%73 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK40029D2A91B1E2948000, x86_fp80 %72, x86_fp80 %71)
%74 = load x86_fp80, x86_fp80* %10
%75 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xKBFFD94E4F5D0F19A2800, x86_fp80 %74, x86_fp80 %73)
%76 = call double @f(x86_fp80 %66, x86_fp80 %75)
%77 = fmul double %61, %76
%78 = fpext double %77 to x86_fp80
store x86_fp80 %78, x86_fp80* %11
%79 = load double, double* %6
%80 = load x86_fp80, x86_fp80* %4
%81 = load double, double* %6
%82 = fmul double 1.000000e+00, %81
%83 = fpext double %82 to x86_fp80
%84 = fadd x86_fp80 %80, %83
%85 = load x86_fp80, x86_fp80* %5
%86 = load x86_fp80, x86_fp80* %7
%87 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK4000B6295FAD40A58000, x86_fp80 %86, x86_fp80 %85)
%88 = load x86_fp80, x86_fp80* %8
%89 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xKC002AC1F07C1F07C2000, x86_fp80 %88, x86_fp80 %87)
%90 = load x86_fp80, x86_fp80* %9
%91 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK40028E80B51B90F45800, x86_fp80 %90, x86_fp80 %89)
%92 = load x86_fp80, x86_fp80* %10
%93 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFD8E8BA2E8BA2E8800, x86_fp80 %92, x86_fp80 %91)
%94 = load x86_fp80, x86_fp80* %11
%95 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xKBFFD8C0C4B86CE617800, x86_fp80 %94, x86_fp80 %93)
%96 = call double @f(x86_fp80 %84, x86_fp80 %95)
%97 = fmul double %79, %96
%98 = fpext double %97 to x86_fp80
store x86_fp80 %98, x86_fp80* %12
%99 = load x86_fp80, x86_fp80* %5
%100 = load x86_fp80, x86_fp80* %7
%101 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFBBAAAAAAAAAAAA800, x86_fp80 %100, x86_fp80 %99)
%102 = load x86_fp80, x86_fp80* %9
%103 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFDE6024CD2B02FD800, x86_fp80 %102, x86_fp80 %101)
%104 = load x86_fp80, x86_fp80* %10
%105 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFEA6AAAAAAAAAAA800, x86_fp80 %104, x86_fp80 %103)
%106 = load x86_fp80, x86_fp80* %11
%107 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xKBFFDA50E7D95BC609800, x86_fp80 %106, x86_fp80 %105)
%108 = load x86_fp80, x86_fp80* %12
%109 = call x86_fp80 @llvm.fmuladd.f80(x86_fp80 0xK3FFC8618618618618800, x86_fp80 %108, x86_fp80 %107)
store x86_fp80 %109, x86_fp80* %5
%110 = load x86_fp80, x86_fp80* %5
ret x86_fp80 %110
}

LLVM IR (-O2):
define x86_fp80 @dopri(x86_fp80 %0, x86_fp80 %1, double %2) {
%4 = tail call double @f(x86_fp80 %0, x86_fp80 %1)
%5 = fmul double %4, %2
%6 = fpext double %5 to x86_fp80
%7 = fmul double %2, 2.000000e-01
%8 = fpext double %7 to x86_fp80
%9 = fadd x86_fp80 %8, %0
%10 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %6, x86_fp80 0xK3FFCCCCCCCCCCCCCD000, x86_fp80 %1)
%11 = tail call double @f(x86_fp80 %9, x86_fp80 %10)
%12 = fmul double %11, %2
%13 = fpext double %12 to x86_fp80
%14 = fmul double %2, 3.000000e-01
%15 = fpext double %14 to x86_fp80
%16 = fadd x86_fp80 %15, %0
%17 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %6, x86_fp80 0xK3FFB9999999999999800, x86_fp80 %1)
%18 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %13, x86_fp80 0xK3FFCE666666666666800, x86_fp80 %17)
%19 = tail call double @f(x86_fp80 %16, x86_fp80 %18)
%20 = fmul double %19, %2
%21 = fpext double %20 to x86_fp80
%22 = fmul double %2, 8.000000e-01
%23 = fpext double %22 to x86_fp80
%24 = fadd x86_fp80 %23, %0
%25 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %6, x86_fp80 0xK3FFEFA4FA4FA4FA4F800, x86_fp80 %1)
%26 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %13, x86_fp80 0xKC000EEEEEEEEEEEEF000, x86_fp80 %25)
%27 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %21, x86_fp80 0xK4000E38E38E38E38E000, x86_fp80 %26)
%28 = tail call double @f(x86_fp80 %24, x86_fp80 %27)
%29 = fmul double %28, %2
%30 = fpext double %29 to x86_fp80
%31 = fmul double %2, 0x3FEC71C71C71C71C
%32 = fpext double %31 to x86_fp80
%33 = fadd x86_fp80 %32, %0
%34 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %6, x86_fp80 0xK4000BCF7607E1B8C0800, x86_fp80 %1)
%35 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %13, x86_fp80 0xKC002B9885E94A9072000, x86_fp80 %34)
%36 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %21, x86_fp80 0xK40029D2A91B1E2948000, x86_fp80 %35)
%37 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %30, x86_fp80 0xKBFFD94E4F5D0F19A2800, x86_fp80 %36)
%38 = tail call double @f(x86_fp80 %33, x86_fp80 %37)
%39 = fmul double %38, %2
%40 = fpext double %39 to x86_fp80
%41 = fpext double %2 to x86_fp80
%42 = fadd x86_fp80 %41, %0
%43 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %6, x86_fp80 0xK4000B6295FAD40A58000, x86_fp80 %1)
%44 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %13, x86_fp80 0xKC002AC1F07C1F07C2000, x86_fp80 %43)
%45 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %21, x86_fp80 0xK40028E80B51B90F45800, x86_fp80 %44)
%46 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %30, x86_fp80 0xK3FFD8E8BA2E8BA2E8800, x86_fp80 %45)
%47 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %40, x86_fp80 0xKBFFD8C0C4B86CE617800, x86_fp80 %46)
%48 = tail call double @f(x86_fp80 %42, x86_fp80 %47)
%49 = fmul double %48, %2
%50 = fpext double %49 to x86_fp80
%51 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %6, x86_fp80 0xK3FFBBAAAAAAAAAAAA800, x86_fp80 %1)
%52 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %21, x86_fp80 0xK3FFDE6024CD2B02FD800, x86_fp80 %51)
%53 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %30, x86_fp80 0xK3FFEA6AAAAAAAAAAA800, x86_fp80 %52)
%54 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %40, x86_fp80 0xKBFFDA50E7D95BC609800, x86_fp80 %53)
%55 = tail call x86_fp80 @llvm.fmuladd.f80(x86_fp80 %50, x86_fp80 0xK3FFC8618618618618800, x86_fp80 %54)
ret x86_fp80 %55
}