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

```asm
<EnDrv>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xc8,%rsp
  mov    %edi,-0x124(%rbp)
  movsd  %xmm0,-0x130(%rbp)
  movsd  %xmm1,-0x138(%rbp)
  mov    %rsi,-0x140(%rbp)
  cmpl   $0x0,-0x124(%rbp)
  jne    L215
  mov    -0x140(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L215:
  cmpl   $0x1,-0x124(%rbp)
  jne    L270
  mov    -0x140(%rbp),%rax
  movsd  D1220(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  movsd  D1206(%rip),%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L270:
  cmpl   $0x2,-0x124(%rbp)
  jne    L73
  movsd  -0x138(%rbp),%xmm1
  movsd  D1386(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x130(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x138(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movsd  -0x130(%rbp),%xmm2
  movsd  D653(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L73:
  cmpl   $0x3,-0x124(%rbp)
  jne    L25
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x118(%rbp),%xmm1
  movsd  D1362(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D1653(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x108(%rbp),%xmm2
  movsd  D653(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x118(%rbp),%xmm1
  movsd  D653(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x110(%rbp),%xmm2
  movsd  D1653(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D935(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L25:
  cmpl   $0x4,-0x124(%rbp)
  jne    L162
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x100(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0x100(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x110(%rbp),%xmm1
  movsd  D664(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D323(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xf8(%rbp),%xmm2
  movsd  D203(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x38(%rbp),%xmm2
  movsd  D937(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x110(%rbp),%xmm1
  movsd  D937(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x108(%rbp),%xmm2
  movsd  D203(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D323(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x38(%rbp),%xmm2
  movsd  D1226(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L162:
  cmpl   $0x5,-0x124(%rbp)
  jne    L78
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0xf8(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0xf8(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe8(%rbp)
  movsd  -0xf8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x110(%rbp),%xmm1
  movsd  D1091(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D1088(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x38(%rbp),%xmm2
  movsd  D1626(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xe8(%rbp),%xmm2
  movsd  D1793(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x30(%rbp),%xmm2
  movsd  D566(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x110(%rbp),%xmm1
  movsd  D566(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x100(%rbp),%xmm2
  movsd  D1793(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x38(%rbp),%xmm2
  movsd  D1626(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xe8(%rbp),%xmm2
  movsd  D1088(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm2
  movsd  D162(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L78:
  cmpl   $0x6,-0x124(%rbp)
  jne    L106
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x110(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0xf8(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0xf8(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0xf8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0xe0(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  movsd  -0xe0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x108(%rbp),%xmm1
  movsd  D1660(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D1406(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xf0(%rbp),%xmm2
  movsd  D850(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm2
  movsd  D1638(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xd8(%rbp),%xmm2
  movsd  D188(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D935(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x108(%rbp),%xmm1
  movsd  D935(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x100(%rbp),%xmm2
  movsd  D188(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D1638(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x30(%rbp),%xmm2
  movsd  D850(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xd8(%rbp),%xmm2
  movsd  D1406(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  D196(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L106:
  cmpl   $0x7,-0x124(%rbp)
  jne    L201
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x110(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  movsd  -0xd8(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0xd8(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  movsd  -0xd8(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0x108(%rbp),%xmm1
  movsd  D572(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D260(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xf0(%rbp),%xmm2
  movsd  D987(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1537(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  D871(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xc8(%rbp),%xmm2
  movsd  D304(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm2
  movsd  D793(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x108(%rbp),%xmm1
  movsd  D793(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xf8(%rbp),%xmm2
  movsd  D304(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D871(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1537(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D987(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc8(%rbp),%xmm2
  movsd  D260(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xc0(%rbp),%xmm2
  movsd  D518(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L201:
  cmpl   $0x8,-0x124(%rbp)
  jne    L150
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x108(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0xe0(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0xe0(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0x100(%rbp),%xmm1
  movsd  D191(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x38(%rbp),%xmm2
  movsd  D855(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x30(%rbp),%xmm2
  movsd  D696(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xd8(%rbp),%xmm2
  movsd  D498(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D88(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xc0(%rbp),%xmm2
  movsd  D863(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D1534(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb8(%rbp),%xmm2
  movsd  D1108(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x100(%rbp),%xmm1
  movsd  D1108(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x38(%rbp),%xmm2
  movsd  D1534(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm2
  movsd  D863(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xd8(%rbp),%xmm2
  movsd  D88(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xd0(%rbp),%xmm2
  movsd  D498(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm2
  movsd  D696(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D855(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb8(%rbp),%xmm2
  movsd  D1204(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L150:
  cmpl   $0x9,-0x124(%rbp)
  jne    L218
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x110(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x100(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0xe0(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0x100(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0xe0(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0x108(%rbp),%xmm1
  movsd  D1385(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x38(%rbp),%xmm2
  movsd  D970(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x30(%rbp),%xmm2
  movsd  D1736(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D1339(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc8(%rbp),%xmm2
  movsd  D11(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x8(%rbp),%xmm2
  movsd  D40(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb8(%rbp),%xmm2
  movsd  D1454(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x28(%rbp),%xmm2
  movsd  D601(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb0(%rbp),%xmm2
  movsd  D1355(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x108(%rbp),%xmm1
  movsd  D1355(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x38(%rbp),%xmm2
  movsd  D601(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm2
  movsd  D1454(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  D40(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xc8(%rbp),%xmm2
  movsd  D11(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm2
  movsd  D1339(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb8(%rbp),%xmm2
  movsd  D1736(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm2
  movsd  D970(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb0(%rbp),%xmm2
  movsd  D1270(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L218:
  cmpl   $0xa,-0x124(%rbp)
  jne    L237
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x110(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x108(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0xf0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0xe0(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0x110(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  -0xf0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0xe0(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0x100(%rbp),%xmm1
  movsd  D547(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D802(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x30(%rbp),%xmm2
  movsd  D320(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D899(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm2
  movsd  D963(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D1354(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm2
  movsd  D180(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb0(%rbp),%xmm2
  movsd  D672(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D902(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xa8(%rbp),%xmm2
  movsd  D1226(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x140(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x100(%rbp),%xmm1
  movsd  D1226(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xf8(%rbp),%xmm2
  movsd  D902(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm2
  movsd  D672(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  D180(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xc0(%rbp),%xmm2
  movsd  D1354(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D963(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x10(%rbp),%xmm2
  movsd  D899(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb0(%rbp),%xmm2
  movsd  D320(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x58(%rbp),%xmm2
  movsd  D802(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xa8(%rbp),%xmm2
  movsd  D212(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L237:
  cmpl   $0xb,-0x124(%rbp)
  jne    L273
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x110(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x108(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  %xmm0,-0xe8(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0xe0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  movsd  -0x110(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0xe0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x100(%rbp),%xmm1
  movsd  D59(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x38(%rbp),%xmm2
  movsd  D0(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xe8(%rbp),%xmm2
  movsd  D67(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D999(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm2
  movsd  D737(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb8(%rbp),%xmm2
  movsd  D1058(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm2
  movsd  D337(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x20(%rbp),%xmm2
  movsd  D641(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xa8(%rbp),%xmm2
  movsd  D1238(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x98(%rbp),%xmm2
  movsd  D120(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x50(%rbp),%xmm2
  movsd  D9(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x100(%rbp),%xmm1
  movsd  D9(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x38(%rbp),%xmm2
  movsd  D120(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xe8(%rbp),%xmm2
  movsd  D1238(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  D641(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xc0(%rbp),%xmm2
  movsd  D337(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb8(%rbp),%xmm2
  movsd  D1058(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x28(%rbp),%xmm2
  movsd  D737(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm2
  movsd  D999(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xa8(%rbp),%xmm2
  movsd  D67(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x98(%rbp),%xmm2
  movsd  D0(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x50(%rbp),%xmm2
  movsd  D1349(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x140(%rbp),%rax
  movsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  movsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L273:
  cmpl   $0xc,-0x124(%rbp)
  jne    L128
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x108(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x100(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x100(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xe8(%rbp)
  movsd  -0xe8(%rbp),%xmm0
  mulsd  -0x100(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0xe8(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  movsd  -0xd8(%rbp),%xmm0
  mulsd  -0x100(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0xe8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0x110(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  -0x108(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0xf8(%rbp),%xmm1
  movsd  D423(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D1485(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1247(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D1495(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm2
  movsd  D45(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb8(%rbp),%xmm2
  movsd  D642(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb0(%rbp),%xmm2
  movsd  D258(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x58(%rbp),%xmm2
  movsd  D1268(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xa0(%rbp),%xmm2
  movsd  D1435(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x50(%rbp),%xmm2
  movsd  D1075(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x48(%rbp),%xmm2
  movsd  D1024(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x88(%rbp),%xmm2
  movsd  D1653(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0xf8(%rbp),%xmm1
  movsd  D1653(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xf0(%rbp),%xmm2
  movsd  D1024(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1075(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  D1435(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xc0(%rbp),%xmm2
  movsd  D1268(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb8(%rbp),%xmm2
  movsd  D258(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb0(%rbp),%xmm2
  movsd  D642(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D45(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xa0(%rbp),%xmm2
  movsd  D1495(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x50(%rbp),%xmm2
  movsd  D1247(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x48(%rbp),%xmm2
  movsd  D1485(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x88(%rbp),%xmm2
  movsd  D839(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x140(%rbp),%rax
  movsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  movsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L128:
  cmpl   $0xd,-0x124(%rbp)
  jne    L202
  movsd  -0x138(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x110(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x108(%rbp)
  movsd  -0x108(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0x100(%rbp)
  movsd  -0x118(%rbp),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0xf8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0x130(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xe8(%rbp)
  movsd  -0xe8(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  movsd  -0xe8(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  movsd  -0xd8(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0xe8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0x108(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0xf8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0x110(%rbp),%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  movsd  -0xf8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  movsd  -0x118(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  -0x138(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x100(%rbp),%xmm1
  movsd  D1121(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D1443(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1795(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xd0(%rbp),%xmm2
  movsd  D1469(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm2
  movsd  D1446(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb8(%rbp),%xmm2
  movsd  D533(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb0(%rbp),%xmm2
  movsd  D679(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xa8(%rbp),%xmm2
  movsd  D857(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x98(%rbp),%xmm2
  movsd  D1306(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x90(%rbp),%xmm2
  movsd  D532(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x88(%rbp),%xmm2
  movsd  D1263(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D1148(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D1004(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x100(%rbp),%xmm1
  movsd  D1004(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xf0(%rbp),%xmm2
  movsd  D1148(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1263(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D532(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xc0(%rbp),%xmm2
  movsd  D1306(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb8(%rbp),%xmm2
  movsd  D857(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xb0(%rbp),%xmm2
  movsd  D679(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xa8(%rbp),%xmm2
  movsd  D533(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x98(%rbp),%xmm2
  movsd  D1446(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x90(%rbp),%xmm2
  movsd  D1469(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x88(%rbp),%xmm2
  movsd  D1795(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x80(%rbp),%xmm2
  movsd  D1443(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x78(%rbp),%xmm2
  movsd  D14(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  mov    -0x140(%rbp),%rax
  movsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x140(%rbp),%rax
  add    $0x8,%rax
  movsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  jmp    L200
L202:
  mov    $0x0,%eax
  jmp    L36
L200:
  mov    $0x1,%eax
L36:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D1220
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D1206
type_infered: f64
name: extract_symbolic_data
arguments: label: D1386
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D653
type_infered: f64
name: extract_symbolic_data
arguments: label: D1362
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D1653
type_infered: f64
name: extract_symbolic_data
arguments: label: D935
type_infered: f64
name: extract_symbolic_data
arguments: label: D664
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D323
type_infered: f64
name: extract_symbolic_data
arguments: label: D203
type_infered: f64
name: extract_symbolic_data
arguments: label: D937
type_infered: f64
name: extract_symbolic_data
arguments: label: D1226
type_infered: f64
name: extract_symbolic_data
arguments: label: D1091
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D1088
type_infered: f64
name: extract_symbolic_data
arguments: label: D1626
type_infered: f64
name: extract_symbolic_data
arguments: label: D1793
type_infered: f64
name: extract_symbolic_data
arguments: label: D566
type_infered: f64
name: extract_symbolic_data
arguments: label: D162
type_infered: f64
name: extract_symbolic_data
arguments: label: D1660
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D1406
type_infered: f64
name: extract_symbolic_data
arguments: label: D850
type_infered: f64
name: extract_symbolic_data
arguments: label: D1638
type_infered: f64
name: extract_symbolic_data
arguments: label: D188
type_infered: f64
name: extract_symbolic_data
arguments: label: D196
type_infered: f64
name: extract_symbolic_data
arguments: label: D572
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D260
type_infered: f64
name: extract_symbolic_data
arguments: label: D987
type_infered: f64
name: extract_symbolic_data
arguments: label: D1537
type_infered: f64
name: extract_symbolic_data
arguments: label: D871
type_infered: f64
name: extract_symbolic_data
arguments: label: D304
type_infered: f64
name: extract_symbolic_data
arguments: label: D793
type_infered: f64
name: extract_symbolic_data
arguments: label: D518
type_infered: f64
name: extract_symbolic_data
arguments: label: D191
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D855
type_infered: f64
name: extract_symbolic_data
arguments: label: D696
type_infered: f64
name: extract_symbolic_data
arguments: label: D498
type_infered: f64
name: extract_symbolic_data
arguments: label: D88
type_infered: f64
name: extract_symbolic_data
arguments: label: D863
type_infered: f64
name: extract_symbolic_data
arguments: label: D1534
type_infered: f64
name: extract_symbolic_data
arguments: label: D1108
type_infered: f64
name: extract_symbolic_data
arguments: label: D1204
type_infered: f64
name: extract_symbolic_data
arguments: label: D1385
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D970
type_infered: f64
name: extract_symbolic_data
arguments: label: D1736
type_infered: f64
name: extract_symbolic_data
arguments: label: D1339
type_infered: f64
name: extract_symbolic_data
arguments: label: D11
type_infered: f64
name: extract_symbolic_data
arguments: label: D40
type_infered: f64
name: extract_symbolic_data
arguments: label: D1454
type_infered: f64
name: extract_symbolic_data
arguments: label: D601
type_infered: f64
name: extract_symbolic_data
arguments: label: D1355
type_infered: f64
name: extract_symbolic_data
arguments: label: D1270
type_infered: f64
name: extract_symbolic_data
arguments: label: D547
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D802
type_infered: f64
name: extract_symbolic_data
arguments: label: D320
type_infered: f64
name: extract_symbolic_data
arguments: label: D899
type_infered: f64
name: extract_symbolic_data
arguments: label: D963
type_infered: f64
name: extract_symbolic_data
arguments: label: D1354
type_infered: f64
name: extract_symbolic_data
arguments: label: D180
type_infered: f64
name: extract_symbolic_data
arguments: label: D672
type_infered: f64
name: extract_symbolic_data
arguments: label: D902
type_infered: f64
name: extract_symbolic_data
arguments: label: D212
type_infered: f64
name: extract_symbolic_data
arguments: label: D59
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D0
type_infered: f64
name: extract_symbolic_data
arguments: label: D67
type_infered: f64
name: extract_symbolic_data
arguments: label: D999
type_infered: f64
name: extract_symbolic_data
arguments: label: D737
type_infered: f64
name: extract_symbolic_data
arguments: label: D1058
type_infered: f64
name: extract_symbolic_data
arguments: label: D337
type_infered: f64
name: extract_symbolic_data
arguments: label: D641
type_infered: f64
name: extract_symbolic_data
arguments: label: D1238
type_infered: f64
name: extract_symbolic_data
arguments: label: D120
type_infered: f64
name: extract_symbolic_data
arguments: label: D9
type_infered: f64
name: extract_symbolic_data
arguments: label: D1349
type_infered: f64
name: extract_symbolic_data
arguments: label: D423
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D1485
type_infered: f64
name: extract_symbolic_data
arguments: label: D1247
type_infered: f64
name: extract_symbolic_data
arguments: label: D1495
type_infered: f64
name: extract_symbolic_data
arguments: label: D45
type_infered: f64
name: extract_symbolic_data
arguments: label: D642
type_infered: f64
name: extract_symbolic_data
arguments: label: D258
type_infered: f64
name: extract_symbolic_data
arguments: label: D1268
type_infered: f64
name: extract_symbolic_data
arguments: label: D1435
type_infered: f64
name: extract_symbolic_data
arguments: label: D1075
type_infered: f64
name: extract_symbolic_data
arguments: label: D1024
type_infered: f64
name: extract_symbolic_data
arguments: label: D839
type_infered: f64
name: extract_symbolic_data
arguments: label: D1121
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D1443
type_infered: f64
name: extract_symbolic_data
arguments: label: D1795
type_infered: f64
name: extract_symbolic_data
arguments: label: D1469
type_infered: f64
name: extract_symbolic_data
arguments: label: D1446
type_infered: f64
name: extract_symbolic_data
arguments: label: D533
type_infered: f64
name: extract_symbolic_data
arguments: label: D679
type_infered: f64
name: extract_symbolic_data
arguments: label: D857
type_infered: f64
name: extract_symbolic_data
arguments: label: D1306
type_infered: f64
name: extract_symbolic_data
arguments: label: D532
type_infered: f64
name: extract_symbolic_data
arguments: label: D1263
type_infered: f64
name: extract_symbolic_data
arguments: label: D1148
type_infered: f64
name: extract_symbolic_data
arguments: label: D1004
type_infered: f64
name: extract_symbolic_data
arguments: label: D14
type_infered: f64

tool: {"D1220": [0.0,-1.875]}

tool: D1206: 1

tool: {"D1386": [0.0,-2.125]}

tool: D653: 3

tool: {"D1362": [0.0,-2.375]}

tool: D1653: 12

tool: D935: 6

tool: {"D664": [0.0,-2.5625]}

tool: D323: 40

tool: D203: 30

tool: D937: 4

tool: D1226: 10

tool: {"D1091": [0.0,-2.71875]}

tool: D1088: 100

tool: D1626: 150

tool: D1793: 60

tool: D566: 5

tool: D162: 15

tool: {"D1660": [0.0,-2.828125]}

tool: D1406: 210

tool: D850: 525

tool: D1638: 420

tool: D188: 105

tool: D196: 21

tool: {"D572": [0.0,-2.9375]}

tool: D260: 392

tool: D987: 1470

tool: D1537: 1960

tool: D871: 980

tool: D304: 168

tool: D793: 7

tool: D518: 28

tool: {"D191": [0.0,-3.03125]}

tool: D855: 672

tool: D696: 3528

tool: D498: 7056

tool: D88: 5880

tool: D863: 2016

tool: D1534: 252

tool: D1108: 8

tool: D1204: 36

tool: {"D1385": [0.0,-3.1015625]}

tool: D970: 1080

tool: D1736: 7560

tool: D1339: 21168

tool: D11: 26460

tool: D40: 15120

tool: D1454: 3780

tool: D601: 360

tool: D1355: 9

tool: D1270: 45

tool: {"D547": [0.0,-3.1796875]}

tool: D802: 1650

tool: D320: 14850

tool: D899: 55440

tool: D963: 97020

tool: D1354: 83160

tool: D180: 34650

tool: D672: 6600

tool: D902: 495

tool: D212: 55

tool: {"D59": [0.0,-3.2578125]}

tool: D0: 2420

tool: D67: 27225

tool: D999: 130680

tool: D737: 304920

tool: D1058: 365904

tool: D337: 228690

tool: D641: 72600

tool: D1238: 10890

tool: D120: 660

tool: D9: 11

tool: D1349: 66

tool: {"D423": [0.0,-3.3046875]}

tool: D1485: 3432

tool: D1247: 47190

tool: D1495: 283140

tool: D45: 849420

tool: D642: 1359072

tool: D258: 1189188

tool: D1268: 566280

tool: D1435: 141570

tool: D1075: 17160

tool: D1024: 858

tool: D839: 78

tool: {"D1121": [0.0,-3.35546875]}

tool: D1443: 4732

tool: D1795: 78078

tool: D1469: 572572

tool: D1446: 2147145

tool: D533: 4416984

tool: D679: 5153148

tool: D857: 3435432

tool: D1306: 1288287

tool: D532: 260260

tool: D1263: 26026

tool: D1148: 1092

tool: D1004: 13

tool: D14: 91

assistant: ```c
int EnDrv(int ip, double r, double s, double drv[2]) {
  double t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18;
  double t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35;
  if (ip == 0) {
    drv[0] = 0.0;
    drv[1] = 0.0;
  } else if (ip == 1) {
    drv[0] = -1.0;
    drv[1] = 1.0;
  } else if (ip == 2) {
    drv[0] = -3.0 * s + 2.0 * r;
    drv[1] = 2.0 * s - 3.0 * r;
  } else if (ip == 3) {
    t1 = s * s;
    t2 = r * s;
    t3 = r * r;
    drv[0] = -6.0 * t1 + 12.0 * t2 - 3.0 * t3;
    drv[1] = 3.0 * t1 - 12.0 * t2 + 6.0 * t3;
  } else if (ip == 4) {
    t1 = s * s;
    t2 = t1 * s;
    t3 = r * t1;
    t4 = r * r;
    t5 = t4 * s;
    t6 = t4 * r;
    drv[0] = -10.0 * t2 + 40.0 * t3 - 30.0 * t5 + 4.0 * t6;
    drv[1] = 4.0 * t2 - 30.0 * t3 + 40.0 * t5 - 10.0 * t6;
  } else if (ip == 5) {
    t1 = s * s;
    t2 = t1 * t1;
    t4 = r * t1 * s;
    t5 = r * r;
    t6 = t5 * t1;
    t8 = t5 * r * s;
    t9 = t5 * t5;
    drv[0] = -15.0 * t2 + 100.0 * t4 - 150.0 * t6 + 60.0 * t8 - 5.0 * t9;
    drv[1] = 5.0 * t2 - 60.0 * t4 + 150.0 * t6 - 100.0 * t8 + 15.0 * t9;
  } else if (ip == 6) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * s;
    t4 = r * t2;
    t5 = r * r;
    t7 = t5 * t1 * s;
    t9 = t5 * r * t1;
    t10 = t5 * t5;
    t11 = t10 * s;
    t12 = t10 * r;
    drv[0] = -21.0 * t3 + 210.0 * t4 - 525.0 * t7 + 420.0 * t9 - 105.0 * t11 + 6.0 * t12;
    drv[1] = 6.0 * t3 - 105.0 * t4 + 420.0 * t7 - 525.0 * t9 + 210.0 * t11 - 21.0 * t12;
  } else if (ip == 7) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t1;
    t5 = r * t2 * s;
    t6 = r * r;
    t7 = t6 * t2;
    t10 = t6 * r * t1 * s;
    t11 = t6 * t6;
    t12 = t11 * t1;
    t14 = t11 * r * s;
    t15 = t11 * t6;
    drv[0] = -28.0 * t3 + 392.0 * t5 - 1470.0 * t7 + 1960.0 * t10 - 980.0 * t12 + 168.0 * t14 - 7.0 * t15;
    drv[1] = 7.0 * t3 - 168.0 * t5 + 980.0 * t7 - 1960.0 * t10 + 1470.0 * t12 - 392.0 * t14 + 28.0 * t15;
  } else if (ip == 8) {
    t1 = s * s;
    t2 = t1 * s;
    t3 = t1 * t1;
    t4 = t3 * t2;
    t6 = r * t3 * t1;
    t7 = r * r;
    t9 = t7 * t3 * s;
    t10 = t7 * r;
    t11 = t10 * t3;
    t12 = t7 * t7;
    t13 = t12 * t2;
    t15 = t12 * r * t1;
    t17 = t12 * t7 * s;
    t18 = t12 * t10;
    drv[0] = -36.0 * t4 + 672.0 * t6 - 3528.0 * t9 + 7056.0 * t11 - 5880.0 * t13 + 2016.0 * t15 - 252.0 * t17 + 8.0 * t18;
    drv[1] = 8.0 * t4 - 252.0 * t6 + 2016.0 * t9 - 5880.0 * t11 + 7056.0 * t13 - 3528.0 * t15 + 672.0 * t17 - 36.0 * t18;
  } else if (ip == 9) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t2;
    t4 = t1 * s;
    t6 = r * t2 * t4;
    t7 = r * r;
    t9 = t7 * t2 * t1;
    t10 = t7 * r;
    t12 = t10 * t2 * s;
    t13 = t7 * t7;
    t14 = t13 * t2;
    t16 = t13 * r * t4;
    t18 = t13 * t7 * t1;
    t20 = t13 * t10 * s;
    t21 = t13 * t13;
    drv[0] = -45.0 * t3 + 1080.0 * t6 - 7560.0 * t9 + 21168.0 * t12 - 26460.0 * t14 + 15120.0 * t16 - 3780.0 * t18 + 360.0 * t20 - 9.0 * t21;
    drv[1] = 9.0 * t3 - 360.0 * t6 + 3780.0 * t9 - 15120.0 * t12 + 26460.0 * t14 - 21168.0 * t16 + 7560.0 * t18 - 1080.0 * t20 + 45.0 * t21;
  } else if (ip == 10) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t2;
    t4 = t3 * s;
    t5 = r * t3;
    t6 = r * r;
    t7 = t1 * s;
    t9 = t6 * t2 * t7;
    t10 = t6 * r;
    t12 = t10 * t2 * t1;
    t13 = t6 * t6;
    t15 = t13 * t2 * s;
    t17 = t13 * r * t2;
    t19 = t13 * t6 * t7;
    t21 = t13 * t10 * t1;
    t22 = t13 * t13;
    t23 = t22 * s;
    t24 = t22 * r;
    drv[0] = -55.0 * t4 + 1650.0 * t5 - 14850.0 * t9 + 55440.0 * t12 - 97020.0 * t15 + 83160.0 * t17 - 34650.0 * t19 + 6600.0 * t21 - 495.0 * t23 + 10.0 * t24;
    drv[1] = 10.0 * t4 - 495.0 * t5 + 6600.0 * t9 - 34650.0 * t12 + 83160.0 * t15 - 97020.0 * t17 + 55440.0 * t19 - 14850.0 * t21 + 1650.0 * t23 - 55.0 * t24;
  } else if (ip == 11) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t2;
    t4 = t3 * t1;
    t6 = r * t3 * s;
    t7 = r * r;
    t8 = t7 * t3;
    t9 = t7 * r;
    t10 = t1 * s;
    t12 = t9 * t2 * t10;
    t13 = t7 * t7;
    t15 = t13 * t2 * t1;
    t18 = t13 * r * t2 * s;
    t20 = t13 * t7 * t2;
    t22 = t13 * t9 * t10;
    t23 = t13 * t13;
    t24 = t23 * t1;
    t26 = t23 * r * s;
    t27 = t23 * t7;
    t28 = -66.0 * t4 + 2420.0 * t6 - 27225.0 * t8 + 130680.0 * t12 - 304920.0 * t15 + 365904.0 * t18 - 228690.0 * t20 + 72600.0 * t22 - 10890.0 * t24 + 660.0 * t26 - 11.0 * t27;
    t29 = 11.0 * t4 - 660.0 * t6 + 10890.0 * t8 - 72600.0 * t12 + 228690.0 * t15 - 365904.0 * t18 + 304920.0 * t20 - 130680.0 * t22 + 27225.0 * t24 - 2420.0 * t26 + 66.0 * t27;
    drv[0] = t28;
    drv[1] = t29;
  } else if (ip == 12) {
    t1 = s * s;
    t2 = t1 * s;
    t3 = t1 * t1;
    t4 = t3 * t3;
    t5 = t4 * t2;
    t7 = r * t4 * t1;
    t8 = r * r;
    t10 = t8 * t4 * s;
    t11 = t8 * r;
    t12 = t11 * t4;
    t13 = t8 * t8;
    t15 = t13 * t3 * t2;
    t18 = t13 * r * t3 * t1;
    t21 = t13 * t8 * t3 * s;
    t23 = t13 * t11 * t3;
    t24 = t13 * t13;
    t25 = t24 * t2;
    t27 = t24 * r * t1;
    t29 = t24 * t8 * s;
    t30 = t24 * t11;
    t31 = -78.0 * t5 + 3432.0 * t7 - 47190.0 * t10 + 283140.0 * t12 - 849420.0 * t15 + 1359072.0 * t18 - 1189188.0 * t21 + 566280.0 * t23 - 141570.0 * t25 + 17160.0 * t27 - 858.0 * t29 + 12.0 * t30;
    t32 = 12.0 * t5 - 858.0 * t7 + 17160.0 * t10 - 141570.0 * t12 + 566280.0 * t15 - 1189188.0 * t18 + 1359072.0 * t21 - 849420.0 * t23 + 283140.0 * t25 - 47190.0 * t27 + 3432.0 * t29 - 78.0 * t30;
    drv[0] = t31;
    drv[1] = t32;
  } else if (ip == 13) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t2;
    t4 = t3 * t2;
    t5 = t1 * s;
    t7 = r * t3 * t5;
    t8 = r * r;
    t10 = t8 * t3 * t1;
    t11 = t8 * r;
    t13 = t11 * t3 * s;
    t14 = t8 * t8;
    t15 = t14 * t3;
    t18 = t14 * r * t2 * t5;
    t21 = t14 * t8 * t2 * t1;
    t24 = t14 * t11 * t2 * s;
    t25 = t14 * t14;
    t26 = t25 * t2;
    t28 = t25 * r * t5;
    t30 = t25 * t8 * t1;
    t32 = t25 * t11 * s;
    t33 = t25 * t14;
    t34 = -91.0 * t4 + 4732.0 * t7 - 78078.0 * t10 + 572572.0 * t13 - 2147145.0 * t15 + 4416984.0 * t18 - 5153148.0 * t21 + 3435432.0 * t24 - 1288287.0 * t26 + 260260.0 * t28 - 26026.0 * t30 + 1092.0 * t32 - 13.0 * t33;
    t35 = 13.0 * t4 - 1092.0 * t7 + 26026.0 * t10 - 260260.0 * t13 + 1288287.0 * t15 - 3435432.0 * t18 + 5153148.0 * t21 - 4416984.0 * t24 + 2147145.0 * t26 - 572572.0 * t28 + 78078.0 * t30 - 4732.0 * t32 + 91.0 * t33;
    drv[0] = t34;
    drv[1] = t35;
  } else
    return 0;
  return 1;
}
```