user: 请从给定的汇编指令推导出C源代码：

```asm
<LQR3_P2_pareto_DL9>:
  endbr64
  push   %r15
  push   %r14
  push   %rbx
  sub    $0x290,%rsp
  movsd  (%rdi),%xmm2
  movsd  0x40(%rdx),%xmm6
  movsd  0x18(%rdx),%xmm7
  movsd  0x8(%rdx),%xmm1
  movsd  0x10(%rdx),%xmm0
  movsd  %xmm6,0x50(%rsp)
  movapd %xmm2,%xmm6
  movsd  0x8(%rdi),%xmm3
  movsd  %xmm7,0x30(%rsp)
  movapd %xmm6,%xmm7
  movapd %xmm6,%xmm5
  movsd  (%rdx),%xmm10
  mulsd  %xmm0,%xmm7
  movsd  0x20(%rdx),%xmm13
  movsd  %xmm0,0x80(%rsp)
  movapd %xmm1,%xmm0
  mulsd  %xmm6,%xmm5
  movsd  0x28(%rdx),%xmm4
  subsd  D214(%rip),%xmm0
  movsd  %xmm1,0xc8(%rsp)
  mulsd  %xmm10,%xmm2
  movsd  0x30(%rdx),%xmm12
  movsd  %xmm13,0x88(%rsp)
  movapd %xmm1,%xmm13
  movapd %xmm10,%xmm1
  movsd  %xmm4,0x38(%rsp)
  movapd %xmm3,%xmm4
  movsd  0x38(%rdx),%xmm14
  mulsd  %xmm3,%xmm0
  movsd  %xmm12,0x48(%rsp)
  mulsd  %xmm3,%xmm4
  movsd  %xmm10,0x78(%rsp)
  mulsd  %xmm5,%xmm1
  movsd  %xmm5,0x20(%rsp)
  movsd  %xmm14,0x90(%rsp)
  movsd  %xmm2,0xb0(%rsp)
  addsd  %xmm2,%xmm0
  movsd  %xmm6,0x28(%rsp)
  movsd  %xmm7,0x98(%rsp)
  movsd  %xmm4,0x40(%rsp)
  subsd  %xmm1,%xmm0
  movapd %xmm13,%xmm1
  movsd  %xmm3,0x10(%rsp)
  mulsd  %xmm4,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm7,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  addsd  D766(%rip),%xmm0
  call   <exp@plt>
  movsd  D671(%rip),%xmm3
  movsd  D99(%rip),%xmm2
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x30(%rsp),%xmm7
  movsd  0x88(%rsp),%xmm13
  addsd  %xmm3,%xmm0
  movapd %xmm3,%xmm1
  movapd %xmm3,%xmm15
  movsd  0x28(%rsp),%xmm6
  movapd %xmm3,%xmm11
  divsd  %xmm0,%xmm1
  mulsd  %xmm0,%xmm0
  divsd  %xmm0,%xmm15
  mulsd  %xmm1,%xmm2
  movapd %xmm2,%xmm4
  movsd  D787(%rip),%xmm2
  movapd %xmm4,%xmm0
  movsd  %xmm15,0x110(%rsp)
  mulsd  %xmm15,%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm3,%xmm2
  addsd  %xmm3,%xmm0
  movsd  0x10(%rsp),%xmm3
  divsd  %xmm0,%xmm2
  mulsd  %xmm0,%xmm0
  divsd  %xmm0,%xmm11
  movsd  D388(%rip),%xmm0
  mulsd  %xmm15,%xmm0
  addsd  D462(%rip),%xmm0
  mulsd  %xmm1,%xmm2
  movsd  D256(%rip),%xmm1
  movapd %xmm2,%xmm10
  movapd %xmm4,%xmm2
  movsd  0x38(%rsp),%xmm4
  subsd  D99(%rip),%xmm2
  movsd  %xmm10,0xf0(%rsp)
  mulsd  %xmm10,%xmm1
  mulsd  %xmm6,%xmm4
  mulsd  %xmm2,%xmm0
  movsd  %xmm2,0x60(%rsp)
  movapd %xmm3,%xmm2
  mulsd  %xmm13,%xmm2
  movsd  %xmm4,0xa0(%rsp)
  movsd  %xmm2,0xe0(%rsp)
  movsd  %xmm11,0xf8(%rsp)
  mulsd  %xmm11,%xmm0
  mulsd  D773(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x40(%rsp),%xmm1
  mulsd  %xmm13,%xmm1
  movsd  %xmm0,0x18(%rsp)
  movapd %xmm7,%xmm0
  subsd  D214(%rip),%xmm0
  mulsd  0x20(%rsp),%xmm7
  mulsd  %xmm6,%xmm0
  addsd  %xmm2,%xmm0
  subsd  %xmm7,%xmm0
  subsd  %xmm1,%xmm0
  movapd %xmm4,%xmm1
  mulsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  addsd  D766(%rip),%xmm0
  call   <exp@plt>
  mov    D671(%rip),%rax
  movsd  D787(%rip),%xmm13
  movapd %xmm0,%xmm7
  movsd  0x28(%rsp),%xmm4
  movsd  %xmm0,0xe8(%rsp)
  movsd  D462(%rip),%xmm10
  movq   %rax,%xmm3
  movsd  0x20(%rsp),%xmm5
  movsd  D214(%rip),%xmm15
  addsd  %xmm3,%xmm7
  movsd  0x40(%rsp),%xmm6
  movsd  0x90(%rsp),%xmm14
  mulsd  %xmm14,%xmm6
  movapd %xmm7,%xmm0
  movq   %rax,%xmm7
  divsd  %xmm0,%xmm7
  mulsd  %xmm0,%xmm0
  movsd  %xmm6,0x1c8(%rsp)
  movapd %xmm7,%xmm1
  movq   %rax,%xmm7
  divsd  %xmm0,%xmm7
  movapd %xmm7,%xmm12
  movsd  D99(%rip),%xmm7
  movsd  %xmm12,0xc0(%rsp)
  mulsd  %xmm12,%xmm13
  mulsd  %xmm1,%xmm7
  mulsd  %xmm12,%xmm10
  movsd  0x48(%rsp),%xmm12
  addsd  %xmm12,%xmm15
  mulsd  %xmm12,%xmm5
  movapd %xmm13,%xmm2
  movapd %xmm7,%xmm13
  subsd  D99(%rip),%xmm7
  subsd  %xmm2,%xmm13
  movsd  %xmm7,0xb8(%rsp)
  movsd  %xmm5,0x1c0(%rsp)
  movapd %xmm13,%xmm0
  movq   %rax,%xmm13
  addsd  %xmm3,%xmm0
  movsd  0x10(%rsp),%xmm3
  divsd  %xmm0,%xmm13
  mulsd  %xmm0,%xmm0
  movapd %xmm13,%xmm9
  movq   %rax,%xmm13
  divsd  %xmm0,%xmm13
  movsd  D388(%rip),%xmm0
  mulsd  %xmm1,%xmm9
  addsd  %xmm10,%xmm0
  mulsd  %xmm7,%xmm0
  movsd  D482(%rip),%xmm7
  movsd  %xmm9,0x70(%rsp)
  mulsd  %xmm9,%xmm7
  mulsd  %xmm13,%xmm0
  movsd  %xmm13,0x68(%rsp)
  movapd %xmm15,%xmm13
  movsd  D214(%rip),%xmm15
  mulsd  %xmm4,%xmm13
  addsd  %xmm14,%xmm15
  mulsd  D773(%rip),%xmm0
  mulsd  0x50(%rsp),%xmm4
  mulsd  %xmm3,%xmm15
  movsd  %xmm13,0x190(%rsp)
  movapd %xmm0,%xmm2
  movsd  %xmm4,0xd0(%rsp)
  mulsd  %xmm3,%xmm4
  addsd  %xmm7,%xmm2
  movsd  %xmm15,0x198(%rsp)
  addsd  %xmm15,%xmm13
  movsd  %xmm2,0x8(%rsp)
  movsd  %xmm4,0x1d0(%rsp)
  movapd %xmm13,%xmm0
  subsd  %xmm5,%xmm0
  subsd  %xmm6,%xmm0
  subsd  %xmm4,%xmm0
  subsd  D726(%rip),%xmm0
  call   <exp@plt>
  mov    D671(%rip),%rax
  movsd  0x8(%rsp),%xmm7
  movsd  %xmm0,0xa8(%rsp)
  movapd %xmm0,%xmm14
  movsd  0xf0(%rsp),%xmm10
  movq   %rax,%xmm3
  movq   %rax,%xmm4
  movq   %rax,%xmm12
  addsd  %xmm3,%xmm14
  movq   %rax,%xmm11
  movsd  %xmm14,0x1d8(%rsp)
  divsd  %xmm14,%xmm4
  mulsd  %xmm14,%xmm14
  movsd  %xmm14,0x100(%rsp)
  movapd %xmm14,%xmm5
  movq   %rax,%xmm14
  divsd  %xmm5,%xmm14
  movsd  D99(%rip),%xmm5
  movsd  %xmm4,0x1e0(%rsp)
  mulsd  %xmm4,%xmm5
  movapd %xmm5,%xmm1
  movsd  D787(%rip),%xmm5
  movapd %xmm1,%xmm8
  mulsd  %xmm14,%xmm5
  movsd  %xmm14,0x58(%rsp)
  subsd  %xmm5,%xmm8
  movapd %xmm1,%xmm5
  movsd  0x60(%rsp),%xmm1
  subsd  D99(%rip),%xmm5
  movsd  %xmm5,0x1f8(%rsp)
  addsd  %xmm3,%xmm8
  divsd  %xmm8,%xmm12
  movapd %xmm8,%xmm15
  movsd  %xmm8,0x1e8(%rsp)
  mulsd  %xmm8,%xmm15
  movsd  %xmm15,0x108(%rsp)
  divsd  %xmm15,%xmm11
  movsd  0x110(%rsp),%xmm15
  movsd  %xmm12,0x1f0(%rsp)
  mulsd  %xmm12,%xmm4
  movapd %xmm4,%xmm0
  movsd  D462(%rip),%xmm4
  mulsd  %xmm14,%xmm4
  addsd  D388(%rip),%xmm4
  movsd  %xmm4,0x200(%rsp)
  mulsd  %xmm11,%xmm5
  movapd %xmm11,%xmm13
  movsd  0xf8(%rsp),%xmm11
  mulsd  %xmm11,%xmm1
  movsd  D388(%rip),%xmm11
  mulsd  %xmm14,%xmm11
  addsd  D462(%rip),%xmm11
  movapd %xmm5,%xmm2
  mulsd  %xmm4,%xmm5
  movsd  D482(%rip),%xmm4
  mulsd  D773(%rip),%xmm5
  mulsd  %xmm0,%xmm4
  mulsd  %xmm11,%xmm2
  mulsd  D773(%rip),%xmm2
  addsd  %xmm4,%xmm5
  movapd %xmm5,%xmm4
  andpd  D421(%rip),%xmm4
  movsd  %xmm4,0x40(%rsp)
  movsd  D462(%rip),%xmm4
  mulsd  %xmm15,%xmm4
  addsd  D388(%rip),%xmm4
  mulsd  %xmm1,%xmm4
  movsd  D482(%rip),%xmm1
  mulsd  D773(%rip),%xmm4
  mulsd  D256(%rip),%xmm0
  movsd  0x70(%rsp),%xmm9
  mulsd  %xmm10,%xmm1
  movsd  0x18(%rsp),%xmm6
  movsd  0xc0(%rsp),%xmm12
  mulsd  D256(%rip),%xmm9
  addsd  %xmm0,%xmm2
  movsd  D462(%rip),%xmm0
  addsd  %xmm1,%xmm4
  movapd %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  movapd %xmm2,%xmm7
  andpd  D421(%rip),%xmm7
  movsd  %xmm7,0x110(%rsp)
  movsd  D388(%rip),%xmm7
  mulsd  %xmm12,%xmm7
  movapd %xmm1,%xmm10
  addsd  %xmm7,%xmm0
  movsd  0xb8(%rsp),%xmm7
  mulsd  0x68(%rsp),%xmm7
  mulsd  %xmm7,%xmm0
  mulsd  D773(%rip),%xmm0
  movapd %xmm0,%xmm7
  movapd %xmm6,%xmm0
  addsd  %xmm9,%xmm7
  mulsd  %xmm6,%xmm0
  movapd %xmm4,%xmm9
  mulsd  %xmm4,%xmm9
  movsd  %xmm7,0x20(%rsp)
  movapd %xmm5,%xmm7
  mulsd  %xmm5,%xmm7
  addsd  %xmm7,%xmm10
  addsd  %xmm0,%xmm10
  pxor   %xmm0,%xmm0
  movsd  %xmm10,0x1a0(%rsp)
  ucomisd %xmm10,%xmm0
  ja     L44
  movapd %xmm10,%xmm6
  sqrtsd %xmm6,%xmm6
  movapd %xmm6,%xmm0
L0:
  movapd %xmm3,%xmm6
  addsd  %xmm9,%xmm7
  divsd  %xmm0,%xmm6
  movsd  0x18(%rsp),%xmm0
  mulsd  %xmm6,%xmm0
  movsd  %xmm6,0x60(%rsp)
  movsd  0x20(%rsp),%xmm6
  movsd  %xmm0,0x68(%rsp)
  movapd %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  addsd  %xmm0,%xmm7
  pxor   %xmm0,%xmm0
  ucomisd %xmm7,%xmm0
  movapd %xmm7,%xmm6
  movsd  %xmm7,0x1a8(%rsp)
  ja     L79
  sqrtsd %xmm6,%xmm6
  movapd %xmm6,%xmm0
L78:
  movapd %xmm3,%xmm6
  addsd  %xmm9,%xmm1
  divsd  %xmm0,%xmm6
  movapd %xmm2,%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  %xmm1,0x1b0(%rsp)
  movapd %xmm1,%xmm7
  movsd  %xmm6,0x118(%rsp)
  movsd  0x8(%rsp),%xmm6
  mulsd  0x60(%rsp),%xmm6
  movsd  %xmm6,0x70(%rsp)
  pxor   %xmm6,%xmm6
  ucomisd %xmm1,%xmm6
  ja     L24
  sqrtsd %xmm7,%xmm7
  movapd %xmm7,%xmm0
L47:
  movapd %xmm3,%xmm6
  movsd  0x68(%rsp),%xmm10
  movsd  0x118(%rsp),%xmm1
  divsd  %xmm0,%xmm6
  movsd  0x60(%rsp),%xmm9
  movsd  0x8(%rsp),%xmm8
  movapd %xmm1,%xmm0
  movapd %xmm10,%xmm7
  mulsd  %xmm4,%xmm0
  mulsd  %xmm5,%xmm9
  mulsd  0xd8(%rsp),%xmm15
  mulsd  0xe8(%rsp),%xmm12
  subsd  %xmm0,%xmm7
  movsd  %xmm9,0x128(%rsp)
  movsd  %xmm7,0x120(%rsp)
  movapd %xmm9,%xmm7
  movapd %xmm6,%xmm0
  movapd %xmm6,%xmm14
  movsd  %xmm6,0x208(%rsp)
  mulsd  %xmm4,%xmm0
  mulsd  %xmm2,%xmm14
  subsd  %xmm0,%xmm10
  movapd %xmm1,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  %xmm10,0xb8(%rsp)
  movapd %xmm1,%xmm10
  subsd  %xmm0,%xmm7
  movapd %xmm8,%xmm0
  mulsd  %xmm6,%xmm0
  movsd  0x20(%rsp),%xmm6
  movsd  %xmm7,0x130(%rsp)
  mulsd  %xmm10,%xmm6
  movsd  0x70(%rsp),%xmm7
  movapd %xmm7,%xmm1
  movapd %xmm7,%xmm10
  subsd  %xmm0,%xmm1
  subsd  %xmm6,%xmm10
  movsd  0x10(%rsp),%xmm6
  movsd  %xmm1,0x138(%rsp)
  movapd %xmm9,%xmm1
  subsd  %xmm14,%xmm1
  movsd  0x30(%rsp),%xmm14
  movsd  %xmm10,0x140(%rsp)
  movsd  0x28(%rsp),%xmm10
  movsd  %xmm1,0xc0(%rsp)
  movapd %xmm10,%xmm0
  mulsd  %xmm14,%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm14,%xmm0
  movsd  0x38(%rsp),%xmm14
  mulsd  %xmm6,%xmm14
  addsd  %xmm14,%xmm0
  addsd  D214(%rip),%xmm0
  movsd  0x48(%rsp),%xmm14
  movsd  %xmm12,0x48(%rsp)
  mulsd  %xmm8,%xmm12
  movapd %xmm0,%xmm7
  movapd %xmm10,%xmm0
  mulsd  %xmm14,%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm14
  movapd %xmm14,%xmm1
  movsd  0x50(%rsp),%xmm14
  mulsd  %xmm6,%xmm14
  subsd  %xmm14,%xmm1
  addsd  D214(%rip),%xmm1
  movsd  0xb0(%rsp),%xmm14
  movsd  %xmm7,0xb0(%rsp)
  addsd  %xmm14,%xmm14
  movapd %xmm1,%xmm10
  movapd %xmm14,%xmm0
  subsd  0x78(%rsp),%xmm0
  movsd  0x80(%rsp),%xmm14
  mulsd  %xmm6,%xmm14
  movapd %xmm15,%xmm6
  mulsd  %xmm4,%xmm15
  addsd  %xmm14,%xmm0
  movapd %xmm10,%xmm14
  movapd %xmm0,%xmm9
  movapd %xmm15,%xmm0
  movsd  %xmm9,0x150(%rsp)
  movapd %xmm9,%xmm15
  mulsd  %xmm0,%xmm15
  movapd %xmm15,%xmm9
  movapd %xmm7,%xmm15
  mulsd  %xmm12,%xmm15
  movapd %xmm15,%xmm1
  movsd  0xa8(%rsp),%xmm15
  mulsd  0x58(%rsp),%xmm15
  movsd  %xmm1,0x158(%rsp)
  addsd  %xmm9,%xmm1
  movsd  %xmm14,0x148(%rsp)
  movsd  %xmm6,0xf0(%rsp)
  movapd %xmm15,%xmm7
  movapd %xmm15,%xmm8
  movsd  %xmm8,0x188(%rsp)
  mulsd  %xmm2,%xmm7
  movapd %xmm7,%xmm15
  movapd %xmm1,%xmm7
  movapd %xmm10,%xmm1
  movsd  0x48(%rsp),%xmm10
  mulsd  %xmm15,%xmm1
  mulsd  0x20(%rsp),%xmm10
  subsd  %xmm1,%xmm7
  movapd %xmm14,%xmm1
  movsd  %xmm7,0x50(%rsp)
  movapd %xmm8,%xmm7
  mulsd  %xmm5,%xmm7
  mulsd  %xmm7,%xmm1
  movsd  %xmm1,0x210(%rsp)
  movapd %xmm1,%xmm8
  movsd  0xb0(%rsp),%xmm1
  mulsd  %xmm10,%xmm1
  addsd  %xmm9,%xmm1
  movapd %xmm1,%xmm14
  movapd %xmm8,%xmm1
  subsd  %xmm8,%xmm14
  movsd  %xmm14,0x78(%rsp)
  movsd  0x18(%rsp),%xmm14
  mulsd  %xmm14,%xmm6
  movapd %xmm6,%xmm9
  movsd  0x150(%rsp),%xmm6
  mulsd  %xmm9,%xmm6
  movsd  %xmm6,0x218(%rsp)
  movapd %xmm6,%xmm8
  movsd  0x158(%rsp),%xmm6
  subsd  %xmm1,%xmm6
  movapd %xmm6,%xmm1
  movsd  0x10(%rsp),%xmm6
  addsd  %xmm8,%xmm1
  movsd  0xc8(%rsp),%xmm8
  movsd  %xmm1,0x80(%rsp)
  movapd %xmm6,%xmm1
  mulsd  %xmm8,%xmm1
  addsd  %xmm1,%xmm1
  subsd  %xmm8,%xmm1
  addsd  0x98(%rsp),%xmm1
  movsd  0x90(%rsp),%xmm8
  addsd  D214(%rip),%xmm1
  movsd  %xmm1,0xc8(%rsp)
  movapd %xmm6,%xmm1
  mulsd  %xmm8,%xmm1
  mulsd  0xc8(%rsp),%xmm0
  mulsd  0xc8(%rsp),%xmm9
  addsd  %xmm1,%xmm1
  movsd  %xmm0,0x160(%rsp)
  subsd  %xmm1,%xmm8
  movsd  D214(%rip),%xmm1
  subsd  0xd0(%rsp),%xmm8
  addsd  %xmm8,%xmm1
  movsd  0xe0(%rsp),%xmm8
  addsd  %xmm8,%xmm8
  movsd  %xmm1,0x38(%rsp)
  movapd %xmm8,%xmm1
  movsd  0x38(%rsp),%xmm8
  subsd  0x88(%rsp),%xmm1
  addsd  0xa0(%rsp),%xmm1
  mulsd  %xmm8,%xmm15
  mulsd  %xmm1,%xmm12
  addsd  %xmm12,%xmm0
  addsd  %xmm12,%xmm9
  subsd  %xmm15,%xmm0
  movapd %xmm7,%xmm15
  mulsd  %xmm8,%xmm15
  movapd %xmm10,%xmm8
  mulsd  %xmm1,%xmm8
  movsd  %xmm0,0xd0(%rsp)
  subsd  %xmm15,%xmm9
  movapd %xmm15,%xmm0
  movsd  %xmm15,0x220(%rsp)
  movsd  %xmm9,0x88(%rsp)
  movsd  0x160(%rsp),%xmm15
  movsd  0x78(%rsp),%xmm10
  movsd  %xmm2,0x270(%rsp)
  movsd  0x50(%rsp),%xmm9
  movsd  %xmm8,0x228(%rsp)
  subsd  %xmm0,%xmm15
  movapd %xmm14,%xmm0
  movapd %xmm10,%xmm14
  mulsd  %xmm5,%xmm14
  movapd %xmm9,%xmm12
  movsd  %xmm5,0x268(%rsp)
  mulsd  %xmm4,%xmm12
  addsd  %xmm8,%xmm15
  movsd  0x80(%rsp),%xmm8
  mulsd  %xmm8,%xmm0
  movapd %xmm0,%xmm7
  movapd %xmm10,%xmm0
  movsd  0x88(%rsp),%xmm10
  mulsd  %xmm4,%xmm0
  addsd  %xmm7,%xmm0
  addsd  %xmm12,%xmm0
  movsd  %xmm0,0x168(%rsp)
  movapd %xmm9,%xmm0
  mulsd  %xmm2,%xmm0
  movapd %xmm0,%xmm7
  movapd %xmm14,%xmm0
  movapd %xmm8,%xmm14
  mulsd  %xmm5,%xmm14
  addsd  %xmm7,%xmm0
  movapd %xmm5,%xmm8
  mulsd  %xmm15,%xmm8
  movapd %xmm0,%xmm12
  movsd  0x20(%rsp),%xmm0
  addsd  %xmm14,%xmm12
  mulsd  %xmm15,%xmm0
  movsd  0xd0(%rsp),%xmm14
  movsd  %xmm12,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm12
  movapd %xmm0,%xmm7
  movapd %xmm12,%xmm0
  movapd %xmm12,%xmm9
  movsd  0xc0(%rsp),%xmm12
  mulsd  %xmm10,%xmm0
  mulsd  %xmm14,%xmm9
  addsd  %xmm7,%xmm0
  movapd %xmm9,%xmm7
  movapd %xmm0,%xmm9
  addsd  %xmm7,%xmm9
  movsd  %xmm9,0x170(%rsp)
  movapd %xmm14,%xmm9
  mulsd  %xmm2,%xmm9
  movapd %xmm10,%xmm2
  movsd  0xb8(%rsp),%xmm10
  mulsd  %xmm5,%xmm2
  movsd  0x130(%rsp),%xmm5
  movapd %xmm2,%xmm0
  addsd  %xmm9,%xmm0
  movapd %xmm5,%xmm9
  movapd %xmm0,%xmm2
  addsd  %xmm8,%xmm2
  movsd  0x120(%rsp),%xmm8
  movapd %xmm8,%xmm0
  movsd  %xmm2,0x90(%rsp)
  movapd %xmm10,%xmm2
  mulsd  %xmm12,%xmm0
  mulsd  %xmm5,%xmm2
  movsd  0x140(%rsp),%xmm5
  subsd  %xmm0,%xmm2
  movapd %xmm5,%xmm0
  mulsd  %xmm12,%xmm0
  movsd  %xmm2,0xe0(%rsp)
  andpd  D421(%rip),%xmm2
  movsd  %xmm2,0x230(%rsp)
  movsd  0x138(%rsp),%xmm2
  movsd  %xmm0,0x240(%rsp)
  mulsd  %xmm2,%xmm9
  movsd  %xmm9,0x238(%rsp)
  subsd  %xmm9,%xmm0
  movsd  %xmm0,0x98(%rsp)
  movapd %xmm0,%xmm12
  andpd  D421(%rip),%xmm12
  movsd  %xmm12,0x248(%rsp)
  movapd %xmm8,%xmm12
  mulsd  %xmm2,%xmm12
  movapd %xmm10,%xmm2
  mulsd  %xmm5,%xmm2
  movapd %xmm12,%xmm5
  movapd %xmm4,%xmm12
  subsd  %xmm2,%xmm5
  mulsd  %xmm15,%xmm12
  movsd  %xmm5,0xe8(%rsp)
  andpd  D421(%rip),%xmm5
  movsd  %xmm5,0x250(%rsp)
  movsd  0x18(%rsp),%xmm2
  movapd %xmm14,%xmm5
  movsd  D99(%rip),%xmm10
  movsd  %xmm4,0x260(%rsp)
  mulsd  %xmm4,%xmm5
  movapd %xmm12,%xmm4
  movsd  0x170(%rsp),%xmm12
  mulsd  0x88(%rsp),%xmm2
  movsd  %xmm15,0x258(%rsp)
  movapd %xmm3,%xmm15
  movsd  D10(%rip),%xmm14
  movapd %xmm2,%xmm8
  movsd  0xa8(%rsp),%xmm2
  addsd  %xmm5,%xmm8
  movsd  0x28(%rsp),%xmm5
  mulsd  %xmm6,%xmm5
  movapd %xmm3,%xmm6
  movsd  0x1f8(%rsp),%xmm3
  movsd  %xmm8,0x1b8(%rsp)
  addsd  %xmm8,%xmm4
  movsd  %xmm4,0x178(%rsp)
  movsd  0x48(%rsp),%xmm4
  movsd  %xmm5,0xf8(%rsp)
  mulsd  %xmm5,%xmm2
  movsd  0x58(%rsp),%xmm5
  mulsd  %xmm1,%xmm4
  movsd  0x100(%rsp),%xmm1
  mulsd  0x1d8(%rsp),%xmm1
  mulsd  %xmm2,%xmm5
  movapd %xmm2,%xmm0
  movsd  %xmm4,0xa0(%rsp)
  mulsd  %xmm4,%xmm12
  divsd  %xmm1,%xmm15
  movsd  D99(%rip),%xmm1
  mulsd  %xmm5,%xmm10
  movapd %xmm5,%xmm2
  movsd  %xmm5,0x100(%rsp)
  movsd  %xmm12,0x180(%rsp)
  mulsd  %xmm13,%xmm2
  movapd %xmm2,%xmm9
  mulsd  %xmm11,%xmm9
  movapd %xmm15,%xmm12
  movsd  %xmm15,0x30(%rsp)
  mulsd  %xmm0,%xmm12
  mulsd  %xmm3,%xmm0
  mulsd  %xmm12,%xmm1
  mulsd  %xmm13,%xmm0
  subsd  %xmm1,%xmm10
  movsd  0x108(%rsp),%xmm1
  mulsd  0x1e8(%rsp),%xmm1
  mulsd  %xmm15,%xmm0
  divsd  %xmm1,%xmm6
  movsd  0x1f0(%rsp),%xmm1
  mulsd  %xmm5,%xmm1
  movapd %xmm6,%xmm12
  movsd  0x1e0(%rsp),%xmm6
  mulsd  %xmm13,%xmm6
  movapd %xmm2,%xmm13
  movsd  0x200(%rsp),%xmm2
  mulsd  %xmm2,%xmm13
  mulsd  %xmm3,%xmm2
  mulsd  %xmm11,%xmm3
  movapd %xmm6,%xmm7
  mulsd  %xmm10,%xmm7
  mulsd  %xmm13,%xmm14
  movsd  D482(%rip),%xmm13
  movapd %xmm2,%xmm6
  mulsd  %xmm1,%xmm13
  mulsd  %xmm10,%xmm6
  movapd %xmm13,%xmm8
  movsd  D482(%rip),%xmm13
  addsd  %xmm14,%xmm8
  mulsd  %xmm12,%xmm6
  movsd  D390(%rip),%xmm14
  mulsd  %xmm0,%xmm13
  mulsd  %xmm14,%xmm6
  addsd  %xmm13,%xmm8
  movsd  D482(%rip),%xmm13
  mulsd  %xmm7,%xmm13
  subsd  %xmm13,%xmm8
  movapd %xmm8,%xmm13
  subsd  %xmm6,%xmm13
  movsd  %xmm13,0x1e0(%rsp)
  mulsd  D10(%rip),%xmm9
  mulsd  D256(%rip),%xmm1
  mulsd  D256(%rip),%xmm0
  mulsd  D256(%rip),%xmm7
  addsd  %xmm9,%xmm1
  addsd  %xmm0,%xmm1
  movapd %xmm3,%xmm0
  mulsd  %xmm10,%xmm0
  subsd  %xmm7,%xmm1
  mulsd  %xmm12,%xmm0
  movapd %xmm1,%xmm3
  mulsd  %xmm14,%xmm0
  subsd  %xmm0,%xmm3
  movsd  %xmm3,0x1d8(%rsp)
  movsd  0x190(%rsp),%xmm3
  addsd  %xmm3,%xmm3
  movapd %xmm3,%xmm0
  movsd  0x198(%rsp),%xmm3
  addsd  %xmm3,%xmm3
  addsd  %xmm3,%xmm0
  movsd  0x1c0(%rsp),%xmm3
  addsd  %xmm3,%xmm3
  subsd  %xmm3,%xmm0
  movsd  0x1c8(%rsp),%xmm3
  addsd  %xmm3,%xmm3
  subsd  %xmm3,%xmm0
  movsd  0x1d0(%rsp),%xmm3
  addsd  %xmm3,%xmm3
  subsd  %xmm3,%xmm0
  subsd  D58(%rip),%xmm0
  call   <exp@plt>
  movsd  0x10(%rsp),%xmm2
  movsd  0xa8(%rsp),%xmm14
  movsd  0x58(%rsp),%xmm3
  movapd %xmm0,%xmm9
  movsd  0x100(%rsp),%xmm8
  mulsd  %xmm14,%xmm2
  movsd  0x188(%rsp),%xmm15
  movsd  0x148(%rsp),%xmm13
  movsd  %xmm9,0x10(%rsp)
  movsd  0xf8(%rsp),%xmm11
  movapd %xmm8,%xmm6
  movsd  0x1d8(%rsp),%xmm12
  movapd %xmm13,%xmm5
  mulsd  %xmm2,%xmm3
  movsd  0x270(%rsp),%xmm2
  mulsd  %xmm2,%xmm6
  movapd %xmm3,%xmm4
  movapd %xmm15,%xmm3
  mulsd  %xmm13,%xmm3
  movapd %xmm4,%xmm7
  movsd  %xmm4,0xa8(%rsp)
  mulsd  %xmm2,%xmm7
  movapd %xmm6,%xmm10
  movapd %xmm11,%xmm6
  mulsd  %xmm10,%xmm5
  mulsd  %xmm2,%xmm6
  movsd  %xmm3,0x108(%rsp)
  movapd %xmm3,%xmm4
  mulsd  %xmm12,%xmm4
  addsd  %xmm5,%xmm7
  movapd %xmm13,%xmm5
  mulsd  %xmm6,%xmm5
  subsd  %xmm4,%xmm7
  movsd  0x30(%rsp),%xmm4
  movapd %xmm5,%xmm0
  movsd  0x268(%rsp),%xmm5
  mulsd  %xmm4,%xmm0
  mulsd  %xmm5,%xmm11
  mulsd  %xmm5,%xmm8
  mulsd  %xmm9,%xmm0
  movapd %xmm11,%xmm1
  movsd  0xa8(%rsp),%xmm11
  movapd %xmm8,%xmm9
  movapd %xmm13,%xmm8
  mulsd  %xmm5,%xmm11
  mulsd  %xmm9,%xmm8
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm7
  movapd %xmm11,%xmm0
  movapd %xmm13,%xmm11
  movsd  0x1e0(%rsp),%xmm13
  addsd  %xmm8,%xmm0
  mulsd  %xmm1,%xmm11
  movapd %xmm3,%xmm8
  mulsd  %xmm13,%xmm8
  subsd  %xmm8,%xmm0
  movapd %xmm11,%xmm8
  movsd  0x48(%rsp),%xmm11
  mulsd  %xmm4,%xmm8
  mulsd  0xb0(%rsp),%xmm11
  mulsd  0x10(%rsp),%xmm8
  movapd %xmm11,%xmm4
  movsd  0x150(%rsp),%xmm11
  addsd  %xmm8,%xmm8
  movsd  %xmm4,0x48(%rsp)
  mulsd  0xf0(%rsp),%xmm11
  subsd  %xmm8,%xmm0
  movsd  0x170(%rsp),%xmm8
  movsd  %xmm11,0xb0(%rsp)
  mulsd  %xmm4,%xmm8
  movsd  0x8(%rsp),%xmm4
  mulsd  0x178(%rsp),%xmm11
  addsd  %xmm11,%xmm8
  movsd  0x90(%rsp),%xmm11
  mulsd  %xmm3,%xmm11
  subsd  %xmm11,%xmm8
  movsd  0x50(%rsp),%xmm11
  mulsd  %xmm12,%xmm11
  movsd  %xmm8,0x150(%rsp)
  movsd  0x78(%rsp),%xmm8
  mulsd  %xmm13,%xmm8
  addsd  %xmm11,%xmm8
  movsd  0x80(%rsp),%xmm11
  mulsd  %xmm13,%xmm11
  addsd  %xmm8,%xmm11
  movapd %xmm2,%xmm8
  mulsd  %xmm7,%xmm8
  addsd  %xmm8,%xmm11
  movapd %xmm5,%xmm8
  mulsd  %xmm0,%xmm8
  addsd  %xmm8,%xmm8
  addsd  %xmm8,%xmm11
  movapd %xmm4,%xmm8
  mulsd  %xmm7,%xmm8
  movsd  %xmm11,0x170(%rsp)
  movsd  0x20(%rsp),%xmm11
  mulsd  0x38(%rsp),%xmm15
  mulsd  0x38(%rsp),%xmm10
  mulsd  %xmm0,%xmm11
  addsd  %xmm8,%xmm11
  movapd %xmm4,%xmm8
  movsd  0x260(%rsp),%xmm4
  mulsd  %xmm0,%xmm8
  mulsd  %xmm4,%xmm7
  addsd  %xmm8,%xmm11
  movsd  0x18(%rsp),%xmm8
  mulsd  %xmm0,%xmm8
  movsd  %xmm11,0x188(%rsp)
  mulsd  %xmm4,%xmm0
  movsd  0x8(%rsp),%xmm11
  addsd  %xmm7,%xmm8
  movsd  0x78(%rsp),%xmm7
  mulsd  0x20(%rsp),%xmm7
  addsd  %xmm0,%xmm8
  movsd  0x50(%rsp),%xmm0
  mulsd  %xmm11,%xmm0
  movsd  %xmm8,0x190(%rsp)
  movsd  0xf0(%rsp),%xmm8
  mulsd  0xc8(%rsp),%xmm8
  addsd  %xmm0,%xmm7
  movsd  %xmm8,0x50(%rsp)
  movsd  %xmm7,0x78(%rsp)
  movsd  0x78(%rsp),%xmm0
  movsd  0x80(%rsp),%xmm7
  movsd  %xmm15,0x80(%rsp)
  mulsd  %xmm11,%xmm7
  addsd  %xmm7,%xmm0
  movsd  0x168(%rsp),%xmm7
  mulsd  %xmm8,%xmm7
  movsd  0xa0(%rsp),%xmm8
  mulsd  %xmm0,%xmm8
  addsd  %xmm8,%xmm7
  movsd  0xd8(%rsp),%xmm8
  mulsd  %xmm15,%xmm8
  subsd  %xmm8,%xmm7
  movsd  0x28(%rsp),%xmm8
  mulsd  %xmm14,%xmm8
  movsd  %xmm7,0xc8(%rsp)
  mulsd  0x58(%rsp),%xmm8
  movapd %xmm8,%xmm14
  movsd  %xmm8,0x58(%rsp)
  movapd %xmm15,%xmm8
  mulsd  %xmm2,%xmm14
  mulsd  %xmm12,%xmm8
  movapd %xmm14,%xmm7
  movapd %xmm15,%xmm14
  movsd  0x38(%rsp),%xmm15
  addsd  %xmm10,%xmm7
  movsd  0x30(%rsp),%xmm10
  mulsd  %xmm15,%xmm6
  mulsd  %xmm15,%xmm9
  subsd  %xmm8,%xmm7
  mulsd  %xmm15,%xmm1
  movapd %xmm14,%xmm8
  movsd  0x168(%rsp),%xmm15
  mulsd  0xb0(%rsp),%xmm15
  mulsd  %xmm13,%xmm8
  mulsd  %xmm10,%xmm6
  mulsd  0x10(%rsp),%xmm6
  mulsd  %xmm10,%xmm1
  mulsd  0x10(%rsp),%xmm1
  addsd  %xmm6,%xmm6
  addsd  %xmm1,%xmm1
  subsd  %xmm6,%xmm7
  movsd  0x58(%rsp),%xmm6
  movsd  %xmm15,0x1e0(%rsp)
  mulsd  0x48(%rsp),%xmm0
  mulsd  0xd8(%rsp),%xmm3
  mov    D671(%rip),%rax
  movsd  0x88(%rsp),%xmm10
  mulsd  %xmm5,%xmm6
  mulsd  0x90(%rsp),%xmm14
  mulsd  %xmm13,%xmm10
  movsd  %xmm3,0x1f0(%rsp)
  addsd  %xmm6,%xmm9
  movapd %xmm2,%xmm6
  movsd  %xmm14,0x1f8(%rsp)
  mulsd  %xmm7,%xmm6
  subsd  %xmm8,%xmm9
  movapd %xmm15,%xmm8
  movsd  0xd0(%rsp),%xmm15
  addsd  %xmm8,%xmm0
  mulsd  %xmm12,%xmm15
  subsd  %xmm1,%xmm9
  movapd %xmm10,%xmm1
  addsd  %xmm15,%xmm1
  movsd  0x258(%rsp),%xmm15
  mulsd  %xmm13,%xmm15
  addsd  %xmm1,%xmm15
  addsd  %xmm6,%xmm15
  movapd %xmm5,%xmm6
  mulsd  %xmm9,%xmm6
  movapd %xmm6,%xmm1
  addsd  %xmm6,%xmm1
  movsd  0x20(%rsp),%xmm6
  mulsd  %xmm9,%xmm6
  addsd  %xmm1,%xmm15
  movapd %xmm11,%xmm1
  mulsd  %xmm7,%xmm1
  mulsd  %xmm9,%xmm11
  movsd  %xmm15,0x88(%rsp)
  mulsd  %xmm4,%xmm7
  movsd  0xe8(%rsp),%xmm15
  addsd  %xmm1,%xmm6
  movsd  0x18(%rsp),%xmm1
  mulsd  %xmm9,%xmm1
  addsd  %xmm11,%xmm6
  mulsd  %xmm4,%xmm9
  movsd  %xmm6,0xd0(%rsp)
  movapd %xmm0,%xmm6
  movsd  0x180(%rsp),%xmm0
  addsd  %xmm7,%xmm1
  subsd  %xmm3,%xmm6
  movsd  0x70(%rsp),%xmm7
  movsd  0x178(%rsp),%xmm3
  mulsd  0x50(%rsp),%xmm3
  movsd  %xmm6,0x168(%rsp)
  movapd %xmm1,%xmm11
  movsd  0xe0(%rsp),%xmm1
  movsd  0x98(%rsp),%xmm6
  addsd  %xmm9,%xmm11
  movsd  0x128(%rsp),%xmm9
  mulsd  %xmm1,%xmm7
  addsd  %xmm3,%xmm0
  mulsd  %xmm15,%xmm9
  movsd  %xmm11,0xf0(%rsp)
  movapd %xmm0,%xmm3
  movapd %xmm6,%xmm0
  movsd  %xmm7,0x1e8(%rsp)
  movapd %xmm1,%xmm7
  subsd  %xmm14,%xmm3
  movsd  %xmm9,0x1d8(%rsp)
  mulsd  %xmm6,%xmm0
  pxor   %xmm6,%xmm6
  mulsd  %xmm1,%xmm7
  movsd  %xmm3,0x178(%rsp)
  movq   %rax,%xmm3
  addsd  %xmm0,%xmm7
  movapd %xmm15,%xmm0
  mulsd  %xmm15,%xmm0
  addsd  %xmm0,%xmm7
  ucomisd %xmm7,%xmm6
  ja     L13
  movapd %xmm7,%xmm0
  sqrtsd %xmm0,%xmm0
L14:
  movsd  %xmm4,0x270(%rsp)
  movapd %xmm3,%xmm4
  movapd %xmm2,%xmm10
  movsd  D413(%rip),%xmm1
  divsd  %xmm0,%xmm4
  movsd  %xmm5,0x28(%rsp)
  movsd  0x1b0(%rsp),%xmm0
  divsd  0x110(%rsp),%xmm10
  movsd  %xmm12,0x278(%rsp)
  movsd  %xmm10,0x260(%rsp)
  movsd  %xmm13,0x1c8(%rsp)
  movsd  %xmm2,0x268(%rsp)
  movsd  %xmm7,0x280(%rsp)
  movsd  %xmm4,0x198(%rsp)
  call   <pow@plt>
  mov    D671(%rip),%rax
  movsd  0x28(%rsp),%xmm5
  movq   %rax,%xmm9
  mov    D413(%rip),%rax
  movapd %xmm5,%xmm7
  movsd  %xmm5,0x200(%rsp)
  divsd  %xmm0,%xmm9
  divsd  0x40(%rsp),%xmm7
  movsd  0x1a0(%rsp),%xmm0
  movsd  %xmm7,0x28(%rsp)
  movq   %rax,%xmm1
  movsd  %xmm9,0x258(%rsp)
  call   <pow@plt>
  mov    D671(%rip),%rax
  movsd  0x40(%rsp),%xmm2
  movsd  0x8(%rsp),%xmm3
  movsd  0x18(%rsp),%xmm5
  movq   %rax,%xmm4
  movsd  0x28(%rsp),%xmm7
  movsd  0x1c8(%rsp),%xmm13
  divsd  %xmm0,%xmm4
  mov    D413(%rip),%rax
  movsd  0x1a8(%rsp),%xmm0
  movsd  %xmm13,0x1b0(%rsp)
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm5
  movq   %rax,%xmm1
  movsd  %xmm3,0x1c0(%rsp)
  movapd %xmm3,%xmm8
  mulsd  %xmm13,%xmm5
  mulsd  %xmm13,%xmm8
  movsd  %xmm5,0x1c8(%rsp)
  movapd %xmm5,%xmm6
  mulsd  %xmm7,%xmm8
  mulsd  %xmm7,%xmm6
  movapd %xmm8,%xmm15
  mulsd  %xmm4,%xmm15
  movsd  %xmm4,0x18(%rsp)
  mulsd  %xmm4,%xmm6
  movsd  %xmm15,0x1d0(%rsp)
  movsd  %xmm6,0x1a0(%rsp)
  call   <pow@plt>
  mov    D671(%rip),%rax
  movsd  0x110(%rsp),%xmm1
  movsd  0x270(%rsp),%xmm4
  movsd  0x40(%rsp),%xmm2
  movapd %xmm1,%xmm6
  movq   %rax,%xmm8
  movsd  0x278(%rsp),%xmm12
  movsd  0x260(%rsp),%xmm10
  mulsd  %xmm4,%xmm6
  movsd  0x28(%rsp),%xmm7
  movsd  0x258(%rsp),%xmm9
  divsd  %xmm0,%xmm8
  movsd  0x60(%rsp),%xmm15
  movsd  0x1b0(%rsp),%xmm13
  movsd  0x200(%rsp),%xmm5
  mov    D413(%rip),%rax
  mulsd  %xmm13,%xmm15
  movapd %xmm6,%xmm0
  movsd  0x1a0(%rsp),%xmm6
  mulsd  %xmm12,%xmm0
  movapd %xmm6,%xmm14
  movsd  %xmm15,0x110(%rsp)
  movapd %xmm15,%xmm3
  movsd  0x1d0(%rsp),%xmm15
  movapd %xmm15,%xmm11
  mulsd  %xmm10,%xmm0
  mulsd  %xmm9,%xmm0
  subsd  %xmm0,%xmm14
  movapd %xmm2,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm13,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  %xmm8,%xmm0
  subsd  %xmm0,%xmm6
  movsd  0x8(%rsp),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  %xmm12,%xmm0
  mulsd  %xmm10,%xmm0
  mulsd  %xmm9,%xmm0
  subsd  %xmm0,%xmm11
  movapd %xmm5,%xmm0
  movsd  0x18(%rsp),%xmm5
  mulsd  %xmm2,%xmm0
  movsd  0x268(%rsp),%xmm2
  mulsd  %xmm1,%xmm2
  movq   %rax,%xmm1
  movsd  %xmm0,0x1d0(%rsp)
  mulsd  %xmm13,%xmm0
  mulsd  %xmm12,%xmm2
  mulsd  %xmm7,%xmm0
  movsd  0x280(%rsp),%xmm7
  mulsd  %xmm10,%xmm2
  movsd  0x168(%rsp),%xmm10
  mulsd  0x178(%rsp),%xmm10
  mulsd  %xmm0,%xmm5
  mulsd  %xmm8,%xmm0
  mulsd  %xmm9,%xmm2
  movsd  0x1d8(%rsp),%xmm9
  addsd  0x1e8(%rsp),%xmm9
  movsd  %xmm5,0x1a0(%rsp)
  movsd  %xmm0,0x1a8(%rsp)
  movsd  0x68(%rsp),%xmm0
  mulsd  0x98(%rsp),%xmm0
  addsd  %xmm3,%xmm2
  subsd  %xmm5,%xmm2
  movsd  0x208(%rsp),%xmm5
  addsd  %xmm9,%xmm0
  mulsd  %xmm12,%xmm5
  movq   %xmm0,%rbx
  subsd  %xmm5,%xmm2
  movsd  0x150(%rsp),%xmm5
  mulsd  0xc8(%rsp),%xmm5
  movsd  %xmm5,0x1d8(%rsp)
  subsd  %xmm5,%xmm10
  pxor   %xmm5,%xmm5
  ucomisd %xmm10,%xmm5
  ja     L75
  sqrtsd %xmm10,%xmm10
  movapd %xmm3,%xmm5
  movsd  %xmm10,0x1b0(%rsp)
L40:
  movsd  0x40(%rsp),%xmm10
  mulsd  0x20(%rsp),%xmm10
  movapd %xmm7,%xmm0
  movsd  %xmm4,0x260(%rsp)
  movsd  0x118(%rsp),%xmm4
  subsd  0x1a0(%rsp),%xmm5
  movsd  %xmm2,0x278(%rsp)
  addsd  0x1a8(%rsp),%xmm5
  movsd  %xmm11,0x270(%rsp)
  mulsd  %xmm13,%xmm4
  movsd  %xmm13,0x40(%rsp)
  movsd  %xmm14,0x268(%rsp)
  movsd  %xmm9,0x258(%rsp)
  mulsd  %xmm13,%xmm10
  movsd  %xmm6,0x200(%rsp)
  mulsd  0x28(%rsp),%xmm10
  movsd  %xmm4,0x1e8(%rsp)
  subsd  %xmm4,%xmm5
  movsd  0xc0(%rsp),%xmm4
  mulsd  %xmm6,%xmm4
  movsd  %xmm5,0x208(%rsp)
  mulsd  %xmm8,%xmm10
  movsd  %xmm4,0x118(%rsp)
  subsd  %xmm10,%xmm15
  movsd  %xmm15,0x20(%rsp)
  call   <pow@plt>
  movsd  0x20(%rsp),%xmm8
  movq   %rbx,%xmm1
  movsd  0x120(%rsp),%xmm6
  movsd  0x270(%rsp),%xmm11
  movapd %xmm0,%xmm12
  movsd  0x138(%rsp),%xmm13
  movapd %xmm6,%xmm7
  mov    D671(%rip),%rax
  movsd  0x140(%rsp),%xmm3
  mulsd  %xmm11,%xmm6
  movsd  0x130(%rsp),%xmm5
  movsd  0x278(%rsp),%xmm2
  movsd  0x268(%rsp),%xmm14
  andpd  D421(%rip),%xmm1
  mulsd  %xmm2,%xmm7
  movapd %xmm5,%xmm10
  movsd  0xb8(%rsp),%xmm9
  movsd  0x230(%rsp),%xmm4
  mulsd  %xmm11,%xmm5
  mulsd  %xmm3,%xmm2
  movapd %xmm9,%xmm15
  mulsd  %xmm14,%xmm10
  movapd %xmm6,%xmm0
  movsd  0x200(%rsp),%xmm6
  mulsd  %xmm8,%xmm15
  mulsd  %xmm13,%xmm6
  mulsd  0xc0(%rsp),%xmm8
  addsd  %xmm5,%xmm2
  mulsd  %xmm3,%xmm14
  movq   %rax,%xmm3
  movsd  0x208(%rsp),%xmm5
  divsd  %xmm12,%xmm3
  mulsd  %xmm5,%xmm13
  addsd  %xmm0,%xmm6
  mulsd  %xmm9,%xmm5
  movsd  0x118(%rsp),%xmm0
  movsd  0x258(%rsp),%xmm9
  subsd  %xmm10,%xmm0
  subsd  %xmm13,%xmm2
  subsd  %xmm7,%xmm0
  subsd  %xmm8,%xmm2
  movapd %xmm6,%xmm8
  addsd  %xmm0,%xmm5
  subsd  %xmm14,%xmm8
  movsd  0xe0(%rsp),%xmm0
  subsd  %xmm15,%xmm8
  divsd  %xmm4,%xmm0
  mulsd  0x1b0(%rsp),%xmm3
  mulsd  %xmm1,%xmm3
  mulsd  %xmm4,%xmm0
  movsd  0x250(%rsp),%xmm4
  mulsd  %xmm0,%xmm5
  movsd  0xe8(%rsp),%xmm0
  divsd  %xmm4,%xmm0
  addsd  %xmm5,%xmm5
  mulsd  %xmm4,%xmm0
  movsd  0x248(%rsp),%xmm4
  mulsd  %xmm8,%xmm0
  addsd  %xmm0,%xmm0
  subsd  %xmm0,%xmm5
  movsd  0x98(%rsp),%xmm0
  divsd  %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm5
  mulsd  %xmm3,%xmm5
  movsd  0x238(%rsp),%xmm3
  subsd  0x240(%rsp),%xmm3
  mulsd  0x68(%rsp),%xmm3
  mulsd  D132(%rip),%xmm5
  subsd  %xmm3,%xmm9
  movsd  0x160(%rsp),%xmm3
  addsd  0x228(%rsp),%xmm3
  subsd  0x220(%rsp),%xmm3
  movq   %xmm5,%r14
  andpd  D421(%rip),%xmm9
  mulsd  0x198(%rsp),%xmm9
  movsd  0x260(%rsp),%xmm4
  movsd  0x1e0(%rsp),%xmm8
  movsd  0x40(%rsp),%xmm13
  subsd  0x1f0(%rsp),%xmm8
  mulsd  %xmm3,%xmm4
  movsd  0x180(%rsp),%xmm3
  addsd  0x1b8(%rsp),%xmm4
  mulsd  0x50(%rsp),%xmm4
  subsd  0x1f8(%rsp),%xmm3
  movq   %xmm9,%r15
  addsd  %xmm3,%xmm4
  movsd  0x158(%rsp),%xmm3
  addsd  0x218(%rsp),%xmm3
  subsd  0x210(%rsp),%xmm3
  mulsd  0x8(%rsp),%xmm3
  addsd  0x78(%rsp),%xmm3
  mulsd  0x48(%rsp),%xmm3
  addsd  %xmm8,%xmm3
  mulsd  %xmm3,%xmm4
  pxor   %xmm3,%xmm3
  subsd  0x1d8(%rsp),%xmm4
  ucomisd %xmm4,%xmm3
  ja     L100
  sqrtsd %xmm4,%xmm4
L10:
  movsd  0x100(%rsp),%xmm3
  movsd  0x38(%rsp),%xmm11
  subsd  %xmm15,%xmm6
  movsd  0x148(%rsp),%xmm12
  movsd  0xf8(%rsp),%xmm5
  movsd  0xa8(%rsp),%xmm9
  movapd %xmm3,%xmm0
  mulsd  %xmm12,%xmm0
  subsd  %xmm14,%xmm6
  mulsd  %xmm5,%xmm12
  mulsd  %xmm11,%xmm5
  mulsd  %xmm11,%xmm3
  movsd  0xb0(%rsp),%xmm11
  mulsd  0x190(%rsp),%xmm11
  movapd %xmm5,%xmm8
  movsd  0xd8(%rsp),%xmm5
  mulsd  %xmm5,%xmm9
  addsd  %xmm9,%xmm11
  movsd  0x48(%rsp),%xmm9
  mulsd  0x188(%rsp),%xmm9
  addsd  %xmm9,%xmm11
  movsd  0x108(%rsp),%xmm9
  mulsd  0x170(%rsp),%xmm9
  subsd  %xmm9,%xmm11
  movapd %xmm5,%xmm9
  mulsd  %xmm0,%xmm9
  addsd  %xmm9,%xmm11
  movapd %xmm5,%xmm9
  mulsd  %xmm12,%xmm9
  mulsd  0x30(%rsp),%xmm9
  mulsd  0x10(%rsp),%xmm9
  addsd  %xmm9,%xmm9
  subsd  %xmm9,%xmm11
  movsd  0x58(%rsp),%xmm9
  mulsd  0x178(%rsp),%xmm11
  mulsd  %xmm5,%xmm9
  movq   %xmm11,%rax
  movapd %xmm5,%xmm11
  movapd %xmm9,%xmm5
  movsd  0x190(%rsp),%xmm9
  mulsd  0x50(%rsp),%xmm9
  addsd  %xmm5,%xmm9
  movsd  0x188(%rsp),%xmm5
  mulsd  0xa0(%rsp),%xmm5
  addsd  %xmm5,%xmm9
  movsd  0x170(%rsp),%xmm5
  mulsd  0x80(%rsp),%xmm5
  subsd  %xmm5,%xmm9
  movapd %xmm11,%xmm5
  mulsd  %xmm8,%xmm11
  mulsd  0x30(%rsp),%xmm11
  mulsd  0x10(%rsp),%xmm11
  mulsd  %xmm3,%xmm5
  addsd  %xmm5,%xmm9
  movapd %xmm11,%xmm5
  addsd  %xmm11,%xmm5
  movsd  0xb0(%rsp),%xmm11
  mulsd  0xf0(%rsp),%xmm11
  subsd  %xmm5,%xmm9
  movq   %rax,%xmm5
  mulsd  0x150(%rsp),%xmm9
  subsd  %xmm9,%xmm5
  movsd  0xa8(%rsp),%xmm9
  mulsd  0x90(%rsp),%xmm9
  addsd  %xmm9,%xmm11
  movsd  0x48(%rsp),%xmm9
  mulsd  0xd0(%rsp),%xmm9
  addsd  %xmm9,%xmm11
  movsd  0x108(%rsp),%xmm9
  mulsd  0x88(%rsp),%xmm9
  mulsd  0x68(%rsp),%xmm2
  mulsd  0x128(%rsp),%xmm6
  subsd  %xmm9,%xmm11
  movsd  0x90(%rsp),%xmm9
  mulsd  %xmm9,%xmm12
  subsd  %xmm2,%xmm6
  movsd  0x110(%rsp),%xmm2
  addsd  0x1a8(%rsp),%xmm2
  mulsd  0x30(%rsp),%xmm12
  subsd  0x1e8(%rsp),%xmm2
  mulsd  0x10(%rsp),%xmm12
  subsd  0x1a0(%rsp),%xmm2
  mulsd  %xmm9,%xmm0
  mulsd  %xmm9,%xmm3
  mulsd  %xmm9,%xmm8
  mulsd  0x30(%rsp),%xmm8
  addsd  %xmm12,%xmm12
  mulsd  0x10(%rsp),%xmm8
  mulsd  0xb8(%rsp),%xmm2
  addsd  %xmm11,%xmm0
  movapd %xmm5,%xmm11
  addsd  0x118(%rsp),%xmm2
  movq   %r14,%xmm5
  subsd  %xmm12,%xmm0
  movsd  0xc8(%rsp),%xmm12
  addsd  %xmm8,%xmm8
  subsd  %xmm10,%xmm2
  mulsd  %xmm0,%xmm12
  movsd  0x58(%rsp),%xmm0
  subsd  %xmm7,%xmm2
  mulsd  0x70(%rsp),%xmm2
  movsd  0x18(%rsp),%xmm7
  mulsd  %xmm9,%xmm0
  movq   %r15,%xmm9
  divsd  %xmm4,%xmm9
  movsd  0x28(%rsp),%xmm4
  subsd  %xmm12,%xmm11
  movsd  0x50(%rsp),%xmm12
  mulsd  0xf0(%rsp),%xmm12
  subsd  %xmm2,%xmm6
  movsd  0x60(%rsp),%xmm2
  addsd  %xmm0,%xmm12
  movsd  0xa0(%rsp),%xmm0
  mulsd  0xd0(%rsp),%xmm0
  addsd  %xmm0,%xmm12
  movsd  0x80(%rsp),%xmm0
  mulsd  0x88(%rsp),%xmm0
  subsd  %xmm0,%xmm12
  movsd  0x1c0(%rsp),%xmm0
  mulsd  0xe0(%rsp),%xmm0
  addsd  %xmm3,%xmm12
  movsd  0x168(%rsp),%xmm3
  mulsd  %xmm13,%xmm0
  subsd  %xmm8,%xmm12
  mulsd  %xmm12,%xmm3
  mulsd  %xmm4,%xmm0
  addsd  %xmm11,%xmm3
  mulsd  %xmm7,%xmm0
  mulsd  %xmm3,%xmm9
  movsd  0xe8(%rsp),%xmm3
  mulsd  D132(%rip),%xmm9
  mulsd  %xmm3,%xmm2
  subsd  %xmm9,%xmm5
  mulsd  %xmm13,%xmm2
  subsd  %xmm2,%xmm6
  addsd  %xmm0,%xmm6
  movsd  0x1d0(%rsp),%xmm0
  movsd  0x1c8(%rsp),%xmm2
  mulsd  0x98(%rsp),%xmm2
  mulsd  %xmm3,%xmm0
  movq   %rbx,%xmm3
  divsd  %xmm1,%xmm3
  mulsd  %xmm4,%xmm2
  mulsd  %xmm13,%xmm0
  mulsd  %xmm7,%xmm2
  mulsd  %xmm4,%xmm0
  mulsd  %xmm7,%xmm0
  addsd  %xmm6,%xmm0
  addsd  %xmm2,%xmm0
  movsd  0x198(%rsp),%xmm2
  mulsd  0x1b0(%rsp),%xmm2
  add    $0x290,%rsp
  pop    %rbx
  pop    %r14
  pop    %r15
  mulsd  %xmm3,%xmm2
  mulsd  %xmm2,%xmm0
  addsd  %xmm5,%xmm0
  ret
L44:
  movsd  0x1a0(%rsp),%xmm0
  movsd  %xmm13,0x70(%rsp)
  movsd  %xmm7,0x128(%rsp)
  movsd  %xmm9,0x120(%rsp)
  movsd  %xmm2,0x118(%rsp)
  movsd  %xmm11,0xf8(%rsp)
  movsd  %xmm1,0xf0(%rsp)
  movsd  %xmm4,0xc0(%rsp)
  movsd  %xmm5,0xb8(%rsp)
  movsd  %xmm12,0x68(%rsp)
  movsd  %xmm15,0x60(%rsp)
  call   <sqrt@plt>
  mov    D671(%rip),%rax
  movsd  0x128(%rsp),%xmm7
  movsd  0x118(%rsp),%xmm2
  movsd  0x70(%rsp),%xmm13
  movsd  0x120(%rsp),%xmm9
  movsd  0x68(%rsp),%xmm12
  movq   %rax,%xmm3
  movsd  0xf0(%rsp),%xmm1
  movsd  0x60(%rsp),%xmm15
  movsd  0xf8(%rsp),%xmm11
  movsd  0xc0(%rsp),%xmm4
  movsd  0xb8(%rsp),%xmm5
  jmp    L0
L100:
  movapd %xmm4,%xmm0
  movsd  %xmm6,0x78(%rsp)
  movsd  %xmm13,0x138(%rsp)
  movsd  %xmm2,0x130(%rsp)
  movsd  %xmm15,0x120(%rsp)
  movsd  %xmm14,0xc0(%rsp)
  movsd  %xmm7,0x40(%rsp)
  movsd  %xmm10,0x20(%rsp)
  movsd  %xmm1,0x8(%rsp)
  call   <sqrt@plt>
  movsd  0x78(%rsp),%xmm6
  movsd  0x138(%rsp),%xmm13
  movsd  0x40(%rsp),%xmm7
  movsd  0x8(%rsp),%xmm1
  movapd %xmm0,%xmm4
  movsd  0x130(%rsp),%xmm2
  movsd  0x20(%rsp),%xmm10
  movsd  0x120(%rsp),%xmm15
  movsd  0xc0(%rsp),%xmm14
  jmp    L10
L75:
  movsd  %xmm2,0x288(%rsp)
  movapd %xmm10,%xmm0
  movsd  %xmm11,0x280(%rsp)
  movsd  %xmm6,0x278(%rsp)
  movsd  %xmm14,0x270(%rsp)
  movsd  %xmm8,0x268(%rsp)
  movsd  %xmm15,0x260(%rsp)
  movsd  %xmm7,0x258(%rsp)
  movsd  %xmm13,0x208(%rsp)
  movsd  %xmm4,0x200(%rsp)
  movsd  %xmm9,0x1e8(%rsp)
  call   <sqrt@plt>
  mov    D413(%rip),%rax
  movsd  0x288(%rsp),%xmm2
  movsd  0x280(%rsp),%xmm11
  movsd  0x278(%rsp),%xmm6
  movsd  %xmm0,0x1b0(%rsp)
  movsd  0x270(%rsp),%xmm14
  movq   %rax,%xmm1
  movsd  0x268(%rsp),%xmm8
  movsd  0x260(%rsp),%xmm15
  movsd  0x258(%rsp),%xmm7
  movsd  0x208(%rsp),%xmm13
  movsd  0x200(%rsp),%xmm4
  movsd  0x1e8(%rsp),%xmm9
  movsd  0x110(%rsp),%xmm5
  jmp    L40
L13:
  movapd %xmm7,%xmm0
  movsd  %xmm7,0x28(%rsp)
  movsd  %xmm12,0x200(%rsp)
  movsd  %xmm13,0x1d0(%rsp)
  movsd  %xmm2,0x1c8(%rsp)
  movsd  %xmm4,0x1c0(%rsp)
  movsd  %xmm5,0x198(%rsp)
  call   <sqrt@plt>
  mov    D671(%rip),%rax
  movsd  0x200(%rsp),%xmm12
  movsd  0x1d0(%rsp),%xmm13
  movsd  0x28(%rsp),%xmm7
  movsd  0x1c8(%rsp),%xmm2
  movq   %rax,%xmm3
  movsd  0x1c0(%rsp),%xmm4
  movsd  0x198(%rsp),%xmm5
  jmp    L14
L24:
  movsd  0x1b0(%rsp),%xmm0
  movsd  %xmm2,0x130(%rsp)
  movsd  %xmm11,0x128(%rsp)
  movsd  %xmm4,0x120(%rsp)
  movsd  %xmm5,0xf8(%rsp)
  movsd  %xmm13,0xf0(%rsp)
  movsd  %xmm12,0xc0(%rsp)
  movsd  %xmm15,0xb8(%rsp)
  call   <sqrt@plt>
  mov    D671(%rip),%rax
  movsd  0x130(%rsp),%xmm2
  movsd  0x128(%rsp),%xmm11
  movsd  0x120(%rsp),%xmm4
  movsd  0xf8(%rsp),%xmm5
  movq   %rax,%xmm3
  movsd  0xf0(%rsp),%xmm13
  movsd  0xc0(%rsp),%xmm12
  movsd  0xb8(%rsp),%xmm15
  jmp    L47
L79:
  movsd  0x1a8(%rsp),%xmm0
  movsd  %xmm9,0x130(%rsp)
  movsd  %xmm2,0x128(%rsp)
  movsd  %xmm11,0x120(%rsp)
  movsd  %xmm1,0x118(%rsp)
  movsd  %xmm4,0xf8(%rsp)
  movsd  %xmm5,0xf0(%rsp)
  movsd  %xmm13,0xc0(%rsp)
  movsd  %xmm12,0xb8(%rsp)
  movsd  %xmm15,0x70(%rsp)
  call   <sqrt@plt>
  mov    D671(%rip),%rax
  movsd  0x130(%rsp),%xmm9
  movsd  0x128(%rsp),%xmm2
  movsd  0x70(%rsp),%xmm15
  movsd  0x120(%rsp),%xmm11
  movq   %rax,%xmm3
  movsd  0x118(%rsp),%xmm1
  movsd  0xf8(%rsp),%xmm4
  movsd  0xf0(%rsp),%xmm5
  movsd  0xc0(%rsp),%xmm13
  movsd  0xb8(%rsp),%xmm12
  jmp    L78
```

