user: Converte this assembly snippet into its equivalent C code:

```asm
<calcDistImgProjJacKDRTS>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x690,%rsp
  mov    %rdi,-0x668(%rbp)
  mov    %rsi,-0x670(%rbp)
  mov    %rdx,-0x678(%rbp)
  mov    %rcx,-0x680(%rbp)
  mov    %r8,-0x688(%rbp)
  mov    %r9,-0x690(%rbp)
  mov    -0x680(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x658(%rbp)
  movsd  -0x658(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x650(%rbp)
  mov    -0x680(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x648(%rbp)
  movsd  -0x648(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x640(%rbp)
  mov    -0x680(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x638(%rbp)
  movsd  -0x638(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x630(%rbp)
  movsd  D112(%rip),%xmm0
  subsd  -0x650(%rbp),%xmm0
  subsd  -0x640(%rbp),%xmm0
  subsd  -0x630(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x628(%rbp)
  mov    -0x678(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x620(%rbp)
  mov    -0x678(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x618(%rbp)
  mov    -0x678(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0x610(%rbp)
  mov    -0x678(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x608(%rbp)
  movsd  -0x620(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x628(%rbp),%xmm1
  movsd  -0x618(%rbp),%xmm0
  mulsd  -0x658(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x610(%rbp),%xmm0
  mulsd  -0x648(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x638(%rbp),%xmm1
  mulsd  -0x608(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x600(%rbp)
  mov    -0x690(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x5f8(%rbp)
  movsd  -0x628(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x608(%rbp),%xmm1
  movsd  -0x618(%rbp),%xmm0
  mulsd  -0x648(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x638(%rbp),%xmm0
  mulsd  -0x620(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x658(%rbp),%xmm1
  mulsd  -0x610(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5f0(%rbp)
  mov    -0x690(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x5e8(%rbp)
  movsd  -0x628(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x610(%rbp),%xmm1
  movsd  -0x638(%rbp),%xmm0
  mulsd  -0x618(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x658(%rbp),%xmm0
  mulsd  -0x608(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x648(%rbp),%xmm1
  mulsd  -0x620(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5e0(%rbp)
  mov    -0x690(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x5d8(%rbp)
  movsd  -0x600(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  movsd  -0x5f0(%rbp),%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5e0(%rbp),%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5d0(%rbp)
  movsd  -0x600(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x5c8(%rbp)
  movsd  -0x628(%rbp),%xmm0
  mulsd  -0x618(%rbp),%xmm0
  movsd  -0x658(%rbp),%xmm1
  mulsd  -0x620(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x648(%rbp),%xmm1
  mulsd  -0x608(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x638(%rbp),%xmm1
  mulsd  -0x610(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5c0(%rbp)
  movsd  -0x5c0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  movsd  -0x5f0(%rbp),%xmm0
  mulsd  -0x5d8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x5e0(%rbp),%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5b8(%rbp)
  movsd  -0x5c0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  movsd  -0x5e0(%rbp),%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x5d8(%rbp),%xmm1
  mulsd  -0x600(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5b0(%rbp)
  movsd  -0x5e0(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x5a8(%rbp)
  movsd  -0x5c0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  movsd  -0x600(%rbp),%xmm0
  mulsd  -0x5e8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x5f0(%rbp),%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5a0(%rbp)
  movsd  -0x5f0(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x598(%rbp)
  movsd  -0x5d0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5c8(%rbp),%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x5b8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5b0(%rbp),%xmm0
  mulsd  -0x5a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x5a0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x598(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x688(%rbp),%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x590(%rbp)
  movsd  -0x590(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x588(%rbp)
  movsd  -0x5d0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5a8(%rbp),%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x5a0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5b8(%rbp),%xmm0
  mulsd  -0x598(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x5b0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x5c8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x688(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x580(%rbp)
  movsd  -0x580(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x578(%rbp)
  movsd  D112(%rip),%xmm0
  divsd  -0x578(%rbp),%xmm0
  movsd  %xmm0,-0x570(%rbp)
  movsd  -0x588(%rbp),%xmm0
  mulsd  -0x570(%rbp),%xmm0
  movsd  %xmm0,-0x568(%rbp)
  movsd  -0x5d0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x598(%rbp),%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x5b0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5a0(%rbp),%xmm0
  mulsd  -0x5c8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x5b8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x5a8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x688(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x560(%rbp)
  movsd  -0x560(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x558(%rbp)
  movsd  -0x558(%rbp),%xmm0
  mulsd  -0x570(%rbp),%xmm0
  movsd  %xmm0,-0x550(%rbp)
  movsd  -0x568(%rbp),%xmm0
  addsd  -0x550(%rbp),%xmm0
  movsd  %xmm0,-0x548(%rbp)
  mov    -0x670(%rbp),%rax
  movsd  0x20(%rax),%xmm0
  movsd  %xmm0,-0x540(%rbp)
  mov    -0x670(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x538(%rbp)
  mov    -0x670(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x538(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x530(%rbp)
  movsd  -0x548(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  D112(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x528(%rbp)
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movsd  %xmm0,-0x520(%rbp)
  movsd  D112(%rip),%xmm0
  divsd  -0x580(%rbp),%xmm0
  movsd  %xmm0,-0x518(%rbp)
  mov    -0x670(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x510(%rbp)
  movsd  -0x510(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movsd  %xmm0,-0x508(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movsd  %xmm0,-0x500(%rbp)
  mov    -0x670(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0x4f8(%rbp)
  movsd  -0x568(%rbp),%xmm1
  movsd  D69(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x550(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4f0(%rbp)
  movsd  -0x520(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x508(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x4f8(%rbp),%xmm0
  mulsd  -0x4f0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x668(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0x4e8(%rbp)
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movsd  %xmm0,-0x4e0(%rbp)
  movsd  -0x550(%rbp),%xmm1
  movsd  D69(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x568(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4d8(%rbp)
  movsd  -0x4f8(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movsd  %xmm0,-0x4d0(%rbp)
  movsd  -0x4e0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x510(%rbp),%xmm0
  mulsd  -0x4d8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x4d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4c8(%rbp)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4e8(%rbp),%xmm0
  mulsd  -0x4c8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    0x10(%rbp),%rax
  movsd  D112(%rip),%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x8(%rax)
  mov    0x10(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  D112(%rip),%xmm0
  movsd  %xmm0,0x10(%rax)
  mov    0x10(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    -0x668(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x4c0(%rbp)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4c8(%rbp),%xmm0
  mulsd  -0x4c0(%rbp),%xmm0
  movsd  %xmm0,0x18(%rax)
  mov    0x10(%rbp),%rax
  movsd  -0x4c8(%rbp),%xmm0
  movsd  %xmm0,0x20(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,0x20(%rax)
  movsd  -0x590(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movsd  %xmm0,-0x4b8(%rbp)
  mov    -0x668(%rbp),%rax
  movsd  0x20(%rax),%xmm0
  movsd  %xmm0,-0x4b0(%rbp)
  movsd  -0x560(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movsd  %xmm0,-0x4a8(%rbp)
  movsd  -0x4c0(%rbp),%xmm0
  mulsd  -0x548(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4b8(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x548(%rbp),%xmm0
  mulsd  -0x4a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x28(%rax)
  movsd  -0x4c0(%rbp),%xmm0
  mulsd  -0x4e8(%rbp),%xmm0
  movsd  %xmm0,-0x4a0(%rbp)
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movsd  %xmm0,-0x498(%rbp)
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x498(%rbp),%xmm0
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  mulsd  -0x518(%rbp),%xmm0
  movsd  %xmm0,0x28(%rax)
  movsd  -0x548(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x490(%rbp)
  movsd  -0x4c0(%rbp),%xmm0
  mulsd  -0x490(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4b8(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x490(%rbp),%xmm0
  mulsd  -0x4a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x30(%rax)
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x490(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  mulsd  -0x518(%rbp),%xmm0
  movsd  %xmm0,0x30(%rax)
  movsd  -0x4c0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x500(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x4d8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x38(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x4d8(%rbp),%xmm0
  movsd  %xmm0,0x38(%rax)
  movsd  -0x4c0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4f0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x590(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x40(%rax)
  movsd  -0x590(%rbp),%xmm0
  mulsd  -0x570(%rbp),%xmm0
  movsd  %xmm0,-0x488(%rbp)
  movsd  -0x4a0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x488(%rbp),%xmm0
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  mulsd  -0x560(%rbp),%xmm0
  movsd  %xmm0,0x40(%rax)
  movsd  -0x490(%rbp),%xmm0
  mulsd  -0x548(%rbp),%xmm0
  movsd  %xmm0,-0x480(%rbp)
  movsd  -0x4c0(%rbp),%xmm0
  mulsd  -0x480(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4b8(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x480(%rbp),%xmm0
  mulsd  -0x4a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x48(%rax)
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x480(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  mulsd  -0x518(%rbp),%xmm0
  movsd  %xmm0,0x48(%rax)
  movsd  D112(%rip),%xmm0
  divsd  -0x628(%rbp),%xmm0
  movsd  %xmm0,-0x478(%rbp)
  movsd  -0x478(%rbp),%xmm0
  mulsd  -0x620(%rbp),%xmm0
  movsd  %xmm0,-0x470(%rbp)
  movsd  -0x470(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x658(%rbp),%xmm0
  movsd  -0x618(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x468(%rbp)
  movsd  -0x478(%rbp),%xmm0
  mulsd  -0x608(%rbp),%xmm0
  movsd  %xmm0,-0x460(%rbp)
  movsd  -0x460(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x658(%rbp),%xmm0
  subsd  -0x610(%rbp),%xmm0
  movsd  %xmm0,-0x458(%rbp)
  movsd  -0x610(%rbp),%xmm0
  mulsd  -0x478(%rbp),%xmm0
  movsd  %xmm0,-0x450(%rbp)
  movsd  -0x450(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x658(%rbp),%xmm0
  movsd  -0x608(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x448(%rbp)
  movsd  -0x468(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  movsd  -0x458(%rbp),%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x448(%rbp),%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x440(%rbp)
  movsd  -0x468(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x438(%rbp)
  movsd  -0x478(%rbp),%xmm0
  mulsd  -0x618(%rbp),%xmm0
  movsd  %xmm0,-0x430(%rbp)
  movsd  -0x430(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x658(%rbp),%xmm0
  subsd  -0x620(%rbp),%xmm0
  movsd  %xmm0,-0x428(%rbp)
  movsd  -0x428(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  movsd  -0x458(%rbp),%xmm0
  mulsd  -0x5d8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x448(%rbp),%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x420(%rbp)
  movsd  -0x428(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  movsd  -0x448(%rbp),%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x468(%rbp),%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x418(%rbp)
  movsd  -0x448(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x410(%rbp)
  movsd  -0x5d8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x428(%rbp),%xmm1
  movsd  -0x468(%rbp),%xmm0
  mulsd  -0x5e8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x458(%rbp),%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x408(%rbp)
  movsd  -0x458(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x400(%rbp)
  movsd  -0x440(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5c8(%rbp),%xmm1
  movsd  -0x5d0(%rbp),%xmm0
  mulsd  -0x438(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x428(%rbp),%xmm0
  mulsd  -0x5b8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x420(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x418(%rbp),%xmm0
  mulsd  -0x5a8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5b0(%rbp),%xmm0
  mulsd  -0x410(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x408(%rbp),%xmm1
  mulsd  -0x598(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5a0(%rbp),%xmm1
  mulsd  -0x400(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3f8(%rbp)
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x3f8(%rbp),%xmm0
  movsd  %xmm0,-0x3f0(%rbp)
  movsd  D112(%rip),%xmm0
  divsd  -0x578(%rbp),%xmm0
  divsd  -0x580(%rbp),%xmm0
  movsd  %xmm0,-0x3e8(%rbp)
  movsd  -0x588(%rbp),%xmm0
  mulsd  -0x3e8(%rbp),%xmm0
  movsd  %xmm0,-0x3e0(%rbp)
  movsd  -0x440(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5a8(%rbp),%xmm1
  movsd  -0x5d0(%rbp),%xmm0
  mulsd  -0x410(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x428(%rbp),%xmm0
  mulsd  -0x5a0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x408(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x420(%rbp),%xmm0
  mulsd  -0x598(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5b8(%rbp),%xmm0
  mulsd  -0x400(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x418(%rbp),%xmm1
  mulsd  -0x5c8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5b0(%rbp),%xmm1
  mulsd  -0x438(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3d8(%rbp)
  movsd  -0x3e0(%rbp),%xmm0
  mulsd  -0x3d8(%rbp),%xmm0
  movsd  %xmm0,-0x3d0(%rbp)
  movsd  -0x440(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x598(%rbp),%xmm1
  movsd  -0x5d0(%rbp),%xmm0
  mulsd  -0x400(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x428(%rbp),%xmm0
  mulsd  -0x5b0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x418(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x408(%rbp),%xmm0
  mulsd  -0x5c8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5a0(%rbp),%xmm0
  mulsd  -0x438(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x420(%rbp),%xmm1
  mulsd  -0x5a8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5b8(%rbp),%xmm1
  mulsd  -0x410(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3c8(%rbp)
  movsd  -0x500(%rbp),%xmm0
  mulsd  -0x3c8(%rbp),%xmm0
  movsd  %xmm0,-0x3c0(%rbp)
  movsd  -0x558(%rbp),%xmm0
  mulsd  -0x3e8(%rbp),%xmm0
  movsd  %xmm0,-0x3b8(%rbp)
  movsd  -0x3b8(%rbp),%xmm0
  mulsd  -0x3d8(%rbp),%xmm0
  movsd  %xmm0,-0x3b0(%rbp)
  movsd  -0x3f0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x3d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x3c0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x3b0(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x3a8(%rbp)
  movsd  -0x3a8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x3a8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x538(%rbp),%xmm2
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x3a8(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3a0(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x3d8(%rbp),%xmm0
  movsd  %xmm0,-0x398(%rbp)
  movsd  -0x3e8(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movsd  %xmm0,-0x390(%rbp)
  movsd  -0x390(%rbp),%xmm0
  mulsd  -0x3d8(%rbp),%xmm0
  movsd  %xmm0,-0x388(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x3c8(%rbp),%xmm0
  movsd  %xmm0,-0x380(%rbp)
  movsd  -0x3a0(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x3c8(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4e0(%rbp),%xmm1
  mulsd  -0x398(%rbp),%xmm1
  movapd %xmm0,%xmm2
  subsd  %xmm1,%xmm2
  movsd  -0x3f0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x3d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x3c0(%rbp),%xmm3
  movsd  D103(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x3b0(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  movsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x3f8(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4d0(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x388(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x4d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x380(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x378(%rbp)
  movsd  -0x3a0(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x3f8(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x520(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x398(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x3f8(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x508(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x388(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x508(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x380(%rbp),%xmm0
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  movsd  -0x3f0(%rbp),%xmm1
  movsd  D103(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3d0(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm1,%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x3c0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x3b0(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x378(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x50(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x378(%rbp),%xmm0
  movsd  %xmm0,0x50(%rax)
  movsd  -0x470(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x648(%rbp),%xmm0
  movsd  -0x610(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x370(%rbp)
  movsd  -0x460(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x648(%rbp),%xmm0
  movsd  -0x618(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x368(%rbp)
  movsd  -0x450(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x648(%rbp),%xmm0
  subsd  -0x620(%rbp),%xmm0
  movsd  %xmm0,-0x360(%rbp)
  movsd  -0x370(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  movsd  -0x368(%rbp),%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x360(%rbp),%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x358(%rbp)
  movsd  -0x370(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x350(%rbp)
  movsd  -0x430(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x648(%rbp),%xmm0
  subsd  -0x608(%rbp),%xmm0
  movsd  %xmm0,-0x348(%rbp)
  movsd  -0x348(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  movsd  -0x368(%rbp),%xmm0
  mulsd  -0x5d8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x360(%rbp),%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x340(%rbp)
  movsd  -0x348(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  movsd  -0x360(%rbp),%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x5d8(%rbp),%xmm1
  mulsd  -0x370(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x338(%rbp)
  movsd  -0x360(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x330(%rbp)
  movsd  -0x348(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  movsd  -0x370(%rbp),%xmm0
  mulsd  -0x5e8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x368(%rbp),%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x328(%rbp)
  movsd  -0x368(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x320(%rbp)
  movsd  -0x358(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5c8(%rbp),%xmm1
  movsd  -0x5d0(%rbp),%xmm0
  mulsd  -0x350(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x348(%rbp),%xmm0
  mulsd  -0x5b8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x340(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x338(%rbp),%xmm0
  mulsd  -0x5a8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5b0(%rbp),%xmm0
  mulsd  -0x330(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x328(%rbp),%xmm1
  mulsd  -0x598(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5a0(%rbp),%xmm1
  mulsd  -0x320(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x318(%rbp)
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x318(%rbp),%xmm0
  movsd  %xmm0,-0x310(%rbp)
  movsd  -0x358(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5a8(%rbp),%xmm1
  movsd  -0x5d0(%rbp),%xmm0
  mulsd  -0x330(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x348(%rbp),%xmm0
  mulsd  -0x5a0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x328(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x340(%rbp),%xmm0
  mulsd  -0x598(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5b8(%rbp),%xmm0
  mulsd  -0x320(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x338(%rbp),%xmm1
  mulsd  -0x5c8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5b0(%rbp),%xmm1
  mulsd  -0x350(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x308(%rbp)
  movsd  -0x3e0(%rbp),%xmm0
  mulsd  -0x308(%rbp),%xmm0
  movsd  %xmm0,-0x300(%rbp)
  movsd  -0x358(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x598(%rbp),%xmm1
  movsd  -0x5d0(%rbp),%xmm0
  mulsd  -0x320(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x348(%rbp),%xmm0
  mulsd  -0x5b0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x338(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x328(%rbp),%xmm0
  mulsd  -0x5c8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5a0(%rbp),%xmm0
  mulsd  -0x350(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x340(%rbp),%xmm1
  mulsd  -0x5a8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5b8(%rbp),%xmm1
  mulsd  -0x330(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2f8(%rbp)
  movsd  -0x500(%rbp),%xmm0
  mulsd  -0x2f8(%rbp),%xmm0
  movsd  %xmm0,-0x2f0(%rbp)
  movsd  -0x3b8(%rbp),%xmm0
  mulsd  -0x308(%rbp),%xmm0
  movsd  %xmm0,-0x2e8(%rbp)
  movsd  -0x310(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x300(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x2f0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x2e8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x2e0(%rbp)
  movsd  -0x2e0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x2e0(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x538(%rbp),%xmm2
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x2e0(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2d8(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x308(%rbp),%xmm0
  movsd  %xmm0,-0x2d0(%rbp)
  movsd  -0x308(%rbp),%xmm0
  mulsd  -0x390(%rbp),%xmm0
  movsd  %xmm0,-0x2c8(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x2f8(%rbp),%xmm0
  movsd  %xmm0,-0x2c0(%rbp)
  movsd  -0x2d8(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x2f8(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x2d0(%rbp),%xmm1
  mulsd  -0x4e0(%rbp),%xmm1
  movapd %xmm0,%xmm2
  subsd  %xmm1,%xmm2
  movsd  -0x310(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x300(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x2f0(%rbp),%xmm3
  movsd  D103(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x2e8(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  movsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x318(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4d0(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x2c8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x2c0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x4d0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2b8(%rbp)
  movsd  -0x2d8(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x318(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x520(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x2d0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x318(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x508(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x2c8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x508(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x2c0(%rbp),%xmm0
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  movsd  -0x310(%rbp),%xmm1
  movsd  D103(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x300(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm1,%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x2f0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x2e8(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x2b8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x58(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x2b8(%rbp),%xmm0
  movsd  %xmm0,0x58(%rax)
  movsd  -0x470(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x638(%rbp),%xmm0
  subsd  -0x608(%rbp),%xmm0
  movsd  %xmm0,-0x2b0(%rbp)
  movsd  -0x460(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x638(%rbp),%xmm0
  movsd  -0x620(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2a8(%rbp)
  movsd  -0x450(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x638(%rbp),%xmm0
  movsd  -0x618(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2a0(%rbp)
  movsd  -0x2b0(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  movsd  -0x5e8(%rbp),%xmm1
  mulsd  -0x2a8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x2a0(%rbp),%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x298(%rbp)
  movsd  -0x2b0(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x290(%rbp)
  movsd  -0x430(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x638(%rbp),%xmm0
  subsd  -0x610(%rbp),%xmm0
  movsd  %xmm0,-0x288(%rbp)
  movsd  -0x288(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  movsd  -0x2a8(%rbp),%xmm0
  mulsd  -0x5d8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x2a0(%rbp),%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x280(%rbp)
  movsd  -0x5e8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x288(%rbp),%xmm1
  movsd  -0x2a0(%rbp),%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x2b0(%rbp),%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x278(%rbp)
  movsd  -0x2a0(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x270(%rbp)
  movsd  -0x288(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  movsd  -0x2b0(%rbp),%xmm0
  mulsd  -0x5e8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x2a8(%rbp),%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x268(%rbp)
  movsd  -0x2a8(%rbp),%xmm0
  movq   D49(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x260(%rbp)
  movsd  -0x5c8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x298(%rbp),%xmm1
  movsd  -0x290(%rbp),%xmm0
  mulsd  -0x5d0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x288(%rbp),%xmm0
  mulsd  -0x5b8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x280(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x278(%rbp),%xmm0
  mulsd  -0x5a8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5b0(%rbp),%xmm0
  mulsd  -0x270(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x268(%rbp),%xmm1
  mulsd  -0x598(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5a0(%rbp),%xmm1
  mulsd  -0x260(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x258(%rbp)
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x258(%rbp),%xmm0
  movsd  %xmm0,-0x250(%rbp)
  movsd  -0x298(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5a8(%rbp),%xmm1
  movsd  -0x5d0(%rbp),%xmm0
  mulsd  -0x270(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5a0(%rbp),%xmm0
  mulsd  -0x288(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x268(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x280(%rbp),%xmm0
  mulsd  -0x598(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5b8(%rbp),%xmm0
  mulsd  -0x260(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x278(%rbp),%xmm1
  mulsd  -0x5c8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5b0(%rbp),%xmm1
  mulsd  -0x290(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x248(%rbp)
  movsd  -0x3e0(%rbp),%xmm0
  mulsd  -0x248(%rbp),%xmm0
  movsd  %xmm0,-0x240(%rbp)
  movsd  -0x298(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x598(%rbp),%xmm1
  movsd  -0x5d0(%rbp),%xmm0
  mulsd  -0x260(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x288(%rbp),%xmm0
  mulsd  -0x5b0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x278(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x268(%rbp),%xmm0
  mulsd  -0x5c8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x5a0(%rbp),%xmm0
  mulsd  -0x290(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x280(%rbp),%xmm1
  mulsd  -0x5a8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x5b8(%rbp),%xmm1
  mulsd  -0x270(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x238(%rbp)
  movsd  -0x500(%rbp),%xmm0
  mulsd  -0x238(%rbp),%xmm0
  movsd  %xmm0,-0x230(%rbp)
  movsd  -0x3b8(%rbp),%xmm0
  mulsd  -0x248(%rbp),%xmm0
  movsd  %xmm0,-0x228(%rbp)
  movsd  -0x250(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x240(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x230(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x228(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x220(%rbp)
  movsd  -0x220(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x220(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x538(%rbp),%xmm2
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x218(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x248(%rbp),%xmm0
  movsd  %xmm0,-0x210(%rbp)
  movsd  -0x390(%rbp),%xmm0
  mulsd  -0x248(%rbp),%xmm0
  movsd  %xmm0,-0x208(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x238(%rbp),%xmm0
  movsd  %xmm0,-0x200(%rbp)
  movsd  -0x218(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x238(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4e0(%rbp),%xmm1
  mulsd  -0x210(%rbp),%xmm1
  movapd %xmm0,%xmm2
  subsd  %xmm1,%xmm2
  movsd  -0x250(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x240(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x230(%rbp),%xmm3
  movsd  D103(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x228(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  movsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x258(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4d0(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x208(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x4d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x200(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1f8(%rbp)
  movsd  -0x218(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x258(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x520(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x210(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x258(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x508(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x208(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x508(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x200(%rbp),%xmm0
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  movsd  -0x250(%rbp),%xmm1
  movsd  D103(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x240(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm1,%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x230(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x228(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x1f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x60(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x1f8(%rbp),%xmm0
  movsd  %xmm0,0x60(%rax)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  movsd  %xmm0,-0x1f0(%rbp)
  movsd  -0x488(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x488(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x538(%rbp),%xmm2
  movsd  -0x548(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x590(%rbp),%xmm0
  mulsd  -0x1f0(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1e8(%rbp)
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movsd  %xmm0,-0x1e0(%rbp)
  movsd  -0x510(%rbp),%xmm0
  mulsd  -0x570(%rbp),%xmm0
  movsd  -0x560(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1d8(%rbp)
  movsd  -0x4d0(%rbp),%xmm0
  mulsd  -0x570(%rbp),%xmm0
  movsd  %xmm0,-0x1d0(%rbp)
  movsd  -0x508(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movsd  -0x570(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1c8(%rbp)
  movsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x570(%rbp),%xmm0
  movsd  -0x560(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1c0(%rbp)
  movsd  -0x1e8(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  -0x1c8(%rbp),%xmm0
  movsd  -0x1c0(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1b8(%rbp)
  movsd  -0x1e8(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x1e0(%rbp),%xmm1
  movsd  -0x1d8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1d0(%rbp),%xmm2
  movsd  D103(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x1b8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x68(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x1b8(%rbp),%xmm0
  movsd  %xmm0,0x68(%rax)
  movsd  -0x500(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x500(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x538(%rbp),%xmm2
  movsd  -0x498(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x1f0(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1b0(%rbp)
  movsd  -0x1b0(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x1e0(%rbp),%xmm1
  movsd  -0x1d8(%rbp),%xmm2
  movsd  D103(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1a8(%rbp)
  movsd  -0x1b0(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  -0x1c8(%rbp),%xmm0
  addsd  -0x1c0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x1a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x70(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x1a8(%rbp),%xmm0
  movsd  %xmm0,0x70(%rax)
  movsd  -0x3e0(%rbp),%xmm1
  movsd  D244(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x3b8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x1a0(%rbp)
  movsd  -0x1a0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x1a0(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x538(%rbp),%xmm2
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x198(%rbp)
  movsd  -0x198(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movsd  -0x4e0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x570(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x3e0(%rbp),%xmm2
  movsd  D244(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x3b8(%rbp),%xmm3
  movsd  D103(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0x510(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4d0(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x390(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x190(%rbp)
  movsd  -0x198(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movsd  -0x520(%rbp),%xmm1
  mulsd  -0x570(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x508(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x390(%rbp),%xmm1
  movapd %xmm0,%xmm2
  subsd  %xmm1,%xmm2
  movsd  -0x3e0(%rbp),%xmm1
  movsd  D794(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x3b8(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x190(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x10(%rbp),%rax
  movsd  %xmm0,0x78(%rax)
  mov    0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,0x78(%rax)
  movsd  -0x5c8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x188(%rbp)
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x180(%rbp)
  movsd  -0x598(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x178(%rbp)
  movsd  -0x188(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x180(%rbp),%xmm1
  movsd  -0x5e0(%rbp),%xmm0
  mulsd  -0x5a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  subsd  -0x178(%rbp),%xmm0
  movsd  %xmm0,-0x170(%rbp)
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x170(%rbp),%xmm0
  movsd  %xmm0,-0x168(%rbp)
  movsd  -0x5c8(%rbp),%xmm0
  mulsd  -0x5a8(%rbp),%xmm0
  movsd  %xmm0,-0x160(%rbp)
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x598(%rbp),%xmm0
  movsd  %xmm0,-0x158(%rbp)
  movsd  -0x158(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  -0x160(%rbp),%xmm0
  movsd  -0x5e0(%rbp),%xmm1
  mulsd  -0x5c8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x150(%rbp)
  movsd  -0x3e0(%rbp),%xmm0
  mulsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,-0x148(%rbp)
  movsd  -0x5c8(%rbp),%xmm0
  mulsd  -0x598(%rbp),%xmm0
  movsd  %xmm0,-0x140(%rbp)
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x5a8(%rbp),%xmm0
  movsd  %xmm0,-0x138(%rbp)
  movsd  -0x140(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x5e0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  subsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x130(%rbp)
  movsd  -0x500(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0x128(%rbp)
  movsd  -0x3b8(%rbp),%xmm0
  mulsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,-0x120(%rbp)
  movsd  -0x168(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x148(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x128(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x120(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x538(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x118(%rbp),%xmm2
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x390(%rbp),%xmm0
  mulsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0x110(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4e0(%rbp),%xmm1
  mulsd  -0x108(%rbp),%xmm1
  movapd %xmm0,%xmm2
  subsd  %xmm1,%xmm2
  movsd  -0x168(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x148(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x128(%rbp),%xmm3
  movsd  D103(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x120(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  movsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x170(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4d0(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x100(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x4d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0xf8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0x110(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x170(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x520(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x108(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x170(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x508(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x100(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x508(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0xf8(%rbp),%xmm0
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  movsd  -0x168(%rbp),%xmm1
  movsd  D103(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x148(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm1,%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x128(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x120(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x18(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    0x18(%rbp),%rax
  add    $0x18,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x138(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  -0x140(%rbp),%xmm0
  movsd  -0x600(%rbp),%xmm1
  mulsd  -0x598(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe8(%rbp)
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0x598(%rbp),%xmm0
  mulsd  -0x5a8(%rbp),%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x5c8(%rbp),%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0xd8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x600(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  subsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  movsd  -0x3e0(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0x5a8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0x178(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x180(%rbp),%xmm1
  movsd  -0x600(%rbp),%xmm0
  mulsd  -0x5c8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  subsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0x500(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0x3b8(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xe0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0xc0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0xa8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xa0(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0x98(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x98(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x538(%rbp),%xmm2
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x98(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0x390(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4e0(%rbp),%xmm1
  mulsd  -0x88(%rbp),%xmm1
  movapd %xmm0,%xmm2
  subsd  %xmm1,%xmm2
  movsd  -0xe0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0xc0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0xa8(%rbp),%xmm3
  movsd  D103(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xa0(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  movsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4d0(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x80(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x4d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x78(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x520(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x88(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x508(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x80(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x508(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x78(%rbp),%xmm0
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  movsd  -0xe0(%rbp),%xmm1
  movsd  D103(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm1,%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0xa8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xa0(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x70(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x18(%rbp),%rax
  movsd  %xmm0,0x8(%rax)
  mov    0x18(%rbp),%rax
  add    $0x18,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,0x8(%rax)
  movsd  -0x160(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x5c0(%rbp),%xmm0
  mulsd  -0x5f0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  subsd  -0x158(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x180(%rbp),%xmm1
  movsd  -0x598(%rbp),%xmm0
  mulsd  -0x5f0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  subsd  -0x188(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x3e0(%rbp),%xmm0
  mulsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  -0xd8(%rbp),%xmm0
  movsd  -0x5f0(%rbp),%xmm1
  mulsd  -0x5a8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x500(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x3b8(%rbp),%xmm0
  mulsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x60(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x50(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x40(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x530(%rbp),%xmm1
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x538(%rbp),%xmm2
  movsd  -0x548(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x548(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x390(%rbp),%xmm0
  mulsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x570(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x28(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4e0(%rbp),%xmm1
  mulsd  -0x20(%rbp),%xmm1
  movapd %xmm0,%xmm2
  subsd  %xmm1,%xmm2
  movsd  -0x60(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x50(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  -0x40(%rbp),%xmm3
  movsd  D103(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x38(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  movsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x68(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x4d0(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x4d0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x10(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x28(%rbp),%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x528(%rbp),%xmm0
  mulsd  -0x68(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x520(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x20(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x510(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x68(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x508(%rbp),%xmm2
  movsd  D814(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x508(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  movsd  -0x60(%rbp),%xmm1
  movsd  D103(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x50(%rbp),%xmm3
  movsd  D103(%rip),%xmm1
  mulsd  %xmm1,%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x40(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm3
  addsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  mulsd  -0x4f8(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4c0(%rbp),%xmm1
  movsd  -0x4b0(%rbp),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    0x18(%rbp),%rax
  movsd  %xmm0,0x10(%rax)
  mov    0x18(%rbp),%rax
  add    $0x18,%rax
  movsd  -0x4a0(%rbp),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,0x10(%rax)
  nop
  leave
  ret
```

