user: Please show me the C implementation that matches the assembly code listed below:

```asm
<Tags>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xa70,%rsp
  mov    %rdi,-0xa68(%rbp)
  mov    %rsi,-0xa70(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x98(%rax),%xmm0
  movsd  %xmm0,-0xa60(%rbp)
  mov    -0xa60(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0xa58(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0xa0(%rax),%xmm0
  movsd  %xmm0,-0xa50(%rbp)
  mov    -0xa50(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0xa48(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x90(%rax),%xmm0
  movsd  %xmm0,-0xa40(%rbp)
  mov    -0xa40(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0xa38(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x40(%rax),%xmm0
  movsd  %xmm0,-0xa30(%rbp)
  mov    -0xa30(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0xa28(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x48(%rax),%xmm0
  movsd  %xmm0,-0xa20(%rbp)
  mov    -0xa20(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0xa18(%rbp)
  movsd  -0xa28(%rbp),%xmm0
  mulsd  -0xa18(%rbp),%xmm0
  movsd  %xmm0,-0xa10(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0xa08(%rbp)
  mov    -0xa08(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0xa00(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x9f8(%rbp)
  mov    -0x9f8(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x9f0(%rbp)
  movsd  -0x9f0(%rbp),%xmm1
  movsd  D2543(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D2543(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x9e8(%rbp)
  mov    -0xa08(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x9e0(%rbp)
  mov    -0x9f8(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x9d8(%rbp)
  movsd  -0xa00(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x9e8(%rbp),%xmm0
  movsd  -0x9e0(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x9d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x9d0(%rbp)
  mov    -0xa30(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x9c8(%rbp)
  movsd  -0x9e0(%rbp),%xmm0
  mulsd  -0x9e8(%rbp),%xmm0
  movsd  -0xa00(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x9d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x9c0(%rbp)
  movsd  -0xa10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x9d0(%rbp),%xmm1
  movsd  -0x9c8(%rbp),%xmm0
  mulsd  -0x9c0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  D1722(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x9b8(%rbp)
  mov    -0xa40(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x9b0(%rbp)
  movsd  -0x9c8(%rbp),%xmm0
  mulsd  -0xa18(%rbp),%xmm0
  movsd  %xmm0,-0x9a8(%rbp)
  movsd  -0x9a8(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x9d0(%rbp),%xmm1
  movsd  -0xa28(%rbp),%xmm0
  mulsd  -0x9c0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x9a0(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x9b8(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x9a0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x998(%rbp)
  mov    -0xa50(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x990(%rbp)
  mov    -0xa20(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x988(%rbp)
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x988(%rbp),%xmm0
  movsd  %xmm0,-0x980(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x998(%rbp),%xmm1
  movsd  -0x980(%rbp),%xmm0
  mulsd  -0x9d0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x978(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x978(%rbp),%xmm0
  movsd  %xmm0,-0x970(%rbp)
  mov    -0xa60(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x968(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x9b8(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x9a0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x960(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x960(%rbp),%xmm0
  movsd  %xmm0,-0x958(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x78(%rax),%xmm0
  movsd  %xmm0,-0x950(%rbp)
  movsd  -0x950(%rbp),%xmm0
  movsd  %xmm0,-0x948(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0x940(%rbp)
  mov    -0x940(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x938(%rbp)
  movsd  -0x9f0(%rbp),%xmm0
  mulsd  -0x938(%rbp),%xmm0
  movsd  %xmm0,-0x930(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x928(%rbp)
  mov    -0x928(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x920(%rbp)
  mov    -0x940(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x918(%rbp)
  movsd  -0x9d8(%rbp),%xmm0
  mulsd  -0x918(%rbp),%xmm0
  movsd  %xmm0,-0x910(%rbp)
  movsd  -0x930(%rbp),%xmm0
  mulsd  -0x920(%rbp),%xmm0
  movsd  -0x910(%rbp),%xmm1
  mulsd  -0x920(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x908(%rbp)
  movsd  -0x9d8(%rbp),%xmm0
  mulsd  -0x938(%rbp),%xmm0
  movsd  %xmm0,-0x900(%rbp)
  movsd  -0x9f0(%rbp),%xmm0
  mulsd  -0x918(%rbp),%xmm0
  movsd  %xmm0,-0x8f8(%rbp)
  movsd  -0x900(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x920(%rbp),%xmm0
  movsd  -0x8f8(%rbp),%xmm1
  mulsd  -0x920(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8f0(%rbp)
  movsd  -0xa00(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x908(%rbp),%xmm1
  movsd  -0x9e0(%rbp),%xmm0
  mulsd  -0x8f0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8e8(%rbp)
  mov    -0x928(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x8e0(%rbp)
  movsd  -0xa18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x8e8(%rbp),%xmm1
  movsd  -0x988(%rbp),%xmm0
  mulsd  -0x8e0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8d8(%rbp)
  movsd  -0x9e0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x908(%rbp),%xmm1
  movsd  -0xa00(%rbp),%xmm0
  mulsd  -0x8f0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8d0(%rbp)
  movsd  -0xa28(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x8d8(%rbp),%xmm1
  movsd  -0x9c8(%rbp),%xmm0
  mulsd  -0x8d0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8c8(%rbp)
  movsd  -0x9c8(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x8d8(%rbp),%xmm1
  movsd  -0xa28(%rbp),%xmm0
  mulsd  -0x8d0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8c0(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x8c8(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x8c0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8b8(%rbp)
  movsd  -0x988(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x8e8(%rbp),%xmm1
  movsd  -0xa18(%rbp),%xmm0
  mulsd  -0x8e0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8b0(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x8b8(%rbp),%xmm0
  movsd  -0x990(%rbp),%xmm1
  mulsd  -0x8b0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8a8(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8a8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8a0(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x8c8(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x8c0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x898(%rbp)
  movsd  -0x968(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x898(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x890(%rbp)
  movsd  -0x930(%rbp),%xmm0
  mulsd  -0x8e0(%rbp),%xmm0
  movsd  -0x910(%rbp),%xmm1
  mulsd  -0x8e0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x888(%rbp)
  movsd  -0x900(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x8e0(%rbp),%xmm0
  movsd  -0x8f8(%rbp),%xmm1
  mulsd  -0x8e0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x880(%rbp)
  movsd  -0xa00(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x888(%rbp),%xmm1
  movsd  -0x9e0(%rbp),%xmm0
  mulsd  -0x880(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x878(%rbp)
  movsd  -0xa18(%rbp),%xmm0
  mulsd  -0x878(%rbp),%xmm0
  movsd  -0x988(%rbp),%xmm1
  mulsd  -0x920(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x870(%rbp)
  movsd  -0x9e0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x888(%rbp),%xmm1
  movsd  -0xa00(%rbp),%xmm0
  mulsd  -0x880(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x868(%rbp)
  movsd  -0xa28(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x870(%rbp),%xmm1
  movsd  -0x9c8(%rbp),%xmm0
  mulsd  -0x868(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x860(%rbp)
  movsd  -0x9c8(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x870(%rbp),%xmm1
  movsd  -0xa28(%rbp),%xmm0
  mulsd  -0x868(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x858(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x860(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x858(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x850(%rbp)
  movsd  -0x988(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x878(%rbp),%xmm0
  movsd  -0xa18(%rbp),%xmm1
  mulsd  -0x920(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x848(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x850(%rbp),%xmm0
  movsd  -0x990(%rbp),%xmm1
  mulsd  -0x848(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x840(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x840(%rbp),%xmm0
  movsd  %xmm0,-0x838(%rbp)
  movsd  -0x838(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x830(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x860(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x858(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x828(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x828(%rbp),%xmm0
  movsd  %xmm0,-0x820(%rbp)
  movsd  -0x820(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x818(%rbp)
  movsd  -0x8f8(%rbp),%xmm0
  addsd  -0x900(%rbp),%xmm0
  movsd  %xmm0,-0x810(%rbp)
  movsd  -0x930(%rbp),%xmm0
  subsd  -0x910(%rbp),%xmm0
  movsd  %xmm0,-0x808(%rbp)
  movsd  -0xa00(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x810(%rbp),%xmm1
  movsd  -0x9e0(%rbp),%xmm0
  mulsd  -0x808(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x800(%rbp)
  movsd  -0x9e0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x810(%rbp),%xmm1
  movsd  -0xa00(%rbp),%xmm0
  mulsd  -0x808(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7f8(%rbp)
  movsd  -0xa10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x800(%rbp),%xmm1
  movsd  -0x9c8(%rbp),%xmm0
  mulsd  -0x7f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7f0(%rbp)
  movsd  -0x9a8(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x800(%rbp),%xmm1
  movsd  -0xa28(%rbp),%xmm0
  mulsd  -0x7f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7e8(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x7f0(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x7e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7e0(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x7e0(%rbp),%xmm1
  movsd  -0x980(%rbp),%xmm0
  mulsd  -0x800(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7d8(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x7d8(%rbp),%xmm0
  movsd  %xmm0,-0x7d0(%rbp)
  movsd  -0x7d0(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7c8(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x7f0(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x7e8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7c0(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x7c0(%rbp),%xmm0
  movsd  %xmm0,-0x7b8(%rbp)
  movsd  -0x7b8(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7b0(%rbp)
  movsd  -0x970(%rbp),%xmm0
  subsd  -0x958(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x8a0(%rbp),%xmm0
  subsd  -0x890(%rbp),%xmm0
  subsd  -0x830(%rbp),%xmm0
  addsd  -0x818(%rbp),%xmm0
  addsd  -0x7c8(%rbp),%xmm0
  subsd  -0x7b0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x970(%rbp),%xmm0
  subsd  -0x958(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x8a0(%rbp),%xmm0
  subsd  -0x890(%rbp),%xmm0
  addsd  -0x830(%rbp),%xmm0
  subsd  -0x818(%rbp),%xmm0
  addsd  -0x7c8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x8,%rax
  subsd  -0x7b0(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x838(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7a8(%rbp)
  movsd  -0x820(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x7a0(%rbp)
  movsd  -0x7d0(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x798(%rbp)
  movsd  -0x7b8(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x790(%rbp)
  movsd  -0x970(%rbp),%xmm0
  subsd  -0x958(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x8a0(%rbp),%xmm0
  subsd  -0x890(%rbp),%xmm0
  subsd  -0x7a8(%rbp),%xmm0
  addsd  -0x7a0(%rbp),%xmm0
  subsd  -0x798(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x10,%rax
  addsd  -0x790(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x970(%rbp),%xmm0
  subsd  -0x958(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x8a0(%rbp),%xmm0
  subsd  -0x890(%rbp),%xmm0
  addsd  -0x7a8(%rbp),%xmm0
  subsd  -0x7a0(%rbp),%xmm0
  subsd  -0x798(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x18,%rax
  addsd  -0x790(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x970(%rbp),%xmm0
  subsd  -0x958(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x20,%rax
  addsd  -0x948(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xa10(%rbp),%xmm1
  movsd  D269(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xa00(%rbp),%xmm1
  movsd  -0x9c8(%rbp),%xmm2
  movsd  D2543(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x9e0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  D1722(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x788(%rbp)
  movsd  -0x9a8(%rbp),%xmm1
  movsd  D2543(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xa00(%rbp),%xmm1
  movsd  -0xa28(%rbp),%xmm2
  movsd  D2543(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x9e0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x780(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x788(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x780(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x778(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x778(%rbp),%xmm0
  movsd  -0x980(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa00(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x770(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x788(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x780(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x768(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x770(%rbp),%xmm0
  movsd  -0x968(%rbp),%xmm1
  mulsd  -0x768(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x28,%rax
  addsd  -0x948(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0xa48(%rbp),%xmm0
  movsd  %xmm0,-0x760(%rbp)
  movsd  -0x760(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xa38(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x758(%rbp)
  movsd  -0x968(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x750(%rbp)
  movsd  -0x758(%rbp),%xmm0
  addsd  -0x750(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x30,%rax
  addsd  -0x948(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x758(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0x750(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x38,%rax
  addsd  -0x948(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xa70(%rbp),%rax
  movsd  0x50(%rax),%xmm0
  movsd  %xmm0,-0x748(%rbp)
  mov    -0x748(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x740(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x58(%rax),%xmm0
  movsd  %xmm0,-0x738(%rbp)
  mov    -0x738(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x730(%rbp)
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x730(%rbp),%xmm0
  movsd  %xmm0,-0x728(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x38(%rax),%xmm0
  movsd  %xmm0,-0x720(%rbp)
  mov    -0x720(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x718(%rbp)
  mov    -0x748(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x710(%rbp)
  mov    -0x720(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x708(%rbp)
  movsd  -0x728(%rbp),%xmm1
  movsd  D2543(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x718(%rbp),%xmm0
  movsd  D1722(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x710(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x708(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x700(%rbp)
  movsd  -0x710(%rbp),%xmm0
  mulsd  -0x730(%rbp),%xmm0
  movsd  %xmm0,-0x6f8(%rbp)
  movsd  -0x6f8(%rbp),%xmm1
  movsd  D2543(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x718(%rbp),%xmm1
  movsd  -0x740(%rbp),%xmm2
  movsd  D2543(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x708(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x6f0(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x700(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x6f0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x6e8(%rbp)
  mov    -0x738(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x6e0(%rbp)
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x6e0(%rbp),%xmm0
  movsd  %xmm0,-0x6d8(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x6e8(%rbp),%xmm0
  movsd  -0x6d8(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x718(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x6d0(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x700(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x6f0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x6c8(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x6d0(%rbp),%xmm0
  movsd  -0x968(%rbp),%xmm1
  mulsd  -0x6c8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x40,%rax
  addsd  -0x948(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xa70(%rbp),%rax
  movsd  0x30(%rax),%xmm0
  movsd  %xmm0,-0x6c0(%rbp)
  mov    -0x6c0(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x6b8(%rbp)
  movsd  -0x6b8(%rbp),%xmm1
  movsd  D2543(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D2543(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x6b0(%rbp)
  mov    -0x6c0(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x6a8(%rbp)
  movsd  -0x718(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x6b0(%rbp),%xmm0
  movsd  -0x708(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x6a8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x6a0(%rbp)
  movsd  -0x708(%rbp),%xmm0
  mulsd  -0x6b0(%rbp),%xmm0
  movsd  -0x718(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x6a8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x698(%rbp)
  movsd  -0x728(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x6a0(%rbp),%xmm1
  movsd  D1234(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x710(%rbp),%xmm1
  mulsd  -0x698(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x690(%rbp)
  movsd  -0x6f8(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x6a0(%rbp),%xmm1
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x698(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x688(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x690(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x688(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x680(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x680(%rbp),%xmm1
  movsd  -0x6d8(%rbp),%xmm0
  mulsd  -0x6a0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x678(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x678(%rbp),%xmm0
  movsd  %xmm0,-0x670(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x690(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x688(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x668(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x668(%rbp),%xmm0
  movsd  %xmm0,-0x660(%rbp)
  movsd  -0x670(%rbp),%xmm0
  subsd  -0x660(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x48,%rax
  addsd  -0x948(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xa70(%rbp),%rax
  movsd  0x28(%rax),%xmm0
  movsd  %xmm0,-0x658(%rbp)
  mov    -0x658(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x650(%rbp)
  movsd  -0x6b8(%rbp),%xmm0
  mulsd  -0x650(%rbp),%xmm0
  movsd  %xmm0,-0x648(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x20(%rax),%xmm0
  movsd  %xmm0,-0x640(%rbp)
  mov    -0x640(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x638(%rbp)
  mov    -0x658(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x630(%rbp)
  movsd  -0x6a8(%rbp),%xmm0
  mulsd  -0x630(%rbp),%xmm0
  movsd  %xmm0,-0x628(%rbp)
  movsd  -0x648(%rbp),%xmm0
  mulsd  -0x638(%rbp),%xmm0
  movsd  -0x628(%rbp),%xmm1
  mulsd  -0x638(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x620(%rbp)
  movsd  -0x6a8(%rbp),%xmm0
  mulsd  -0x650(%rbp),%xmm0
  movsd  %xmm0,-0x618(%rbp)
  movsd  -0x6b8(%rbp),%xmm0
  mulsd  -0x630(%rbp),%xmm0
  movsd  %xmm0,-0x610(%rbp)
  movsd  -0x618(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x638(%rbp),%xmm0
  movsd  -0x610(%rbp),%xmm1
  mulsd  -0x638(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x608(%rbp)
  movsd  -0x718(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x620(%rbp),%xmm1
  movsd  -0x708(%rbp),%xmm0
  mulsd  -0x608(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x600(%rbp)
  mov    -0x640(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x5f8(%rbp)
  movsd  -0x730(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x600(%rbp),%xmm0
  movsd  -0x6e0(%rbp),%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5f0(%rbp)
  movsd  -0x708(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x620(%rbp),%xmm1
  movsd  -0x718(%rbp),%xmm0
  mulsd  -0x608(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5e8(%rbp)
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x5f0(%rbp),%xmm0
  movsd  -0x710(%rbp),%xmm1
  mulsd  -0x5e8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5e0(%rbp)
  movsd  -0x710(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5f0(%rbp),%xmm1
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x5e8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5d8(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x5e0(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x5d8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5d0(%rbp)
  movsd  -0x6e0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x600(%rbp),%xmm1
  movsd  -0x730(%rbp),%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5c8(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x5d0(%rbp),%xmm0
  movsd  -0x990(%rbp),%xmm1
  mulsd  -0x5c8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5c0(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x5c0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5b8(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5e0(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x5d8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5b0(%rbp)
  movsd  -0x968(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x5b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5a8(%rbp)
  movsd  -0x648(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  movsd  -0x628(%rbp),%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x5a0(%rbp)
  movsd  -0x618(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5f8(%rbp),%xmm1
  movsd  -0x610(%rbp),%xmm0
  mulsd  -0x5f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x598(%rbp)
  movsd  -0x718(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5a0(%rbp),%xmm1
  movsd  -0x708(%rbp),%xmm0
  mulsd  -0x598(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x590(%rbp)
  movsd  -0x730(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x590(%rbp),%xmm0
  movsd  -0x6e0(%rbp),%xmm1
  mulsd  -0x638(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x588(%rbp)
  movsd  -0x708(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x5a0(%rbp),%xmm1
  movsd  -0x718(%rbp),%xmm0
  mulsd  -0x598(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x580(%rbp)
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x588(%rbp),%xmm0
  movsd  -0x710(%rbp),%xmm1
  mulsd  -0x580(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x578(%rbp)
  movsd  -0x710(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x588(%rbp),%xmm1
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x580(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x570(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x578(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x570(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x568(%rbp)
  movsd  -0x6e0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x590(%rbp),%xmm1
  movsd  -0x730(%rbp),%xmm0
  mulsd  -0x638(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x560(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x568(%rbp),%xmm0
  movsd  -0x990(%rbp),%xmm1
  mulsd  -0x560(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x558(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x558(%rbp),%xmm0
  movsd  %xmm0,-0x550(%rbp)
  movsd  -0x550(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x548(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x578(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x570(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x540(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  movsd  %xmm0,-0x538(%rbp)
  movsd  -0x538(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x530(%rbp)
  movsd  -0x610(%rbp),%xmm0
  addsd  -0x618(%rbp),%xmm0
  movsd  %xmm0,-0x528(%rbp)
  movsd  -0x648(%rbp),%xmm0
  subsd  -0x628(%rbp),%xmm0
  movsd  %xmm0,-0x520(%rbp)
  movsd  -0x718(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x528(%rbp),%xmm1
  movsd  -0x708(%rbp),%xmm0
  mulsd  -0x520(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x518(%rbp)
  movsd  -0x708(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x528(%rbp),%xmm1
  movsd  -0x718(%rbp),%xmm0
  mulsd  -0x520(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x510(%rbp)
  movsd  -0x728(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movsd  -0x710(%rbp),%xmm1
  mulsd  -0x510(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x508(%rbp)
  movsd  -0x6f8(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x518(%rbp),%xmm1
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x510(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x500(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x508(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x500(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4f8(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x4f8(%rbp),%xmm1
  movsd  -0x6d8(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4f0(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x4f0(%rbp),%xmm0
  movsd  %xmm0,-0x4e8(%rbp)
  movsd  -0x4e8(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4e0(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x508(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x500(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4d8(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x4d8(%rbp),%xmm0
  movsd  %xmm0,-0x4d0(%rbp)
  movsd  -0x4d0(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4c8(%rbp)
  movsd  -0x670(%rbp),%xmm0
  subsd  -0x660(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x5b8(%rbp),%xmm0
  subsd  -0x5a8(%rbp),%xmm0
  addsd  -0x548(%rbp),%xmm0
  subsd  -0x530(%rbp),%xmm0
  addsd  -0x4e0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x50,%rax
  subsd  -0x4c8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x670(%rbp),%xmm0
  subsd  -0x660(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x5b8(%rbp),%xmm0
  subsd  -0x5a8(%rbp),%xmm0
  subsd  -0x548(%rbp),%xmm0
  addsd  -0x530(%rbp),%xmm0
  addsd  -0x4e0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x58,%rax
  subsd  -0x4c8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x550(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4c0(%rbp)
  movsd  -0x538(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4b8(%rbp)
  movsd  -0x4e8(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4b0(%rbp)
  movsd  -0x4d0(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4a8(%rbp)
  movsd  -0x670(%rbp),%xmm0
  subsd  -0x660(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x5b8(%rbp),%xmm0
  subsd  -0x5a8(%rbp),%xmm0
  addsd  -0x4c0(%rbp),%xmm0
  subsd  -0x4b8(%rbp),%xmm0
  subsd  -0x4b0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x60,%rax
  addsd  -0x4a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x670(%rbp),%xmm0
  subsd  -0x660(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x5b8(%rbp),%xmm0
  subsd  -0x5a8(%rbp),%xmm0
  subsd  -0x4c0(%rbp),%xmm0
  addsd  -0x4b8(%rbp),%xmm0
  subsd  -0x4b0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x68,%rax
  addsd  -0x4a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x760(%rbp),%xmm1
  movsd  D1842(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4a0(%rbp)
  movsd  -0x968(%rbp),%xmm1
  movsd  D1842(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xa38(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x498(%rbp)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x70,%rax
  addsd  -0x948(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xa70(%rbp),%rax
  movsd  0x60(%rax),%xmm0
  movsd  %xmm0,-0x490(%rbp)
  mov    -0x490(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x488(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x68(%rax),%xmm0
  movsd  %xmm0,-0x480(%rbp)
  mov    -0x480(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x478(%rbp)
  mov    -0x480(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x470(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x488(%rbp),%xmm0
  mulsd  -0x478(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x470(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x468(%rbp)
  mov    -0x490(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x460(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x468(%rbp),%xmm1
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x460(%rbp),%xmm0
  mulsd  -0x478(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x458(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x458(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x450(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x488(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x478(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x470(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x448(%rbp)
  movsd  -0x968(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x448(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x440(%rbp)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x450(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x78,%rax
  subsd  -0x440(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  subsd  -0x450(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  addsd  -0x440(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x470(%rbp),%xmm0
  movsd  %xmm0,-0x438(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x70(%rax),%xmm0
  movsd  %xmm0,-0x430(%rbp)
  mov    -0x430(%rbp),%rax
  movq   %rax,%xmm0
  call   <cos@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x428(%rbp)
  mov    -0x430(%rbp),%rax
  movq   %rax,%xmm0
  call   <sin@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x420(%rbp)
  movsd  -0x438(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x428(%rbp),%xmm1
  movsd  -0x460(%rbp),%xmm0
  mulsd  -0x420(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x418(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  mulsd  -0x478(%rbp),%xmm0
  movsd  %xmm0,-0x410(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x418(%rbp),%xmm1
  movsd  -0x410(%rbp),%xmm0
  mulsd  -0x428(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x408(%rbp)
  movsd  -0x460(%rbp),%xmm0
  mulsd  -0x470(%rbp),%xmm0
  movsd  %xmm0,-0x400(%rbp)
  movsd  -0x400(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x428(%rbp),%xmm1
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x420(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3f8(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x408(%rbp),%xmm0
  movsd  -0x990(%rbp),%xmm1
  mulsd  -0x3f8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3f0(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D2411(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3f0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3e8(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x478(%rbp),%xmm0
  movsd  %xmm0,-0x3e0(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x418(%rbp),%xmm0
  movsd  -0x3e0(%rbp),%xmm1
  mulsd  -0x428(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3d8(%rbp)
  movsd  -0x968(%rbp),%xmm1
  movsd  D2411(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3d8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3d0(%rbp)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x3e8(%rbp),%xmm0
  subsd  -0x3d0(%rbp),%xmm0
  addsd  -0x450(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x88,%rax
  subsd  -0x440(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x3e8(%rbp),%xmm0
  subsd  -0x3d0(%rbp),%xmm0
  subsd  -0x450(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x90,%rax
  addsd  -0x440(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x970(%rbp),%xmm0
  subsd  -0x958(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x8a0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x98,%rax
  subsd  -0x890(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x670(%rbp),%xmm0
  subsd  -0x660(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x5b8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xa0,%rax
  subsd  -0x5a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x438(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x420(%rbp),%xmm1
  movsd  -0x460(%rbp),%xmm0
  mulsd  -0x428(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3c8(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x3c8(%rbp),%xmm0
  movsd  -0x410(%rbp),%xmm1
  mulsd  -0x420(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3c0(%rbp)
  movsd  -0x400(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x420(%rbp),%xmm1
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x428(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3b8(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x3c0(%rbp),%xmm0
  movsd  -0x990(%rbp),%xmm1
  mulsd  -0x3b8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3b0(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D998(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3a8(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x3c8(%rbp),%xmm1
  movsd  -0x3e0(%rbp),%xmm0
  mulsd  -0x420(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x3a0(%rbp)
  movsd  -0x968(%rbp),%xmm1
  movsd  D998(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3a0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x398(%rbp)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x3e8(%rbp),%xmm0
  subsd  -0x3d0(%rbp),%xmm0
  addsd  -0x3a8(%rbp),%xmm0
  subsd  -0x398(%rbp),%xmm0
  addsd  -0x450(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xa8,%rax
  subsd  -0x440(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x3e8(%rbp),%xmm0
  subsd  -0x3d0(%rbp),%xmm0
  addsd  -0x3a8(%rbp),%xmm0
  subsd  -0x398(%rbp),%xmm0
  subsd  -0x450(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xb0,%rax
  addsd  -0x440(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x3e8(%rbp),%xmm0
  subsd  -0x3d0(%rbp),%xmm0
  subsd  -0x3a8(%rbp),%xmm0
  addsd  -0x398(%rbp),%xmm0
  subsd  -0x450(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xb8,%rax
  addsd  -0x440(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x498(%rbp),%xmm0
  subsd  -0x4a0(%rbp),%xmm0
  addsd  -0x948(%rbp),%xmm0
  addsd  -0x3e8(%rbp),%xmm0
  subsd  -0x3d0(%rbp),%xmm0
  subsd  -0x3a8(%rbp),%xmm0
  addsd  -0x398(%rbp),%xmm0
  addsd  -0x450(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xc0,%rax
  subsd  -0x440(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x938(%rbp),%xmm1
  movsd  D1819(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x920(%rbp),%xmm1
  movsd  D20(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x918(%rbp),%xmm2
  movsd  D168(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x390(%rbp)
  movsd  -0x918(%rbp),%xmm1
  movsd  D1819(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x920(%rbp),%xmm2
  movsd  D2606(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x938(%rbp),%xmm2
  movsd  D168(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x388(%rbp)
  movsd  -0x9f0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x390(%rbp),%xmm1
  movsd  D213(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x9d8(%rbp),%xmm0
  mulsd  -0x388(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x380(%rbp)
  movsd  -0x9d8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x390(%rbp),%xmm2
  movsd  D989(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x9f0(%rbp),%xmm0
  mulsd  -0x388(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x378(%rbp)
  movsd  -0xa00(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x380(%rbp),%xmm2
  movsd  D1051(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x9e0(%rbp),%xmm0
  mulsd  -0x378(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x370(%rbp)
  movsd  -0x8e0(%rbp),%xmm1
  movsd  D1819(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D14(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x368(%rbp)
  movsd  -0xa18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x370(%rbp),%xmm1
  movsd  D1802(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x988(%rbp),%xmm1
  mulsd  -0x368(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x360(%rbp)
  movsd  -0x9e0(%rbp),%xmm0
  mulsd  -0x380(%rbp),%xmm0
  movsd  D743(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xa00(%rbp),%xmm0
  mulsd  -0x378(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x358(%rbp)
  movsd  -0x650(%rbp),%xmm1
  movsd  D1819(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x638(%rbp),%xmm1
  movsd  D20(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x630(%rbp),%xmm2
  movsd  D168(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x350(%rbp)
  movsd  -0x630(%rbp),%xmm1
  movsd  D1819(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x638(%rbp),%xmm2
  movsd  D2606(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x650(%rbp),%xmm2
  movsd  D168(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x348(%rbp)
  movsd  -0x6b8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x350(%rbp),%xmm1
  movsd  D213(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x6a8(%rbp),%xmm0
  mulsd  -0x348(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x340(%rbp)
  movsd  -0x6a8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x350(%rbp),%xmm2
  movsd  D989(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x6b8(%rbp),%xmm0
  mulsd  -0x348(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x338(%rbp)
  movsd  -0x718(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x340(%rbp),%xmm2
  movsd  D1051(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x708(%rbp),%xmm0
  mulsd  -0x338(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x330(%rbp)
  movsd  -0x5f8(%rbp),%xmm1
  movsd  D1819(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D2573(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x328(%rbp)
  movsd  -0x730(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x330(%rbp),%xmm1
  movsd  D2451(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x6e0(%rbp),%xmm1
  mulsd  -0x328(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x320(%rbp)
  movsd  -0x708(%rbp),%xmm0
  mulsd  -0x340(%rbp),%xmm0
  movsd  D743(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x718(%rbp),%xmm0
  mulsd  -0x338(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x318(%rbp)
  movsd  -0x428(%rbp),%xmm1
  movsd  D1131(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x420(%rbp),%xmm2
  movsd  D2363(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x310(%rbp)
  movsd  -0x470(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x310(%rbp),%xmm0
  movsd  -0x478(%rbp),%xmm2
  movsd  D359(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x308(%rbp)
  movsd  -0x420(%rbp),%xmm1
  movsd  D1131(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D1759(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x428(%rbp),%xmm2
  movsd  D2363(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x300(%rbp)
  movsd  -0xa28(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x360(%rbp),%xmm1
  movsd  -0x9c8(%rbp),%xmm0
  mulsd  -0x358(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x320(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x710(%rbp),%xmm1
  mulsd  -0x318(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x488(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x308(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x460(%rbp),%xmm0
  mulsd  -0x300(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2f8(%rbp)
  movsd  -0x9c8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x360(%rbp),%xmm2
  movsd  D1920(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xa28(%rbp),%xmm0
  mulsd  -0x358(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x710(%rbp),%xmm0
  mulsd  -0x320(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x740(%rbp),%xmm0
  mulsd  -0x318(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x478(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x310(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x470(%rbp),%xmm2
  movsd  D359(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2f0(%rbp)
  movsd  -0xa38(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x2f8(%rbp),%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  -0x2f0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2e8(%rbp)
  movsd  -0x988(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x370(%rbp),%xmm1
  movsd  D152(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0xa18(%rbp),%xmm1
  mulsd  -0x368(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x6e0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x330(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x730(%rbp),%xmm0
  mulsd  -0x328(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x460(%rbp),%xmm0
  mulsd  -0x308(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x488(%rbp),%xmm0
  mulsd  -0x300(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2e0(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x2e8(%rbp),%xmm0
  movsd  -0x990(%rbp),%xmm1
  mulsd  -0x2e0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2d8(%rbp)
  movsd  -0x9b0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x2f8(%rbp),%xmm1
  movsd  -0xa38(%rbp),%xmm0
  mulsd  -0x2f0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2d0(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D575(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x2d8(%rbp),%xmm0
  movsd  -0x968(%rbp),%xmm2
  movsd  D575(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x2d0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xc8,%rax
  addsd  -0x950(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x998(%rbp),%xmm0
  movsd  %xmm0,-0x2c8(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  mulsd  -0x988(%rbp),%xmm0
  movsd  %xmm0,-0x2c0(%rbp)
  movsd  -0x2c0(%rbp),%xmm0
  mulsd  -0x9d0(%rbp),%xmm0
  movsd  %xmm0,-0x2b8(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x80(%rax),%xmm0
  movsd  %xmm0,-0x2b0(%rbp)
  movsd  -0x2b0(%rbp),%xmm0
  movsd  %xmm0,-0x2a8(%rbp)
  movsd  -0x990(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8b8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x2a0(%rbp)
  movsd  -0xa48(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x298(%rbp)
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x850(%rbp),%xmm0
  movsd  %xmm0,-0x290(%rbp)
  movsd  -0x290(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x288(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  mulsd  -0x848(%rbp),%xmm0
  movsd  %xmm0,-0x280(%rbp)
  movsd  -0x280(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x278(%rbp)
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x7e0(%rbp),%xmm0
  movsd  %xmm0,-0x270(%rbp)
  movsd  -0x270(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x268(%rbp)
  movsd  -0x2c0(%rbp),%xmm0
  mulsd  -0x800(%rbp),%xmm0
  movsd  %xmm0,-0x260(%rbp)
  movsd  -0x260(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x258(%rbp)
  movsd  -0x2c8(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2b8(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x2a0(%rbp),%xmm0
  subsd  -0x298(%rbp),%xmm0
  subsd  -0x288(%rbp),%xmm0
  addsd  -0x278(%rbp),%xmm0
  addsd  -0x268(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xd0,%rax
  addsd  -0x258(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x2c8(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2b8(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x2a0(%rbp),%xmm0
  subsd  -0x298(%rbp),%xmm0
  addsd  -0x288(%rbp),%xmm0
  subsd  -0x278(%rbp),%xmm0
  addsd  -0x268(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xd8,%rax
  addsd  -0x258(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x290(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x250(%rbp)
  movsd  -0x280(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x248(%rbp)
  movsd  -0x270(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x240(%rbp)
  movsd  -0x260(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x238(%rbp)
  movsd  -0x2c8(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2b8(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x2a0(%rbp),%xmm0
  subsd  -0x298(%rbp),%xmm0
  subsd  -0x250(%rbp),%xmm0
  addsd  -0x248(%rbp),%xmm0
  subsd  -0x240(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xe0,%rax
  subsd  -0x238(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x2c8(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2b8(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x2a0(%rbp),%xmm0
  subsd  -0x298(%rbp),%xmm0
  addsd  -0x250(%rbp),%xmm0
  subsd  -0x248(%rbp),%xmm0
  subsd  -0x240(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xe8,%rax
  subsd  -0x238(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x2c8(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2b8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xf0,%rax
  addsd  -0x2a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x778(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x2c0(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa00(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0xf8,%rax
  addsd  -0x2a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xa38(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x230(%rbp)
  movsd  D1367(%rip),%xmm0
  subsd  -0x230(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x100,%rax
  addsd  -0x2a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x230(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x108,%rax
  addsd  -0x2a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xa48(%rbp),%xmm0
  mulsd  -0x6e0(%rbp),%xmm0
  movsd  %xmm0,-0x228(%rbp)
  movsd  -0x990(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x6e8(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x228(%rbp),%xmm2
  movsd  D2543(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x718(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x110,%rax
  addsd  -0x2a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x680(%rbp),%xmm0
  movsd  %xmm0,-0x220(%rbp)
  movsd  -0x228(%rbp),%xmm0
  mulsd  -0x6a0(%rbp),%xmm0
  movsd  %xmm0,-0x218(%rbp)
  movsd  -0x220(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x218(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x118,%rax
  addsd  -0x2a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x5d0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x210(%rbp)
  movsd  -0xa48(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x5c8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x208(%rbp)
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x568(%rbp),%xmm0
  movsd  %xmm0,-0x200(%rbp)
  movsd  -0x200(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1f8(%rbp)
  movsd  -0xa48(%rbp),%xmm0
  mulsd  -0x560(%rbp),%xmm0
  movsd  %xmm0,-0x1f0(%rbp)
  movsd  -0x1f0(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1e8(%rbp)
  movsd  -0x990(%rbp),%xmm0
  mulsd  -0x4f8(%rbp),%xmm0
  movsd  %xmm0,-0x1e0(%rbp)
  movsd  -0x1e0(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1d8(%rbp)
  movsd  -0x228(%rbp),%xmm0
  mulsd  -0x518(%rbp),%xmm0
  movsd  %xmm0,-0x1d0(%rbp)
  movsd  -0x1d0(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1c8(%rbp)
  movsd  -0x220(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x218(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x210(%rbp),%xmm0
  subsd  -0x208(%rbp),%xmm0
  addsd  -0x1f8(%rbp),%xmm0
  subsd  -0x1e8(%rbp),%xmm0
  addsd  -0x1d8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x120,%rax
  addsd  -0x1c8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x220(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x218(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x210(%rbp),%xmm0
  subsd  -0x208(%rbp),%xmm0
  subsd  -0x1f8(%rbp),%xmm0
  addsd  -0x1e8(%rbp),%xmm0
  addsd  -0x1d8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x128,%rax
  addsd  -0x1c8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x200(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1c0(%rbp)
  movsd  -0x1f0(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1b8(%rbp)
  movsd  -0x1e0(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1b0(%rbp)
  movsd  -0x1d0(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1a8(%rbp)
  movsd  -0x220(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x218(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x210(%rbp),%xmm0
  subsd  -0x208(%rbp),%xmm0
  addsd  -0x1c0(%rbp),%xmm0
  subsd  -0x1b8(%rbp),%xmm0
  subsd  -0x1b0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x130,%rax
  subsd  -0x1a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x220(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x218(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x210(%rbp),%xmm0
  subsd  -0x208(%rbp),%xmm0
  subsd  -0x1c0(%rbp),%xmm0
  addsd  -0x1b8(%rbp),%xmm0
  subsd  -0x1b0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x138,%rax
  subsd  -0x1a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm1
  movsd  D1842(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1a0(%rbp)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x140,%rax
  addsd  -0x2a8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x468(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x198(%rbp)
  movsd  -0xa48(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x460(%rbp),%xmm0
  movsd  -0x478(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x190(%rbp)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x198(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x148,%rax
  addsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  subsd  -0x198(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x150,%rax
  subsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm1
  movsd  D2411(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x408(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x188(%rbp)
  movsd  -0xa48(%rbp),%xmm1
  movsd  D2411(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3f8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x180(%rbp)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x188(%rbp),%xmm0
  subsd  -0x180(%rbp),%xmm0
  addsd  -0x198(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x158,%rax
  addsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x188(%rbp),%xmm0
  subsd  -0x180(%rbp),%xmm0
  subsd  -0x198(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x160,%rax
  subsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x2c8(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2b8(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x2a0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x168,%rax
  subsd  -0x298(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x220(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x218(%rbp),%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x210(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x170,%rax
  subsd  -0x208(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm1
  movsd  D998(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3c0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x178(%rbp)
  movsd  -0xa48(%rbp),%xmm1
  movsd  D998(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3b8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x170(%rbp)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x188(%rbp),%xmm0
  subsd  -0x180(%rbp),%xmm0
  addsd  -0x178(%rbp),%xmm0
  subsd  -0x170(%rbp),%xmm0
  addsd  -0x198(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x178,%rax
  addsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x188(%rbp),%xmm0
  subsd  -0x180(%rbp),%xmm0
  addsd  -0x178(%rbp),%xmm0
  subsd  -0x170(%rbp),%xmm0
  subsd  -0x198(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x180,%rax
  subsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x188(%rbp),%xmm0
  subsd  -0x180(%rbp),%xmm0
  subsd  -0x178(%rbp),%xmm0
  addsd  -0x170(%rbp),%xmm0
  subsd  -0x198(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x188,%rax
  subsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x1a0(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  addsd  -0x2a8(%rbp),%xmm0
  addsd  -0x188(%rbp),%xmm0
  subsd  -0x180(%rbp),%xmm0
  subsd  -0x178(%rbp),%xmm0
  addsd  -0x170(%rbp),%xmm0
  addsd  -0x198(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x190,%rax
  addsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x990(%rbp),%xmm1
  movsd  D575(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x2e8(%rbp),%xmm1
  movsd  D1367(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xa48(%rbp),%xmm2
  movsd  D575(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x2e0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x198,%rax
  addsd  -0x2b0(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x978(%rbp),%xmm0
  movsd  %xmm0,-0x168(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x960(%rbp),%xmm0
  movsd  %xmm0,-0x160(%rbp)
  mov    -0xa70(%rbp),%rax
  movsd  0x88(%rax),%xmm0
  movsd  %xmm0,-0x158(%rbp)
  movsd  -0x158(%rbp),%xmm0
  movsd  %xmm0,-0x150(%rbp)
  movsd  -0x968(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x8a8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x148(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x898(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x140(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x840(%rbp),%xmm0
  movsd  %xmm0,-0x138(%rbp)
  movsd  -0x138(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x130(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x828(%rbp),%xmm0
  movsd  %xmm0,-0x128(%rbp)
  movsd  -0x128(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x120(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x7d8(%rbp),%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x7c0(%rbp),%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x108(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x168(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0x160(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x148(%rbp),%xmm0
  subsd  -0x140(%rbp),%xmm0
  addsd  -0x130(%rbp),%xmm0
  addsd  -0x120(%rbp),%xmm0
  subsd  -0x110(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1a0,%rax
  subsd  -0x100(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x168(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0x160(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x148(%rbp),%xmm0
  subsd  -0x140(%rbp),%xmm0
  subsd  -0x130(%rbp),%xmm0
  subsd  -0x120(%rbp),%xmm0
  subsd  -0x110(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1a8,%rax
  subsd  -0x100(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x138(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0x128(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0x118(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe8(%rbp)
  movsd  -0x108(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0x168(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0x160(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x148(%rbp),%xmm0
  subsd  -0x140(%rbp),%xmm0
  addsd  -0xf8(%rbp),%xmm0
  addsd  -0xf0(%rbp),%xmm0
  addsd  -0xe8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1b0,%rax
  addsd  -0xe0(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x168(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0x160(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x148(%rbp),%xmm0
  subsd  -0x140(%rbp),%xmm0
  subsd  -0xf8(%rbp),%xmm0
  subsd  -0xf0(%rbp),%xmm0
  addsd  -0xe8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1b8,%rax
  addsd  -0xe0(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x168(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0x160(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1c0,%rax
  addsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x770(%rbp),%xmm0
  movsd  -0xa58(%rbp),%xmm1
  mulsd  -0x768(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1c8,%rax
  addsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0xa48(%rbp),%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  movsd  -0xd8(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xa38(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  subsd  -0xd0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1d0,%rax
  addsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xd0(%rbp),%xmm0
  subsd  -0xc8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1d8,%rax
  addsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x6d0(%rbp),%xmm0
  movsd  -0xa58(%rbp),%xmm1
  mulsd  -0x6c8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1e0,%rax
  addsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x678(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x668(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0xb8(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1e8,%rax
  addsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x5c0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D1954(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x5b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x558(%rbp),%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xa0(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x540(%rbp),%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x90(%rbp),%xmm1
  movsd  D1707(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0x968(%rbp),%xmm0
  mulsd  -0x4f0(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0xa58(%rbp),%xmm0
  mulsd  -0x4d8(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x70(%rbp),%xmm1
  movsd  D958(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0xb8(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0xb0(%rbp),%xmm0
  subsd  -0xa8(%rbp),%xmm0
  subsd  -0x98(%rbp),%xmm0
  subsd  -0x88(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1f0,%rax
  subsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xc0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0xb8(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0xb0(%rbp),%xmm0
  subsd  -0xa8(%rbp),%xmm0
  addsd  -0x98(%rbp),%xmm0
  addsd  -0x88(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x1f8,%rax
  subsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xa0(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x90(%rbp),%xmm1
  movsd  D2012(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x70(%rbp),%xmm1
  movsd  D476(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0xb8(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0xb0(%rbp),%xmm0
  subsd  -0xa8(%rbp),%xmm0
  subsd  -0x60(%rbp),%xmm0
  subsd  -0x58(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x200,%rax
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xc0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0xb8(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0xb0(%rbp),%xmm0
  subsd  -0xa8(%rbp),%xmm0
  addsd  -0x60(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x208,%rax
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xd8(%rbp),%xmm1
  movsd  D1842(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x9b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D1842(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xa38(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x210,%rax
  addsd  -0x150(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x458(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D1722(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x448(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x218,%rax
  subsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x220,%rax
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm1
  movsd  D2411(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3f0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D2411(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3d8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x228,%rax
  subsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x230,%rax
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x168(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0x160(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x148(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x238,%rax
  subsd  -0x140(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0xc0(%rbp),%xmm0
  movq   D531(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  subsd  -0xb8(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0xb0(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x240,%rax
  subsd  -0xa8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm1
  movsd  D998(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3b0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0xa58(%rbp),%xmm1
  movsd  D998(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x3a0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  subsd  -0x10(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x248,%rax
  subsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  subsd  -0x10(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x250,%rax
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x258,%rax
  addsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  addsd  -0x150(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x260,%rax
  subsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x968(%rbp),%xmm1
  movsd  D43(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x2d8(%rbp),%xmm0
  movsd  -0xa58(%rbp),%xmm2
  movsd  D575(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x2d0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xa68(%rbp),%rax
  add    $0x268,%rax
  addsd  -0x158(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D2543
datatype: f64
name: retrieve_data
arguments: tag: D531
datatype: byte[8]
name: retrieve_data
arguments: tag: D1722
datatype: f64
name: retrieve_data
arguments: tag: D1954
datatype: byte[8]
name: retrieve_data
arguments: tag: D1707
datatype: byte[8]
name: retrieve_data
arguments: tag: D958
datatype: f64
name: retrieve_data
arguments: tag: D2012
datatype: byte[8]
name: retrieve_data
arguments: tag: D476
datatype: f64
name: retrieve_data
arguments: tag: D269
datatype: byte[8]
name: retrieve_data
arguments: tag: D1234
datatype: byte[8]
name: retrieve_data
arguments: tag: D1842
datatype: f64
name: retrieve_data
arguments: tag: D2411
datatype: f64
name: retrieve_data
arguments: tag: D998
datatype: f64
name: retrieve_data
arguments: tag: D1819
datatype: f64
name: retrieve_data
arguments: tag: D20
datatype: f64
name: retrieve_data
arguments: tag: D168
datatype: byte[8]
name: retrieve_data
arguments: tag: D2606
datatype: byte[8]
name: retrieve_data
arguments: tag: D213
datatype: f64
name: retrieve_data
arguments: tag: D989
datatype: byte[8]
name: retrieve_data
arguments: tag: D1051
datatype: byte[8]
name: retrieve_data
arguments: tag: D14
datatype: byte[8]
name: retrieve_data
arguments: tag: D1802
datatype: byte[8]
name: retrieve_data
arguments: tag: D743
datatype: f64
name: retrieve_data
arguments: tag: D2573
datatype: f64
name: retrieve_data
arguments: tag: D2451
datatype: byte[8]
name: retrieve_data
arguments: tag: D1131
datatype: f64
name: retrieve_data
arguments: tag: D2363
datatype: f64
name: retrieve_data
arguments: tag: D359
datatype: f64
name: retrieve_data
arguments: tag: D1759
datatype: byte[8]
name: retrieve_data
arguments: tag: D1920
datatype: byte[8]
name: retrieve_data
arguments: tag: D152
datatype: f64
name: retrieve_data
arguments: tag: D575
datatype: byte[8]
name: retrieve_data
arguments: tag: D1367
datatype: f64
name: retrieve_data
arguments: tag: D43
datatype: byte[8]

tool: D2543: 0.41

tool: {"D531": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

tool: D1722: 0.11

tool: {"D1954": [0x73,0x68,0x91,0xed,0x7c,0x3f,0xb5,0x3f]}

tool: {"D1707": [0x0a,0xd7,0xa3,0x70,0x3d,0x0a,0xb7,0x3f]}

tool: D958: 0.17

tool: {"D2012": [0xb8,0x1e,0x85,0xeb,0x51,0xb8,0xae,0x3f]}

tool: D476: 0.12

tool: {"D269": [0x3d,0x0a,0xd7,0xa3,0x70,0x3d,0xda,0xbf]}

tool: {"D1234": [0x29,0x5c,0x8f,0xc2,0xf5,0x28,0xbc,0xbf]}

tool: D1842: 0.128

tool: D2411: 0.66

tool: D998: 0.15

tool: D1819: 0.13806

tool: D20: 1.93456

tool: {"D168": [0x88,0xd7,0xf5,0x0b,0x76,0xc3,0xa6,0x3f]}

tool: {"D2606": [0xa9,0xf6,0xe9,0x78,0xcc,0x40,0xc5,0xbf]}

tool: D213: 5.2085

tool: {"D989": [0x81,0x95,0x43,0x8b,0x6c,0xe7,0xab,0xbf]}

tool: {"D1051": [0xc7,0xba,0xb8,0x8d,0x06,0xf0,0x56,0xbf]}

tool: {"D14": [0x31,0x08,0xac,0x1c,0x5a,0x64,0xdf,0xbf]}

tool: {"D1802": [0xfc,0xa9,0xf1,0xd2,0x4d,0x62,0x90,0x3f]}

tool: D743: 0.1166

tool: D2573: 0.4905

tool: {"D2451": [0xfc,0xa9,0xf1,0xd2,0x4d,0x62,0x90,0xbf]}

tool: D1131: 19.44

tool: D2363: 0.624

tool: D359: 0.432

tool: {"D1759": [0x92,0x05,0x4c,0xe0,0xd6,0xdd,0x9c,0x3f]}

tool: {"D1920": [0x18,0x78,0xee,0x3d,0x5c,0xd2,0x18,0xc0]}

tool: D152: 1.2832

tool: {"D575": [0x1a,0x80,0x8e,0x51,0x45,0x8a,0x83,0x3f]}

tool: D1367: 0.903

tool: {"D43": [0x1a,0x80,0x8e,0x51,0x45,0x8a,0x83,0xbf]}

assistant: ```c
void Tags(T, q) double T[78];
double q[21];
{
  double t1;
  double t10;
  double t100;
  double t103;
  double t107;
  double t109;
  double t11;
  double t112;
  double t116;
  double t118;
  double t12;
  double t122;
  double t124;
  double t128;
  double t13;
  double t130;
  double t131;
  double t132;
  double t135;
  double t136;
  double t137;
  double t138;
  double t14;
  double t140;
  double t142;
  double t146;
  double t148;
  double t15;
  double t152;
  double t154;
  double t157;
  double t158;
  double t159;
  double t162;
  double t163;
  double t164;
  double t165;
  double t166;
  double t167;
  double t168;
  double t17;
  double t173;
  double t179;
  double t181;
  double t185;
  double t189;
  double t19;
  double t191;
  double t193;
  double t195;
  double t196;
  double t197;
  double t198;
  double t199;
  double t2;
  double t20;
  double t200;
  double t201;
  double t202;
  double t205;
  double t206;
  double t209;
  double t211;
  double t216;
  double t218;
  double t220;
  double t221;
  double t224;
  double t228;
  double t23;
  double t230;
  double t231;
  double t233;
  double t235;
  double t238;
  double t243;
  double t245;
  double t249;
  double t25;
  double t251;
  double t254;
  double t255;
  double t258;
  double t259;
  double t260;
  double t261;
  double t262;
  double t263;
  double t264;
  double t266;
  double t267;
  double t269;
  double t271;
  double t273;
  double t275;
  double t277;
  double t279;
  double t281;
  double t285;
  double t287;
  double t29;
  double t291;
  double t293;
  double t297;
  double t299;
  double t3;
  double t301;
  double t304;
  double t306;
  double t309;
  double t31;
  double t313;
  double t315;
  double t318;
  double t322;
  double t324;
  double t328;
  double t33;
  double t330;
  double t334;
  double t336;
  double t337;
  double t338;
  double t34;
  double t341;
  double t342;
  double t343;
  double t344;
  double t346;
  double t348;
  double t352;
  double t354;
  double t358;
  double t360;
  double t363;
  double t364;
  double t365;
  double t368;
  double t369;
  double t37;
  double t370;
  double t371;
  double t372;
  double t373;
  double t374;
  double t376;
  double t378;
  double t379;
  double t380;
  double t382;
  double t383;
  double t385;
  double t387;
  double t389;
  double t39;
  double t392;
  double t394;
  double t398;
  double t4;
  double t400;
  double t401;
  double t402;
  double t403;
  double t405;
  double t407;
  double t409;
  double t41;
  double t411;
  double t413;
  double t416;
  double t418;
  double t42;
  double t420;
  double t422;
  double t424;
  double t426;
  double t429;
  double t43;
  double t432;
  double t436;
  double t438;
  double t440;
  double t443;
  double t445;
  double t449;
  double t45;
  double t454;
  double t456;
  double t46;
  double t460;
  double t462;
  double t465;
  double t467;
  double t47;
  double t471;
  double t476;
  double t481;
  double t483;
  double t487;
  double t489;
  double t492;
  double t494;
  double t498;
  double t5;
  double t50;
  double t502;
  double t505;
  double t509;
  double t51;
  double t511;
  double t519;
  double t52;
  double t521;
  double t529;
  double t53;
  double t531;
  double t536;
  double t54;
  double t540;
  double t541;
  double t542;
  double t543;
  double t544;
  double t546;
  double t548;
  double t549;
  double t55;
  double t550;
  double t551;
  double t552;
  double t553;
  double t554;
  double t555;
  double t556;
  double t557;
  double t558;
  double t559;
  double t56;
  double t560;
  double t565;
  double t567;
  double t57;
  double t570;
  double t571;
  double t573;
  double t575;
  double t576;
  double t577;
  double t578;
  double t579;
  double t58;
  double t580;
  double t581;
  double t582;
  double t583;
  double t584;
  double t585;
  double t586;
  double t587;
  double t589;
  double t591;
  double t594;
  double t596;
  double t598;
  double t6;
  double t60;
  double t600;
  double t602;
  double t608;
  double t609;
  double t61;
  double t610;
  double t611;
  double t613;
  double t615;
  double t616;
  double t617;
  double t618;
  double t619;
  double t620;
  double t621;
  double t622;
  double t623;
  double t624;
  double t625;
  double t626;
  double t627;
  double t63;
  double t630;
  double t632;
  double t634;
  double t637;
  double t638;
  double t640;
  double t642;
  double t643;
  double t644;
  double t645;
  double t646;
  double t647;
  double t648;
  double t649;
  double t65;
  double t650;
  double t651;
  double t652;
  double t653;
  double t654;
  double t656;
  double t658;
  double t660;
  double t662;
  double t664;
  double t666;
  double t668;
  double t67;
  double t670;
  double t69;
  double t7;
  double t71;
  double t73;
  double t75;
  double t79;
  double t8;
  double t81;
  double t85;
  double t87;
  double t9;
  double t91;
  double t93;
  double t95;
  double t98;
  {
    t1 = q[19];
    t2 = cos(t1);
    t3 = q[20];
    t4 = sin(t3);
    t5 = q[18];
    t6 = sin(t5);
    t7 = q[8];
    t8 = cos(t7);
    t9 = q[9];
    t10 = sin(t9);
    t11 = t8 * t10;
    t12 = q[3];
    t13 = sin(t12);
    t14 = q[2];
    t15 = cos(t14);
    t17 = 0.41 * t15 + 0.41;
    t19 = cos(t12);
    t20 = sin(t14);
    t23 = -t13 * t17 - 0.41 * t19 * t20;
    t25 = sin(t7);
    t29 = t19 * t17 - 0.41 * t13 * t20;
    t31 = t11 * t23 + t25 * t29 + 0.11;
    t33 = cos(t5);
    t34 = t25 * t10;
    t37 = -t34 * t23 + t8 * t29;
    t39 = -t6 * t31 - t33 * t37;
    t41 = cos(t3);
    t42 = cos(t9);
    t43 = t41 * t42;
    t45 = -t4 * t39 + t43 * t23;
    t46 = t2 * t45;
    t47 = sin(t1);
    t50 = -t33 * t31 + t6 * t37;
    t51 = t47 * t50;
    t52 = q[15];
    t53 = 1.0 * t52;
    t54 = q[1];
    t55 = cos(t54);
    t56 = t15 * t55;
    t57 = q[0];
    t58 = cos(t57);
    t60 = sin(t54);
    t61 = t20 * t60;
    t63 = t56 * t58 - t61 * t58;
    t65 = t20 * t55;
    t67 = t15 * t60;
    t69 = -t65 * t58 - t67 * t58;
    t71 = -t13 * t63 + t19 * t69;
    t73 = sin(t57);
    t75 = t10 * t71 + t42 * t73;
    t79 = t19 * t63 + t13 * t69;
    t81 = t8 * t75 + t25 * t79;
    t85 = -t25 * t75 + t8 * t79;
    t87 = -t6 * t81 - t33 * t85;
    t91 = -t42 * t71 + t10 * t73;
    t93 = -t4 * t87 - t41 * t91;
    t95 = 0.83E-1 * t2 * t93;
    t98 = -t33 * t81 + t6 * t85;
    t100 = 0.83E-1 * t47 * t98;
    t103 = t56 * t73 - t61 * t73;
    t107 = -t65 * t73 - t67 * t73;
    t109 = -t13 * t103 + t19 * t107;
    t112 = t10 * t109 - t42 * t58;
    t116 = t19 * t103 + t13 * t107;
    t118 = t8 * t112 + t25 * t116;
    t122 = -t25 * t112 + t8 * t116;
    t124 = -t6 * t118 - t33 * t122;
    t128 = -t42 * t109 - t10 * t58;
    t130 = -t4 * t124 - t41 * t128;
    t131 = t2 * t130;
    t132 = 0.9E-1 * t131;
    t135 = -t33 * t118 + t6 * t122;
    t136 = t47 * t135;
    t137 = 0.9E-1 * t136;
    t138 = t67 + t65;
    t140 = -t61 + t56;
    t142 = -t13 * t138 + t19 * t140;
    t146 = t19 * t138 + t13 * t140;
    t148 = t11 * t142 + t25 * t146;
    t152 = -t34 * t142 + t8 * t146;
    t154 = -t6 * t148 - t33 * t152;
    t157 = -t4 * t154 + t43 * t142;
    t158 = t2 * t157;
    t159 = 0.17 * t158;
    t162 = -t33 * t148 + t6 * t152;
    t163 = t47 * t162;
    t164 = 0.17 * t163;
    T[0] = t46 - t51 + t53 + t95 - t100 - t132 + t137 + t159 - t164;
    T[1] = t46 - t51 + t53 + t95 - t100 + t132 - t137 + t159 - t164;
    t165 = 0.6E-1 * t131;
    t166 = 0.6E-1 * t136;
    t167 = 0.12 * t158;
    t168 = 0.12 * t163;
    T[2] = t46 - t51 + t53 + t95 - t100 - t165 + t166 - t167 + t168;
    T[3] = t46 - t51 + t53 + t95 - t100 + t165 - t166 - t167 + t168;
    T[4] = t46 - t51 + t53;
    t173 = -0.41 * t11 * t13 + 0.41 * t25 * t19 + 0.11;
    t179 = 0.41 * t34 * t13 + 0.41 * t8 * t19;
    t181 = -t6 * t173 - t33 * t179;
    t185 = -t4 * t181 - 0.41 * t43 * t13;
    t189 = -t33 * t173 + t6 * t179;
    T[5] = t2 * t185 - t47 * t189 + t53;
    t191 = t2 * t4;
    t193 = 0.11 * t191 * t6;
    t195 = 0.11 * t47 * t33;
    T[6] = t193 + t195 + t53;
    T[7] = -t193 - t195 + t53;
    t196 = q[10];
    t197 = cos(t196);
    t198 = q[11];
    t199 = sin(t198);
    t200 = t197 * t199;
    t201 = q[7];
    t202 = sin(t201);
    t205 = sin(t196);
    t206 = cos(t201);
    t209 = -0.11 + 0.41 * t200 * t202 - 0.41 * t205 * t206;
    t211 = t205 * t199;
    t216 = 0.41 * t211 * t202 + 0.41 * t197 * t206;
    t218 = -t6 * t209 - t33 * t216;
    t220 = cos(t198);
    t221 = t41 * t220;
    t224 = -t4 * t218 - 0.41 * t221 * t202;
    t228 = -t33 * t209 + t6 * t216;
    T[8] = t2 * t224 - t47 * t228 + t53;
    t230 = q[6];
    t231 = cos(t230);
    t233 = 0.41 + 0.41 * t231;
    t235 = sin(t230);
    t238 = -t202 * t233 - 0.41 * t206 * t235;
    t243 = t206 * t233 - 0.41 * t202 * t235;
    t245 = -0.11 - t200 * t238 - t205 * t243;
    t249 = -t211 * t238 + t197 * t243;
    t251 = -t6 * t245 - t33 * t249;
    t254 = -t4 * t251 + t221 * t238;
    t255 = t2 * t254;
    t258 = -t33 * t245 + t6 * t249;
    t259 = t47 * t258;
    T[9] = t255 - t259 + t53;
    t260 = q[5];
    t261 = cos(t260);
    t262 = t231 * t261;
    t263 = q[4];
    t264 = cos(t263);
    t266 = sin(t260);
    t267 = t235 * t266;
    t269 = t262 * t264 - t267 * t264;
    t271 = t235 * t261;
    t273 = t231 * t266;
    t275 = -t271 * t264 - t273 * t264;
    t277 = -t202 * t269 + t206 * t275;
    t279 = sin(t263);
    t281 = -t199 * t277 - t220 * t279;
    t285 = t206 * t269 + t202 * t275;
    t287 = t197 * t281 - t205 * t285;
    t291 = t205 * t281 + t197 * t285;
    t293 = -t6 * t287 - t33 * t291;
    t297 = -t220 * t277 + t199 * t279;
    t299 = -t4 * t293 - t41 * t297;
    t301 = 0.83E-1 * t2 * t299;
    t304 = -t33 * t287 + t6 * t291;
    t306 = 0.83E-1 * t47 * t304;
    t309 = -t262 * t279 + t267 * t279;
    t313 = t271 * t279 + t273 * t279;
    t315 = -t202 * t309 + t206 * t313;
    t318 = -t199 * t315 - t220 * t264;
    t322 = t206 * t309 + t202 * t313;
    t324 = t197 * t318 - t205 * t322;
    t328 = t205 * t318 + t197 * t322;
    t330 = -t6 * t324 - t33 * t328;
    t334 = -t220 * t315 + t199 * t264;
    t336 = -t4 * t330 - t41 * t334;
    t337 = t2 * t336;
    t338 = 0.9E-1 * t337;
    t341 = -t33 * t324 + t6 * t328;
    t342 = t47 * t341;
    t343 = 0.9E-1 * t342;
    t344 = t273 + t271;
    t346 = t262 - t267;
    t348 = -t202 * t344 + t206 * t346;
    t352 = t206 * t344 + t202 * t346;
    t354 = -t200 * t348 - t205 * t352;
    t358 = -t211 * t348 + t197 * t352;
    t360 = -t6 * t354 - t33 * t358;
    t363 = -t4 * t360 + t221 * t348;
    t364 = t2 * t363;
    t365 = 0.17 * t364;
    t368 = -t33 * t354 + t6 * t358;
    t369 = t47 * t368;
    t370 = 0.17 * t369;
    T[10] = t255 - t259 + t53 + t301 - t306 + t338 - t343 + t365 - t370;
    T[11] = t255 - t259 + t53 + t301 - t306 - t338 + t343 + t365 - t370;
    t371 = 0.6E-1 * t337;
    t372 = 0.6E-1 * t342;
    t373 = 0.12 * t364;
    t374 = 0.12 * t369;
    T[12] = t255 - t259 + t53 + t301 - t306 + t371 - t372 - t373 + t374;
    T[13] = t255 - t259 + t53 + t301 - t306 - t371 + t372 - t373 + t374;
    t376 = 0.128 * t191 * t33;
    t378 = 0.128 * t47 * t6;
    T[14] = -t376 + t378 + t53;
    t379 = q[12];
    t380 = cos(t379);
    t382 = q[13];
    t383 = cos(t382);
    t385 = sin(t382);
    t387 = -t6 * t380 * t383 - t33 * t385;
    t389 = sin(t379);
    t392 = -t4 * t387 + t41 * t389 * t383;
    t394 = 0.11 * t2 * t392;
    t398 = -t33 * t380 * t383 + t6 * t385;
    t400 = 0.11 * t47 * t398;
    T[15] = -t376 + t378 + t53 + t394 - t400;
    T[16] = -t376 + t378 + t53 - t394 + t400;
    t401 = t380 * t385;
    t402 = q[14];
    t403 = cos(t402);
    t405 = sin(t402);
    t407 = t401 * t403 + t389 * t405;
    t409 = t33 * t383;
    t411 = -t6 * t407 + t409 * t403;
    t413 = t389 * t385;
    t416 = -t413 * t403 + t380 * t405;
    t418 = -t4 * t411 - t41 * t416;
    t420 = 0.66 * t2 * t418;
    t422 = t6 * t383;
    t424 = -t33 * t407 - t422 * t403;
    t426 = 0.66 * t47 * t424;
    T[17] = -t376 + t378 + t53 + t420 - t426 + t394 - t400;
    T[18] = -t376 + t378 + t53 + t420 - t426 - t394 + t400;
    T[19] = t46 - t51 + t53 + t95 - t100;
    T[20] = t255 - t259 + t53 + t301 - t306;
    t429 = -t401 * t405 + t389 * t403;
    t432 = -t6 * t429 - t409 * t405;
    t436 = t413 * t405 + t380 * t403;
    t438 = -t4 * t432 - t41 * t436;
    t440 = 0.15 * t2 * t438;
    t443 = -t33 * t429 + t422 * t405;
    t445 = 0.15 * t47 * t443;
    T[21] = -t376 + t378 + t53 + t420 - t426 + t440 - t445 + t394 - t400;
    T[22] = -t376 + t378 + t53 + t420 - t426 + t440 - t445 - t394 + t400;
    T[23] = -t376 + t378 + t53 + t420 - t426 - t440 + t445 - t394 + t400;
    T[24] = -t376 + t378 + t53 + t420 - t426 - t440 + t445 + t394 - t400;
    t449 = 0.193456E1 + 0.13806 * t55 * t58 + 0.4446E-1 * t60;
    t454 = -0.16604 - 0.13806 * t60 * t58 + 0.4446E-1 * t55;
    t456 = 0.52085E1 + t15 * t449 + t20 * t454;
    t460 = -0.545E-1 - t20 * t449 + t15 * t454;
    t462 = -0.14E-2 - t13 * t456 + t19 * t460;
    t465 = -0.4905 - 0.13806 * t73;
    t467 = 0.16E-1 + t10 * t462 - t42 * t465;
    t471 = -0.1166 + t19 * t456 + t13 * t460;
    t476 = 0.193456E1 + 0.13806 * t261 * t264 + 0.4446E-1 * t266;
    t481 = -0.16604 - 0.13806 * t266 * t264 + 0.4446E-1 * t261;
    t483 = 0.52085E1 + t231 * t476 + t235 * t481;
    t487 = -0.545E-1 - t235 * t476 + t231 * t481;
    t489 = -0.14E-2 - t202 * t483 + t206 * t487;
    t492 = 0.4905 + 0.13806 * t279;
    t494 = -0.16E-1 - t199 * t489 - t220 * t492;
    t498 = -0.1166 + t206 * t483 + t202 * t487;
    t502 = 0.1944E2 * t403 - 0.624 * t405;
    t505 = -t385 * t502 - 0.432 * t383;
    t509 = 0.2819E-1 + 0.1944E2 * t405 + 0.624 * t403;
    t511 = t8 * t467 + t25 * t471 + t197 * t494 - t205 * t498 - t380 * t505 + t389 * t509;
    t519 = -0.620543E1 - t25 * t467 + t8 * t471 + t205 * t494 + t197 * t498 - t383 * t502 + 0.432 * t385;
    t521 = -t6 * t511 - t33 * t519;
    t529 = 0.12832E1 - t42 * t462 - t10 * t465 - t220 * t489 + t199 * t492 + t389 * t505 + t380 * t509;
    t531 = -t4 * t521 - t41 * t529;
    t536 = -t33 * t511 + t6 * t519;
    T[25] = 0.9541074325E-2 * t2 * t531 - 0.9541074325E-2 * t47 * t536 + 0.1E1 * t52;
    t540 = t41 * t39;
    t541 = t4 * t42;
    t542 = t541 * t23;
    t543 = q[16];
    t544 = 1.0 * t543;
    t546 = 0.83E-1 * t41 * t87;
    t548 = 0.83E-1 * t4 * t91;
    t549 = t41 * t124;
    t550 = 0.9E-1 * t549;
    t551 = t4 * t128;
    t552 = 0.9E-1 * t551;
    t553 = t41 * t154;
    t554 = 0.17 * t553;
    t555 = t541 * t142;
    t556 = 0.17 * t555;
    T[26] = 0.903 + t540 + t542 + t544 + t546 - t548 - t550 + t552 + t554 + t556;
    T[27] = 0.903 + t540 + t542 + t544 + t546 - t548 + t550 - t552 + t554 + t556;
    t557 = 0.6E-1 * t549;
    t558 = 0.6E-1 * t551;
    t559 = 0.12 * t553;
    t560 = 0.12 * t555;
    T[28] = 0.903 + t540 + t542 + t544 + t546 - t548 - t557 + t558 - t559 - t560;
    T[29] = 0.903 + t540 + t542 + t544 + t546 - t548 + t557 - t558 - t559 - t560;
    T[30] = 0.903 + t540 + t542 + t544;
    T[31] = 0.903 + t41 * t181 - 0.41 * t541 * t13 + t544;
    t565 = 0.11 * t41 * t6;
    T[32] = 0.903 - t565 + t544;
    T[33] = 0.903 + t565 + t544;
    t567 = t4 * t220;
    T[34] = 0.903 + t41 * t218 - 0.41 * t567 * t202 + t544;
    t570 = t41 * t251;
    t571 = t567 * t238;
    T[35] = 0.903 + t570 + t571 + t544;
    t573 = 0.83E-1 * t41 * t293;
    t575 = 0.83E-1 * t4 * t297;
    t576 = t41 * t330;
    t577 = 0.9E-1 * t576;
    t578 = t4 * t334;
    t579 = 0.9E-1 * t578;
    t580 = t41 * t360;
    t581 = 0.17 * t580;
    t582 = t567 * t348;
    t583 = 0.17 * t582;
    T[36] = 0.903 + t570 + t571 + t544 + t573 - t575 + t577 - t579 + t581 + t583;
    T[37] = 0.903 + t570 + t571 + t544 + t573 - t575 - t577 + t579 + t581 + t583;
    t584 = 0.6E-1 * t576;
    t585 = 0.6E-1 * t578;
    t586 = 0.12 * t580;
    t587 = 0.12 * t582;
    T[38] = 0.903 + t570 + t571 + t544 + t573 - t575 + t584 - t585 - t586 - t587;
    T[39] = 0.903 + t570 + t571 + t544 + t573 - t575 - t584 + t585 - t586 - t587;
    t589 = 0.128 * t41 * t33;
    T[40] = 0.903 + t589 + t544;
    t591 = 0.11 * t41 * t387;
    t594 = 0.11 * t4 * t389 * t383;
    T[41] = 0.903 + t589 + t544 + t591 + t594;
    T[42] = 0.903 + t589 + t544 - t591 - t594;
    t596 = 0.66 * t41 * t411;
    t598 = 0.66 * t4 * t416;
    T[43] = 0.903 + t589 + t544 + t596 - t598 + t591 + t594;
    T[44] = 0.903 + t589 + t544 + t596 - t598 - t591 - t594;
    T[45] = 0.903 + t540 + t542 + t544 + t546 - t548;
    T[46] = 0.903 + t570 + t571 + t544 + t573 - t575;
    t600 = 0.15 * t41 * t432;
    t602 = 0.15 * t4 * t436;
    T[47] = 0.903 + t589 + t544 + t596 - t598 + t600 - t602 + t591 + t594;
    T[48] = 0.903 + t589 + t544 + t596 - t598 + t600 - t602 - t591 - t594;
    T[49] = 0.903 + t589 + t544 + t596 - t598 - t600 + t602 - t591 - t594;
    T[50] = 0.903 + t589 + t544 + t596 - t598 - t600 + t602 + t591 + t594;
    T[51] = 0.903 + 0.9541074325E-2 * t41 * t521 - 0.9541074325E-2 * t4 * t529 + 0.1E1 * t543;
    t608 = t47 * t45;
    t609 = t2 * t50;
    t610 = q[17];
    t611 = 1.0 * t610;
    t613 = 0.83E-1 * t47 * t93;
    t615 = 0.83E-1 * t2 * t98;
    t616 = t47 * t130;
    t617 = 0.9E-1 * t616;
    t618 = t2 * t135;
    t619 = 0.9E-1 * t618;
    t620 = t47 * t157;
    t621 = 0.17 * t620;
    t622 = t2 * t162;
    t623 = 0.17 * t622;
    T[52] = -t608 - t609 + t611 - t613 - t615 + t617 + t619 - t621 - t623;
    T[53] = -t608 - t609 + t611 - t613 - t615 - t617 - t619 - t621 - t623;
    t624 = 0.6E-1 * t616;
    t625 = 0.6E-1 * t618;
    t626 = 0.12 * t620;
    t627 = 0.12 * t622;
    T[54] = -t608 - t609 + t611 - t613 - t615 + t624 + t625 + t626 + t627;
    T[55] = -t608 - t609 + t611 - t613 - t615 - t624 - t625 + t626 + t627;
    T[56] = -t608 - t609 + t611;
    T[57] = -t47 * t185 - t2 * t189 + t611;
    t630 = t47 * t4;
    t632 = 0.11 * t630 * t6;
    t634 = 0.11 * t2 * t33;
    T[58] = -t632 + t634 + t611;
    T[59] = t632 - t634 + t611;
    T[60] = -t47 * t224 - t2 * t228 + t611;
    t637 = t47 * t254;
    t638 = t2 * t258;
    T[61] = -t637 - t638 + t611;
    t640 = 0.83E-1 * t47 * t299;
    t642 = 0.83E-1 * t2 * t304;
    t643 = t47 * t336;
    t644 = 0.9E-1 * t643;
    t645 = t2 * t341;
    t646 = 0.9E-1 * t645;
    t647 = t47 * t363;
    t648 = 0.17 * t647;
    t649 = t2 * t368;
    t650 = 0.17 * t649;
    T[62] = -t637 - t638 + t611 - t640 - t642 - t644 - t646 - t648 - t650;
    T[63] = -t637 - t638 + t611 - t640 - t642 + t644 + t646 - t648 - t650;
    t651 = 0.6E-1 * t643;
    t652 = 0.6E-1 * t645;
    t653 = 0.12 * t647;
    t654 = 0.12 * t649;
    T[64] = -t637 - t638 + t611 - t640 - t642 - t651 - t652 + t653 + t654;
    T[65] = -t637 - t638 + t611 - t640 - t642 + t651 + t652 + t653 + t654;
    t656 = 0.128 * t630 * t33;
    t658 = 0.128 * t2 * t6;
    T[66] = t656 + t658 + t611;
    t660 = 0.11 * t47 * t392;
    t662 = 0.11 * t2 * t398;
    T[67] = t656 + t658 + t611 - t660 - t662;
    T[68] = t656 + t658 + t611 + t660 + t662;
    t664 = 0.66 * t47 * t418;
    t666 = 0.66 * t2 * t424;
    T[69] = t656 + t658 + t611 - t664 - t666 - t660 - t662;
    T[70] = t656 + t658 + t611 - t664 - t666 + t660 + t662;
    T[71] = -t608 - t609 + t611 - t613 - t615;
    T[72] = -t637 - t638 + t611 - t640 - t642;
    t668 = 0.15 * t47 * t438;
    t670 = 0.15 * t2 * t443;
    T[73] = t656 + t658 + t611 - t664 - t666 - t668 - t670 - t660 - t662;
    T[74] = t656 + t658 + t611 - t664 - t666 - t668 - t670 + t660 + t662;
    T[75] = t656 + t658 + t611 - t664 - t666 + t668 + t670 + t660 + t662;
    T[76] = t656 + t658 + t611 - t664 - t666 + t668 + t670 - t660 - t662;
    T[77] = -0.9541074325E-2 * t47 * t531 - 0.9541074325E-2 * t2 * t536 + 0.1E1 * t610;
    return;
  }
}
```