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

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

tool_calls: name: parse_data
arguments: data_label: D293
type: f64
name: parse_data
arguments: data_label: D903
type: f64
name: parse_data
arguments: data_label: D185
type: f64
name: parse_data
arguments: data_label: D94
type: f64
name: parse_data
arguments: data_label: D171
type: byte[8]
name: parse_data
arguments: data_label: D949
type: byte[8]
name: parse_data
arguments: data_label: D393
type: f64
name: parse_data
arguments: data_label: D781
type: qword
name: parse_data
arguments: data_label: D728
type: f64
name: parse_data
arguments: data_label: D670
type: f64
name: parse_data
arguments: data_label: D576
type: f64
name: parse_data
arguments: data_label: D582
type: f32[2]
name: parse_data
arguments: data_label: D938
type: f32[2]
name: parse_data
arguments: data_label: D474
type: f32[2]
name: parse_data
arguments: data_label: D939
type: f32[2]

tool: D293: 1

tool: D903: 18

tool: D185: 9

tool: D94: 218

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

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

tool: D393: 1090

tool: D781: 9223372036854775807

tool: D728: 1962

tool: D670: 19620

tool: D576: 2180

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

tool: {"D938": [0.0,-1.75]}

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

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

assistant: ```c
double LQR3_P1_pareto_DL6(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 t238 = t94 * t98;
  double t147 = t146 - t238;
  double t148 = fabs(t147);
  double t151 = t94 * t97;
  double t240 = t93 * t99;
  double t152 = t151 - t240;
  double t153 = fabs(t152);
  double t154 = t96 * t97;
  double t242 = (t84 - t143) * (t95 - t149);
  double t243 = -t154 + t242;
  double t155 = fabs(t243);
  double t156 = r3 * t16 * t19 * t121;
  double t157 = r6 * t35 * t38 * t125;
  double t158 = r9 * t7 * t10 * t129;
  double t159 = t156 + t157 + t158;
  double t160 = 1.0 / (t36 * t36 * t36);
  double t162 = t2 * t35 * t38 * 1.8E1;
  double t163 = t2 * t35 * t160 * 1.8E1;
  double t161 = t162 - t163;
  double t164 = 1.0 / (t40 * t40 * t40);
  double t165 = t2 * t35 * t38 * t60 * 1.962E3;
  double t166 = t2 * t35 * t38 * t63 * t65 * 1.962E4;
  double t167 = t2 * t35 * t64 * t65 * t160 * 1.962E3;
  double t173 = t37 * t65 * t161 * 1.962E3;
  double t174 = t63 * t64 * t161 * t164 * 2.18E3;
  double t168 = t165 + t166 + t167 - t173 - t174;
  double t169 = t2 * t35 * t38 * t60 * 2.18E2;
  double t170 = t2 * t35 * t38 * t65 * t71 * 1.962E4;
  double t171 = t2 * t35 * t64 * t65 * t160 * 2.18E2;
  double t181 = t37 * t65 * t161 * 2.18E2;
  double t182 = t64 * t71 * t161 * t164 * 2.18E3;
  double t172 = t169 + t170 + t171 - t181 - t182;
  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 t180 = t35 * t38 * t73;
  double t183 = r6 * t2 * t35 * t38 * t73;
  double t190 = r6 * t35 * t38 * t172;
  double t191 = r6 * t2 * t73 * t160 * t179 * 2.0;
  double t184 = t180 + t183 - t190 - t191;
  double t185 = t35 * t38 * t67;
  double t186 = r6 * t2 * t35 * t38 * t67;
  double t188 = r6 * t35 * t38 * t168;
  double t189 = r6 * t2 * t67 * t160 * t179 * 2.0;
  double t187 = t185 + t186 - t188 - t189;
  double t192 = r3 * t16 * t19 * t133;
  double t193 = r6 * t35 * t38 * t137;
  double t194 = r9 * t7 * t10 * t141;
  double t195 = t192 + t193 + t194;
  double t196 = r5 * t35 * t38 * t168;
  double t197 = r5 * t2 * t67 * t160 * t179 * 2.0;
  double t202 = r5 * t2 * t35 * t38 * t67;
  double t198 = t196 + t197 - t202;
  double t199 = r5 * t35 * t38 * t172;
  double t200 = r5 * t2 * t73 * t160 * t179 * 2.0;
  double t203 = r5 * t2 * t35 * t38 * t73;
  double t201 = t199 + t200 - t203;
  double t204 = r2 * t16 * t19 * t121;
  double t205 = r5 * t35 * t38 * t125;
  double t206 = r8 * t7 * t10 * t129;
  double t207 = t204 + t205 + t206;
  double t208 = t113 * t172;
  double t209 = t115 * t168;
  double t210 = t117 * t168;
  double t211 = t208 + t209 + t210 - t67 * t187 * 2.0 - t73 * t184;
  double t212 = t57 * t184;
  double t213 = t30 * t187;
  double t214 = t57 * t187;
  double t215 = t212 + t213 + t214;
  double t216 = t50 * t184;
  double t217 = t89 * t187;
  double t218 = t50 * t187;
  double t219 = t216 + t217 + t218;
  double t220 = r2 * t16 * t19 * t133;
  double t221 = r5 * t35 * t38 * t137;
  double t222 = r8 * t7 * t10 * t141;
  double t223 = t220 + t221 + t222;
  double t224 = t57 * t201;
  double t225 = t30 * t198;
  double t226 = t57 * t198;
  double t227 = t224 + t225 + t226;
  double t228 = t50 * t201;
  double t229 = t89 * t198;
  double t230 = t50 * t198;
  double t231 = t228 + t229 + t230;
  double t232 = t73 * t201;
  double t233 = t67 * t198 * 2.0;
  double t234 = t104 * t172;
  double t235 = t106 * t168;
  double t236 = t108 * t168;
  double t237 = t232 + t233 + t234 + t235 + t236;
  double t239 = t50 * t79 * t147;
  double t241 = t67 * t79 * t152;
  double t244 = t195 * t207;
  double t268 = t159 * t223;
  double t245 = t244 - t268;
  double t246 = t148 * t148;
  double t247 = t153 * t153;
  double t248 = t155 * t155;
  double t249 = t246 + t247 + t248;
  double t250 = (t73 / fabs(t73));
  double t251 = 1.0 / pow(t82, 3.0 / 2.0);
  double t252 = (t67 / fabs(t67));
  double t253 = 1.0 / pow(t78, 3.0 / 2.0);
  double t254 = t41 * t50 * t168 * t252 * t253;
  double t255 = t30 * t41 * t168 * t252 * t253;
  double t256 = 1.0 / pow(t91, 3.0 / 2.0);
  double t271 = t57 * t74 * t172 * t250 * t251;
  double t257 = t255 - t271;
  double t272 = t41 * t57 * t168 * t252 * t256;
  double t258 = t255 - t272;
  double t259 = t79 * t168;
  double t276 = t50 * t74 * t172 * t250 * t251;
  double t260 = t254 - t276;
  double t261 = t73 * t74 * t172 * t250 * t251;
  double t263 = t41 * t67 * t168 * t252 * t253;
  double t274 = t83 * t172;
  double t262 = t259 + t261 - t263 - t274;
  double t264 = t41 * t67 * t168 * t252 * t256;
  double t278 = t41 * t89 * t168 * t252 * t256;
  double t265 = t254 - t278;
  double t266 = t30 * t79 * t243;
  double t267 = t239 + t241 + t266;
  double t269 = sqrt(t245);
  double t270 = 1.0 / sqrt(t249);
  double t273 = t258 * (t84 - t143);
  double t280 = t92 * t168;
  double t275 = t259 - t263 + t264 - t280;
  double t277 = t96 * t260;
  double t279 = t99 * t262;
  double t281 = t277 + t279 - t98 * t265 - t97 * t275;
  double t282 = t94 * t260;
  double t283 = t97 * t258;
  double t284 = t282 + t283 - t99 * t257 - t93 * t265;
  double t0 = 1.0 / pow(t249, 3.0 / 2.0) * t269 * fabs(t267) * (t148 * ((t147 / fabs(t147))) * (t273 + t93 * (t259 + t264 - t92 * t168 - t41 * t67 * t168 * t252 * t253) - t96 * t257 - t94 * t262) * 2.0 - t153 * t284 * ((t152 / fabs(t152))) * 2.0 + t155 * t281 * ((t243 / fabs(t243))) * 2.0) * (-1.0 / 2.0) - 1.0 / sqrt(t245) * t270 * fabs(t239 + t241 - t30 * t79 * (t154 - t98 * t99)) * (t207 * (t35 * t38 * t137 + r9 * t7 * t10 * t219 + r3 * t16 * t19 * t215 - r6 * t35 * t38 * t211 + r6 * t2 * t35 * t38 * t137 - r6 * t2 * t137 * t160 * t179 * 2.0) + t223 * (-t35 * t38 * t125 + r9 * t7 * t10 * t231 + r3 * t16 * t19 * t227 + r6 * t35 * t38 * t237 - r6 * t2 * t35 * t38 * t125 + r6 * t2 * t125 * t160 * t179 * 2.0) - t159 * (r8 * t7 * t10 * t219 + r2 * t16 * t19 * t215 - r5 * t35 * t38 * t211 + r5 * t2 * t35 * t38 * t137 - r5 * t2 * t137 * t160 * t179 * 2.0) - t195 * (r8 * t7 * t10 * t231 + r2 * t16 * t19 * t227 + r5 * t35 * t38 * t237 - r5 * t2 * t35 * t38 * t125 + r5 * t2 * t125 * t160 * t179 * 2.0)) * (1.0 / 2.0) - t269 * t270 * ((t267 / fabs(t267))) * (-t30 * t79 * t281 - t79 * t152 * t168 + t67 * t79 * t284 - t50 * t79 * (t273 - t96 * t257 - t94 * t262 + t93 * t275) + t41 * t50 * t147 * t168 * t252 * t253 + t41 * t67 * t152 * t168 * t252 * t253 + t30 * t41 * t168 * t243 * t252 * t253);
  return t0;
}
```