user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<LQR3_P1_pareto_DL6>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x238,%rsp
  mov    (%rdi),%r15
  movsd  0x8(%rdi),%xmm7
  mov    (%rdx),%r14
  mov    0x8(%rdx),%r12
  movsd  0x10(%rdx),%xmm6
  movsd  %xmm6,0x48(%rsp)
  movsd  0x18(%rdx),%xmm11
  movsd  %xmm11,0x128(%rsp)
  movsd  0x20(%rdx),%xmm5
  movsd  %xmm5,0xd8(%rsp)
  mov    0x28(%rdx),%rbx
  mov    0x38(%rdx),%r13
  mov    0x40(%rdx),%rbp
  movq   %r15,%xmm0
  movq   %r13,%xmm3
  mulsd  %xmm3,%xmm0
  addsd  0x30(%rdx),%xmm0
  movq   %rbp,%xmm1
  movsd  %xmm7,0x70(%rsp)
  mulsd  %xmm7,%xmm1
  addsd  %xmm1,%xmm0
  call   <exp@plt>
  movsd  %xmm0,0x50(%rsp)
  movsd  D16(%rip),%xmm3
  addsd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  movsd  D16(%rip),%xmm6
  divsd  %xmm3,%xmm6
  mulsd  %xmm3,%xmm0
  movsd  D16(%rip),%xmm8
  divsd  %xmm0,%xmm8
  movsd  D150(%rip),%xmm5
  movsd  %xmm6,0x10(%rsp)
  mulsd  %xmm6,%xmm5
  movsd  D445(%rip),%xmm1
  movsd  %xmm8,0x20(%rsp)
  mulsd  %xmm8,%xmm1
  movsd  %xmm5,0x28(%rsp)
  movapd %xmm5,%xmm0
  subsd  %xmm1,%xmm0
  movapd %xmm0,%xmm6
  addsd  D16(%rip),%xmm6
  movsd  %xmm6,0x38(%rsp)
  movq   %r15,%xmm3
  movq   %r12,%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm3,%xmm0
  movq   %r14,%xmm3
  addsd  %xmm3,%xmm0
  movsd  0x70(%rsp),%xmm1
  mulsd  0x48(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  call   <exp@plt>
  movsd  %xmm0,0x68(%rsp)
  movsd  D16(%rip),%xmm4
  addsd  %xmm0,%xmm4
  movapd %xmm4,%xmm0
  movsd  D16(%rip),%xmm2
  divsd  %xmm4,%xmm2
  mulsd  %xmm4,%xmm0
  movsd  D16(%rip),%xmm4
  divsd  %xmm0,%xmm4
  movsd  D150(%rip),%xmm3
  mulsd  %xmm2,%xmm3
  movapd %xmm3,%xmm1
  movsd  D445(%rip),%xmm3
  mulsd  %xmm4,%xmm3
  movapd %xmm1,%xmm0
  subsd  %xmm3,%xmm0
  addsd  D16(%rip),%xmm0
  movsd  D16(%rip),%xmm3
  divsd  %xmm0,%xmm3
  mulsd  %xmm2,%xmm3
  movapd %xmm1,%xmm2
  subsd  D150(%rip),%xmm2
  mulsd  %xmm0,%xmm0
  movsd  D16(%rip),%xmm13
  divsd  %xmm0,%xmm13
  movsd  D137(%rip),%xmm0
  movsd  %xmm4,0x40(%rsp)
  mulsd  %xmm4,%xmm0
  addsd  D588(%rip),%xmm0
  movsd  %xmm2,0x58(%rsp)
  mulsd  %xmm2,%xmm0
  movsd  %xmm13,0x60(%rsp)
  mulsd  %xmm13,%xmm0
  mulsd  D248(%rip),%xmm0
  movsd  D681(%rip),%xmm10
  movsd  %xmm3,0x30(%rsp)
  mulsd  %xmm3,%xmm10
  addsd  %xmm10,%xmm0
  movsd  %xmm0,0x8(%rsp)
  movq   %r15,%xmm10
  mulsd  0xd8(%rsp),%xmm10
  movsd  %xmm10,0x1a0(%rsp)
  movq   %rbx,%xmm12
  mulsd  0x70(%rsp),%xmm12
  movsd  %xmm12,0x78(%rsp)
  movsd  0x128(%rsp),%xmm11
  addsd  %xmm10,%xmm11
  movapd %xmm11,%xmm0
  addsd  %xmm12,%xmm0
  call   <exp@plt>
  movsd  %xmm0,0x80(%rsp)
  movsd  D16(%rip),%xmm6
  addsd  %xmm0,%xmm6
  movsd  %xmm6,0x1a8(%rsp)
  movsd  D16(%rip),%xmm3
  divsd  %xmm6,%xmm3
  movsd  %xmm3,0x1b0(%rsp)
  movapd %xmm6,%xmm7
  mulsd  %xmm6,%xmm7
  movsd  %xmm7,0x118(%rsp)
  movsd  D16(%rip),%xmm13
  divsd  %xmm7,%xmm13
  movsd  %xmm13,0x88(%rsp)
  movsd  D150(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  movsd  D445(%rip),%xmm11
  mulsd  %xmm13,%xmm11
  movapd %xmm11,%xmm0
  movapd %xmm1,%xmm11
  subsd  %xmm0,%xmm11
  movapd %xmm11,%xmm2
  addsd  D16(%rip),%xmm2
  movsd  %xmm2,0x1b8(%rsp)
  movsd  D16(%rip),%xmm11
  divsd  %xmm2,%xmm11
  movsd  %xmm11,0x1c0(%rsp)
  mulsd  %xmm11,%xmm3
  movsd  D588(%rip),%xmm12
  mulsd  %xmm13,%xmm12
  movapd %xmm12,%xmm5
  addsd  D137(%rip),%xmm5
  movsd  %xmm5,0x1c8(%rsp)
  movapd %xmm1,%xmm12
  subsd  D150(%rip),%xmm12
  movsd  %xmm12,0x1d0(%rsp)
  movapd %xmm2,%xmm7
  mulsd  %xmm2,%xmm7
  movsd  %xmm7,0x178(%rsp)
  movsd  D16(%rip),%xmm15
  divsd  %xmm7,%xmm15
  movsd  %xmm15,0x1d8(%rsp)
  mulsd  %xmm12,%xmm5
  movsd  %xmm5,0x198(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm15,%xmm0
  mulsd  D248(%rip),%xmm0
  movsd  D638(%rip),%xmm4
  movapd %xmm3,%xmm1
  mulsd  %xmm4,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm11
  movsd  %xmm0,0x18(%rsp)
  movq   D576(%rip),%xmm2
  movapd %xmm0,%xmm6
  andpd  %xmm2,%xmm6
  movsd  %xmm6,0x90(%rsp)
  movsd  D16(%rip),%xmm10
  movsd  0x38(%rsp),%xmm7
  divsd  %xmm7,%xmm10
  movapd %xmm10,%xmm6
  mulsd  0x10(%rsp),%xmm6
  movsd  0x28(%rsp),%xmm5
  subsd  D150(%rip),%xmm5
  movapd %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  movsd  D16(%rip),%xmm9
  divsd  %xmm1,%xmm9
  movapd %xmm9,%xmm0
  movsd  D588(%rip),%xmm1
  movsd  0x20(%rsp),%xmm8
  mulsd  %xmm8,%xmm1
  addsd  D137(%rip),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm9,%xmm1
  mulsd  D248(%rip),%xmm1
  movapd %xmm6,%xmm9
  mulsd  %xmm4,%xmm9
  addsd  %xmm9,%xmm1
  movapd %xmm1,%xmm7
  movsd  %xmm1,0x28(%rsp)
  movsd  D137(%rip),%xmm1
  mulsd  %xmm8,%xmm1
  addsd  D588(%rip),%xmm1
  mulsd  %xmm0,%xmm5
  mulsd  %xmm5,%xmm1
  movapd %xmm1,%xmm0
  mulsd  D248(%rip),%xmm0
  mulsd  D681(%rip),%xmm6
  movapd %xmm0,%xmm8
  addsd  %xmm6,%xmm8
  movsd  %xmm8,0x10(%rsp)
  movsd  D588(%rip),%xmm8
  mulsd  0x40(%rsp),%xmm8
  movapd %xmm8,%xmm0
  addsd  D137(%rip),%xmm0
  movsd  0x58(%rsp),%xmm5
  mulsd  0x60(%rsp),%xmm5
  mulsd  %xmm5,%xmm0
  mulsd  D248(%rip),%xmm0
  movsd  0x30(%rsp),%xmm1
  mulsd  %xmm4,%xmm1
  movapd %xmm0,%xmm5
  addsd  %xmm1,%xmm5
  movsd  %xmm5,0x38(%rsp)
  movapd %xmm11,%xmm6
  mulsd  %xmm11,%xmm6
  movapd %xmm6,%xmm11
  movsd  %xmm6,0x60(%rsp)
  movsd  D137(%rip),%xmm6
  mulsd  %xmm13,%xmm6
  addsd  D588(%rip),%xmm6
  movsd  %xmm6,0x1e0(%rsp)
  mulsd  %xmm15,%xmm12
  movapd %xmm12,%xmm0
  mulsd  %xmm6,%xmm0
  mulsd  D248(%rip),%xmm0
  mulsd  D681(%rip),%xmm3
  movapd %xmm0,%xmm6
  addsd  %xmm3,%xmm6
  movsd  %xmm6,0x30(%rsp)
  andpd  %xmm6,%xmm2
  movsd  %xmm2,0x130(%rsp)
  movapd %xmm5,%xmm6
  mulsd  %xmm5,%xmm6
  movsd  %xmm6,0x58(%rsp)
  movapd %xmm7,%xmm6
  mulsd  %xmm7,%xmm6
  movsd  %xmm6,0xa8(%rsp)
  addsd  %xmm6,%xmm11
  movapd %xmm11,%xmm1
  movsd  0x8(%rsp),%xmm7
  movapd %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,0x180(%rsp)
  pxor   %xmm0,%xmm0
  ucomisd %xmm1,%xmm0
  ja     L94
  movapd %xmm1,%xmm6
  sqrtsd %xmm6,%xmm6
  movapd %xmm6,%xmm0
L110:
  movsd  D16(%rip),%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x98(%rsp)
  movsd  0x8(%rsp),%xmm7
  mulsd  %xmm1,%xmm7
  movsd  %xmm7,0xa0(%rsp)
  movsd  0xa8(%rsp),%xmm0
  addsd  0x58(%rsp),%xmm0
  movsd  0x30(%rsp),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm6
  movsd  %xmm0,0x188(%rsp)
  pxor   %xmm0,%xmm0
  ucomisd %xmm6,%xmm0
  ja     L28
  sqrtsd %xmm6,%xmm6
  movapd %xmm6,%xmm0
L5:
  movsd  D16(%rip),%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0xe0(%rsp)
  movsd  0x18(%rsp),%xmm6
  mulsd  0x98(%rsp),%xmm6
  movsd  %xmm6,0xa8(%rsp)
  movsd  0x60(%rsp),%xmm0
  addsd  0x58(%rsp),%xmm0
  movsd  0x10(%rsp),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm5
  movsd  %xmm0,0x190(%rsp)
  pxor   %xmm0,%xmm0
  ucomisd %xmm5,%xmm0
  ja     L25
  sqrtsd %xmm5,%xmm5
  movapd %xmm5,%xmm0
L57:
  movsd  D16(%rip),%xmm3
  divsd  %xmm0,%xmm3
  movsd  %xmm3,0x1e8(%rsp)
  movsd  0x38(%rsp),%xmm12
  movapd %xmm12,%xmm0
  movsd  0xe0(%rsp),%xmm4
  mulsd  %xmm4,%xmm0
  movsd  0xa0(%rsp),%xmm8
  movapd %xmm8,%xmm9
  subsd  %xmm0,%xmm9
  movsd  %xmm9,0xe8(%rsp)
  movapd %xmm12,%xmm0
  mulsd  %xmm3,%xmm0
  movapd %xmm8,%xmm6
  subsd  %xmm0,%xmm6
  movapd %xmm6,%xmm8
  movsd  %xmm6,0x138(%rsp)
  movsd  0x28(%rsp),%xmm5
  movapd %xmm5,%xmm6
  mulsd  0x98(%rsp),%xmm6
  movsd  0x18(%rsp),%xmm10
  movapd %xmm10,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  0xa8(%rsp),%xmm11
  movapd %xmm11,%xmm13
  subsd  %xmm0,%xmm13
  movsd  %xmm13,0x148(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm4,%xmm0
  movapd %xmm6,%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,0x1f0(%rsp)
  movsd  0x30(%rsp),%xmm15
  movapd %xmm15,%xmm0
  mulsd  %xmm4,%xmm0
  movapd %xmm11,%xmm4
  subsd  %xmm0,%xmm4
  movapd %xmm4,%xmm11
  movsd  %xmm4,0x1f8(%rsp)
  movsd  0x10(%rsp),%xmm14
  movapd %xmm14,%xmm4
  mulsd  %xmm3,%xmm4
  movsd  %xmm6,0x140(%rsp)
  subsd  %xmm4,%xmm6
  movsd  %xmm6,0x200(%rsp)
  movq   %r13,%xmm3
  mulsd  0x50(%rsp),%xmm3
  movapd %xmm3,%xmm4
  mulsd  0x20(%rsp),%xmm4
  movsd  %xmm4,0xc8(%rsp)
  movapd %xmm4,%xmm3
  mulsd  %xmm5,%xmm3
  movapd %xmm3,%xmm1
  movq   %r12,%xmm3
  mulsd  0x68(%rsp),%xmm3
  movapd %xmm3,%xmm2
  mulsd  0x40(%rsp),%xmm2
  movsd  %xmm2,0x58(%rsp)
  mulsd  %xmm12,%xmm2
  movapd %xmm2,%xmm0
  movsd  0xd8(%rsp),%xmm3
  mulsd  0x80(%rsp),%xmm3
  movapd %xmm3,%xmm2
  mulsd  0x88(%rsp),%xmm2
  movapd %xmm2,%xmm3
  mulsd  %xmm10,%xmm2
  movapd %xmm1,%xmm4
  addsd  %xmm0,%xmm4
  movsd  %xmm3,0x120(%rsp)
  mulsd  %xmm15,%xmm3
  addsd  %xmm3,%xmm4
  movsd  %xmm4,0xf0(%rsp)
  addsd  %xmm2,%xmm1
  movsd  0x58(%rsp),%xmm3
  mulsd  0x8(%rsp),%xmm3
  addsd  %xmm3,%xmm1
  movsd  %xmm1,0xb0(%rsp)
  addsd  %xmm2,%xmm0
  movsd  0xc8(%rsp),%xmm1
  mulsd  %xmm14,%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,0xb8(%rsp)
  movq   %rbp,%xmm0
  mulsd  0x50(%rsp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  0x20(%rsp),%xmm1
  movsd  %xmm1,0x60(%rsp)
  mulsd  %xmm5,%xmm1
  movsd  0x48(%rsp),%xmm0
  mulsd  0x68(%rsp),%xmm0
  mulsd  0x40(%rsp),%xmm0
  movsd  %xmm0,0x68(%rsp)
  mulsd  %xmm12,%xmm0
  movq   %rbx,%xmm2
  mulsd  0x80(%rsp),%xmm2
  mulsd  0x88(%rsp),%xmm2
  movapd %xmm2,%xmm14
  mulsd  %xmm10,%xmm2
  movapd %xmm1,%xmm3
  addsd  %xmm0,%xmm3
  movapd %xmm3,%xmm4
  movsd  %xmm14,0xd0(%rsp)
  mulsd  %xmm15,%xmm14
  addsd  %xmm14,%xmm4
  movsd  %xmm4,0xf8(%rsp)
  addsd  %xmm2,%xmm1
  movsd  0x68(%rsp),%xmm3
  movsd  0x8(%rsp),%xmm4
  mulsd  %xmm4,%xmm3
  movapd %xmm1,%xmm14
  addsd  %xmm3,%xmm14
  movsd  %xmm14,0x100(%rsp)
  addsd  %xmm2,%xmm0
  movsd  0x60(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm2
  mulsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,0xc0(%rsp)
  movapd %xmm4,%xmm3
  movapd %xmm4,%xmm1
  mulsd  0xb0(%rsp),%xmm1
  movapd %xmm1,%xmm0
  movapd %xmm12,%xmm4
  movsd  0xf0(%rsp),%xmm14
  mulsd  %xmm14,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm12,%xmm4
  mulsd  0xb8(%rsp),%xmm4
  addsd  %xmm4,%xmm0
  movsd  %xmm0,0x150(%rsp)
  movapd %xmm15,%xmm0
  mulsd  %xmm14,%xmm0
  movapd %xmm10,%xmm4
  mulsd  0xb0(%rsp),%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm10,%xmm4
  mulsd  0xb8(%rsp),%xmm4
  addsd  %xmm4,%xmm0
  movsd  %xmm0,0x108(%rsp)
  movapd %xmm2,%xmm4
  mulsd  0xb8(%rsp),%xmm4
  movapd %xmm4,%xmm0
  movapd %xmm5,%xmm1
  mulsd  0xb0(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm14,%xmm1
  movapd %xmm0,%xmm4
  addsd  %xmm1,%xmm4
  movsd  %xmm4,0x158(%rsp)
  movapd %xmm3,%xmm1
  movsd  0x100(%rsp),%xmm14
  mulsd  %xmm14,%xmm1
  movapd %xmm1,%xmm0
  movapd %xmm12,%xmm4
  movsd  0xf8(%rsp),%xmm3
  mulsd  %xmm3,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm12,%xmm4
  mulsd  0xc0(%rsp),%xmm4
  movapd %xmm0,%xmm12
  addsd  %xmm4,%xmm12
  movsd  %xmm12,0x160(%rsp)
  movapd %xmm15,%xmm0
  movapd %xmm3,%xmm15
  mulsd  %xmm3,%xmm0
  movapd %xmm10,%xmm4
  mulsd  %xmm14,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm10,%xmm4
  movsd  0xc0(%rsp),%xmm10
  mulsd  %xmm10,%xmm4
  movapd %xmm0,%xmm3
  addsd  %xmm4,%xmm3
  movsd  %xmm3,0x110(%rsp)
  movapd %xmm2,%xmm4
  mulsd  %xmm10,%xmm4
  movapd %xmm4,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm14,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm15,%xmm1
  movapd %xmm0,%xmm15
  addsd  %xmm1,%xmm15
  movsd  %xmm15,0x168(%rsp)
  movapd %xmm9,%xmm3
  mulsd  %xmm13,%xmm3
  movapd %xmm3,%xmm1
  movapd %xmm8,%xmm14
  movapd %xmm8,%xmm0
  movapd %xmm11,%xmm3
  mulsd  %xmm11,%xmm0
  movapd %xmm1,%xmm8
  subsd  %xmm0,%xmm8
  movq   D576(%rip),%xmm0
  movsd  %xmm8,0x40(%rsp)
  movapd %xmm8,%xmm10
  andpd  %xmm0,%xmm10
  movsd  %xmm10,0x208(%rsp)
  mulsd  %xmm7,%xmm14
  mulsd  %xmm6,%xmm9
  movapd %xmm14,%xmm8
  subsd  %xmm9,%xmm8
  movsd  %xmm8,0x48(%rsp)
  movapd %xmm8,%xmm9
  andpd  %xmm0,%xmm9
  movsd  %xmm9,0x210(%rsp)
  mulsd  %xmm7,%xmm13
  movsd  %xmm13,0x218(%rsp)
  mulsd  %xmm6,%xmm3
  movsd  %xmm3,0x220(%rsp)
  subsd  %xmm13,%xmm3
  movapd %xmm0,%xmm13
  movsd  %xmm3,0x50(%rsp)
  andpd  %xmm3,%xmm13
  movsd  %xmm13,0x228(%rsp)
  movsd  0x68(%rsp),%xmm0
  mulsd  0x150(%rsp),%xmm0
  movsd  0xd0(%rsp),%xmm13
  mulsd  0x108(%rsp),%xmm13
  addsd  %xmm13,%xmm0
  movsd  0x60(%rsp),%xmm1
  mulsd  0x158(%rsp),%xmm1
  movapd %xmm0,%xmm9
  addsd  %xmm1,%xmm9
  movsd  %xmm9,0x170(%rsp)
  movsd  0x118(%rsp),%xmm7
  mulsd  0x1a8(%rsp),%xmm7
  movsd  D16(%rip),%xmm11
  divsd  %xmm7,%xmm11
  movsd  0x70(%rsp),%xmm7
  mulsd  0x80(%rsp),%xmm7
  movapd %xmm7,%xmm4
  movsd  0x88(%rsp),%xmm13
  mulsd  %xmm7,%xmm13
  movapd %xmm13,%xmm0
  movsd  D150(%rip),%xmm2
  movapd %xmm13,%xmm8
  mulsd  %xmm2,%xmm8
  movapd %xmm8,%xmm3
  movapd %xmm11,%xmm7
  mulsd  %xmm4,%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm3
  movsd  0x178(%rsp),%xmm8
  mulsd  0x1b8(%rsp),%xmm8
  movapd %xmm8,%xmm1
  movsd  D16(%rip),%xmm8
  divsd  %xmm1,%xmm8
  movapd %xmm8,%xmm2
  movsd  0x1c0(%rsp),%xmm7
  mulsd  %xmm13,%xmm7
  movsd  0x1d0(%rsp),%xmm15
  mulsd  %xmm15,%xmm4
  movsd  0x1d8(%rsp),%xmm14
  mulsd  %xmm14,%xmm4
  movsd  %xmm11,0x178(%rsp)
  mulsd  %xmm11,%xmm4
  movsd  0x1b0(%rsp),%xmm8
  mulsd  %xmm14,%xmm8
  movapd %xmm8,%xmm5
  mulsd  %xmm3,%xmm5
  movsd  0x1c8(%rsp),%xmm8
  mulsd  %xmm13,%xmm8
  movapd %xmm8,%xmm1
  mulsd  %xmm14,%xmm1
  movsd  D424(%rip),%xmm9
  mulsd  %xmm9,%xmm1
  movsd  D638(%rip),%xmm6
  movapd %xmm7,%xmm8
  mulsd  %xmm6,%xmm8
  addsd  %xmm8,%xmm1
  movapd %xmm4,%xmm8
  mulsd  %xmm6,%xmm8
  addsd  %xmm8,%xmm1
  mulsd  %xmm5,%xmm6
  subsd  %xmm6,%xmm1
  movsd  0x198(%rsp),%xmm8
  mulsd  %xmm3,%xmm8
  mulsd  %xmm2,%xmm8
  movsd  D537(%rip),%xmm6
  mulsd  %xmm6,%xmm8
  movapd %xmm1,%xmm13
  subsd  %xmm8,%xmm13
  movsd  %xmm13,0x20(%rsp)
  mulsd  %xmm14,%xmm0
  movsd  0x1e0(%rsp),%xmm14
  mulsd  %xmm14,%xmm0
  mulsd  %xmm9,%xmm0
  movsd  D681(%rip),%xmm1
  mulsd  %xmm1,%xmm7
  addsd  %xmm7,%xmm0
  mulsd  %xmm1,%xmm4
  addsd  %xmm4,%xmm0
  mulsd  %xmm1,%xmm5
  subsd  %xmm5,%xmm0
  movapd %xmm15,%xmm8
  mulsd  %xmm14,%xmm8
  movapd %xmm8,%xmm1
  mulsd  %xmm3,%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm6,%xmm1
  movapd %xmm0,%xmm8
  subsd  %xmm1,%xmm8
  movsd  %xmm8,0x118(%rsp)
  movsd  0x128(%rsp),%xmm7
  addsd  %xmm7,%xmm7
  movapd %xmm7,%xmm0
  movsd  0x1a0(%rsp),%xmm7
  addsd  %xmm7,%xmm7
  addsd  %xmm7,%xmm0
  movsd  0x78(%rsp),%xmm6
  movapd %xmm6,%xmm9
  addsd  %xmm6,%xmm9
  addsd  %xmm9,%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm1
  movsd  %xmm0,0x1b8(%rsp)
  movsd  0x80(%rsp),%xmm11
  movapd %xmm11,%xmm9
  movsd  0x88(%rsp),%xmm12
  mulsd  %xmm12,%xmm9
  movapd %xmm9,%xmm10
  movsd  %xmm9,0x198(%rsp)
  movsd  0x78(%rsp),%xmm6
  movapd %xmm6,%xmm2
  mulsd  %xmm11,%xmm2
  movapd %xmm2,%xmm5
  mulsd  %xmm12,%xmm5
  movsd  %xmm5,0x1a0(%rsp)
  movapd %xmm9,%xmm4
  movsd  0x30(%rsp),%xmm2
  mulsd  %xmm2,%xmm4
  movapd %xmm5,%xmm9
  mulsd  %xmm2,%xmm9
  addsd  %xmm9,%xmm4
  movsd  0xd0(%rsp),%xmm14
  movapd %xmm14,%xmm9
  movsd  0x118(%rsp),%xmm8
  mulsd  %xmm8,%xmm9
  subsd  %xmm9,%xmm4
  movapd %xmm6,%xmm9
  mulsd  %xmm2,%xmm9
  movapd %xmm9,%xmm0
  movsd  0x178(%rsp),%xmm15
  mulsd  %xmm15,%xmm0
  mulsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm4
  movapd %xmm10,%xmm9
  movsd  0x18(%rsp),%xmm7
  mulsd  %xmm7,%xmm9
  movapd %xmm9,%xmm3
  movapd %xmm5,%xmm9
  mulsd  %xmm7,%xmm9
  addsd  %xmm9,%xmm3
  movapd %xmm14,%xmm10
  movsd  0x20(%rsp),%xmm13
  mulsd  %xmm13,%xmm10
  subsd  %xmm10,%xmm3
  movapd %xmm6,%xmm9
  mulsd  %xmm7,%xmm9
  movapd %xmm9,%xmm0
  movapd %xmm15,%xmm9
  mulsd  %xmm15,%xmm0
  movapd %xmm1,%xmm15
  mulsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm3
  movsd  0x68(%rsp),%xmm10
  mulsd  0x160(%rsp),%xmm10
  movapd %xmm10,%xmm0
  mulsd  0x110(%rsp),%xmm14
  addsd  %xmm14,%xmm0
  movsd  0x60(%rsp),%xmm14
  mulsd  0x168(%rsp),%xmm14
  movapd %xmm14,%xmm1
  movapd %xmm0,%xmm14
  addsd  %xmm1,%xmm14
  movsd  %xmm14,0x128(%rsp)
  movsd  0x70(%rsp),%xmm10
  mulsd  0xd8(%rsp),%xmm10
  movapd %xmm10,%xmm6
  movsd  %xmm10,0x1a8(%rsp)
  movapd %xmm11,%xmm14
  mulsd  %xmm10,%xmm14
  movapd %xmm14,%xmm5
  mulsd  %xmm12,%xmm5
  movsd  %xmm5,0x1b0(%rsp)
  movapd %xmm10,%xmm14
  mulsd  %xmm7,%xmm14
  movapd %xmm14,%xmm0
  movapd %xmm9,%xmm11
  mulsd  %xmm9,%xmm0
  movapd %xmm15,%xmm12
  mulsd  %xmm15,%xmm0
  addsd  %xmm0,%xmm0
  movsd  0x120(%rsp),%xmm15
  movapd %xmm15,%xmm10
  movapd %xmm13,%xmm9
  mulsd  %xmm13,%xmm10
  addsd  %xmm10,%xmm0
  movapd %xmm5,%xmm14
  mulsd  %xmm7,%xmm14
  subsd  %xmm14,%xmm0
  movapd %xmm6,%xmm10
  movapd %xmm2,%xmm14
  mulsd  %xmm2,%xmm10
  movapd %xmm10,%xmm1
  mulsd  %xmm11,%xmm1
  mulsd  %xmm12,%xmm1
  addsd  %xmm1,%xmm1
  movapd %xmm15,%xmm2
  mulsd  %xmm8,%xmm2
  addsd  %xmm2,%xmm1
  movapd %xmm5,%xmm13
  mulsd  %xmm14,%xmm13
  subsd  %xmm13,%xmm1
  movsd  0x150(%rsp),%xmm11
  mulsd  0x58(%rsp),%xmm11
  movapd %xmm11,%xmm2
  movapd %xmm15,%xmm13
  mulsd  0x108(%rsp),%xmm13
  addsd  %xmm13,%xmm2
  movsd  0x158(%rsp),%xmm5
  movsd  0xc8(%rsp),%xmm6
  mulsd  %xmm6,%xmm5
  movapd %xmm2,%xmm13
  addsd  %xmm5,%xmm13
  movsd  %xmm13,0xd8(%rsp)
  movsd  0xf8(%rsp),%xmm2
  mulsd  %xmm8,%xmm2
  movsd  0x100(%rsp),%xmm10
  mulsd  %xmm9,%xmm10
  addsd  %xmm10,%xmm2
  movsd  0xc0(%rsp),%xmm11
  movapd %xmm9,%xmm10
  mulsd  %xmm9,%xmm11
  addsd  %xmm11,%xmm2
  movapd %xmm7,%xmm11
  mulsd  %xmm3,%xmm11
  movapd %xmm11,%xmm5
  addsd  %xmm11,%xmm5
  subsd  %xmm5,%xmm2
  movapd %xmm14,%xmm11
  mulsd  %xmm4,%xmm11
  subsd  %xmm11,%xmm2
  movsd  %xmm2,0x150(%rsp)
  movsd  0x38(%rsp),%xmm12
  movapd %xmm12,%xmm2
  mulsd  %xmm4,%xmm2
  movsd  0x8(%rsp),%xmm9
  movapd %xmm9,%xmm13
  mulsd  %xmm3,%xmm13
  addsd  %xmm13,%xmm2
  movapd %xmm12,%xmm13
  mulsd  %xmm3,%xmm13
  addsd  %xmm13,%xmm2
  movsd  %xmm2,0x158(%rsp)
  movsd  0x28(%rsp),%xmm5
  mulsd  %xmm5,%xmm4
  movsd  0x10(%rsp),%xmm13
  movapd %xmm13,%xmm2
  mulsd  %xmm3,%xmm2
  addsd  %xmm2,%xmm4
  mulsd  %xmm5,%xmm3
  movapd %xmm4,%xmm2
  addsd  %xmm3,%xmm2
  movsd  %xmm2,0x1c0(%rsp)
  movsd  0x160(%rsp),%xmm2
  mulsd  0x58(%rsp),%xmm2
  mulsd  0x110(%rsp),%xmm15
  addsd  %xmm15,%xmm2
  movsd  0x168(%rsp),%xmm15
  mulsd  %xmm6,%xmm15
  addsd  %xmm15,%xmm2
  movapd %xmm2,%xmm11
  movsd  %xmm2,0x160(%rsp)
  movapd %xmm12,%xmm2
  mulsd  %xmm1,%xmm2
  movapd %xmm9,%xmm4
  mulsd  %xmm0,%xmm4
  addsd  %xmm4,%xmm2
  movapd %xmm12,%xmm3
  mulsd  %xmm0,%xmm3
  addsd  %xmm3,%xmm2
  movsd  %xmm2,0x168(%rsp)
  movapd %xmm5,%xmm2
  mulsd  %xmm1,%xmm2
  movapd %xmm13,%xmm4
  mulsd  %xmm0,%xmm4
  addsd  %xmm4,%xmm2
  movapd %xmm5,%xmm3
  mulsd  %xmm0,%xmm3
  addsd  %xmm3,%xmm2
  movsd  %xmm2,0x1c8(%rsp)
  mulsd  %xmm7,%xmm0
  addsd  %xmm0,%xmm0
  mulsd  %xmm14,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0xf0(%rsp),%xmm1
  mulsd  %xmm8,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0xb0(%rsp),%xmm1
  mulsd  %xmm10,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0xb8(%rsp),%xmm1
  mulsd  %xmm10,%xmm1
  movapd %xmm0,%xmm5
  addsd  %xmm1,%xmm5
  movsd  %xmm5,0xb0(%rsp)
  movsd  0x128(%rsp),%xmm1
  mulsd  0xd8(%rsp),%xmm1
  movsd  0x170(%rsp),%xmm0
  mulsd  %xmm11,%xmm0
  subsd  %xmm0,%xmm1
  movsd  %xmm1,0x80(%rsp)
  movsd  0x40(%rsp),%xmm2
  movapd %xmm2,%xmm15
  mulsd  %xmm2,%xmm15
  movapd %xmm15,%xmm0
  movsd  0x48(%rsp),%xmm15
  movapd %xmm15,%xmm1
  mulsd  %xmm15,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x50(%rsp),%xmm8
  movapd %xmm8,%xmm2
  mulsd  %xmm8,%xmm2
  addsd  %xmm2,%xmm0
  movsd  %xmm0,0x88(%rsp)
  movapd %xmm14,%xmm9
  divsd  0x130(%rsp),%xmm9
  movsd  %xmm9,0xb8(%rsp)
  mov    D242(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x188(%rsp),%xmm0
  call   <pow@plt>
  movsd  D16(%rip),%xmm14
  divsd  %xmm0,%xmm14
  movsd  %xmm14,0xc0(%rsp)
  movsd  0x18(%rsp),%xmm7
  divsd  0x90(%rsp),%xmm7
  movsd  %xmm7,0x70(%rsp)
  mov    D242(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x180(%rsp),%xmm0
  call   <pow@plt>
  movsd  D16(%rip),%xmm1
  divsd  %xmm0,%xmm1
  movsd  0x90(%rsp),%xmm15
  movapd %xmm15,%xmm2
  mulsd  0x28(%rsp),%xmm2
  movsd  %xmm2,0xf0(%rsp)
  movsd  0x20(%rsp),%xmm10
  mulsd  %xmm10,%xmm2
  movapd %xmm2,%xmm0
  movsd  0x70(%rsp),%xmm7
  mulsd  %xmm7,%xmm0
  movapd %xmm0,%xmm5
  mulsd  %xmm1,%xmm5
  movq   %xmm5,%rbx
  movsd  0x8(%rsp),%xmm2
  mulsd  %xmm15,%xmm2
  movapd %xmm2,%xmm3
  mulsd  %xmm10,%xmm3
  movsd  %xmm3,0xf8(%rsp)
  movapd %xmm3,%xmm13
  mulsd  %xmm7,%xmm13
  movsd  %xmm1,0x8(%rsp)
  mulsd  %xmm1,%xmm13
  movq   %xmm13,%rbp
  mov    D242(%rip),%rax
  movq   %rax,%xmm1
  movsd  0x190(%rsp),%xmm0
  call   <pow@plt>
  movsd  D16(%rip),%xmm13
  divsd  %xmm0,%xmm13
  movapd %xmm13,%xmm1
  movsd  0x38(%rsp),%xmm12
  movapd %xmm12,%xmm2
  movsd  0x130(%rsp),%xmm11
  mulsd  %xmm11,%xmm2
  movapd %xmm2,%xmm0
  movsd  0x118(%rsp),%xmm13
  mulsd  %xmm13,%xmm0
  movsd  0xb8(%rsp),%xmm9
  mulsd  %xmm9,%xmm0
  movsd  0xc0(%rsp),%xmm14
  mulsd  %xmm14,%xmm0
  movq   %rbp,%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,0x38(%rsp)
  movsd  0x90(%rsp),%xmm15
  mulsd  %xmm15,%xmm12
  movapd %xmm12,%xmm0
  movsd  0x20(%rsp),%xmm5
  mulsd  %xmm5,%xmm0
  movsd  0x70(%rsp),%xmm7
  mulsd  %xmm7,%xmm0
  mulsd  %xmm1,%xmm0
  movq   %rbp,%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,0xb8(%rsp)
  movsd  0x98(%rsp),%xmm10
  mulsd  %xmm5,%xmm10
  movsd  %xmm10,0x90(%rsp)
  movsd  0x28(%rsp),%xmm0
  mulsd  %xmm11,%xmm0
  mulsd  %xmm13,%xmm0
  mulsd  %xmm9,%xmm0
  mulsd  %xmm14,%xmm0
  movq   %rbx,%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,0xc0(%rsp)
  movsd  0x18(%rsp),%xmm4
  mulsd  %xmm15,%xmm4
  movsd  %xmm4,0x100(%rsp)
  movapd %xmm4,%xmm3
  mulsd  %xmm5,%xmm3
  mulsd  %xmm7,%xmm3
  movsd  0x8(%rsp),%xmm12
  mulsd  %xmm3,%xmm12
  movsd  %xmm12,0x18(%rsp)
  movsd  0x30(%rsp),%xmm0
  mulsd  %xmm11,%xmm0
  mulsd  %xmm13,%xmm0
  mulsd  %xmm9,%xmm0
  mulsd  %xmm14,%xmm0
  addsd  %xmm10,%xmm0
  subsd  %xmm12,%xmm0
  movsd  0xe0(%rsp),%xmm12
  mulsd  %xmm13,%xmm12
  movapd %xmm0,%xmm9
  subsd  %xmm12,%xmm9
  movsd  %xmm9,0x28(%rsp)
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,0x30(%rsp)
  mulsd  0x10(%rsp),%xmm15
  movapd %xmm15,%xmm0
  mulsd  %xmm5,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  %xmm1,%xmm0
  movq   %rbx,%xmm5
  subsd  %xmm0,%xmm5
  movsd  %xmm5,0xe0(%rsp)
  movsd  0x140(%rsp),%xmm1
  mulsd  0x40(%rsp),%xmm1
  movsd  0xa8(%rsp),%xmm0
  mulsd  0x48(%rsp),%xmm0
  movapd %xmm1,%xmm5
  addsd  %xmm0,%xmm5
  movsd  %xmm5,0x118(%rsp)
  movsd  0xa0(%rsp),%xmm0
  mulsd  0x50(%rsp),%xmm0
  addsd  %xmm5,%xmm0
  movq   %xmm0,%rbp
  pxor   %xmm0,%xmm0
  movsd  0x80(%rsp),%xmm6
  ucomisd %xmm6,%xmm0
  ja     L16
  sqrtsd %xmm6,%xmm6
  movsd  %xmm6,0x10(%rsp)
L99:
  pxor   %xmm0,%xmm0
  movsd  0x88(%rsp),%xmm6
  ucomisd %xmm6,%xmm0
  ja     L62
  sqrtsd %xmm6,%xmm6
  movapd %xmm6,%xmm0
L89:
  movsd  D16(%rip),%xmm6
  divsd  %xmm0,%xmm6
  movsd  %xmm6,0x130(%rsp)
  movsd  0x1f8(%rsp),%xmm6
  movapd %xmm6,%xmm7
  movsd  0xb8(%rsp),%xmm13
  mulsd  %xmm13,%xmm7
  movsd  %xmm7,0xb8(%rsp)
  movsd  0x1e8(%rsp),%xmm4
  mulsd  0x20(%rsp),%xmm4
  movsd  0x90(%rsp),%xmm0
  subsd  0x18(%rsp),%xmm0
  addsd  0x30(%rsp),%xmm0
  movapd %xmm0,%xmm8
  movsd  %xmm4,0x180(%rsp)
  subsd  %xmm4,%xmm8
  movsd  %xmm8,0x188(%rsp)
  movsd  0x148(%rsp),%xmm0
  movsd  0xc0(%rsp),%xmm9
  mulsd  %xmm9,%xmm0
  movsd  0x200(%rsp),%xmm4
  movapd %xmm4,%xmm1
  mulsd  0x28(%rsp),%xmm1
  addsd  %xmm0,%xmm1
  movapd %xmm6,%xmm0
  movsd  0xe0(%rsp),%xmm11
  mulsd  %xmm11,%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x1f0(%rsp),%xmm3
  movapd %xmm3,%xmm2
  mulsd  %xmm8,%xmm2
  subsd  %xmm2,%xmm1
  movsd  %xmm1,0xc0(%rsp)
  mulsd  0x138(%rsp),%xmm9
  movapd %xmm9,%xmm0
  mulsd  %xmm13,%xmm3
  addsd  %xmm3,%xmm0
  mulsd  0x38(%rsp),%xmm4
  subsd  %xmm4,%xmm0
  movapd %xmm11,%xmm1
  mulsd  0xe8(%rsp),%xmm1
  movapd %xmm0,%xmm8
  subsd  %xmm1,%xmm8
  movsd  %xmm8,0xe0(%rsp)
  movsd  D242(%rip),%xmm1
  movsd  0x88(%rsp),%xmm0
  call   <pow@plt>
  movapd %xmm0,%xmm2
  movq   %rbp,%xmm9
  andpd  D576(%rip),%xmm9
  movsd  %xmm9,0x88(%rsp)
  movsd  0x148(%rsp),%xmm5
  mulsd  0x38(%rsp),%xmm5
  movsd  %xmm5,0x38(%rsp)
  movsd  0x138(%rsp),%xmm4
  mulsd  0x28(%rsp),%xmm4
  movsd  %xmm4,0x28(%rsp)
  movsd  0x90(%rsp),%xmm0
  addsd  0x30(%rsp),%xmm0
  subsd  0x180(%rsp),%xmm0
  subsd  0x18(%rsp),%xmm0
  mulsd  0xe8(%rsp),%xmm0
  addsd  0xb8(%rsp),%xmm0
  subsd  %xmm5,%xmm0
  subsd  %xmm4,%xmm0
  movsd  0x40(%rsp),%xmm6
  movsd  0x208(%rsp),%xmm4
  divsd  %xmm4,%xmm6
  movapd %xmm6,%xmm1
  mulsd  %xmm4,%xmm1
  mulsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm0
  movsd  0x210(%rsp),%xmm4
  movapd %xmm4,%xmm7
  mulsd  0xe0(%rsp),%xmm7
  movapd %xmm7,%xmm1
  movsd  0x48(%rsp),%xmm3
  divsd  %xmm4,%xmm3
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x228(%rsp),%xmm6
  movapd %xmm6,%xmm7
  mulsd  0xc0(%rsp),%xmm7
  movapd %xmm7,%xmm1
  movsd  0x50(%rsp),%xmm3
  divsd  %xmm6,%xmm3
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm1
  addsd  %xmm1,%xmm0
  movsd  D16(%rip),%xmm1
  divsd  %xmm2,%xmm1
  mulsd  0x10(%rsp),%xmm1
  mulsd  %xmm9,%xmm1
  mulsd  %xmm1,%xmm0
  mulsd  D650(%rip),%xmm0
  movq   %xmm0,%rbx
  pxor   %xmm0,%xmm0
  movsd  0x80(%rsp),%xmm7
  ucomisd %xmm7,%xmm0
  ja     L37
  sqrtsd %xmm7,%xmm7
  movapd %xmm7,%xmm2
L109:
  movsd  0x198(%rsp),%xmm5
  movapd %xmm5,%xmm0
  movsd  0x108(%rsp),%xmm7
  mulsd  %xmm7,%xmm0
  movsd  0x60(%rsp),%xmm4
  movapd %xmm4,%xmm3
  movsd  0x1c8(%rsp),%xmm10
  mulsd  %xmm10,%xmm3
  subsd  %xmm0,%xmm3
  movsd  0x68(%rsp),%xmm8
  movapd %xmm8,%xmm0
  movsd  0x168(%rsp),%xmm14
  mulsd  %xmm14,%xmm0
  addsd  %xmm0,%xmm3
  movsd  0xd0(%rsp),%xmm11
  movapd %xmm11,%xmm0
  mulsd  0xb0(%rsp),%xmm0
  addsd  %xmm0,%xmm3
  movsd  0x1a0(%rsp),%xmm13
  movapd %xmm13,%xmm0
  mulsd  %xmm7,%xmm0
  subsd  %xmm0,%xmm3
  movsd  0x78(%rsp),%xmm9
  movapd %xmm9,%xmm0
  mulsd  %xmm7,%xmm0
  movsd  0x178(%rsp),%xmm12
  mulsd  %xmm12,%xmm0
  movsd  0x1b8(%rsp),%xmm15
  mulsd  %xmm15,%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm3
  mulsd  0x160(%rsp),%xmm3
  movsd  0x110(%rsp),%xmm6
  mulsd  %xmm6,%xmm5
  movapd %xmm5,%xmm0
  movsd  0x1c0(%rsp),%xmm5
  mulsd  %xmm5,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm8,%xmm1
  movsd  0x158(%rsp),%xmm8
  mulsd  %xmm8,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm11,%xmm4
  movsd  0x150(%rsp),%xmm11
  mulsd  %xmm11,%xmm4
  subsd  %xmm4,%xmm0
  movapd %xmm13,%xmm1
  mulsd  %xmm6,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm9,%xmm1
  mulsd  %xmm6,%xmm1
  mulsd  %xmm12,%xmm1
  mulsd  %xmm15,%xmm1
  addsd  %xmm1,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  0xd8(%rsp),%xmm0
  addsd  %xmm0,%xmm3
  movsd  0xc8(%rsp),%xmm4
  mulsd  %xmm4,%xmm5
  movapd %xmm5,%xmm0
  movapd %xmm8,%xmm1
  movsd  0x58(%rsp),%xmm8
  mulsd  %xmm8,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm11,%xmm1
  movsd  0x120(%rsp),%xmm13
  mulsd  %xmm13,%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x1b0(%rsp),%xmm5
  movapd %xmm5,%xmm1
  mulsd  %xmm6,%xmm1
  addsd  %xmm0,%xmm1
  movsd  0x1a8(%rsp),%xmm9
  mulsd  %xmm9,%xmm6
  movapd %xmm6,%xmm0
  mulsd  %xmm12,%xmm0
  mulsd  %xmm15,%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm1
  movsd  0x170(%rsp),%xmm0
  mulsd  %xmm1,%xmm0
  subsd  %xmm0,%xmm3
  mulsd  %xmm10,%xmm4
  movapd %xmm4,%xmm0
  movapd %xmm8,%xmm1
  mulsd  %xmm14,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm13,%xmm1
  mulsd  0xb0(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  mulsd  %xmm7,%xmm5
  subsd  %xmm5,%xmm0
  movapd %xmm9,%xmm1
  mulsd  %xmm7,%xmm1
  mulsd  %xmm12,%xmm1
  mulsd  %xmm15,%xmm1
  addsd  %xmm1,%xmm1
  addsd  %xmm1,%xmm0
  mulsd  0x128(%rsp),%xmm0
  subsd  %xmm0,%xmm3
  movapd %xmm3,%xmm1
  movsd  0x218(%rsp),%xmm3
  subsd  0x220(%rsp),%xmm3
  movsd  0xa0(%rsp),%xmm5
  mulsd  %xmm5,%xmm3
  movsd  0x118(%rsp),%xmm0
  subsd  %xmm3,%xmm0
  andpd  D576(%rip),%xmm0
  movsd  D16(%rip),%xmm3
  divsd  %xmm2,%xmm3
  movsd  0x130(%rsp),%xmm6
  mulsd  %xmm6,%xmm3
  mulsd  %xmm3,%xmm0
  mulsd  %xmm0,%xmm1
  mulsd  D49(%rip),%xmm1
  movq   %rbx,%xmm0
  subsd  %xmm1,%xmm0
  xorpd  D635(%rip),%xmm5
  movapd %xmm5,%xmm1
  mulsd  0xc0(%rsp),%xmm1
  movsd  0x98(%rsp),%xmm2
  movsd  0x48(%rsp),%xmm9
  mulsd  %xmm9,%xmm2
  movsd  0x20(%rsp),%xmm7
  mulsd  %xmm7,%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xa8(%rsp),%xmm2
  mulsd  0xe0(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xb8(%rsp),%xmm2
  subsd  0x38(%rsp),%xmm2
  subsd  0x28(%rsp),%xmm2
  movsd  0xe8(%rsp),%xmm3
  mulsd  0x188(%rsp),%xmm3
  addsd  %xmm3,%xmm2
  mulsd  0x140(%rsp),%xmm2
  subsd  %xmm2,%xmm1
  movsd  0xf0(%rsp),%xmm2
  mulsd  0x40(%rsp),%xmm2
  mulsd  %xmm7,%xmm2
  movsd  0x70(%rsp),%xmm5
  mulsd  %xmm5,%xmm2
  movsd  0x8(%rsp),%xmm4
  mulsd  %xmm4,%xmm2
  addsd  %xmm2,%xmm1
  movsd  0x100(%rsp),%xmm2
  mulsd  %xmm9,%xmm2
  mulsd  %xmm7,%xmm2
  mulsd  %xmm5,%xmm2
  mulsd  %xmm4,%xmm2
  addsd  %xmm2,%xmm1
  movsd  0xf8(%rsp),%xmm2
  mulsd  0x50(%rsp),%xmm2
  mulsd  %xmm5,%xmm2
  mulsd  %xmm4,%xmm2
  addsd  %xmm2,%xmm1
  mulsd  0x10(%rsp),%xmm6
  movapd %xmm6,%xmm2
  movq   %rbp,%xmm3
  divsd  0x88(%rsp),%xmm3
  mulsd  %xmm3,%xmm2
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  add    $0x238,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L94:
  movsd  0x180(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L110
L28:
  movsd  0x188(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L5
L25:
  movsd  0x190(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L57
L16:
  movsd  0x80(%rsp),%xmm0
  call   <sqrt@plt>
  movsd  %xmm0,0x10(%rsp)
  jmp    L99
L62:
  movsd  0x88(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L89
L37:
  movsd  0x80(%rsp),%xmm0
  call   <sqrt@plt>
  movapd %xmm0,%xmm2
  jmp    L109
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D16
data_type: f64
name: extract_symbolic_data
arguments: data_label: D150
data_type: f64
name: extract_symbolic_data
arguments: data_label: D445
data_type: f64
name: extract_symbolic_data
arguments: data_label: D137
data_type: byte[8]
name: extract_symbolic_data
arguments: data_label: D588
data_type: byte[8]
name: extract_symbolic_data
arguments: data_label: D248
data_type: f64
name: extract_symbolic_data
arguments: data_label: D681
data_type: f64
name: extract_symbolic_data
arguments: data_label: D638
data_type: f64
name: extract_symbolic_data
arguments: data_label: D576
data_type: qword[2]
name: extract_symbolic_data
arguments: data_label: D424
data_type: f64
name: extract_symbolic_data
arguments: data_label: D537
data_type: f64
name: extract_symbolic_data
arguments: data_label: D242
data_type: f32[2]
name: extract_symbolic_data
arguments: data_label: D650
data_type: f32[2]
name: extract_symbolic_data
arguments: data_label: D49
data_type: f32[2]
name: extract_symbolic_data
arguments: data_label: D635
data_type: f32[4]

tool: D16: 1

tool: D150: 18

tool: D445: 9

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

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

tool: D248: 1090

tool: D681: 218

tool: D638: 1962

tool: {"D576": [0x7fffffffffffffff,0x0000000000000000]}

tool: D424: 19620

tool: D537: 2180

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

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

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

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

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;
}
```