tool_calls: name: read_data
arguments: data_tag: D112
type_guessed: f64
name: read_data
arguments: data_tag: D49
type_guessed: f32[2]
name: read_data
arguments: data_tag: D69
type_guessed: f64
name: read_data
arguments: data_tag: D103
type_guessed: f64
name: read_data
arguments: data_tag: D814
type_guessed: f64
name: read_data
arguments: data_tag: D244
type_guessed: f32[2]
name: read_data
arguments: data_tag: D794
type_guessed: f32[2]

tool: D112: 1

tool: {"D49": [0.0,-0.0]}

tool: D69: 3

tool: D103: 6

tool: D814: 4

tool: {"D244": [0.0,-2.0]}

tool: {"D794": [0.0,-2.375]}

assistant: ```c
void calcDistImgProjJacKDRTS(double a[5], double kc[5], double qr0[4], double v[3], double t[3], double M[3], double jacmKDRT[2][16], double jacmS[2][3]) {
  double t1;
  double t101;
  double t102;
  double t105;
  double t107;
  double t11;
  double t110;
  double t111;
  double t113;
  double t115;
  double t117;
  double t119;
  double t120;
  double t122;
  double t13;
  double t137;
  double t140;
  double t147;
  double t148;
  double t15;
  double t150;
  double t152;
  double t154;
  double t156;
  double t158;
  double t160;
  double t162;
  double t164;
  double t166;
  double t17;
  double t171;
  double t176;
  double t178;
  double t18;
  double t183;
  double t185;
  double t187;
  double t188;
  double t190;
  double t191;
  double t2;
  double t200;
  double t201;
  double t210;
  double t211;
  double t212;
  double t213;
  double t215;
  double t222;
  double t227;
  double t232;
  double t233;
  double t236;
  double t24;
  double t25;
  double t265;
  double t268;
  double t271;
  double t274;
  double t276;
  double t278;
  double t281;
  double t286;
  double t291;
  double t293;
  double t298;
  double t3;
  double t300;
  double t302;
  double t303;
  double t31;
  double t312;
  double t313;
  double t32;
  double t322;
  double t323;
  double t324;
  double t326;
  double t333;
  double t338;
  double t34;
  double t343;
  double t346;
  double t35;
  double t375;
  double t378;
  double t381;
  double t384;
  double t386;
  double t388;
  double t391;
  double t396;
  double t4;
  double t401;
  double t403;
  double t408;
  double t41;
  double t410;
  double t412;
  double t413;
  double t422;
  double t423;
  double t432;
  double t433;
  double t434;
  double t436;
  double t443;
  double t448;
  double t45;
  double t453;
  double t456;
  double t485;
  double t491;
  double t496;
  double t499;
  double t5;
  double t50;
  double t501;
  double t503;
  double t51;
  double t510;
  double t513;
  double t514;
  double t523;
  double t532;
  double t535;
  double t542;
  double t56;
  double t563;
  double t565;
  double t566;
  double t568;
  double t569;
  double t57;
  double t570;
  double t571;
  double t572;
  double t575;
  double t576;
  double t577;
  double t580;
  double t581;
  double t582;
  double t583;
  double t585;
  double t592;
  double t597;
  double t6;
  double t60;
  double t602;
  double t605;
  double t61;
  double t634;
  double t638;
  double t639;
  double t640;
  double t643;
  double t644;
  double t645;
  double t647;
  double t648;
  double t649;
  double t650;
  double t652;
  double t659;
  double t664;
  double t669;
  double t67;
  double t672;
  double t68;
  double t69;
  double t70;
  double t701;
  double t705;
  double t706;
  double t708;
  double t709;
  double t712;
  double t713;
  double t714;
  double t716;
  double t723;
  double t728;
  double t733;
  double t736;
  double t76;
  double t765;
  double t77;
  double t78;
  double t79;
  double t8;
  double t82;
  double t84;
  double t86;
  double t88;
  double t89;
  double t9;
  double t90;
  double t92;
  double t93;
  double t94;
  double t97;
  double t99;
  {
    t1 = v[0];
    t2 = t1 * t1;
    t3 = v[1];
    t4 = t3 * t3;
    t5 = v[2];
    t6 = t5 * t5;
    t8 = sqrt(1.0 - t2 - t4 - t6);
    t9 = qr0[1];
    t11 = qr0[0];
    t13 = qr0[3];
    t15 = qr0[2];
    t17 = t9 * t8 + t11 * t1 + t13 * t3 - t5 * t15;
    t18 = M[0];
    t24 = t8 * t15 + t11 * t3 + t5 * t9 - t1 * t13;
    t25 = M[1];
    t31 = t8 * t13 + t5 * t11 + t1 * t15 - t3 * t9;
    t32 = M[2];
    t34 = -t17 * t18 - t24 * t25 - t31 * t32;
    t35 = -t17;
    t41 = t8 * t11 - t1 * t9 - t3 * t15 - t5 * t13;
    t45 = t41 * t18 + t24 * t32 - t31 * t25;
    t50 = t41 * t25 + t31 * t18 - t32 * t17;
    t51 = -t31;
    t56 = t41 * t32 + t17 * t25 - t24 * t18;
    t57 = -t24;
    t60 = t34 * t35 + t41 * t45 + t50 * t51 - t56 * t57 + t[0];
    t61 = t60 * t60;
    t67 = t34 * t51 + t41 * t56 + t45 * t57 - t50 * t35 + t[2];
    t68 = t67 * t67;
    t69 = 1 / t68;
    t70 = t61 * t69;
    t76 = t34 * t57 + t41 * t50 + t56 * t35 - t45 * t51 + t[1];
    t77 = t76 * t76;
    t78 = t77 * t69;
    t79 = t70 + t78;
    t82 = kc[4];
    t84 = kc[1] + t79 * t82;
    t86 = kc[0] + t79 * t84;
    t88 = 1.0 + t79 * t86;
    t89 = t88 * t60;
    t90 = 1 / t67;
    t92 = kc[2];
    t93 = t92 * t60;
    t94 = t69 * t76;
    t97 = kc[3];
    t99 = 3.0 * t70 + t78;
    jacmKDRT[0][0] = t89 * t90 + 2.0 * t93 * t94 + t97 * t99;
    t101 = a[3];
    t102 = t88 * t76;
    t105 = t70 + 3.0 * t78;
    t107 = t97 * t60;
    t110 = t102 * t90 + t92 * t105 + 2.0 * t107 * t94;
    jacmKDRT[1][0] = t101 * t110;
    jacmKDRT[0][1] = 1.0;
    jacmKDRT[1][1] = 0.0;
    jacmKDRT[0][2] = 0.0;
    jacmKDRT[1][2] = 1.0;
    jacmKDRT[0][3] = 0.0;
    t111 = a[0];
    jacmKDRT[1][3] = t110 * t111;
    jacmKDRT[0][4] = t110;
    jacmKDRT[1][4] = 0.0;
    t113 = t60 * t90;
    t115 = a[4];
    t117 = t76 * t90;
    jacmKDRT[0][5] = t111 * t79 * t113 + t115 * t79 * t117;
    t119 = t111 * t101;
    t120 = t79 * t76;
    jacmKDRT[1][5] = t119 * t120 * t90;
    t122 = t79 * t79;
    jacmKDRT[0][6] = t111 * t122 * t113 + t115 * t122 * t117;
    jacmKDRT[1][6] = t119 * t122 * t76 * t90;
    jacmKDRT[0][7] = 2.0 * t111 * t60 * t94 + t115 * t105;
    jacmKDRT[1][7] = t119 * t105;
    jacmKDRT[0][8] = t111 * t99 + 2.0 * t115 * t60 * t94;
    t137 = t60 * t69;
    jacmKDRT[1][8] = 2.0 * t119 * t137 * t76;
    t140 = t122 * t79;
    jacmKDRT[0][9] = t111 * t140 * t113 + t115 * t140 * t117;
    jacmKDRT[1][9] = t119 * t140 * t76 * t90;
    t147 = 1 / t8;
    t148 = t147 * t9;
    t150 = -t148 * t1 + t11;
    t152 = t147 * t15;
    t154 = -t152 * t1 - t13;
    t156 = t13 * t147;
    t158 = -t156 * t1 + t15;
    t160 = -t150 * t18 - t154 * t25 - t158 * t32;
    t162 = -t150;
    t164 = t147 * t11;
    t166 = -t164 * t1 - t9;
    t171 = t166 * t18 + t154 * t32 - t158 * t25;
    t176 = t166 * t25 + t158 * t18 - t150 * t32;
    t178 = -t158;
    t183 = t32 * t166 + t150 * t25 - t154 * t18;
    t185 = -t154;
    t187 = t160 * t35 + t34 * t162 + t166 * t45 + t41 * t171 + t176 * t51 + t50 * t178 - t183 * t57 - t56 * t185;
    t188 = t137 * t187;
    t190 = 1 / t68 / t67;
    t191 = t61 * t190;
    t200 = t160 * t51 + t34 * t178 + t166 * t56 + t41 * t183 + t171 * t57 + t45 * t185 - t176 * t35 - t50 * t162;
    t201 = t191 * t200;
    t210 = t160 * t57 + t34 * t185 + t166 * t50 + t41 * t176 + t183 * t35 + t56 * t162 - t171 * t51 - t45 * t178;
    t211 = t94 * t210;
    t212 = t77 * t190;
    t213 = t212 * t200;
    t215 = 2.0 * t188 - 2.0 * t201 + 2.0 * t211 - 2.0 * t213;
    t222 = t215 * t86 + t79 * (t215 * t84 + t79 * t215 * t82);
    t227 = t69 * t200;
    t232 = t190 * t76;
    t233 = t232 * t200;
    t236 = t69 * t210;
    t265 = t222 * t76 * t90 + t88 * t210 * t90 - t102 * t227 + t92 * (2.0 * t188 - 2.0 * t201 + 6.0 * t211 - 6.0 * t213) + 2.0 * t97 * t187 * t94 - 4.0 * t107 * t233 + 2.0 * t107 * t236;
    jacmKDRT[0][10] = t111 * (t222 * t60 * t90 + t88 * t187 * t90 - t89 * t227 + 2.0 * t92 * t187 * t94 - 4.0 * t93 * t233 + 2.0 * t93 * t236 + t97 * (6.0 * t188 - 6.0 * t201 + 2.0 * t211 - 2.0 * t213)) + t115 * t265;
    jacmKDRT[1][10] = t119 * t265;
    t268 = -t148 * t3 + t13;
    t271 = -t152 * t3 + t11;
    t274 = -t156 * t3 - t9;
    t276 = -t268 * t18 - t271 * t25 - t274 * t32;
    t278 = -t268;
    t281 = -t164 * t3 - t15;
    t286 = t281 * t18 + t271 * t32 - t274 * t25;
    t291 = t281 * t25 + t274 * t18 - t32 * t268;
    t293 = -t274;
    t298 = t281 * t32 + t268 * t25 - t271 * t18;
    t300 = -t271;
    t302 = t276 * t35 + t34 * t278 + t281 * t45 + t41 * t286 + t291 * t51 + t50 * t293 - t298 * t57 - t56 * t300;
    t303 = t137 * t302;
    t312 = t276 * t51 + t34 * t293 + t281 * t56 + t41 * t298 + t286 * t57 + t45 * t300 - t291 * t35 - t50 * t278;
    t313 = t191 * t312;
    t322 = t276 * t57 + t34 * t300 + t281 * t50 + t41 * t291 + t298 * t35 + t56 * t278 - t286 * t51 - t45 * t293;
    t323 = t94 * t322;
    t324 = t212 * t312;
    t326 = 2.0 * t303 - 2.0 * t313 + 2.0 * t323 - 2.0 * t324;
    t333 = t326 * t86 + t79 * (t326 * t84 + t79 * t326 * t82);
    t338 = t69 * t312;
    t343 = t312 * t232;
    t346 = t69 * t322;
    t375 = t333 * t76 * t90 + t88 * t322 * t90 - t338 * t102 + t92 * (2.0 * t303 - 2.0 * t313 + 6.0 * t323 - 6.0 * t324) + 2.0 * t97 * t302 * t94 - 4.0 * t107 * t343 + 2.0 * t346 * t107;
    jacmKDRT[0][11] = t111 * (t333 * t60 * t90 + t88 * t302 * t90 - t89 * t338 + 2.0 * t92 * t302 * t94 - 4.0 * t93 * t343 + 2.0 * t93 * t346 + t97 * (6.0 * t303 - 6.0 * t313 + 2.0 * t323 - 2.0 * t324)) + t115 * t375;
    jacmKDRT[1][11] = t119 * t375;
    t378 = -t148 * t5 - t15;
    t381 = -t152 * t5 + t9;
    t384 = -t156 * t5 + t11;
    t386 = -t378 * t18 - t25 * t381 - t384 * t32;
    t388 = -t378;
    t391 = -t164 * t5 - t13;
    t396 = t391 * t18 + t381 * t32 - t384 * t25;
    t401 = t25 * t391 + t384 * t18 - t378 * t32;
    t403 = -t384;
    t408 = t391 * t32 + t378 * t25 - t381 * t18;
    t410 = -t381;
    t412 = t35 * t386 + t388 * t34 + t391 * t45 + t41 * t396 + t401 * t51 + t50 * t403 - t408 * t57 - t56 * t410;
    t413 = t137 * t412;
    t422 = t386 * t51 + t34 * t403 + t56 * t391 + t41 * t408 + t396 * t57 + t45 * t410 - t401 * t35 - t50 * t388;
    t423 = t191 * t422;
    t432 = t386 * t57 + t34 * t410 + t391 * t50 + t41 * t401 + t408 * t35 + t56 * t388 - t396 * t51 - t45 * t403;
    t433 = t94 * t432;
    t434 = t212 * t422;
    t436 = 2.0 * t413 - 2.0 * t423 + 2.0 * t433 - 2.0 * t434;
    t443 = t436 * t86 + t79 * (t436 * t84 + t79 * t436 * t82);
    t448 = t69 * t422;
    t453 = t232 * t422;
    t456 = t69 * t432;
    t485 = t443 * t76 * t90 + t88 * t432 * t90 - t102 * t448 + t92 * (2.0 * t413 - 2.0 * t423 + 6.0 * t433 - 6.0 * t434) + 2.0 * t97 * t412 * t94 - 4.0 * t107 * t453 + 2.0 * t107 * t456;
    jacmKDRT[0][12] = t111 * (t443 * t60 * t90 + t88 * t412 * t90 - t89 * t448 + 2.0 * t92 * t412 * t94 - 4.0 * t93 * t453 + 2.0 * t93 * t456 + t97 * (6.0 * t413 - 6.0 * t423 + 2.0 * t433 - 2.0 * t434)) + t115 * t485;
    jacmKDRT[1][12] = t119 * t485;
    t491 = t69 * t82;
    t496 = 2.0 * t137 * t86 + t79 * (2.0 * t137 * t84 + 2.0 * t79 * t60 * t491);
    t499 = t88 * t90;
    t501 = t92 * t69 * t76;
    t503 = t107 * t69;
    t510 = 2.0 * t93 * t69;
    t513 = 2.0 * t97 * t69 * t76;
    t514 = t496 * t76 * t90 + t510 + t513;
    jacmKDRT[0][13] = t111 * (t496 * t60 * t90 + t499 + 2.0 * t501 + 6.0 * t503) + t115 * t514;
    jacmKDRT[1][13] = t119 * t514;
    t523 = 2.0 * t94 * t86 + t79 * (2.0 * t94 * t84 + 2.0 * t120 * t491);
    t532 = t523 * t76 * t90 + t499 + 6.0 * t501 + 2.0 * t503;
    jacmKDRT[0][14] = t111 * (t523 * t60 * t90 + t510 + t513) + t115 * t532;
    jacmKDRT[1][14] = t119 * t532;
    t535 = -2.0 * t191 - 2.0 * t212;
    t542 = t535 * t86 + t79 * (t535 * t84 + t79 * t535 * t82);
    t563 = t542 * t76 * t90 - t102 * t69 + t92 * (-2.0 * t191 - 6.0 * t212) - 4.0 * t107 * t232;
    jacmKDRT[0][15] = t111 * (t542 * t60 * t90 - t89 * t69 - 4.0 * t93 * t232 + t97 * (-6.0 * t191 - 2.0 * t212)) + t115 * t563;
    jacmKDRT[1][15] = t119 * t563;
    t565 = t35 * t35;
    t566 = t41 * t41;
    t568 = t57 * t57;
    t569 = t565 + t566 + t31 * t51 - t568;
    t570 = t137 * t569;
    t571 = t35 * t51;
    t572 = t41 * t57;
    t575 = t571 + 2.0 * t572 - t31 * t35;
    t576 = t191 * t575;
    t577 = t35 * t57;
    t580 = t41 * t51;
    t581 = 2.0 * t577 + t41 * t31 - t580;
    t582 = t94 * t581;
    t583 = t212 * t575;
    t585 = 2.0 * t570 - 2.0 * t576 + 2.0 * t582 - 2.0 * t583;
    t592 = t585 * t86 + t79 * (t84 * t585 + t79 * t585 * t82);
    t597 = t69 * t575;
    t602 = t232 * t575;
    t605 = t69 * t581;
    t634 = t592 * t76 * t90 + t88 * t581 * t90 - t102 * t597 + t92 * (2.0 * t570 - 2.0 * t576 + 6.0 * t582 - 6.0 * t583) + 2.0 * t97 * t569 * t94 - 4.0 * t107 * t602 + 2.0 * t107 * t605;
    jacmS[0][0] = t111 * (t592 * t60 * t90 + t88 * t569 * t90 - t89 * t597 + 2.0 * t92 * t569 * t94 - 4.0 * t93 * t602 + 2.0 * t93 * t605 + t97 * (6.0 * t570 - 6.0 * t576 + 2.0 * t582 - 2.0 * t583)) + t115 * t634;
    jacmS[1][0] = t119 * t634;
    t638 = t577 + 2.0 * t580 - t17 * t57;
    t639 = t137 * t638;
    t640 = t57 * t51;
    t643 = t41 * t35;
    t644 = 2.0 * t640 + t41 * t17 - t643;
    t645 = t191 * t644;
    t647 = t51 * t51;
    t648 = t568 + t566 + t17 * t35 - t647;
    t649 = t94 * t648;
    t650 = t212 * t644;
    t652 = 2.0 * t639 - 2.0 * t645 + 2.0 * t649 - 2.0 * t650;
    t659 = t652 * t86 + t79 * (t652 * t84 + t79 * t652 * t82);
    t664 = t69 * t644;
    t669 = t232 * t644;
    t672 = t69 * t648;
    t701 = t659 * t76 * t90 + t88 * t648 * t90 - t102 * t664 + t92 * (2.0 * t639 - 2.0 * t645 + 6.0 * t649 - 6.0 * t650) + 2.0 * t97 * t638 * t94 - 4.0 * t107 * t669 + 2.0 * t107 * t672;
    jacmS[0][1] = t111 * (t659 * t60 * t90 + t88 * t638 * t90 - t89 * t664 + 2.0 * t92 * t638 * t94 - 4.0 * t93 * t669 + 2.0 * t93 * t672 + t97 * (6.0 * t639 - 6.0 * t645 + 2.0 * t649 - 2.0 * t650)) + t115 * t701;
    jacmS[1][1] = t119 * t701;
    t705 = 2.0 * t571 + t41 * t24 - t572;
    t706 = t137 * t705;
    t708 = t647 + t566 + t57 * t24 - t565;
    t709 = t191 * t708;
    t712 = t640 + 2.0 * t643 - t24 * t51;
    t713 = t94 * t712;
    t714 = t212 * t708;
    t716 = 2.0 * t706 - 2.0 * t709 + 2.0 * t713 - 2.0 * t714;
    t723 = t716 * t86 + t79 * (t716 * t84 + t79 * t716 * t82);
    t728 = t69 * t708;
    t733 = t232 * t708;
    t736 = t69 * t712;
    t765 = t723 * t76 * t90 + t88 * t712 * t90 - t102 * t728 + t92 * (2.0 * t706 - 2.0 * t709 + 6.0 * t713 - 6.0 * t714) + 2.0 * t97 * t705 * t94 - 4.0 * t107 * t733 + 2.0 * t107 * t736;
    jacmS[0][2] = t111 * (t723 * t60 * t90 + t88 * t705 * t90 - t89 * t728 + 2.0 * t92 * t705 * t94 - 4.0 * t93 * t733 + 2.0 * t93 * t736 + t97 * (6.0 * t706 - 6.0 * t709 + 2.0 * t713 - 2.0 * t714)) + t115 * t765;
    jacmS[1][2] = t119 * t765;
    return;
  }
}
```