user: Demonstrate the C code that generates the assembly output below:

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

tool_calls: name: read_data
arguments: label: D886
type_guessed: f64
name: read_data
arguments: label: D691
type_guessed: f64
name: read_data
arguments: label: D454
type_guessed: f64
name: read_data
arguments: label: D962
type_guessed: f64
name: read_data
arguments: label: D245
type_guessed: byte[8]
name: read_data
arguments: label: D423
type_guessed: byte[8]
name: read_data
arguments: label: D781
type_guessed: f64
name: read_data
arguments: label: D397
type_guessed: qword
name: read_data
arguments: label: D444
type_guessed: f64
name: read_data
arguments: label: D931
type_guessed: f64
name: read_data
arguments: label: D863
type_guessed: f64
name: read_data
arguments: label: D420
type_guessed: f32[2]
name: read_data
arguments: label: D838
type_guessed: f32[2]
name: read_data
arguments: label: D237
type_guessed: f32[2]

tool: D886: 1

tool: D691: 18

tool: D454: 9

tool: D962: 218

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

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

tool: D781: 1090

tool: D397: 9223372036854775807

tool: D444: 1962

tool: D931: 19620

tool: D863: 2180

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

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

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

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