tool_calls: name: read_data
arguments: label: D214
type_infered: f64
name: read_data
arguments: label: D766
type_infered: f64
name: read_data
arguments: label: D671
type_infered: f64
name: read_data
arguments: label: D99
type_infered: f64
name: read_data
arguments: label: D787
type_infered: f64
name: read_data
arguments: label: D388
type_infered: byte[8]
name: read_data
arguments: label: D462
type_infered: byte[8]
name: read_data
arguments: label: D256
type_infered: f64
name: read_data
arguments: label: D773
type_infered: f64
name: read_data
arguments: label: D482
type_infered: f64
name: read_data
arguments: label: D726
type_infered: f64
name: read_data
arguments: label: D421
type_infered: qword[2]
name: read_data
arguments: label: D10
type_infered: f64
name: read_data
arguments: label: D390
type_infered: f64
name: read_data
arguments: label: D58
type_infered: f64
name: read_data
arguments: label: D413
type_infered: f32[2]
name: read_data
arguments: label: D132
type_infered: f32[2]

tool: D214: 3.338299811

tool: D766: 1.151035476

tool: D671: 1

tool: D99: 18

tool: D787: 9

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

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

tool: D256: 218

tool: D773: 1090

tool: D482: 1962

tool: D726: 2.187264336

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

tool: D10: 19620

tool: D390: 2180

tool: D58: 4.374528672

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

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

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