user: 这段汇编代码用C语言表示是什么样的?

```asm
<En>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x60,%rsp
  mov    %edi,-0xc4(%rbp)
  movsd  %xmm0,-0xd0(%rbp)
  movsd  %xmm1,-0xd8(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  cmpl   $0x0,-0xc4(%rbp)
  jne    L74
  movsd  D533(%rip),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L74:
  cmpl   $0x1,-0xc4(%rbp)
  jne    L151
  movsd  -0xd8(%rbp),%xmm0
  subsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L151:
  cmpl   $0x2,-0xc4(%rbp)
  jne    L158
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xd0(%rbp),%xmm1
  movsd  D664(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xd8(%rbp),%xmm1
  movsd  -0xb0(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0xa0(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L158:
  cmpl   $0x3,-0xc4(%rbp)
  jne    L262
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D742(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x98(%rbp),%xmm2
  movsd  D742(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x98(%rbp),%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L262:
  cmpl   $0x4,-0xc4(%rbp)
  jne    L172
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0xd0(%rbp),%xmm1
  movsd  D356(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movsd  -0xa8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D491(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  D356(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  mulsd  -0xd8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x88(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L172:
  cmpl   $0x5,-0xc4(%rbp)
  jne    L141
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  -0xa8(%rbp),%xmm2
  movsd  D290(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D125(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm2
  movsd  D125(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x28(%rbp),%xmm2
  movsd  D290(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L141:
  cmpl   $0x6,-0xc4(%rbp)
  jne    L166
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D380(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D532(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D238(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  mulsd  -0xb0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x58(%rbp),%xmm2
  movsd  D532(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D380(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L166:
  cmpl   $0x7,-0xc4(%rbp)
  jne    L268
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D788(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm2
  movsd  D572(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm2
  movsd  D298(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xa0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D298(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x80(%rbp),%xmm2
  movsd  D572(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D788(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x30(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x80(%rbp),%xmm1
  mulsd  -0x28(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L268:
  cmpl   $0x8,-0xc4(%rbp)
  jne    L247
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0xd0(%rbp),%xmm1
  movsd  D47(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x98(%rbp),%xmm2
  movsd  -0xa0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm2
  movsd  D150(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm2
  movsd  D603(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D739(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm2
  movsd  D603(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x98(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D150(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x30(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm2
  movsd  D47(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x28(%rbp),%xmm1
  mulsd  -0xd8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L247:
  cmpl   $0x9,-0xc4(%rbp)
  jne    L208
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x18(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x18(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  -0xa0(%rbp),%xmm2
  movsd  D379(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x18(%rbp),%xmm2
  movsd  D190(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm2
  movsd  D233(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D316(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm2
  movsd  D316(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xa8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D233(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm2
  movsd  D190(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x28(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x10(%rbp),%xmm2
  movsd  D379(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L208:
  cmpl   $0xa,-0xc4(%rbp)
  jne    L171
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D489(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x30(%rbp),%xmm2
  movsd  D325(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x88(%rbp),%xmm2
  movsd  D110(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x28(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D308(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm2
  movsd  D618(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D308(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x30(%rbp),%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm2
  movsd  D110(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x88(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x28(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x20(%rbp),%xmm2
  movsd  D325(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm2
  movsd  D489(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L171:
  cmpl   $0xb,-0xc4(%rbp)
  jne    L167
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x40(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  -0x98(%rbp),%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D614(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x98(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x90(%rbp),%xmm2
  movsd  D670(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x98(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D648(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x98(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D158(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm2
  movsd  D610(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  mulsd  -0xa0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D610(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x90(%rbp),%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x40(%rbp),%xmm2
  movsd  D158(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x58(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xa0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x38(%rbp),%xmm2
  movsd  D648(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x38(%rbp),%xmm2
  movsd  D670(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x38(%rbp),%xmm2
  movsd  D614(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x90(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x38(%rbp),%xmm1
  mulsd  -0x58(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L167:
  cmpl   $0xc,-0xc4(%rbp)
  jne    L80
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x50(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D234(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x60(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x90(%rbp),%xmm2
  movsd  D384(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D255(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x50(%rbp),%xmm2
  movsd  D46(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x50(%rbp),%xmm2
  movsd  D83(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x60(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x50(%rbp),%xmm2
  movsd  D692(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x90(%rbp),%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x50(%rbp),%xmm2
  movsd  D83(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x58(%rbp),%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x48(%rbp),%xmm2
  movsd  D46(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x48(%rbp),%xmm2
  movsd  D255(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x60(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x48(%rbp),%xmm2
  movsd  D384(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x90(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x48(%rbp),%xmm2
  movsd  D234(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x58(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  jmp    L217
L80:
  cmpl   $0xd,-0xc4(%rbp)
  jne    L217
  movsd  -0xd8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x90(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x78(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x78(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x98(%rbp),%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  movsd  -0xd0(%rbp),%xmm2
  movsd  D324(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x98(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x90(%rbp),%xmm2
  movsd  D335(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x98(%rbp),%xmm0
  mulsd  -0x88(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x80(%rbp),%xmm2
  movsd  D741(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x98(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x78(%rbp),%xmm2
  movsd  D711(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x98(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm2
  movsd  D401(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x98(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x78(%rbp),%xmm2
  movsd  D510(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x90(%rbp),%xmm0
  mulsd  -0xa8(%rbp),%xmm0
  mulsd  -0x88(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D510(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x80(%rbp),%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x68(%rbp),%xmm2
  movsd  D401(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0xa0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  D711(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xa8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x68(%rbp),%xmm2
  movsd  D741(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x90(%rbp),%xmm0
  mulsd  -0x88(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x68(%rbp),%xmm2
  movsd  D335(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  -0x80(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xb0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x68(%rbp),%xmm2
  movsd  D324(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x78(%rbp),%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x68(%rbp),%xmm1
  mulsd  -0x70(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
L217:
  movsd  -0xb8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D533
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D664
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D742
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D356
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D491
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D290
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D125
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D380
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D532
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D238
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D788
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D572
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D298
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D47
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D150
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D603
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D739
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D379
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D190
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D233
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D316
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D489
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D325
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D110
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D308
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D618
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D614
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D670
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D648
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D158
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D610
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D234
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D384
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D255
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D46
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D83
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D692
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D324
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D335
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D741
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D711
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D401
data_type: f64
name: extract_symbolic_data
arguments: data_tag: D510
data_type: f64

tool: D533: 1

tool: D664: 3

tool: D742: 6

tool: D356: 10

tool: D491: 20

tool: D290: 15

tool: D125: 50

tool: D380: 21

tool: D532: 105

tool: D238: 175

tool: D788: 28

tool: D572: 196

tool: D298: 490

tool: D47: 36

tool: D150: 336

tool: D603: 1176

tool: D739: 1764

tool: D379: 45

tool: D190: 540

tool: D233: 2520

tool: D316: 5292

tool: D489: 55

tool: D325: 825

tool: D110: 4950

tool: D308: 13860

tool: D618: 19404

tool: D614: 66

tool: D670: 1210

tool: D648: 9075

tool: D158: 32670

tool: D610: 60984

tool: D234: 78

tool: D384: 1716

tool: D255: 15730

tool: D46: 70785

tool: D83: 169884

tool: D692: 226512

tool: D324: 91

tool: D335: 2366

tool: D741: 26026

tool: D711: 143143

tool: D401: 429429

tool: D510: 736164

assistant: ```c
double En(int ip, double r, double s) {
  double f = 0.0;
  double t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t18;
  double t21, t22, t23, t24, t25, t26;
  if (ip == 0) {
    f = 1.0;
  } else if (ip == 1) {
    f = s - r;
  } else if (ip == 2) {
    t1 = s * s;
    t3 = r * r;
    f = t1 - 3.0 * r * s + t3;
  } else if (ip == 3) {
    t1 = s * s;
    t4 = r * r;
    f = t1 * s - 6.0 * r * t1 + 6.0 * t4 * s - t4 * r;
  } else if (ip == 4) {
    t1 = s * s;
    t2 = t1 * t1;
    t5 = r * r;
    t9 = t5 * t5;
    f = t2 - 10.0 * r * t1 * s + 20.0 * t5 * t1 - 10.0 * t5 * r * s + t9;
  } else if (ip == 5) {
    t1 = s * s;
    t2 = t1 * t1;
    t5 = r * r;
    t10 = t5 * t5;
    f = t2 * s - 15.0 * t2 * r + 50.0 * t5 * t1 * s - 50.0 * t5 * r * t1 + 15.0 * t10 * s - t10 * r;
  } else if (ip == 6) {
    t1 = s * s;
    t2 = t1 * t1;
    t6 = r * r;
    t11 = t6 * t6;
    f = t2 * t1 - 21.0 * r * t2 * s + 105.0 * t6 * t2 - 175.0 * t6 * r * t1 * s + 105.0 * t11 * t1 - 21.0 * t11 * r * s + t11 * t6;
  } else if (ip == 7) {
    t1 = s * s;
    t2 = t1 * s;
    t3 = t1 * t1;
    t7 = r * r;
    t10 = t7 * r;
    t12 = t7 * t7;
    f = t3 * t2 - 28.0 * r * t3 * t1 + 196.0 * t7 * t3 * s - 490.0 * t10 * t3 + 490.0 * t12 * t2 - 196.0 * t12 * r * t1 + 28.0 * t12 * t7 * s - t12 * t10;
  } else if (ip == 8) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t2;
    t4 = t1 * s;
    t7 = r * r;
    t10 = t7 * r;
    t13 = t7 * t7;
    t21 = t13 * t13;
    f = t3 - 36.0 * r * t2 * t4 + 336.0 * t7 * t2 * t1 - 1176.0 * t10 * t2 * s + 1764.0 * t13 * t2 - 1176.0 * t13 * r * t4 + 336.0 * t13 * t7 * t1 - 36.0 * t13 * t10 * s + t21;
  } else if (ip == 9) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t2;
    t6 = r * r;
    t7 = t1 * s;
    t10 = t6 * r;
    t13 = t6 * t6;
    t22 = t13 * t13;
    f = t3 * s - 45.0 * t3 * r + 540.0 * t6 * t2 * t7 - 2520.0 * t10 * t2 * t1 + 5292.0 * t13 * t2 * s - 5292.0 * t13 * r * t2 + 2520.0 * t13 * t6 * t7 - 540.0 * t13 * t10 * t1 + 45.0 * t22 * s - t22 * r;
  } else if (ip == 10) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t2;
    t7 = r * r;
    t9 = t7 * r;
    t10 = t1 * s;
    t13 = t7 * t7;
    t23 = t13 * t13;
    f = t3 * t1 - 55.0 * r * t3 * s + 825.0 * t7 * t3 - 4950.0 * t9 * t2 * t10 + 13860.0 * t13 * t2 * t1 - 19404.0 * t13 * r * t2 * s + 13860.0 * t13 * t7 * t2 - 4950.0 * t13 * t9 * t10 + 825.0 * t23 * t1 - 55.0 * t23 * r * s + t23 * t7;
  } else if (ip == 11) {
    t1 = s * s;
    t2 = t1 * s;
    t3 = t1 * t1;
    t4 = t3 * t3;
    t8 = r * r;
    t11 = t8 * r;
    t13 = t8 * t8;
    t24 = t13 * t13;
    f = t2 * t4 - 66.0 * r * t4 * t1 + 1210.0 * t8 * t4 * s - 9075.0 * t11 * t4 + 32670.0 * t13 * t3 * t2 - 60984.0 * t13 * r * t3 * t1 + 60984.0 * t13 * t8 * t3 * s - 32670.0 * t13 * t11 * t3 + 9075.0 * t24 * t2 - 1210.0 * t24 * r * t1 + 66.0 * t24 * t8 * s - t24 * t11;
  } else if (ip == 12) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * t2;
    t5 = t1 * s;
    t8 = r * r;
    t11 = t8 * r;
    t14 = t8 * t8;
    t25 = t14 * t14;
    f = t3 * t2 - 78.0 * r * t3 * t5 + 1716.0 * t8 * t3 * t1 - 15730.0 * t11 * t3 * s + 70785.0 * t14 * t3 - 169884.0 * t14 * r * t2 * t5 + 226512.0 * t14 * t8 * t2 * t1 - 169884.0 * t14 * t11 * t2 * s + 70785.0 * t25 * t2 - 15730.0 * t25 * r * t5 + 1716.0 * t25 * t8 * t1 - 78.0 * t25 * t11 * s + t25 * t14;
  } else if (ip == 13) {
    t1 = s * s;
    t2 = t1 * t1;
    t3 = t2 * s;
    t4 = t2 * t2;
    t8 = r * r;
    t9 = t1 * s;
    t12 = t8 * r;
    t15 = t8 * t8;
    t18 = t15 * r;
    t26 = t15 * t15;
    f = t4 * t3 - 91.0 * r * t2 * t4 + 2366.0 * t8 * t4 * t9 - 26026.0 * t12 * t4 * t1 + 143143.0 * t15 * t4 * s - 429429.0 * t18 * t4 + 736164.0 * t15 * t8 * t2 * t9 - 736164.0 * t15 * t12 * t2 * t1 + 429429.0 * t26 * t3 - 143143.0 * t26 * r * t2 + 26026.0 * t26 * t8 * t9 - 2366.0 * t26 * t12 * t1 + 91.0 * t26 * t15 * s - t26 * t18;
  }
  return f;
}
```