user: What would the C source look like for the assembly code provided here?

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

tool_calls: name: disassemble_data
arguments: data_label: D942
type: f64
name: disassemble_data
arguments: data_label: D830
type: f64
name: disassemble_data
arguments: data_label: D1088
type: f64
name: disassemble_data
arguments: data_label: D197
type: f64
name: disassemble_data
arguments: data_label: D111
type: f64
name: disassemble_data
arguments: data_label: D824
type: f64
name: disassemble_data
arguments: data_label: D34
type: byte[8]
name: disassemble_data
arguments: data_label: D212
type: byte[8]
name: disassemble_data
arguments: data_label: D399
type: f64
name: disassemble_data
arguments: data_label: D953
type: qword
name: disassemble_data
arguments: data_label: D508
type: f64
name: disassemble_data
arguments: data_label: D400
type: f64
name: disassemble_data
arguments: data_label: D992
type: f64
name: disassemble_data
arguments: data_label: D606
type: f64
name: disassemble_data
arguments: data_label: D544
type: f64
name: disassemble_data
arguments: data_label: D258
type: f32[2]
name: disassemble_data
arguments: data_label: D683
type: f32[2]
name: disassemble_data
arguments: data_label: D360
type: f32[2]

tool: D942: 3.338299811

tool: D830: 1.151035476

tool: D1088: 1

tool: D197: 18

tool: D111: 9

tool: D824: 218

tool: {"D34": [0x9a,0x99,0x99,0x99,0x99,0x99,0xb9,0x3f]}

tool: {"D212": [0xcd,0xcc,0xcc,0xcc,0xcc,0xcc,0xec,0x3f]}

tool: D399: 1090

tool: D953: 9223372036854775807

tool: D508: 1962

tool: D400: 2.187264336

tool: D992: 19620

tool: D606: 2180

tool: D544: 4.374528672

tool: {"D258": [0.0,1.9375]}

tool: {"D683": [0.0,1.75]}

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

