#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 */
scalar_t__ cos(double);
scalar_t__ sin(double);
void doubles_xytcov_mul(const double xyta[3], const double Ca[9],
                        const double xytb[3], const double Cb[9],
                        double xytr[3], double Cr[9]) {
  double xa = xyta[0], ya = xyta[1], ta = xyta[2];
  double xb = xytb[0], yb = xytb[1];
  double sa = (double)sin(ta), ca = (double)cos(ta);
  double P11 = Ca[0], P12 = Ca[1], P13 = Ca[2];
  double P22 = Ca[4], P23 = Ca[5];
  double P33 = Ca[8];
  double Q11 = Cb[0], Q12 = Cb[1], Q13 = Cb[2];
  double Q22 = Cb[4], Q23 = Cb[5];
  double Q33 = Cb[8];
  double JA13 = -sa * xb - ca * yb;
  double JA23 = ca * xb - sa * yb;
  double JB11 = ca;
  double JB12 = -sa;
  double JB21 = sa;
  double JB22 = ca;
  Cr[0] = P33 * JA13 * JA13 + 2 * P13 * JA13 + Q11 * JB11 * JB11 +
          2 * Q12 * JB11 * JB12 + Q22 * JB12 * JB12 + P11;
  Cr[1] = P12 + JA23 * (P13 + JA13 * P33) + JA13 * P23 +
          JB21 * (JB11 * Q11 + JB12 * Q12) + JB22 * (JB11 * Q12 + JB12 * Q22);
  Cr[2] = P13 + JA13 * P33 + JB11 * Q13 + JB12 * Q23;
  Cr[3] = Cr[1];
  Cr[4] = P33 * JA23 * JA23 + 2 * P23 * JA23 + Q11 * JB21 * JB21 +
          2 * Q12 * JB21 * JB22 + Q22 * JB22 * JB22 + P22;
  Cr[5] = P23 + JA23 * P33 + JB21 * Q13 + JB22 * Q23;
  Cr[6] = Cr[2];
  Cr[7] = Cr[5];
  Cr[8] = P33 + Q33;
  xytr[0] = ca * xb - sa * yb + xa;
  xytr[1] = sa * xb + ca * yb + ya;
  xytr[2] = xyta[2] + xytb[2];
}


