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

```asm
<imgprojac_motstr>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x2d0,%rsp
  mov    %edi,-0x2a4(%rbp)
  mov    %esi,-0x2a8(%rbp)
  mov    %rdx,-0x2b0(%rbp)
  mov    %rcx,-0x2b8(%rbp)
  mov    %r8,-0x2c0(%rbp)
  mov    %r9,-0x2c8(%rbp)
  mov    0x10(%rbp),%rax
  mov    (%rax),%rax
  mov    %rax,-0x298(%rbp)
  mov    0x10(%rbp),%rax
  mov    0x8(%rax),%rax
  mov    %rax,-0x290(%rbp)
  mov    -0x2a4(%rbp),%eax
  shl    $0x2,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x298(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x288(%rbp)
  mov    -0x2b0(%rbp),%rax
  mov    (%rax),%rax
  movsd  D372(%rip),%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x280(%rbp)
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  movsd  D372(%rip),%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x278(%rbp)
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  movsd  D372(%rip),%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x270(%rbp)
  movsd  D223(%rip),%xmm0
  subsd  -0x280(%rbp),%xmm0
  subsd  -0x278(%rbp),%xmm0
  subsd  -0x270(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x268(%rbp)
  movsd  D223(%rip),%xmm0
  divsd  -0x268(%rbp),%xmm0
  movsd  %xmm0,-0x260(%rbp)
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  movsd  -0x260(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x258(%rbp)
  movsd  -0x258(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x250(%rbp)
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  movsd  -0x260(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x248(%rbp)
  movsd  -0x248(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x240(%rbp)
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movsd  -0x260(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x238(%rbp)
  movsd  -0x238(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x230(%rbp)
  movsd  -0x250(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x240(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x230(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x228(%rbp)
  movsd  -0x268(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x220(%rbp)
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x268(%rbp),%xmm1
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x218(%rbp)
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x268(%rbp),%xmm1
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x210(%rbp)
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x218(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x210(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x208(%rbp)
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  -0x260(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x200(%rbp)
  movsd  -0x200(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1f8(%rbp)
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x268(%rbp),%xmm0
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1f0(%rbp)
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x1f0(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x218(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x210(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1e8(%rbp)
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x1f8(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x240(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x230(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1e0(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x1f8(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x230(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x250(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1d8(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x1f0(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x210(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1d0(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x1f8(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x250(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  -0x240(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1c8(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1f0(%rbp),%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x220(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  -0x218(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1c0(%rbp)
  movsd  -0x228(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x218(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x240(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x1f8(%rbp),%xmm0
  mulsd  -0x1d0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x1d8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1c8(%rbp),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x1c0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x250(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x1e0(%rbp),%xmm0
  mulsd  -0x210(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1e8(%rbp),%xmm0
  mulsd  -0x230(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1b8(%rbp)
  movsd  -0x228(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x210(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x230(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x1f8(%rbp),%xmm0
  mulsd  -0x1c0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x1c8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x1e0(%rbp),%xmm1
  mulsd  -0x218(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x1e8(%rbp),%xmm1
  mulsd  -0x240(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x1d8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x220(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x1d0(%rbp),%xmm0
  mulsd  -0x250(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1b0(%rbp)
  movsd  -0x208(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x210(%rbp),%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x1c0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x1e8(%rbp),%xmm1
  mulsd  -0x218(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x1d0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x220(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1a8(%rbp)
  movsd  D223(%rip),%xmm0
  divsd  -0x1a8(%rbp),%xmm0
  movsd  %xmm0,-0x1a0(%rbp)
  movsd  -0x208(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x218(%rbp),%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x1d0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1c0(%rbp),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1e8(%rbp),%xmm0
  mulsd  -0x210(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x198(%rbp)
  movsd  -0x1a8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x190(%rbp)
  movsd  D223(%rip),%xmm0
  divsd  -0x190(%rbp),%xmm0
  movsd  %xmm0,-0x188(%rbp)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x208(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x220(%rbp),%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x1e8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x1d0(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0x210(%rbp),%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x1c0(%rbp),%xmm0
  mulsd  -0x218(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x198(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x188(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x180(%rbp)
  movsd  -0x258(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x178(%rbp)
  movsd  -0x248(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x170(%rbp)
  movsd  -0x238(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x168(%rbp)
  movsd  -0x178(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x170(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x168(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x160(%rbp)
  movsd  -0x200(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x158(%rbp)
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x158(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x170(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x168(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x150(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x158(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x168(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x178(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x148(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x158(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x178(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  -0x170(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x140(%rbp)
  movsd  -0x160(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x218(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x170(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x158(%rbp),%xmm0
  mulsd  -0x1d0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x148(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x140(%rbp),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x1c0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x178(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x150(%rbp),%xmm0
  mulsd  -0x210(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1e8(%rbp),%xmm0
  mulsd  -0x168(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x138(%rbp)
  movsd  -0x160(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x210(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x168(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x158(%rbp),%xmm0
  mulsd  -0x1c0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x140(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x150(%rbp),%xmm1
  mulsd  -0x218(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x1e8(%rbp),%xmm1
  mulsd  -0x170(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x148(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x220(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x1d0(%rbp),%xmm0
  mulsd  -0x178(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x130(%rbp)
  movsd  -0x258(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x128(%rbp)
  movsd  -0x248(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x120(%rbp)
  movsd  -0x238(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  -0x128(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x120(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x118(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x110(%rbp)
  movsd  -0x200(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x108(%rbp)
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x108(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x120(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x118(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x100(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x108(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x128(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x108(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x128(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  -0x120(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xf0(%rbp)
  movsd  -0x110(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x218(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x120(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x108(%rbp),%xmm0
  mulsd  -0x1d0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0xf8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0xf0(%rbp),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x1c0(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x128(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x100(%rbp),%xmm0
  mulsd  -0x210(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1e8(%rbp),%xmm0
  mulsd  -0x118(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe8(%rbp)
  movsd  -0x110(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0x210(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x118(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x108(%rbp),%xmm0
  mulsd  -0x1c0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0xf0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x100(%rbp),%xmm1
  mulsd  -0x218(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x1e8(%rbp),%xmm1
  mulsd  -0x120(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0xf8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x220(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x1d0(%rbp),%xmm0
  mulsd  -0x128(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x198(%rbp),%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x188(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x228(%rbp),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0x250(%rbp),%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x1f8(%rbp),%xmm0
  mulsd  -0x1e8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x1e0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x1d8(%rbp),%xmm1
  mulsd  -0x210(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x1d0(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0x230(%rbp),%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x1c8(%rbp),%xmm0
  mulsd  -0x218(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1c0(%rbp),%xmm0
  mulsd  -0x240(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1b8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1b0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  -0x180(%rbp),%xmm1
  mulsd  -0x1b0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2c0(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x160(%rbp),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0x178(%rbp),%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x158(%rbp),%xmm0
  mulsd  -0x1e8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x150(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x148(%rbp),%xmm1
  mulsd  -0x210(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x1d0(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0x168(%rbp),%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x140(%rbp),%xmm0
  mulsd  -0x218(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1c0(%rbp),%xmm0
  mulsd  -0x170(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x138(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  -0x180(%rbp),%xmm1
  mulsd  -0x130(%rbp),%xmm1
  mov    -0x2c0(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x110(%rbp),%xmm0
  mulsd  -0x220(%rbp),%xmm0
  movsd  -0x208(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0x128(%rbp),%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0x108(%rbp),%xmm0
  mulsd  -0x1e8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1f0(%rbp),%xmm0
  mulsd  -0x100(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xf8(%rbp),%xmm1
  mulsd  -0x210(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x1d0(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0x118(%rbp),%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  -0xf0(%rbp),%xmm0
  mulsd  -0x218(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x1c0(%rbp),%xmm0
  mulsd  -0x120(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xe8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xe0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  -0x180(%rbp),%xmm1
  mulsd  -0xe0(%rbp),%xmm1
  mov    -0x2c0(%rbp),%rax
  add    $0x10,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x2c0(%rbp),%rax
  add    $0x18,%rax
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x2c0(%rbp),%rax
  add    $0x20,%rax
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  mov    -0x2c0(%rbp),%rax
  add    $0x28,%rax
  subsd  -0x180(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x1b8(%rbp),%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1b0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  -0xd8(%rbp),%xmm1
  mulsd  -0x1b0(%rbp),%xmm1
  mov    -0x2c0(%rbp),%rax
  add    $0x30,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x138(%rbp),%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x130(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  -0xd8(%rbp),%xmm1
  mulsd  -0x130(%rbp),%xmm1
  mov    -0x2c0(%rbp),%rax
  add    $0x38,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xe8(%rbp),%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xe0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  -0xd8(%rbp),%xmm1
  mulsd  -0xe0(%rbp),%xmm1
  mov    -0x2c0(%rbp),%rax
  add    $0x40,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x2c0(%rbp),%rax
  add    $0x48,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mov    -0x2c0(%rbp),%rax
  add    $0x50,%rax
  mulsd  -0x1a0(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1a0(%rbp),%xmm0
  mov    -0x2c0(%rbp),%rax
  add    $0x58,%rax
  subsd  -0xd8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x2b0(%rbp),%rax
  mov    (%rax),%rax
  movsd  D372(%rip),%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x280(%rbp)
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  movsd  D372(%rip),%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x278(%rbp)
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  movsd  D372(%rip),%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x270(%rbp)
  movsd  D223(%rip),%xmm0
  subsd  -0x280(%rbp),%xmm0
  subsd  -0x278(%rbp),%xmm0
  subsd  -0x270(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x268(%rbp)
  movsd  -0x268(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x248(%rbp)
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0x268(%rbp),%xmm0
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x230(%rbp)
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x268(%rbp),%xmm1
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0x268(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x288(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x288(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x2b0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x2b0(%rbp),%rax
  movsd  (%rax),%xmm2
  mov    -0x288(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xa8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  subsd  -0xa0(%rbp),%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x208(%rbp)
  movsd  -0x208(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  -0x90(%rbp),%xmm0
  movsd  -0xd0(%rbp),%xmm1
  mulsd  -0xc0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0xc0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x1f0(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mulsd  -0xb8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mulsd  -0xc0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0x2b8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xc8(%rbp),%xmm1
  mov    -0x2b8(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x2b8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x1f0(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xc0(%rbp),%xmm1
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0x80(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x78(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd0(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  D223(%rip),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x1f0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xb8(%rbp),%xmm1
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0x70(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x78(%rbp),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x68(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  D223(%rip),%xmm0
  divsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x1f0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0x78(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x70(%rbp),%xmm1
  mulsd  -0xc0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x80(%rbp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  -0xb8(%rbp),%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  mov    -0x2b0(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x58(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x68(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0xb0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x230(%rbp),%xmm1
  movsd  -0xd0(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  subsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  movq   D128(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x28(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movsd  -0xc8(%rbp),%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  subsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x1b0(%rbp)
  movsd  -0x20(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  addsd  -0x28(%rbp),%xmm0
  movsd  -0xb8(%rbp),%xmm1
  mulsd  -0xc0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x230(%rbp),%xmm1
  movsd  -0xb8(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  %xmm0,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  subsd  -0x248(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x58(%rbp),%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x68(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x48(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x248(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x230(%rbp),%xmm1
  movsd  -0xc0(%rbp),%xmm0
  movapd %xmm0,%xmm3
  mulsd  %xmm0,%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  subsd  -0xb0(%rbp),%xmm0
  mulsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x98(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x88(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm1
  mulsd  -0x88(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x2c8(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  -0xa0(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movapd %xmm0,%xmm2
  addsd  -0xa8(%rbp),%xmm2
  movsd  -0xd0(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1b0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm1
  mulsd  -0x1b0(%rbp),%xmm1
  mov    -0x2c8(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x90(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  movsd  -0xc8(%rbp),%xmm1
  mulsd  -0xb8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  subsd  -0x208(%rbp),%xmm0
  mulsd  %xmm0,%xmm2
  movapd %xmm2,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x40(%rbp),%xmm1
  mulsd  -0x10(%rbp),%xmm1
  mov    -0x2c8(%rbp),%rax
  add    $0x10,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x98(%rbp),%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x88(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  -0x88(%rbp),%xmm1
  mov    -0x2c8(%rbp),%rax
  add    $0x18,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x30(%rbp),%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x1b0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  -0x1b0(%rbp),%xmm1
  mov    -0x2c8(%rbp),%rax
  add    $0x20,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x290(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  mov    -0x290(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  -0x10(%rbp),%xmm1
  mov    -0x2c8(%rbp),%rax
  add    $0x28,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D372
type_infered: f64
name: extract_symbolic_data
arguments: label: D223
type_infered: f64
name: extract_symbolic_data
arguments: label: D128
type_infered: f32[2]

tool: D372: 2

tool: D223: 1

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

assistant: ```c
void imgprojac_motstr(int j, int i, double *rt, double *xyz, double *jrt, double *jst, double **adata) {
  double *qr0, *r0 = adata[0], *a = adata[1];
  double t1, t2, t3, t5, t6, t7, t9, t11, t13, t15, t17, t19, t24, t31, t37, t39, t41, t43, t48, t52, t57, t62, t67, t72, t77, t89, t99, t106, t107, t119, t123, t124, t125, t129, t132, t135, t137, t141, t146, t151, t157, t170, t180, t187, t190, t193, t195, t199, t204, t209, t215, t228, t238, t255, t10, t16, t22, t28, t29, t32, t35, t36, t38, t42, t53, t58, t63, t65, t66, t78, t82, t83, t84, t92, t93, t95, t98, t111, t114, t127;
  qr0 = r0 + j * 4;
  t1 = pow(rt[0], 0.2e1);
  t2 = pow(rt[1], 0.2e1);
  t3 = pow(rt[2], 0.2e1);
  t5 = sqrt(0.1e1 - t1 - t2 - t3);
  t6 = 0.1e1 / t5;
  t7 = t6 * qr0[1];
  t9 = -t7 * rt[0] + qr0[0];
  t11 = t6 * qr0[2];
  t13 = -t11 * rt[0] - qr0[3];
  t15 = t6 * qr0[3];
  t17 = -t15 * rt[0] + qr0[2];
  t19 = -t9 * xyz[0] - t13 * xyz[1] - t17 * xyz[2];
  t24 = -t5 * qr0[1] - qr0[0] * rt[0] - rt[1] * qr0[3] + rt[2] * qr0[2];
  t31 = t5 * qr0[2] + qr0[0] * rt[1] + rt[2] * qr0[1] - rt[0] * qr0[3];
  t37 = t5 * qr0[3] + qr0[0] * rt[2] + rt[0] * qr0[2] - rt[1] * qr0[1];
  t39 = t24 * xyz[0] - t31 * xyz[1] - t37 * xyz[2];
  t41 = t6 * qr0[0];
  t43 = -t41 * rt[0] - qr0[1];
  t48 = t5 * qr0[0] - rt[0] * qr0[1] - rt[1] * qr0[2] - rt[2] * qr0[3];
  t52 = t48 * xyz[0] + t31 * xyz[2] - t37 * xyz[1];
  t57 = t43 * xyz[0] + t13 * xyz[2] - t17 * xyz[1];
  t62 = t43 * xyz[1] + t17 * xyz[0] - t9 * xyz[2];
  t67 = t48 * xyz[1] + t37 * xyz[0] + t24 * xyz[2];
  t72 = t43 * xyz[2] + t9 * xyz[1] - t13 * xyz[0];
  t77 = t48 * xyz[2] - t24 * xyz[1] - t31 * xyz[0];
  t89 = -t19 * t31 - t39 * t13 + t43 * t67 + t48 * t62 + t72 * t24 - t77 * t9 + t57 * t37 + t52 * t17;
  t99 = -t19 * t37 - t39 * t17 + t43 * t77 + t48 * t72 - t57 * t31 - t52 * t13 - t62 * t24 + t67 * t9;
  t106 = -t39 * t37 + t48 * t77 - t52 * t31 - t67 * t24 + rt[5];
  t107 = 0.1e1 / t106;
  t119 = -t39 * t31 + t48 * t67 + t77 * t24 + t52 * t37 + rt[4];
  t123 = t106 * t106;
  t124 = 0.1e1 / t123;
  t125 = (a[0] * (t39 * t24 + t48 * t52 - t67 * t37 + t77 * t31 + rt[3]) + a[1] * t119 + a[2] * t106) * t124;
  t129 = -t7 * rt[1] + qr0[3];
  t132 = -t11 * rt[1] + qr0[0];
  t135 = -t15 * rt[1] - qr0[1];
  t137 = -t129 * xyz[0] - t132 * xyz[1] - t135 * xyz[2];
  t141 = -t41 * rt[1] - qr0[2];
  t146 = t141 * xyz[0] + t132 * xyz[2] - t135 * xyz[1];
  t151 = t141 * xyz[1] + t135 * xyz[0] - t129 * xyz[2];
  t157 = t141 * xyz[2] + t129 * xyz[1] - t132 * xyz[0];
  t170 = -t137 * t31 - t39 * t132 + t141 * t67 + t48 * t151 + t157 * t24 - t77 * t129 + t146 * t37 + t52 * t135;
  t180 = -t137 * t37 - t39 * t135 + t141 * t77 + t48 * t157 - t146 * t31 - t52 * t132 - t151 * t24 + t67 * t129;
  t187 = -t7 * rt[2] - qr0[2];
  t190 = -t11 * rt[2] + qr0[1];
  t193 = -t15 * rt[2] + qr0[0];
  t195 = -t187 * xyz[0] - t190 * xyz[1] - t193 * xyz[2];
  t199 = -t41 * rt[2] - qr0[3];
  t204 = t199 * xyz[0] + t190 * xyz[2] - t193 * xyz[1];
  t209 = t199 * xyz[1] + t193 * xyz[0] - t187 * xyz[2];
  t215 = t199 * xyz[2] + t187 * xyz[1] - t190 * xyz[0];
  t228 = -t195 * t31 - t39 * t190 + t199 * t67 + t48 * t209 + t215 * t24 - t77 * t187 + t204 * t37 + t52 * t193;
  t238 = -t195 * t37 - t39 * t193 + t199 * t77 + t48 * t215 - t204 * t31 - t52 * t190 - t209 * t24 + t67 * t187;
  t255 = (a[3] * t119 + a[4] * t106) * t124;
  jrt[0] = (a[0] * (t19 * t24 - t39 * t9 + t43 * t52 + t48 * t57 - t62 * t37 - t67 * t17 + t72 * t31 + t77 * t13) + a[1] * t89 + a[2] * t99) * t107 - t125 * t99;
  jrt[1] = (a[0] * (t137 * t24 - t39 * t129 + t141 * t52 + t48 * t146 - t151 * t37 - t67 * t135 + t157 * t31 + t77 * t132) + a[1] * t170 + a[2] * t180) * t107 - t125 * t180;
  jrt[2] = (a[0] * (t195 * t24 - t39 * t187 + t199 * t52 + t48 * t204 - t209 * t37 - t67 * t193 + t215 * t31 + t77 * t190) + a[1] * t228 + a[2] * t238) * t107 - t125 * t238;
  jrt[3] = a[0] * t107;
  jrt[4] = a[1] * t107;
  jrt[5] = a[2] * t107 - t125;
  jrt[6] = (a[3] * t89 + a[4] * t99) * t107 - t255 * t99;
  jrt[7] = (a[3] * t170 + a[4] * t180) * t107 - t255 * t180;
  jrt[8] = (a[3] * t228 + a[4] * t238) * t107 - t255 * t238;
  jrt[9] = 0.0e0;
  jrt[10] = a[3] * t107;
  jrt[11] = a[4] * t107 - t255;
  t1 = pow(rt[0], 0.2e1);
  t2 = pow(rt[1], 0.2e1);
  t3 = pow(rt[2], 0.2e1);
  t5 = sqrt(0.1e1 - t1 - t2 - t3);
  t10 = -t5 * qr0[1] - qr0[0] * rt[0] - rt[1] * qr0[3] + rt[2] * qr0[2];
  t11 = t10 * t10;
  t16 = t5 * qr0[0] - rt[0] * qr0[1] - rt[1] * qr0[2] - rt[2] * qr0[3];
  t17 = t16 * t16;
  t22 = t5 * qr0[3] + qr0[0] * rt[2] + rt[0] * qr0[2] - rt[1] * qr0[1];
  t28 = -t5 * qr0[2] - qr0[0] * rt[1] - rt[2] * qr0[1] + rt[0] * qr0[3];
  t29 = t28 * t28;
  t32 = t10 * t28;
  t35 = -t16 * t22;
  t36 = 0.2e1 * t32 + t16 * t22 - t35;
  t38 = -t10 * t22;
  t39 = t16 * t28;
  t42 = t38 + 0.2e1 * t39 - t10 * t22;
  t48 = t10 * xyz[0] + t28 * xyz[1] - t22 * xyz[2];
  t53 = t16 * xyz[2] - t10 * xyz[1] + t28 * xyz[0];
  t58 = t16 * xyz[0] - t28 * xyz[2] - t22 * xyz[1];
  t63 = t16 * xyz[1] + t22 * xyz[0] + t10 * xyz[2];
  t65 = -t48 * t22 + t16 * t53 + t58 * t28 - t63 * t10 + rt[5];
  t66 = 0.1e1 / t65;
  t78 = t48 * t28 + t16 * t63 + t53 * t10 + t58 * t22 + rt[4];
  t82 = t65 * t65;
  t83 = 0.1e1 / t82;
  t84 = (a[0] * (t48 * t10 + t16 * t58 - t63 * t22 - t53 * t28 + rt[3]) + a[1] * t78 + a[2] * t65) * t83;
  t92 = t22 * t22;
  t93 = t29 + t17 - t10 * t10 - t92;
  t95 = -t28 * t22;
  t98 = t16 * t10;
  t99 = 0.2e1 * t95 - t16 * t10 - t98;
  t111 = t95 + 0.2e1 * t98 - t28 * t22;
  t114 = t92 + t17 - t28 * t28 - t11;
  t127 = (a[3] * t78 + a[4] * t65) * t83;
  jst[0] = (a[0] * (t11 + t17 - t22 * t22 - t29) + a[1] * t36 + a[2] * t42) * t66 - t84 * t42;
  jst[1] = (a[0] * (t32 + 0.2e1 * t35 + t10 * t28) + a[1] * t93 + a[2] * t99) * t66 - t84 * t99;
  jst[2] = (a[0] * (0.2e1 * t38 - t16 * t28 - t39) + a[1] * t111 + a[2] * t114) * t66 - t84 * t114;
  jst[3] = (a[3] * t36 + a[4] * t42) * t66 - t127 * t42;
  jst[4] = (a[3] * t93 + a[4] * t99) * t66 - t127 * t99;
  jst[5] = (a[3] * t111 + a[4] * t114) * t66 - t127 * t114;
}
```