assistant: ```c
double LQR3_P2_pareto_DL9(double *tv, int tdim, double *param, int pdim) {
  double t1 = tv[0], t2 = tv[1];
  double r1 = param[0];
  double r2 = param[1];
  double r3 = param[2];
  double r4 = param[3];
  double r5 = param[4];
  double r6 = param[5];
  double r7 = param[6];
  double r8 = param[7];
  double r9 = param[8];
  double t4 = r2 - 3.338299811;
  double t5 = t2 * t4;
  double t6 = r1 * t1;
  double t7 = t1 * t1;
  double t8 = t2 * t2;
  double t13 = r1 * t7;
  double t14 = r2 * t8;
  double t15 = r3 * t1 * t2;
  double t9 = t5 + t6 - t13 - t14 - t15 + 1.151035476;
  double t10 = exp(t9);
  double t11 = t10 + 1.0;
  double t12 = 1.0 / t11;
  double t16 = 1.0 / (t11 * t11);
  double t17 = t12 * 1.8E1;
  double t19 = t16 * 9.0;
  double t18 = t17 - t19 + 1.0;
  double t20 = 1.0 / t18;
  double t21 = t12 * t20 * 2.18E2;
  double t22 = t16 * (1.0 / 1.0E1);
  double t23 = t22 + 9.0 / 1.0E1;
  double t24 = t17 - 1.8E1;
  double t25 = 1.0 / (t18 * t18);
  double t26 = t23 * t24 * t25 * 1.09E3;
  double t27 = t21 + t26;
  double t28 = fabs(t27);
  double t29 = r4 - 3.338299811;
  double t30 = t1 * t29;
  double t31 = r5 * t2;
  double t36 = r4 * t7;
  double t37 = r5 * t8;
  double t38 = r6 * t1 * t2;
  double t32 = t30 + t31 - t36 - t37 - t38 + 1.151035476;
  double t33 = exp(t32);
  double t34 = t33 + 1.0;
  double t35 = 1.0 / t34;
  double t39 = 1.0 / (t34 * t34);
  double t40 = t35 * 1.8E1;
  double t64 = t39 * 9.0;
  double t41 = t40 - t64 + 1.0;
  double t65 = 1.0 / t41;
  double t66 = t35 * t65 * 1.962E3;
  double t67 = t39 * (9.0 / 1.0E1);
  double t68 = t67 + 1.0 / 1.0E1;
  double t69 = t40 - 1.8E1;
  double t70 = 1.0 / (t41 * t41);
  double t71 = t68 * t69 * t70 * 1.09E3;
  double t72 = t66 + t71;
  double t42 = fabs(t72);
  double t43 = r7 + 3.338299811;
  double t44 = t1 * t43;
  double t45 = r8 + 3.338299811;
  double t46 = t2 * t45;
  double t51 = r7 * t7;
  double t52 = r8 * t8;
  double t53 = r9 * t1 * t2;
  double t47 = t44 + t46 - t51 - t52 - t53 - 2.187264336;
  double t48 = exp(t47);
  double t49 = t48 + 1.0;
  double t50 = 1.0 / t49;
  double t54 = 1.0 / (t49 * t49);
  double t55 = t50 * 1.8E1;
  double t74 = t54 * 9.0;
  double t56 = t55 - t74 + 1.0;
  double t75 = 1.0 / t56;
  double t76 = t55 - 1.8E1;
  double t77 = 1.0 / (t56 * t56);
  double t86 = t50 * t75 * 1.962E3;
  double t87 = t54 * (9.0 / 1.0E1);
  double t88 = t87 + 1.0 / 1.0E1;
  double t89 = t76 * t77 * t88 * 1.09E3;
  double t90 = t86 + t89;
  double t57 = fabs(t90);
  double t58 = t12 * t20 * 1.962E3;
  double t59 = t16 * (9.0 / 1.0E1);
  double t60 = t59 + 1.0 / 1.0E1;
  double t61 = t24 * t25 * t60 * 1.09E3;
  double t62 = t58 + t61;
  double t63 = fabs(t62);
  double t73 = t42 * t42;
  double t100 = t50 * t75 * 2.18E2;
  double t101 = t54 * (1.0 / 1.0E1);
  double t102 = t101 + 9.0 / 1.0E1;
  double t103 = t76 * t77 * t102 * 1.09E3;
  double t104 = t100 + t103;
  double t78 = fabs(t104);
  double t79 = t35 * t65 * 2.18E2;
  double t80 = t39 * (1.0 / 1.0E1);
  double t81 = t80 + 9.0 / 1.0E1;
  double t82 = t69 * t70 * t81 * 1.09E3;
  double t83 = t79 + t82;
  double t84 = fabs(t83);
  double t85 = t63 * t63;
  double t91 = t57 * t57;
  double t92 = t28 * t28;
  double t93 = t73 + t91 + t92;
  double t94 = 1.0 / sqrt(t93);
  double t95 = t27 * t94;
  double t96 = t84 * t84;
  double t97 = t85 + t91 + t96;
  double t98 = 1.0 / sqrt(t97);
  double t99 = t72 * t94;
  double t105 = t78 * t78;
  double t106 = t73 + t85 + t105;
  double t107 = 1.0 / sqrt(t106);
  double t172 = t62 * t98;
  double t108 = t95 - t172;
  double t109 = t90 * t94;
  double t174 = t62 * t107;
  double t110 = t95 - t174;
  double t173 = t90 * t98;
  double t111 = t109 - t173;
  double t179 = t72 * t107;
  double t112 = t99 - t179;
  double t178 = t83 * t98;
  double t113 = t99 - t178;
  double t171 = t104 * t107;
  double t114 = t109 - t171;
  double t115 = r4 * t1 * 2.0;
  double t116 = r6 * t2;
  double t117 = -r4 + t115 + t116 + 3.338299811;
  double t124 = r7 * t1 * 2.0;
  double t125 = r9 * t2;
  double t118 = r7 - t124 - t125 + 3.338299811;
  double t119 = r1 * t1 * 2.0;
  double t120 = r3 * t2;
  double t121 = -r1 + t119 + t120;
  double t122 = t10 * t16 * t62 * t121;
  double t123 = t33 * t39 * t72 * t117;
  double t132 = t48 * t54 * t104 * t118;
  double t126 = t122 + t123 - t132;
  double t127 = t33 * t39 * t83 * t117;
  double t129 = t48 * t54 * t90 * t118;
  double t128 = t122 + t127 - t129;
  double t130 = t10 * t16 * t27 * t121;
  double t131 = t123 - t129 + t130;
  double t133 = r2 * t2 * 2.0;
  double t134 = r3 * t1;
  double t135 = -r2 + t133 + t134 + 3.338299811;
  double t142 = r8 * t2 * 2.0;
  double t143 = r9 * t1;
  double t136 = r8 - t142 - t143 + 3.338299811;
  double t137 = r5 * t2 * 2.0;
  double t138 = r6 * t1;
  double t139 = -r5 + t137 + t138;
  double t140 = t33 * t39 * t72 * t139;
  double t141 = t10 * t16 * t62 * t135;
  double t150 = t48 * t54 * t104 * t136;
  double t144 = t140 + t141 - t150;
  double t145 = t10 * t16 * t27 * t135;
  double t147 = t48 * t54 * t90 * t136;
  double t146 = t140 + t145 - t147;
  double t148 = t33 * t39 * t83 * t139;
  double t149 = t141 - t147 + t148;
  double t151 = t27 * t131;
  double t152 = t62 * t128;
  double t153 = t62 * t126;
  double t154 = t151 + t152 + t153;
  double t155 = t104 * t126;
  double t156 = t90 * t128;
  double t157 = t90 * t131;
  double t158 = t155 + t156 + t157;
  double t159 = t83 * t128;
  double t160 = t72 * t126;
  double t161 = t83 * t149;
  double t162 = t72 * t146;
  double t163 = t72 * t144;
  double t164 = t161 + t162 + t163;
  double t165 = t104 * t144;
  double t166 = t90 * t146;
  double t167 = t90 * t149;
  double t168 = t165 + t166 + t167;
  double t169 = t27 * t146;
  double t170 = t62 * t144;
  double t175 = t110 * t111;
  double t271 = t108 * t114;
  double t176 = t175 - t271;
  double t177 = fabs(t176);
  double t180 = t111 * t112;
  double t273 = (t99 - t178) * (t109 - t171);
  double t274 = -t180 + t273;
  double t181 = fabs(t274);
  double t182 = t108 * t112;
  double t269 = t110 * t113;
  double t183 = t182 - t269;
  double t184 = fabs(t183);
  double t185 = t62 * t149;
  double t186 = t169 + t170 + t185;
  double t187 = t33 * t39 * t139 * t164;
  double t188 = t1 * t2 * t48 * t54 * 1.8E1;
  double t189 = 1.0 / (t49 * t49 * t49);
  double t191 = t1 * t2 * t48 * t189 * 1.8E1;
  double t190 = t188 - t191;
  double t192 = 1.0 / (t56 * t56 * t56);
  double t193 = t1 * t2 * t48 * t54 * t75 * 1.962E3;
  double t194 = t1 * t2 * t48 * t54 * t77 * t88 * 1.962E4;
  double t195 = t1 * t2 * t48 * t76 * t77 * t189 * 1.962E3;
  double t201 = t50 * t77 * t190 * 1.962E3;
  double t202 = t76 * t88 * t190 * t192 * 2.18E3;
  double t196 = t193 + t194 + t195 - t201 - t202;
  double t197 = t1 * t2 * t48 * t54 * t75 * 2.18E2;
  double t198 = t1 * t2 * t48 * t54 * t77 * t102 * 1.962E4;
  double t199 = t1 * t2 * t48 * t76 * t77 * t189 * 2.18E2;
  double t208 = t50 * t77 * t190 * 2.18E2;
  double t209 = t76 * t102 * t190 * t192 * 2.18E3;
  double t200 = t197 + t198 + t199 - t208 - t209;
  double t203 = t1 * t43 * 2.0;
  double t204 = t2 * t45 * 2.0;
  double t211 = r7 * t7 * 2.0;
  double t212 = r8 * t8 * 2.0;
  double t213 = r9 * t1 * t2 * 2.0;
  double t205 = t203 + t204 - t211 - t212 - t213 - 4.374528672;
  double t206 = exp(t205);
  double t207 = t2 * t48 * t54 * t104;
  double t210 = t1 * t2 * t48 * t54 * t104 * t118;
  double t220 = t48 * t54 * t118 * t200;
  double t221 = t1 * t2 * t104 * t118 * t189 * t206 * 2.0;
  double t214 = t207 + t210 - t220 - t221;
  double t215 = t2 * t48 * t54 * t90;
  double t216 = t1 * t2 * t48 * t54 * t90 * t118;
  double t218 = t48 * t54 * t118 * t196;
  double t219 = t1 * t2 * t90 * t118 * t189 * t206 * 2.0;
  double t217 = t215 + t216 - t218 - t219;
  double t222 = t33 * t39 * t117 * t164;
  double t223 = t10 * t16 * t121 * t186;
  double t280 = t48 * t54 * t118 * t168;
  double t224 = t222 + t223 - t280;
  double t225 = t126 * t200;
  double t226 = t128 * t196;
  double t227 = t131 * t196;
  double t228 = t104 * t214;
  double t229 = t90 * t217 * 2.0;
  double t230 = t225 + t226 + t227 + t228 + t229;
  double t231 = t72 * t214;
  double t232 = t83 * t217;
  double t233 = t72 * t217;
  double t234 = t231 + t232 + t233;
  double t235 = t62 * t214;
  double t236 = t27 * t217;
  double t237 = t62 * t217;
  double t238 = t235 + t236 + t237;
  double t239 = t10 * t16 * t135 * t154;
  double t240 = t72 * t131;
  double t241 = t159 + t160 + t240;
  double t242 = t33 * t39 * t139 * t241;
  double t279 = t48 * t54 * t136 * t158;
  double t243 = t239 + t242 - t279;
  double t244 = t1 * t48 * t54 * t104;
  double t245 = t1 * t2 * t48 * t54 * t104 * t136;
  double t252 = t48 * t54 * t136 * t200;
  double t253 = t1 * t2 * t104 * t136 * t189 * t206 * 2.0;
  double t246 = t244 + t245 - t252 - t253;
  double t247 = t1 * t48 * t54 * t90;
  double t248 = t1 * t2 * t48 * t54 * t90 * t136;
  double t250 = t48 * t54 * t136 * t196;
  double t251 = t1 * t2 * t90 * t136 * t189 * t206 * 2.0;
  double t249 = t247 + t248 - t250 - t251;
  double t254 = t10 * t16 * t121 * t154;
  double t255 = t144 * t200;
  double t256 = t146 * t196;
  double t257 = t149 * t196;
  double t258 = t104 * t246;
  double t259 = t90 * t249 * 2.0;
  double t260 = t255 + t256 + t257 + t258 + t259;
  double t261 = t72 * t246;
  double t262 = t83 * t249;
  double t263 = t72 * t249;
  double t264 = t261 + t262 + t263;
  double t265 = t62 * t246;
  double t266 = t27 * t249;
  double t267 = t62 * t249;
  double t268 = t265 + t266 + t267;
  double t270 = t90 * t94 * t183;
  double t272 = t72 * t94 * t176;
  double t275 = t33 * t39 * t117 * t241;
  double t303 = t48 * t54 * t118 * t158;
  double t276 = t254 + t275 - t303;
  double t277 = t10 * t16 * t135 * t186;
  double t304 = t48 * t54 * t136 * t168;
  double t278 = t187 + t277 - t304;
  double t281 = t177 * t177;
  double t282 = t181 * t181;
  double t283 = t184 * t184;
  double t284 = t281 + t282 + t283;
  double t285 = 1.0 / sqrt(t284);
  double t286 = (t104 / fabs(t104));
  double t287 = 1.0 / pow(t106, 3.0 / 2.0);
  double t288 = (t90 / fabs(t90));
  double t289 = 1.0 / pow(t93, 3.0 / 2.0);
  double t290 = t57 * t72 * t196 * t288 * t289;
  double t291 = t27 * t57 * t196 * t288 * t289;
  double t292 = 1.0 / pow(t97, 3.0 / 2.0);
  double t308 = t62 * t78 * t200 * t286 * t287;
  double t293 = t291 - t308;
  double t309 = t57 * t62 * t196 * t288 * t292;
  double t294 = t291 - t309;
  double t295 = t94 * t196;
  double t313 = t72 * t78 * t200 * t286 * t287;
  double t296 = t290 - t313;
  double t297 = t78 * t104 * t200 * t286 * t287;
  double t299 = t57 * t90 * t196 * t288 * t289;
  double t310 = t107 * t200;
  double t298 = t295 + t297 - t299 - t310;
  double t300 = t57 * t90 * t196 * t288 * t292;
  double t301 = t27 * t94 * t274;
  double t302 = t270 + t272 + t301;
  double t305 = t276 * t278;
  double t306 = t305 - t224 * t243;
  double t307 = sqrt(t306);
  double t316 = t98 * t196;
  double t311 = t295 - t299 + t300 - t316;
  double t312 = t114 * t294;
  double t314 = t111 * t296;
  double t315 = t113 * t298;
  double t317 = t108 * t296;
  double t318 = t112 * t294;
  double t319 = t290 - t57 * t83 * t196 * t288 * t292;
  double t0 = 1.0 / pow(t284, 3.0 / 2.0) * t307 * fabs(t302) * (t177 * ((t176 / fabs(t176))) * (t312 - t111 * t293 - t108 * t298 + t110 * t311) * 2.0 - t184 * ((t183 / fabs(t183))) * (t317 + t318 - t113 * t293 - t110 * t319) * 2.0 + t181 * ((t274 / fabs(t274))) * (t314 + t315 - t112 * t311 - t319 * (t109 - t171)) * 2.0) * (1.0 / 2.0) - t285 * fabs(t270 + t272 - t27 * t94 * (t180 - t113 * t114)) * 1.0 / sqrt(-t224 * t243 + (t187 - t48 * t54 * t136 * t168 + t10 * t16 * t135 * (t169 + t170 + t62 * (t141 + t148 - t48 * t54 * t90 * t136))) * (t254 - t48 * t54 * t118 * t158 + t33 * t39 * t117 * (t159 + t160 + t72 * (t123 + t130 - t48 * t54 * t90 * t118)))) * (t278 * (t2 * t48 * t54 * t158 + t10 * t16 * t121 * t238 + t33 * t39 * t117 * t234 - t48 * t54 * t118 * t230 + t1 * t2 * t48 * t54 * t118 * t158 - t1 * t2 * t118 * t158 * t189 * t206 * 2.0) - t224 * (t1 * t48 * t54 * t158 + t10 * t16 * t135 * t238 + t33 * t39 * t139 * t234 - t48 * t54 * t136 * t230 + t1 * t2 * t48 * t54 * t136 * t158 - t1 * t2 * t136 * t158 * t189 * t206 * 2.0) - t243 * (t2 * t48 * t54 * t168 + t10 * t16 * t121 * t268 + t33 * t39 * t117 * t264 - t48 * t54 * t118 * t260 + t1 * t2 * t48 * t54 * t118 * t168 - t1 * t2 * t118 * t168 * t189 * t206 * 2.0) + t276 * (t1 * t48 * t54 * t168 + t10 * t16 * t135 * t268 + t33 * t39 * t139 * t264 - t48 * t54 * t136 * t260 + t1 * t2 * t48 * t54 * t136 * t168 - t1 * t2 * t136 * t168 * t189 * t206 * 2.0)) * (1.0 / 2.0) + t285 * t307 * ((t302 / fabs(t302))) * (-t27 * t94 * (t314 + t315 - t112 * t311 - t319 * (t109 - t171)) + t90 * t94 * (t317 + t318 - t110 * t319 - t293 * (t99 - t178)) - t72 * t94 * (t312 + t110 * (t295 + t300 - t98 * t196 - t57 * t90 * t196 * t288 * t289) - t111 * t293 - t108 * t298) - t94 * t183 * t196 + t57 * t72 * t176 * t196 * t288 * t289 + t57 * t90 * t183 * t196 * t288 * t289 + t27 * t57 * t196 * t274 * t288 * t289);
  return t0;
}
```