user: 下面的汇编指令对应的C源代码是什么：

```asm
<interp_weno11>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x98,%rsp
  movsd  %xmm0,-0xd8(%rbp)
  movsd  %xmm1,-0xe0(%rbp)
  movsd  %xmm2,-0xe8(%rbp)
  movsd  %xmm3,-0xf0(%rbp)
  movsd  %xmm4,-0xf8(%rbp)
  movsd  %xmm5,-0x100(%rbp)
  movsd  %xmm6,-0x108(%rbp)
  movsd  %xmm7,-0x110(%rbp)
  movsd  -0xd8(%rbp),%xmm1
  movsd  D877(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1008(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xe8(%rbp),%xmm2
  movsd  D1185(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D975(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D27(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D1571(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  movsd  -0xe0(%rbp),%xmm1
  movsd  D418(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0xe8(%rbp),%xmm2
  movsd  D1035(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D648(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D686(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D243(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D1463(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0xe8(%rbp),%xmm1
  movsd  D232(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D123(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D8(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D1524(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D1449(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D1123(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0xf0(%rbp),%xmm1
  movsd  D1050(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D1107(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D648(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D648(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D1107(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x10(%rbp),%xmm2
  movsd  D1050(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xf8(%rbp),%xmm1
  movsd  D1123(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D1449(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D1524(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D8(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x10(%rbp),%xmm2
  movsd  D123(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x18(%rbp),%xmm2
  movsd  D232(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0x100(%rbp),%xmm1
  movsd  D1463(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D243(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D686(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x10(%rbp),%xmm2
  movsd  D648(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x18(%rbp),%xmm2
  movsd  D1035(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x20(%rbp),%xmm2
  movsd  D418(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xd8(%rbp),%xmm1
  movsd  D88(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1124(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xe8(%rbp),%xmm2
  movsd  D57(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xf0(%rbp),%xmm2
  movsd  D1411(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D140(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x100(%rbp),%xmm2
  movsd  D1491(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xd8(%rbp),%xmm1
  movsd  -0xe0(%rbp),%xmm2
  movsd  D1342(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0xe8(%rbp),%xmm3
  movsd  D991(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0xf0(%rbp),%xmm3
  movsd  D577(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  -0xf8(%rbp),%xmm3
  movsd  D1596(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x100(%rbp),%xmm3
  movsd  D1047(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0xe0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xe8(%rbp),%xmm2
  movsd  D424(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0xf0(%rbp),%xmm3
  movsd  D1553(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0xf8(%rbp),%xmm3
  movsd  D1791(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  -0x100(%rbp),%xmm3
  movsd  D437(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D200(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0xf8(%rbp),%xmm3
  movsd  D1384(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x100(%rbp),%xmm3
  movsd  D173(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D1667(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x100(%rbp),%xmm3
  movsd  D1499(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0xf8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D204(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x100(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xe0(%rbp),%xmm1
  movsd  D582(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xe8(%rbp),%xmm2
  movsd  D1687(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D196(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xf8(%rbp),%xmm2
  movsd  D223(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D753(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x108(%rbp),%xmm2
  movsd  D768(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xe0(%rbp),%xmm1
  movsd  -0xe8(%rbp),%xmm2
  movsd  D591(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0xf0(%rbp),%xmm3
  movsd  D221(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0xf8(%rbp),%xmm3
  movsd  D708(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  -0x100(%rbp),%xmm3
  movsd  D407(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x108(%rbp),%xmm3
  movsd  D1339(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D1485(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0xf8(%rbp),%xmm3
  movsd  D532(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x100(%rbp),%xmm3
  movsd  D1223(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  -0x108(%rbp),%xmm3
  movsd  D1246(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D29(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x100(%rbp),%xmm3
  movsd  D876(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x108(%rbp),%xmm3
  movsd  D793(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0xf8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D829(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x108(%rbp),%xmm3
  movsd  D1688(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0x100(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D88(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x108(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0xe8(%rbp),%xmm1
  movsd  D1009(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xf0(%rbp),%xmm2
  movsd  D443(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D1612(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x100(%rbp),%xmm2
  movsd  D1158(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D1134(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x110(%rbp),%xmm2
  movsd  D1108(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xe8(%rbp),%xmm1
  movsd  -0xf0(%rbp),%xmm2
  movsd  D775(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0xf8(%rbp),%xmm3
  movsd  D497(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x100(%rbp),%xmm3
  movsd  D939(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  -0x108(%rbp),%xmm3
  movsd  D189(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x110(%rbp),%xmm3
  movsd  D50(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D1012(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x100(%rbp),%xmm3
  movsd  D311(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x108(%rbp),%xmm3
  movsd  D63(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  -0x110(%rbp),%xmm3
  movsd  D1221(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0xf8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D884(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x108(%rbp),%xmm3
  movsd  D168(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x110(%rbp),%xmm3
  movsd  D1582(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x100(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D907(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x110(%rbp),%xmm3
  movsd  D771(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0x108(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D582(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x110(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0xf0(%rbp),%xmm1
  movsd  D582(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xf8(%rbp),%xmm2
  movsd  D771(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D1582(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x108(%rbp),%xmm2
  movsd  D1221(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D50(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x10(%rbp),%xmm2
  movsd  D1108(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xf0(%rbp),%xmm1
  movsd  -0xf8(%rbp),%xmm2
  movsd  D907(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x100(%rbp),%xmm3
  movsd  D168(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x108(%rbp),%xmm3
  movsd  D63(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  -0x110(%rbp),%xmm3
  movsd  D189(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x10(%rbp),%xmm3
  movsd  D1134(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0xf8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D884(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x108(%rbp),%xmm3
  movsd  D311(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x110(%rbp),%xmm3
  movsd  D939(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  0x10(%rbp),%xmm3
  movsd  D1158(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0x100(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D1012(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x110(%rbp),%xmm3
  movsd  D497(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x10(%rbp),%xmm3
  movsd  D1612(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x108(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D775(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  0x10(%rbp),%xmm3
  movsd  D443(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0x110(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x10(%rbp),%xmm2
  movsd  D1009(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  0x10(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0xf8(%rbp),%xmm1
  movsd  D88(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x100(%rbp),%xmm2
  movsd  D1688(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D793(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x110(%rbp),%xmm2
  movsd  D1246(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x10(%rbp),%xmm2
  movsd  D1339(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x18(%rbp),%xmm2
  movsd  D768(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xf8(%rbp),%xmm1
  movsd  -0x100(%rbp),%xmm2
  movsd  D829(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x108(%rbp),%xmm3
  movsd  D876(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  -0x110(%rbp),%xmm3
  movsd  D1223(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  0x10(%rbp),%xmm3
  movsd  D407(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x18(%rbp),%xmm3
  movsd  D753(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x100(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D29(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x110(%rbp),%xmm3
  movsd  D532(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x10(%rbp),%xmm3
  movsd  D708(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  0x18(%rbp),%xmm3
  movsd  D223(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0x108(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D1485(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  0x10(%rbp),%xmm3
  movsd  D221(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x18(%rbp),%xmm3
  movsd  D196(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x110(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x10(%rbp),%xmm2
  movsd  D591(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  0x18(%rbp),%xmm3
  movsd  D1687(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  0x10(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x18(%rbp),%xmm2
  movsd  D582(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  0x18(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x100(%rbp),%xmm1
  movsd  D204(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x108(%rbp),%xmm2
  movsd  D1499(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D173(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x10(%rbp),%xmm2
  movsd  D437(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  0x18(%rbp),%xmm2
  movsd  D1047(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  0x20(%rbp),%xmm2
  movsd  D1491(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x100(%rbp),%xmm1
  movsd  -0x108(%rbp),%xmm2
  movsd  D1667(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  -0x110(%rbp),%xmm3
  movsd  D1384(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x10(%rbp),%xmm3
  movsd  D1791(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  0x18(%rbp),%xmm3
  movsd  D1596(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x20(%rbp),%xmm3
  movsd  D140(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x108(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x110(%rbp),%xmm2
  movsd  D200(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  0x10(%rbp),%xmm3
  movsd  D1553(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x18(%rbp),%xmm3
  movsd  D577(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  movsd  0x20(%rbp),%xmm3
  movsd  D1411(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  -0x110(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x10(%rbp),%xmm2
  movsd  D424(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  0x18(%rbp),%xmm3
  movsd  D991(%rip),%xmm2
  mulsd  %xmm2,%xmm3
  movapd %xmm0,%xmm2
  subsd  %xmm3,%xmm2
  movsd  0x20(%rbp),%xmm3
  movsd  D57(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  0x10(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x18(%rbp),%xmm2
  movsd  D1342(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  0x20(%rbp),%xmm3
  movsd  D1124(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm0
  mulsd  0x18(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  0x20(%rbp),%xmm2
  movsd  D88(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x98(%rbp),%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x98(%rbp),%xmm2
  movsd  D98(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D630(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x90(%rbp),%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x90(%rbp),%xmm2
  movsd  D98(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D1219(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x88(%rbp),%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x88(%rbp),%xmm2
  movsd  D98(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D368(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D98(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D365(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x78(%rbp),%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x78(%rbp),%xmm2
  movsd  D98(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D956(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x70(%rbp),%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x70(%rbp),%xmm2
  movsd  D98(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D265(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x68(%rbp),%xmm0
  addsd  -0x60(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x40(%rbp),%xmm1
  movsd  D1780(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x68(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x50(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x40(%rbp),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xc8(%rbp),%xmm1
  movsd  -0x28(%rbp),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x18(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x10(%rbp),%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x8(%rbp),%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D877
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1008
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1185
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D975
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D27
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1571
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D418
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1035
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D648
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D686
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D243
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1463
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D232
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D123
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D8
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1524
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1449
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1123
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1050
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1107
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D88
type: f64
name: extract_symbolic_data
arguments: data_label: D1124
type: f64
name: extract_symbolic_data
arguments: data_label: D57
type: f64
name: extract_symbolic_data
arguments: data_label: D1411
type: f64
name: extract_symbolic_data
arguments: data_label: D140
type: f64
name: extract_symbolic_data
arguments: data_label: D1491
type: f64
name: extract_symbolic_data
arguments: data_label: D1342
type: f64
name: extract_symbolic_data
arguments: data_label: D991
type: f64
name: extract_symbolic_data
arguments: data_label: D577
type: f64
name: extract_symbolic_data
arguments: data_label: D1596
type: f64
name: extract_symbolic_data
arguments: data_label: D1047
type: f64
name: extract_symbolic_data
arguments: data_label: D424
type: f64
name: extract_symbolic_data
arguments: data_label: D1553
type: f64
name: extract_symbolic_data
arguments: data_label: D1791
type: f64
name: extract_symbolic_data
arguments: data_label: D437
type: f64
name: extract_symbolic_data
arguments: data_label: D200
type: f64
name: extract_symbolic_data
arguments: data_label: D1384
type: f64
name: extract_symbolic_data
arguments: data_label: D173
type: f64
name: extract_symbolic_data
arguments: data_label: D1667
type: f64
name: extract_symbolic_data
arguments: data_label: D1499
type: f64
name: extract_symbolic_data
arguments: data_label: D204
type: f64
name: extract_symbolic_data
arguments: data_label: D582
type: f64
name: extract_symbolic_data
arguments: data_label: D1687
type: f64
name: extract_symbolic_data
arguments: data_label: D196
type: f64
name: extract_symbolic_data
arguments: data_label: D223
type: f64
name: extract_symbolic_data
arguments: data_label: D753
type: f64
name: extract_symbolic_data
arguments: data_label: D768
type: f64
name: extract_symbolic_data
arguments: data_label: D591
type: f64
name: extract_symbolic_data
arguments: data_label: D221
type: f64
name: extract_symbolic_data
arguments: data_label: D708
type: f64
name: extract_symbolic_data
arguments: data_label: D407
type: f64
name: extract_symbolic_data
arguments: data_label: D1339
type: f64
name: extract_symbolic_data
arguments: data_label: D1485
type: f64
name: extract_symbolic_data
arguments: data_label: D532
type: f64
name: extract_symbolic_data
arguments: data_label: D1223
type: f64
name: extract_symbolic_data
arguments: data_label: D1246
type: f64
name: extract_symbolic_data
arguments: data_label: D29
type: f64
name: extract_symbolic_data
arguments: data_label: D876
type: f64
name: extract_symbolic_data
arguments: data_label: D793
type: f64
name: extract_symbolic_data
arguments: data_label: D829
type: f64
name: extract_symbolic_data
arguments: data_label: D1688
type: f64
name: extract_symbolic_data
arguments: data_label: D1009
type: f64
name: extract_symbolic_data
arguments: data_label: D443
type: f64
name: extract_symbolic_data
arguments: data_label: D1612
type: f64
name: extract_symbolic_data
arguments: data_label: D1158
type: f64
name: extract_symbolic_data
arguments: data_label: D1134
type: f64
name: extract_symbolic_data
arguments: data_label: D1108
type: f64
name: extract_symbolic_data
arguments: data_label: D775
type: f64
name: extract_symbolic_data
arguments: data_label: D497
type: f64
name: extract_symbolic_data
arguments: data_label: D939
type: f64
name: extract_symbolic_data
arguments: data_label: D189
type: f64
name: extract_symbolic_data
arguments: data_label: D50
type: f64
name: extract_symbolic_data
arguments: data_label: D1012
type: f64
name: extract_symbolic_data
arguments: data_label: D311
type: f64
name: extract_symbolic_data
arguments: data_label: D63
type: f64
name: extract_symbolic_data
arguments: data_label: D1221
type: f64
name: extract_symbolic_data
arguments: data_label: D884
type: f64
name: extract_symbolic_data
arguments: data_label: D168
type: f64
name: extract_symbolic_data
arguments: data_label: D1582
type: f64
name: extract_symbolic_data
arguments: data_label: D907
type: f64
name: extract_symbolic_data
arguments: data_label: D771
type: f64
name: extract_symbolic_data
arguments: data_label: D98
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D630
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1219
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D368
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D365
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D956
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D265
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D1780
type: f64

tool: {"D877": [0x55,0x55,0x55,0x55,0x55,0x55,0xc5,0xbf]}

tool: {"D1008": [0x89,0x88,0x88,0x88,0x88,0x88,0xf0,0x3f]}

tool: {"D1185": [0xbc,0xbb,0xbb,0xbb,0xbb,0xbb,0x05,0xc0]}

tool: {"D975": [0x9a,0x99,0x99,0x99,0x99,0x99,0x0f,0x40]}

tool: {"D27": [0x66,0x66,0x66,0x66,0x66,0x66,0x0c,0xc0]}

tool: {"D1571": [0x9a,0x99,0x99,0x99,0x99,0x99,0x03,0x40]}

tool: {"D418": [0x11,0x11,0x11,0x11,0x11,0x11,0xa1,0x3f]}

tool: {"D1035": [0xbc,0xbb,0xbb,0xbb,0xbb,0xbb,0xcb,0xbf]}

tool: {"D648": [0xbc,0xbb,0xbb,0xbb,0xbb,0xbb,0xe3,0x3f]}

tool: {"D686": [0xcd,0xcc,0xcc,0xcc,0xcc,0xcc,0xf0,0xbf]}

tool: {"D243": [0x33,0x33,0x33,0x33,0x33,0x33,0xf7,0x3f]}

tool: {"D1463": [0x55,0x55,0x55,0x55,0x55,0x55,0xc5,0x3f]}

tool: {"D232": [0x11,0x11,0x11,0x11,0x11,0x11,0x91,0xbf]}

tool: {"D123": [0xde,0xdd,0xdd,0xdd,0xdd,0xdd,0xbd,0x3f]}

tool: {"D8": [0x89,0x88,0x88,0x88,0x88,0x88,0xd8,0xbf]}

tool: {"D1524": [0x66,0x66,0x66,0x66,0x66,0x66,0xee,0x3f]}

tool: {"D1449": [0x77,0x77,0x77,0x77,0x77,0x77,0xd7,0x3f]}

tool: {"D1123": [0x11,0x11,0x11,0x11,0x11,0x11,0xa1,0xbf]}

tool: {"D1050": [0x11,0x11,0x11,0x11,0x11,0x11,0x91,0x3f]}

tool: {"D1107": [0x11,0x11,0x11,0x11,0x11,0x11,0xc1,0xbf]}

tool: D88: 1152561

tool: D1124: 12950184

tool: D57: 29442256

tool: D1411: 33918804

tool: D140: 19834350

tool: D1491: 4712740

tool: D1342: 36480687

tool: D991: 166461044

tool: D577: 192596472

tool: D1596: 113206788

tool: D1047: 27060170

tool: D424: 190757572

tool: D1553: 444003904

tool: D1791: 262901672

tool: D437: 63394124

tool: D200: 260445372

tool: D1384: 311771244

tool: D173: 76206736

tool: D1667: 94851237

tool: D1499: 47460464

tool: D204: 6150211

tool: D582: 271779

tool: D1687: 3015728

tool: D196: 6694608

tool: D223: 7408908

tool: D753: 4067018

tool: D768: 880548

tool: D591: 8449957

tool: D221: 37913324

tool: D708: 42405032

tool: D407: 23510468

tool: D1339: 5134574

tool: D1485: 43093692

tool: D532: 97838784

tool: D1223: 55053752

tool: D1246: 12183636

tool: D29: 56662212

tool: D876: 65224244

tool: D793: 14742480

tool: D829: 19365967

tool: D1688: 9117992

tool: D1009: 139633

tool: D443: 1429976

tool: D1612: 2863984

tool: D1158: 2792660

tool: D1134: 1325006

tool: D1108: 245620

tool: D775: 3824847

tool: D497: 15880404

tool: D939: 15929912

tool: D189: 7727988

tool: D50: 1458762

tool: D1012: 17195652

tool: D311: 35817664

tool: D63: 17905032

tool: D1221: 3462252

tool: D884: 19510972

tool: D168: 20427884

tool: D1582: 4086352

tool: D907: 5653317

tool: D771: 2380800

tool: {"D98": [0xbb,0xbd,0xd7,0xd9,0xdf,0x7c,0xdb,0x3d]}

tool: {"D630": [0x29,0xed,0x46,0x40,0x4a,0xbb,0x61,0x3f]}

tool: {"D1219": [0x56,0x7e,0x42,0x9c,0x95,0x9f,0xb0,0x3f]}

tool: {"D368": [0xec,0x1d,0x53,0x03,0x7b,0xc7,0xd4,0x3f]}

tool: {"D365": [0x90,0xd2,0x6e,0x04,0xa4,0xb4,0xdb,0x3f]}

tool: {"D956": [0xec,0x1d,0x53,0x03,0x7b,0xc7,0xc4,0x3f]}

tool: {"D265": [0xbe,0x63,0x6a,0x60,0xef,0x98,0x8a,0x3f]}

tool: D1780: 1

assistant: ```c
double interp_weno11(double phim5, double phim4, double phim3, double phim2, double phim1, double phi, double phip1, double phip2, double phip3, double phip4, double phip5) {
  const double p0 = ((-1.0 / 6.0) * phim5 + (31.0 / 30.0) * phim4 + (-163.0 / 60.0) * phim3 + (79.0 / 20.0) * phim2 + (-71.0 / 20.0) * phim1 + (49.0 / 20.0) * phi);
  const double p1 = ((1.0 / 30.0) * phim4 + (-13.0 / 60.0) * phim3 + (37.0 / 60.0) * phim2 + (-21.0 / 20.0) * phim1 + (29.0 / 20.0) * phi + (1.0 / 6.0) * phip1);
  const double p2 = ((-1.0 / 60.0) * phim3 + (7.0 / 60.0) * phim2 + (-23.0 / 60.0) * phim1 + (19.0 / 20.0) * phi + (11.0 / 30.0) * phip1 + (-1.0 / 30.0) * phip2);
  const double p3 = ((1.0 / 60.0) * phim2 + (-2.0 / 15.0) * phim1 + (37.0 / 60.0) * phi + (37.0 / 60.0) * phip1 + (-2.0 / 15.0) * phip2 + (1.0 / 60.0) * phip3);
  const double p4 = ((-1.0 / 30.0) * phim1 + (11.0 / 30.0) * phi + (19.0 / 20.0) * phip1 + (-23.0 / 60.0) * phip2 + (7.0 / 60.0) * phip3 + (-1.0 / 60.0) * phip4);
  const double p5 = ((1.0 / 6.0) * phi + (29.0 / 20.0) * phip1 + (-21.0 / 20.0) * phip2 + (37.0 / 60.0) * phip3 + (-13.0 / 60.0) * phip4 + (1.0 / 30.0) * phip5);
  const double beta0 = (phim5 * (1152561.0 * phim5 - 12950184.0 * phim4 + 29442256.0 * phim3 - 33918804.0 * phim2 + 19834350.0 * phim1 - 4712740.0 * phi) + phim4 * (36480687.0 * phim4 - 166461044.0 * phim3 + 192596472.0 * phim2 - 113206788.0 * phim1 + 27060170.0 * phi) + phim3 * (190757572.0 * phim3 - 444003904.0 * phim2 + 262901672.0 * phim1 - 63394124.0 * phi) + phim2 * (260445372.0 * phim2 - 311771244.0 * phim1 + 76206736.0 * phi) + phim1 * (94851237.0 * phim1 - 47460464.0 * phi) + 6150211.0 * phi * phi);
  const double beta1 = (phim4 * (271779.0 * phim4 - 3015728.0 * phim3 + 6694608.0 * phim2 - 7408908.0 * phim1 + 4067018.0 * phi - 880548.0 * phip1) + phim3 * (8449957.0 * phim3 - 37913324.0 * phim2 + 42405032.0 * phim1 - 23510468.0 * phi + 5134574.0 * phip1) + phim2 * (43093692.0 * phim2 - 97838784.0 * phim1 + 55053752.0 * phi - 12183636.0 * phip1) + phim1 * (56662212.0 * phim1 - 65224244.0 * phi + 14742480.0 * phip1) + phi * (19365967.0 * phi - 9117992.0 * phip1) + 1152561.0 * phip1 * phip1);
  const double beta2 = (phim3 * (139633.0 * phim3 - 1429976.0 * phim2 + 2863984.0 * phim1 - 2792660.0 * phi + 1325006.0 * phip1 - 245620.0 * phip2) + phim2 * (3824847.0 * phim2 - 15880404.0 * phim1 + 15929912.0 * phi - 7727988.0 * phip1 + 1458762.0 * phip2) + phim1 * (17195652.0 * phim1 - 35817664.0 * phi + 17905032.0 * phip1 - 3462252.0 * phip2) + phi * (19510972.0 * phi - 20427884.0 * phip1 + 4086352.0 * phip2) + phip1 * (5653317.0 * phip1 - 2380800.0 * phip2) + 271779.0 * phip2 * phip2);
  const double beta3 = (phim2 * (271779.0 * phim2 - 2380800.0 * phim1 + 4086352.0 * phi - 3462252.0 * phip1 + 1458762.0 * phip2 - 245620.0 * phip3) + phim1 * (5653317.0 * phim1 - 20427884.0 * phi + 17905032.0 * phip1 - 7727988.0 * phip2 + 1325006.0 * phip3) + phi * (19510972.0 * phi - 35817664.0 * phip1 + 15929912.0 * phip2 - 2792660.0 * phip3) + phip1 * (17195652.0 * phip1 - 15880404.0 * phip2 + 2863984.0 * phip3) + phip2 * (3824847.0 * phip2 - 1429976.0 * phip3) + 139633.0 * phip3 * phip3);
  const double beta4 = (phim1 * (1152561.0 * phim1 - 9117992.0 * phi + 14742480.0 * phip1 - 12183636.0 * phip2 + 5134574.0 * phip3 - 880548.0 * phip4) + phi * (19365967.0 * phi - 65224244.0 * phip1 + 55053752.0 * phip2 - 23510468.0 * phip3 + 4067018.0 * phip4) + phip1 * (56662212.0 * phip1 - 97838784.0 * phip2 + 42405032.0 * phip3 - 7408908.0 * phip4) + phip2 * (43093692.0 * phip2 - 37913324.0 * phip3 + 6694608.0 * phip4) + phip3 * (8449957.0 * phip3 - 3015728 * phip4) + 271779.0 * phip4 * phip4);
  const double beta5 = (phi * (6150211.0 * phi - 47460464.0 * phip1 + 76206736.0 * phip2 - 63394124.0 * phip3 + 27060170.0 * phip4 - 4712740.0 * phip5) + phip1 * (94851237.0 * phip1 - 311771244.0 * phip2 + 262901672.0 * phip3 - 113206788.0 * phip4 + 19834350.0 * phip5) + phip2 * (260445372.0 * phip2 - 444003904.0 * phip3 + 192596472.0 * phip4 - 33918804.0 * phip5) + phip3 * (190757572.0 * phip3 - 166461044.0 * phip4 + 29442256.0 * phip5) + phip4 * (36480687.0 * phip4 - 12950184.0 * phip5) + 1152561.0 * phip5 * phip5);
  const double alpha0 = (1.0 / 462.0) / ((beta0 + 1e-10) * (beta0 + 1e-10));
  const double alpha1 = (5.0 / 77.0) / ((beta1 + 1e-10) * (beta1 + 1e-10));
  const double alpha2 = (25.0 / 77.0) / ((beta2 + 1e-10) * (beta2 + 1e-10));
  const double alpha3 = (100.0 / 231.0) / ((beta3 + 1e-10) * (beta3 + 1e-10));
  const double alpha4 = (25.0 / 154.0) / ((beta4 + 1e-10) * (beta4 + 1e-10));
  const double alpha5 = (1.0 / 77.0) / ((beta5 + 1e-10) * (beta5 + 1e-10));
  const double alpha_sum_inv = 1.0 / (alpha0 + alpha1 + alpha2 + alpha3 + alpha4 + alpha5);
  const double w0 = alpha0 * alpha_sum_inv;
  const double w1 = alpha1 * alpha_sum_inv;
  const double w2 = alpha2 * alpha_sum_inv;
  const double w3 = alpha3 * alpha_sum_inv;
  const double w4 = alpha4 * alpha_sum_inv;
  const double w5 = alpha5 * alpha_sum_inv;
  return w0 * p0 + w1 * p1 + w2 * p2 + w3 * p3 + w4 * p4 + w5 * p5;
}
```