__attribute__((always_)) double bessel(double x) {
  double sum, t, y;
  sum = 1.0;
  y = x * x * 0.25;
  t = y;
  sum += t;
  t *= y * (1.0 / (2.0 * 2.0));
  sum += t;
  t *= y * (1.0 / (3.0 * 3.0));
  sum += t;
  t *= y * (1.0 / (4.0 * 4.0));
  sum += t;
  t *= y * (1.0 / (5.0 * 5.0));
  sum += t;
  t *= y * (1.0 / (6.0 * 6.0));
  sum += t;
  t *= y * (1.0 / (7.0 * 7.0));
  sum += t;
  t *= y * (1.0 / (8.0 * 8.0));
  sum += t;
  t *= y * (1.0 / (9.0 * 9.0));
  sum += t;
  t *= y * (1.0 / (10.0 * 10.0));
  sum += t;
  t *= y * (1.0 / (11.0 * 11.0));
  sum += t;
  t *= y * (1.0 / (12.0 * 12.0));
  sum += t;
  t *= y * (1.0 / (13.0 * 13.0));
  sum += t;
  t *= y * (1.0 / (14.0 * 14.0));
  sum += t;
  return sum;
}


x86 assembly (clang, -O0):
<bessel>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  0xf57(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x8(%rbp),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  0xf38(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xf0e(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xee0(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xeb2(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xe84(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xe56(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xe28(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xdfa(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xdcc(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xd9e(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xd70(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xd42(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xd14(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xce6(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
movsd  -0x18(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<bessel>:
mulsd  %xmm0,%xmm0
movsd  0xef4(%rip),%xmm2
mulsd  %xmm2,%xmm0
movsd  0xef0(%rip),%xmm1
addsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm2
mulsd  %xmm0,%xmm2
addsd  %xmm2,%xmm1
movsd  0xee0(%rip),%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm3
addsd  %xmm3,%xmm1
movsd  0xed4(%rip),%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
movsd  0xec8(%rip),%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm3
addsd  %xmm3,%xmm1
movsd  0xebc(%rip),%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
movsd  0xeb0(%rip),%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm3
addsd  %xmm3,%xmm1
movsd  0xea4(%rip),%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
movsd  0xe98(%rip),%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm3
addsd  %xmm3,%xmm1
movsd  0xe8c(%rip),%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
movsd  0xe80(%rip),%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm3
addsd  %xmm3,%xmm1
movsd  0xe74(%rip),%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
movsd  0xe68(%rip),%xmm3
mulsd  %xmm0,%xmm3
mulsd  %xmm2,%xmm3
addsd  %xmm3,%xmm1
mulsd  0xe5c(%rip),%xmm0
mulsd  %xmm3,%xmm0
addsd  %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @bessel(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
store double %0, double* %2
store double 1.000000e+00, double* %3
%6 = load double, double* %2
%7 = load double, double* %2
%8 = fmul double %6, %7
%9 = fmul double %8, 2.500000e-01
store double %9, double* %5
%10 = load double, double* %5
store double %10, double* %4
%11 = load double, double* %4
%12 = load double, double* %3
%13 = fadd double %12, %11
store double %13, double* %3
%14 = load double, double* %5
%15 = fmul double %14, 2.500000e-01
%16 = load double, double* %4
%17 = fmul double %16, %15
store double %17, double* %4
%18 = load double, double* %4
%19 = load double, double* %3
%20 = fadd double %19, %18
store double %20, double* %3
%21 = load double, double* %5
%22 = fmul double %21, 0x3FBC71C71C71C71C
%23 = load double, double* %4
%24 = fmul double %23, %22
store double %24, double* %4
%25 = load double, double* %4
%26 = load double, double* %3
%27 = fadd double %26, %25
store double %27, double* %3
%28 = load double, double* %5
%29 = fmul double %28, 6.250000e-02
%30 = load double, double* %4
%31 = fmul double %30, %29
store double %31, double* %4
%32 = load double, double* %4
%33 = load double, double* %3
%34 = fadd double %33, %32
store double %34, double* %3
%35 = load double, double* %5
%36 = fmul double %35, 4.000000e-02
%37 = load double, double* %4
%38 = fmul double %37, %36
store double %38, double* %4
%39 = load double, double* %4
%40 = load double, double* %3
%41 = fadd double %40, %39
store double %41, double* %3
%42 = load double, double* %5
%43 = fmul double %42, 0x3F9C71C71C71C71C
%44 = load double, double* %4
%45 = fmul double %44, %43
store double %45, double* %4
%46 = load double, double* %4
%47 = load double, double* %3
%48 = fadd double %47, %46
store double %48, double* %3
%49 = load double, double* %5
%50 = fmul double %49, 0x3F94E5E0A72F0539
%51 = load double, double* %4
%52 = fmul double %51, %50
store double %52, double* %4
%53 = load double, double* %4
%54 = load double, double* %3
%55 = fadd double %54, %53
store double %55, double* %3
%56 = load double, double* %5
%57 = fmul double %56, 1.562500e-02
%58 = load double, double* %4
%59 = fmul double %58, %57
store double %59, double* %4
%60 = load double, double* %4
%61 = load double, double* %3
%62 = fadd double %61, %60
store double %62, double* %3
%63 = load double, double* %5
%64 = fmul double %63, 0x3F8948B0FCD6E9E0
%65 = load double, double* %4
%66 = fmul double %65, %64
store double %66, double* %4
%67 = load double, double* %4
%68 = load double, double* %3
%69 = fadd double %68, %67
store double %69, double* %3
%70 = load double, double* %5
%71 = fmul double %70, 1.000000e-02
%72 = load double, double* %4
%73 = fmul double %72, %71
store double %73, double* %4
%74 = load double, double* %4
%75 = load double, double* %3
%76 = fadd double %75, %74
store double %76, double* %3
%77 = load double, double* %5
%78 = fmul double %77, 0x3F80ECF56BE69C90
%79 = load double, double* %4
%80 = fmul double %79, %78
store double %80, double* %4
%81 = load double, double* %4
%82 = load double, double* %3
%83 = fadd double %82, %81
store double %83, double* %3
%84 = load double, double* %5
%85 = fmul double %84, 0x3F7C71C71C71C71C
%86 = load double, double* %4
%87 = fmul double %86, %85
store double %87, double* %4
%88 = load double, double* %4
%89 = load double, double* %3
%90 = fadd double %89, %88
store double %90, double* %3
%91 = load double, double* %5
%92 = fmul double %91, 0x3F783C977AB2BEDD
%93 = load double, double* %4
%94 = fmul double %93, %92
store double %94, double* %4
%95 = load double, double* %4
%96 = load double, double* %3
%97 = fadd double %96, %95
store double %97, double* %3
%98 = load double, double* %5
%99 = fmul double %98, 0x3F74E5E0A72F0539
%100 = load double, double* %4
%101 = fmul double %100, %99
store double %101, double* %4
%102 = load double, double* %4
%103 = load double, double* %3
%104 = fadd double %103, %102
store double %104, double* %3
%105 = load double, double* %3
ret double %105
}

LLVM IR (-O2):
define double @bessel(double %0) {
%2 = fmul double %0, %0
%3 = fmul double %2, 2.500000e-01
%4 = fadd double %3, 1.000000e+00
%5 = fmul double %3, 2.500000e-01
%6 = fmul double %3, %5
%7 = fadd double %4, %6
%8 = fmul double %3, 0x3FBC71C71C71C71C
%9 = fmul double %8, %6
%10 = fadd double %7, %9
%11 = fmul double %3, 6.250000e-02
%12 = fmul double %11, %9
%13 = fadd double %10, %12
%14 = fmul double %3, 4.000000e-02
%15 = fmul double %14, %12
%16 = fadd double %13, %15
%17 = fmul double %3, 0x3F9C71C71C71C71C
%18 = fmul double %17, %15
%19 = fadd double %16, %18
%20 = fmul double %3, 0x3F94E5E0A72F0539
%21 = fmul double %20, %18
%22 = fadd double %19, %21
%23 = fmul double %3, 1.562500e-02
%24 = fmul double %23, %21
%25 = fadd double %22, %24
%26 = fmul double %3, 0x3F8948B0FCD6E9E0
%27 = fmul double %26, %24
%28 = fadd double %25, %27
%29 = fmul double %3, 1.000000e-02
%30 = fmul double %29, %27
%31 = fadd double %28, %30
%32 = fmul double %3, 0x3F80ECF56BE69C90
%33 = fmul double %32, %30
%34 = fadd double %31, %33
%35 = fmul double %3, 0x3F7C71C71C71C71C
%36 = fmul double %35, %33
%37 = fadd double %34, %36
%38 = fmul double %3, 0x3F783C977AB2BEDD
%39 = fmul double %38, %36
%40 = fadd double %37, %39
%41 = fmul double %3, 0x3F74E5E0A72F0539
%42 = fmul double %41, %39
%43 = fadd double %40, %42
ret double %43
}