x86 assembly (clang, -O0):
<doubles_xytcov_mul>:
push   %rbp
mov    %rsp,%rbp
sub    $0x100,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x10(%rax),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x18(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x48(%rbp),%xmm0
call   1030 <sin@plt>
cvtsi2sd %rax,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x48(%rbp),%xmm0
call   1040 <cos@plt>
cvtsi2sd %rax,%xmm0
movsd  %xmm0,-0x68(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x78(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x10(%rax),%xmm0
movsd  %xmm0,-0x80(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x20(%rax),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
mov    -0x10(%rbp),%rax
movsd  0x28(%rax),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
mov    -0x10(%rbp),%rax
movsd  0x40(%rax),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
mov    -0x20(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0xa8(%rbp)
ff
mov    -0x20(%rbp),%rax
movsd  0x10(%rax),%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
mov    -0x20(%rbp),%rax
movsd  0x20(%rax),%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
mov    -0x20(%rbp),%rax
movsd  0x28(%rax),%xmm0
movsd  %xmm0,-0xc0(%rbp)
ff
mov    -0x20(%rbp),%rax
movsd  0x40(%rax),%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  -0x68(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xd0(%rbp)
ff
movsd  -0x68(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0xe8(%rbp)
ff
movsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0xf0(%rbp)
ff
movsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0xf8(%rbp)
ff
movsd  -0x98(%rbp),%xmm1
ff
mulsd  -0xd0(%rbp),%xmm1
ff
movsd  -0xd0(%rbp),%xmm2
ff
movsd  0xc98(%rip),%xmm0
mulsd  -0x80(%rbp),%xmm0
mulsd  -0xd0(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xa0(%rbp),%xmm0
ff
mulsd  -0xe0(%rbp),%xmm0
ff
movsd  -0xe0(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xc5b(%rip),%xmm1
mulsd  -0xa8(%rbp),%xmm1
ff
mulsd  -0xe0(%rbp),%xmm1
ff
movsd  -0xe8(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xb8(%rbp),%xmm0
ff
mulsd  -0xe8(%rbp),%xmm0
ff
movsd  -0xe8(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x70(%rbp),%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x78(%rbp),%xmm0
movsd  -0xd8(%rbp),%xmm1
ff
movsd  -0x80(%rbp),%xmm3
movsd  -0xd0(%rbp),%xmm2
ff
movsd  -0x98(%rbp),%xmm4
ff
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xd0(%rbp),%xmm0
ff
movsd  -0x90(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0xf0(%rbp),%xmm1
ff
movsd  -0xe0(%rbp),%xmm2
ff
movsd  -0xa0(%rbp),%xmm4
ff
movsd  -0xe8(%rbp),%xmm3
ff
mulsd  -0xa8(%rbp),%xmm3
ff
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xf8(%rbp),%xmm0
ff
movsd  -0xe0(%rbp),%xmm2
ff
movsd  -0xa8(%rbp),%xmm4
ff
movsd  -0xe8(%rbp),%xmm3
ff
mulsd  -0xb8(%rbp),%xmm3
ff
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,0x8(%rax)
movsd  -0x80(%rbp),%xmm1
movsd  -0xd0(%rbp),%xmm0
ff
movsd  -0x98(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0xe0(%rbp),%xmm1
ff
movsd  -0xb0(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xe8(%rbp),%xmm0
ff
movsd  -0xc0(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,0x10(%rax)
mov    -0x30(%rbp),%rax
movsd  0x8(%rax),%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,0x18(%rax)
movsd  -0x98(%rbp),%xmm1
ff
mulsd  -0xd8(%rbp),%xmm1
ff
movsd  -0xd8(%rbp),%xmm2
ff
movsd  0xac3(%rip),%xmm0
mulsd  -0x90(%rbp),%xmm0
ff
mulsd  -0xd8(%rbp),%xmm0
ff
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xa0(%rbp),%xmm0
ff
mulsd  -0xf0(%rbp),%xmm0
ff
movsd  -0xf0(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xa83(%rip),%xmm1
mulsd  -0xa8(%rbp),%xmm1
ff
mulsd  -0xf0(%rbp),%xmm1
ff
movsd  -0xf8(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xb8(%rbp),%xmm0
ff
mulsd  -0xf8(%rbp),%xmm0
ff
movsd  -0xf8(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x88(%rbp),%xmm0
ff
mov    -0x30(%rbp),%rax
movsd  %xmm0,0x20(%rax)
movsd  -0x90(%rbp),%xmm1
ff
movsd  -0xd8(%rbp),%xmm0
ff
movsd  -0x98(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0xf0(%rbp),%xmm1
ff
movsd  -0xb0(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0xf8(%rbp),%xmm0
ff
movsd  -0xc0(%rbp),%xmm2
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,0x28(%rax)
mov    -0x30(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,0x30(%rax)
mov    -0x30(%rbp),%rax
movsd  0x28(%rax),%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,0x38(%rax)
movsd  -0x98(%rbp),%xmm0
ff
addsd  -0xc8(%rbp),%xmm0
ff
mov    -0x30(%rbp),%rax
movsd  %xmm0,0x40(%rax)
movsd  -0x68(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x38(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x60(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  -0x68(%rbp),%xmm1
mulsd  -0x58(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x40(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movsd  %xmm0,0x8(%rax)
mov    -0x8(%rbp),%rax
movsd  0x10(%rax),%xmm0
mov    -0x18(%rbp),%rax
addsd  0x10(%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  %xmm0,0x10(%rax)
add    $0x100,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<doubles_xytcov_mul>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r9,%rbx
mov    %r8,0x28(%rsp)
mov    %rcx,%r13
mov    %rdx,%r15
mov    %rsi,%rbp
mov    %rdi,%r12
movups (%rdi),%xmm0
movaps %xmm0,0x40(%rsp)
movsd  0x10(%rdi),%xmm1
movsd  %xmm1,0x8(%rsp)
movsd  (%rdx),%xmm0
movaps %xmm0,0x30(%rsp)
movsd  0x8(%rdx),%xmm0
movaps %xmm0,0x10(%rsp)
movaps %xmm1,%xmm0
call   1030 <sin@plt>
mov    %rax,%r14
movsd  0x8(%rsp),%xmm0
call   1040 <cos@plt>
cvtsi2sd %r14,%xmm7
cvtsi2sd %rax,%xmm14
unpcklpd %xmm14,%xmm7
movsd  0x0(%r13),%xmm4
movsd  0x8(%r13),%xmm0
movsd  0x20(%r13),%xmm3
movsd  %xmm3,0x8(%rsp)
movapd 0xe52(%rip),%xmm8
movapd %xmm7,%xmm13
xorpd  %xmm8,%xmm13
movapd 0x10(%rsp),%xmm1
movapd %xmm1,%xmm10
mulsd  %xmm14,%xmm10
xorpd  %xmm8,%xmm1
mulsd  %xmm7,%xmm1
movapd %xmm1,%xmm2
movapd %xmm14,%xmm1
unpcklpd %xmm13,%xmm1
movapd %xmm1,0x10(%rsp)
movapd %xmm4,%xmm12
mulsd  %xmm14,%xmm12
movapd %xmm12,%xmm15
movapd %xmm0,%xmm9
addsd  %xmm0,%xmm9
movapd %xmm14,%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm7,%xmm0
subsd  %xmm0,%xmm12
movapd %xmm9,%xmm11
mulsd  %xmm14,%xmm11
mulsd  %xmm7,%xmm11
mulsd  %xmm3,%xmm13
addsd  %xmm13,%xmm1
mulsd  %xmm7,%xmm13
mulsd  %xmm7,%xmm4
mulsd  %xmm7,%xmm4
movsd  %xmm4,0x20(%rsp)
mulsd  %xmm7,%xmm9
mulsd  %xmm7,%xmm12
movsd  0x10(%r13),%xmm6
unpcklpd %xmm6,%xmm6
mulpd  %xmm7,%xmm6
movapd 0x30(%rsp),%xmm5
mulsd  %xmm5,%xmm7
addsd  %xmm10,%xmm7
xorpd  %xmm8,%xmm10
unpcklpd %xmm10,%xmm2
movsd  0x40(%rbp),%xmm8
unpcklpd %xmm5,%xmm5
mulpd  0x10(%rsp),%xmm5
addpd  %xmm2,%xmm5
movapd %xmm5,%xmm10
unpckhpd %xmm5,%xmm10
movapd %xmm10,%xmm3
mulsd  %xmm8,%xmm3
movsd  0x10(%rbp),%xmm4
movsd  0x28(%rbp),%xmm2
movapd %xmm2,%xmm0
unpcklpd %xmm4,%xmm0
addsd  %xmm4,%xmm4
mulsd  %xmm10,%xmm4
mulsd  %xmm10,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm14,%xmm15
addsd  %xmm3,%xmm15
subsd  %xmm11,%xmm15
subsd  %xmm13,%xmm15
movapd %xmm8,%xmm3
unpcklpd %xmm8,%xmm3
mulpd  %xmm5,%xmm3
addpd  %xmm0,%xmm3
movapd %xmm5,%xmm0
mulsd  %xmm8,%xmm0
mulsd  %xmm2,%xmm10
addsd  %xmm2,%xmm2
mulsd  %xmm5,%xmm2
mulsd  %xmm5,%xmm0
addsd  %xmm2,%xmm0
movsd  0x20(%rsp),%xmm2
addsd  %xmm0,%xmm2
addsd  0x0(%rbp),%xmm15
mulsd  %xmm14,%xmm9
addsd  %xmm2,%xmm9
addpd  %xmm3,%xmm6
unpckhpd %xmm3,%xmm3
mulsd  %xmm5,%xmm3
addsd  0x8(%rbp),%xmm3
movsd  0x8(%rsp),%xmm2
mulsd  %xmm14,%xmm2
mulsd  %xmm14,%xmm2
addsd  %xmm9,%xmm2
movsd  0x28(%r13),%xmm0
addsd  0x20(%rbp),%xmm2
addsd  0x40(%r13),%xmm8
movsd  %xmm15,(%rbx)
addsd  %xmm3,%xmm10
addsd  %xmm10,%xmm12
mulsd  %xmm14,%xmm1
addsd  %xmm12,%xmm1
unpcklpd %xmm0,%xmm0
mulpd  0x10(%rsp),%xmm0
addpd  %xmm6,%xmm0
movsd  %xmm1,0x8(%rbx)
movhpd %xmm0,0x10(%rbx)
movsd  %xmm1,0x18(%rbx)
movsd  %xmm2,0x20(%rbx)
movupd %xmm0,0x28(%rbx)
movlpd %xmm0,0x38(%rbx)
movsd  %xmm8,0x40(%rbx)
unpcklpd %xmm7,%xmm5
addpd  0x40(%rsp),%xmm5
mov    0x28(%rsp),%rax
movupd %xmm5,(%rax)
movsd  0x10(%r12),%xmm0
addsd  0x10(%r15),%xmm0
movsd  %xmm0,0x10(%rax)
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @doubles_xytcov_mul(double* %0, double* %1, double* %2, double* %3, double* %4, double* %5) {
%7 = alloca double*
%8 = alloca double*
%9 = alloca double*
%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 double
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
%31 = alloca double
%32 = alloca double
%33 = alloca double
%34 = alloca double
%35 = alloca double
%36 = alloca double
%37 = alloca double
store double* %0, double** %7
store double* %1, double** %8
store double* %2, double** %9
store double* %3, double** %10
store double* %4, double** %11
store double* %5, double** %12
%38 = load double*, double** %7
%39 = getelementptr inbounds double, double* %38, i64 0
%40 = load double, double* %39
store double %40, double* %13
%41 = load double*, double** %7
%42 = getelementptr inbounds double, double* %41, i64 1
%43 = load double, double* %42
store double %43, double* %14
%44 = load double*, double** %7
%45 = getelementptr inbounds double, double* %44, i64 2
%46 = load double, double* %45
store double %46, double* %15
%47 = load double*, double** %9
%48 = getelementptr inbounds double, double* %47, i64 0
%49 = load double, double* %48
store double %49, double* %16
%50 = load double*, double** %9
%51 = getelementptr inbounds double, double* %50, i64 1
%52 = load double, double* %51
store double %52, double* %17
%53 = load double, double* %15
%54 = call i64 @sin(double %53)
%55 = sitofp i64 %54 to double
store double %55, double* %18
%56 = load double, double* %15
%57 = call i64 @cos(double %56)
%58 = sitofp i64 %57 to double
store double %58, double* %19
%59 = load double*, double** %8
%60 = getelementptr inbounds double, double* %59, i64 0
%61 = load double, double* %60
store double %61, double* %20
%62 = load double*, double** %8
%63 = getelementptr inbounds double, double* %62, i64 1
%64 = load double, double* %63
store double %64, double* %21
%65 = load double*, double** %8
%66 = getelementptr inbounds double, double* %65, i64 2
%67 = load double, double* %66
store double %67, double* %22
%68 = load double*, double** %8
%69 = getelementptr inbounds double, double* %68, i64 4
%70 = load double, double* %69
store double %70, double* %23
%71 = load double*, double** %8
%72 = getelementptr inbounds double, double* %71, i64 5
%73 = load double, double* %72
store double %73, double* %24
%74 = load double*, double** %8
%75 = getelementptr inbounds double, double* %74, i64 8
%76 = load double, double* %75
store double %76, double* %25
%77 = load double*, double** %10
%78 = getelementptr inbounds double, double* %77, i64 0
%79 = load double, double* %78
store double %79, double* %26
%80 = load double*, double** %10
%81 = getelementptr inbounds double, double* %80, i64 1
%82 = load double, double* %81
store double %82, double* %27
%83 = load double*, double** %10
%84 = getelementptr inbounds double, double* %83, i64 2
%85 = load double, double* %84
store double %85, double* %28
%86 = load double*, double** %10
%87 = getelementptr inbounds double, double* %86, i64 4
%88 = load double, double* %87
store double %88, double* %29
%89 = load double*, double** %10
%90 = getelementptr inbounds double, double* %89, i64 5
%91 = load double, double* %90
store double %91, double* %30
%92 = load double*, double** %10
%93 = getelementptr inbounds double, double* %92, i64 8
%94 = load double, double* %93
store double %94, double* %31
%95 = load double, double* %18
%96 = fneg double %95
%97 = load double, double* %16
%98 = load double, double* %19
%99 = load double, double* %17
%100 = fmul double %98, %99
%101 = fneg double %100
%102 = call double @llvm.fmuladd.f64(double %96, double %97, double %101)
store double %102, double* %32
%103 = load double, double* %19
%104 = load double, double* %16
%105 = load double, double* %18
%106 = load double, double* %17
%107 = fmul double %105, %106
%108 = fneg double %107
%109 = call double @llvm.fmuladd.f64(double %103, double %104, double %108)
store double %109, double* %33
%110 = load double, double* %19
store double %110, double* %34
%111 = load double, double* %18
%112 = fneg double %111
store double %112, double* %35
%113 = load double, double* %18
store double %113, double* %36
%114 = load double, double* %19
store double %114, double* %37
%115 = load double, double* %25
%116 = load double, double* %32
%117 = fmul double %115, %116
%118 = load double, double* %32
%119 = load double, double* %22
%120 = fmul double 2.000000e+00, %119
%121 = load double, double* %32
%122 = fmul double %120, %121
%123 = call double @llvm.fmuladd.f64(double %117, double %118, double %122)
%124 = load double, double* %26
%125 = load double, double* %34
%126 = fmul double %124, %125
%127 = load double, double* %34
%128 = call double @llvm.fmuladd.f64(double %126, double %127, double %123)
%129 = load double, double* %27
%130 = fmul double 2.000000e+00, %129
%131 = load double, double* %34
%132 = fmul double %130, %131
%133 = load double, double* %35
%134 = call double @llvm.fmuladd.f64(double %132, double %133, double %128)
%135 = load double, double* %29
%136 = load double, double* %35
%137 = fmul double %135, %136
%138 = load double, double* %35
%139 = call double @llvm.fmuladd.f64(double %137, double %138, double %134)
%140 = load double, double* %20
%141 = fadd double %139, %140
%142 = load double*, double** %12
%143 = getelementptr inbounds double, double* %142, i64 0
store double %141, double* %143
%144 = load double, double* %21
%145 = load double, double* %33
%146 = load double, double* %22
%147 = load double, double* %32
%148 = load double, double* %25
%149 = call double @llvm.fmuladd.f64(double %147, double %148, double %146)
%150 = call double @llvm.fmuladd.f64(double %145, double %149, double %144)
%151 = load double, double* %32
%152 = load double, double* %24
%153 = call double @llvm.fmuladd.f64(double %151, double %152, double %150)
%154 = load double, double* %36
%155 = load double, double* %34
%156 = load double, double* %26
%157 = load double, double* %35
%158 = load double, double* %27
%159 = fmul double %157, %158
%160 = call double @llvm.fmuladd.f64(double %155, double %156, double %159)
%161 = call double @llvm.fmuladd.f64(double %154, double %160, double %153)
%162 = load double, double* %37
%163 = load double, double* %34
%164 = load double, double* %27
%165 = load double, double* %35
%166 = load double, double* %29
%167 = fmul double %165, %166
%168 = call double @llvm.fmuladd.f64(double %163, double %164, double %167)
%169 = call double @llvm.fmuladd.f64(double %162, double %168, double %161)
%170 = load double*, double** %12
%171 = getelementptr inbounds double, double* %170, i64 1
store double %169, double* %171
%172 = load double, double* %22
%173 = load double, double* %32
%174 = load double, double* %25
%175 = call double @llvm.fmuladd.f64(double %173, double %174, double %172)
%176 = load double, double* %34
%177 = load double, double* %28
%178 = call double @llvm.fmuladd.f64(double %176, double %177, double %175)
%179 = load double, double* %35
%180 = load double, double* %30
%181 = call double @llvm.fmuladd.f64(double %179, double %180, double %178)
%182 = load double*, double** %12
%183 = getelementptr inbounds double, double* %182, i64 2
store double %181, double* %183
%184 = load double*, double** %12
%185 = getelementptr inbounds double, double* %184, i64 1
%186 = load double, double* %185
%187 = load double*, double** %12
%188 = getelementptr inbounds double, double* %187, i64 3
store double %186, double* %188
%189 = load double, double* %25
%190 = load double, double* %33
%191 = fmul double %189, %190
%192 = load double, double* %33
%193 = load double, double* %24
%194 = fmul double 2.000000e+00, %193
%195 = load double, double* %33
%196 = fmul double %194, %195
%197 = call double @llvm.fmuladd.f64(double %191, double %192, double %196)
%198 = load double, double* %26
%199 = load double, double* %36
%200 = fmul double %198, %199
%201 = load double, double* %36
%202 = call double @llvm.fmuladd.f64(double %200, double %201, double %197)
%203 = load double, double* %27
%204 = fmul double 2.000000e+00, %203
%205 = load double, double* %36
%206 = fmul double %204, %205
%207 = load double, double* %37
%208 = call double @llvm.fmuladd.f64(double %206, double %207, double %202)
%209 = load double, double* %29
%210 = load double, double* %37
%211 = fmul double %209, %210
%212 = load double, double* %37
%213 = call double @llvm.fmuladd.f64(double %211, double %212, double %208)
%214 = load double, double* %23
%215 = fadd double %213, %214
%216 = load double*, double** %12
%217 = getelementptr inbounds double, double* %216, i64 4
store double %215, double* %217
%218 = load double, double* %24
%219 = load double, double* %33
%220 = load double, double* %25
%221 = call double @llvm.fmuladd.f64(double %219, double %220, double %218)
%222 = load double, double* %36
%223 = load double, double* %28
%224 = call double @llvm.fmuladd.f64(double %222, double %223, double %221)
%225 = load double, double* %37
%226 = load double, double* %30
%227 = call double @llvm.fmuladd.f64(double %225, double %226, double %224)
%228 = load double*, double** %12
%229 = getelementptr inbounds double, double* %228, i64 5
store double %227, double* %229
%230 = load double*, double** %12
%231 = getelementptr inbounds double, double* %230, i64 2
%232 = load double, double* %231
%233 = load double*, double** %12
%234 = getelementptr inbounds double, double* %233, i64 6
store double %232, double* %234
%235 = load double*, double** %12
%236 = getelementptr inbounds double, double* %235, i64 5
%237 = load double, double* %236
%238 = load double*, double** %12
%239 = getelementptr inbounds double, double* %238, i64 7
store double %237, double* %239
%240 = load double, double* %25
%241 = load double, double* %31
%242 = fadd double %240, %241
%243 = load double*, double** %12
%244 = getelementptr inbounds double, double* %243, i64 8
store double %242, double* %244
%245 = load double, double* %19
%246 = load double, double* %16
%247 = load double, double* %18
%248 = load double, double* %17
%249 = fmul double %247, %248
%250 = fneg double %249
%251 = call double @llvm.fmuladd.f64(double %245, double %246, double %250)
%252 = load double, double* %13
%253 = fadd double %251, %252
%254 = load double*, double** %11
%255 = getelementptr inbounds double, double* %254, i64 0
store double %253, double* %255
%256 = load double, double* %18
%257 = load double, double* %16
%258 = load double, double* %19
%259 = load double, double* %17
%260 = fmul double %258, %259
%261 = call double @llvm.fmuladd.f64(double %256, double %257, double %260)
%262 = load double, double* %14
%263 = fadd double %261, %262
%264 = load double*, double** %11
%265 = getelementptr inbounds double, double* %264, i64 1
store double %263, double* %265
%266 = load double*, double** %7
%267 = getelementptr inbounds double, double* %266, i64 2
%268 = load double, double* %267
%269 = load double*, double** %9
%270 = getelementptr inbounds double, double* %269, i64 2
%271 = load double, double* %270
%272 = fadd double %268, %271
%273 = load double*, double** %11
%274 = getelementptr inbounds double, double* %273, i64 2
store double %272, double* %274
ret void
}

LLVM IR (-O2):
define void @doubles_xytcov_mul(double* nocapture %0, double* nocapture %1, double* nocapture %2, double* nocapture %3, double* nocapture writeonly %4, double* nocapture %5) {
%7 = bitcast double* %0 to <2 x double>*
%8 = load <2 x double>, <2 x double>* %7
%9 = getelementptr inbounds double, double* %0, i64 2
%10 = load double, double* %9
%11 = load double, double* %2
%12 = getelementptr inbounds double, double* %2, i64 1
%13 = load double, double* %12
%14 = tail call i64 @sin(double %10)
%15 = tail call i64 @cos(double %10)
%16 = insertelement <2 x i64> poison, i64 %14, i64 0
%17 = insertelement <2 x i64> %16, i64 %15, i64 1
%18 = sitofp <2 x i64> %17 to <2 x double>
%19 = load double, double* %1
%20 = getelementptr inbounds double, double* %1, i64 1
%21 = load double, double* %20
%22 = getelementptr inbounds double, double* %1, i64 2
%23 = load double, double* %22
%24 = getelementptr inbounds double, double* %1, i64 4
%25 = load double, double* %24
%26 = getelementptr inbounds double, double* %1, i64 5
%27 = load double, double* %26
%28 = getelementptr inbounds double, double* %1, i64 8
%29 = load double, double* %28
%30 = load double, double* %3
%31 = getelementptr inbounds double, double* %3, i64 1
%32 = load double, double* %31
%33 = getelementptr inbounds double, double* %3, i64 2
%34 = load double, double* %33
%35 = getelementptr inbounds double, double* %3, i64 4
%36 = load double, double* %35
%37 = getelementptr inbounds double, double* %3, i64 5
%38 = load double, double* %37
%39 = getelementptr inbounds double, double* %3, i64 8
%40 = load double, double* %39
%41 = extractelement <2 x double> %18, i64 0
%42 = fneg double %41
%43 = extractelement <2 x double> %18, i64 1
%44 = fmul double %13, %43
%45 = fneg double %44
%46 = fneg double %13
%47 = fmul double %41, %46
%48 = insertelement <2 x double> poison, double %43, i64 0
%49 = insertelement <2 x double> %48, double %42, i64 1
%50 = insertelement <2 x double> poison, double %11, i64 0
%51 = shufflevector <2 x double> %50, <2 x double> poison, <2 x i32> zeroinitializer
%52 = insertelement <2 x double> poison, double %47, i64 0
%53 = insertelement <2 x double> %52, double %45, i64 1
%54 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %49, <2 x double> %51, <2 x double> %53)
%55 = extractelement <2 x double> %54, i64 1
%56 = fmul double %55, %29
%57 = fmul double %23, 2.000000e+00
%58 = fmul double %55, %57
%59 = tail call double @llvm.fmuladd.f64(double %56, double %55, double %58)
%60 = fmul double %30, %43
%61 = tail call double @llvm.fmuladd.f64(double %60, double %43, double %59)
%62 = fmul double %32, 2.000000e+00
%63 = fmul double %62, %43
%64 = tail call double @llvm.fmuladd.f64(double %63, double %42, double %61)
%65 = fmul double %36, %42
%66 = tail call double @llvm.fmuladd.f64(double %65, double %42, double %64)
%67 = fadd double %19, %66
store double %67, double* %5
%68 = insertelement <2 x double> poison, double %29, i64 0
%69 = shufflevector <2 x double> %68, <2 x double> poison, <2 x i32> zeroinitializer
%70 = insertelement <2 x double> poison, double %27, i64 0
%71 = insertelement <2 x double> %70, double %23, i64 1
%72 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %54, <2 x double> %69, <2 x double> %71)
%73 = extractelement <2 x double> %72, i64 1
%74 = extractelement <2 x double> %54, i64 0
%75 = tail call double @llvm.fmuladd.f64(double %74, double %73, double %21)
%76 = tail call double @llvm.fmuladd.f64(double %55, double %27, double %75)
%77 = fmul double %32, %42
%78 = tail call double @llvm.fmuladd.f64(double %43, double %30, double %77)
%79 = tail call double @llvm.fmuladd.f64(double %41, double %78, double %76)
%80 = tail call double @llvm.fmuladd.f64(double %43, double %32, double %65)
%81 = tail call double @llvm.fmuladd.f64(double %43, double %80, double %79)
%82 = getelementptr inbounds double, double* %5, i64 1
store double %81, double* %82
%83 = getelementptr inbounds double, double* %5, i64 2
%84 = insertelement <2 x double> poison, double %34, i64 0
%85 = shufflevector <2 x double> %84, <2 x double> poison, <2 x i32> zeroinitializer
%86 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %18, <2 x double> %85, <2 x double> %72)
%87 = insertelement <2 x double> poison, double %38, i64 0
%88 = shufflevector <2 x double> %87, <2 x double> poison, <2 x i32> zeroinitializer
%89 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %49, <2 x double> %88, <2 x double> %86)
%90 = extractelement <2 x double> %89, i64 1
store double %90, double* %83
%91 = getelementptr inbounds double, double* %5, i64 3
store double %81, double* %91
%92 = fmul double %74, %29
%93 = fmul double %27, 2.000000e+00
%94 = fmul double %74, %93
%95 = tail call double @llvm.fmuladd.f64(double %92, double %74, double %94)
%96 = fmul double %30, %41
%97 = tail call double @llvm.fmuladd.f64(double %96, double %41, double %95)
%98 = fmul double %62, %41
%99 = tail call double @llvm.fmuladd.f64(double %98, double %43, double %97)
%100 = fmul double %36, %43
%101 = tail call double @llvm.fmuladd.f64(double %100, double %43, double %99)
%102 = fadd double %25, %101
%103 = getelementptr inbounds double, double* %5, i64 4
store double %102, double* %103
%104 = getelementptr inbounds double, double* %5, i64 5
%105 = bitcast double* %104 to <2 x double>*
store <2 x double> %89, <2 x double>* %105
%106 = getelementptr inbounds double, double* %5, i64 7
%107 = extractelement <2 x double> %89, i64 0
store double %107, double* %106
%108 = fadd double %29, %40
%109 = getelementptr inbounds double, double* %5, i64 8
store double %108, double* %109
%110 = tail call double @llvm.fmuladd.f64(double %41, double %11, double %44)
%111 = insertelement <2 x double> %54, double %110, i64 1
%112 = fadd <2 x double> %8, %111
%113 = bitcast double* %4 to <2 x double>*
store <2 x double> %112, <2 x double>* %113
%114 = load double, double* %9
%115 = getelementptr inbounds double, double* %2, i64 2
%116 = load double, double* %115
%117 = fadd double %114, %116
%118 = getelementptr inbounds double, double* %4, i64 2
store double %117, double* %118
ret void
}