user: Converte this assembly snippet into its equivalent C code:

```asm
<imgprojac_motstr>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xf8,%rsp
  mov    %rdx,%r12
  mov    %rcx,%r14
  mov    %r8,%r13
  mov    %r9,%rbp
  mov    0x130(%rsp),%rax
  mov    0x8(%rax),%rbx
  shl    $0x2,%edi
  movslq %edi,%rdi
  mov    (%rax),%rax
  lea    (%rax,%rdi,8),%r15
  movsd  (%rdx),%xmm2
  movsd  %xmm2,(%rsp)
  movsd  0x8(%rdx),%xmm5
  movsd  %xmm5,0x20(%rsp)
  movsd  0x10(%rdx),%xmm7
  movsd  %xmm7,0x50(%rsp)
  movapd %xmm2,%xmm1
  mulsd  %xmm2,%xmm1
  movsd  D62(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm5,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  subsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L36
  sqrtsd %xmm0,%xmm0
L39:
  movsd  D62(%rip),%xmm4
  divsd  %xmm0,%xmm4
  movapd %xmm4,%xmm1
  mulsd  0x8(%r15),%xmm1
  movq   D99(%rip),%xmm3
  movapd %xmm1,%xmm2
  xorpd  %xmm3,%xmm2
  movsd  (%r15),%xmm15
  movsd  (%rsp),%xmm13
  movapd %xmm13,%xmm1
  movsd  %xmm2,0xa8(%rsp)
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm7
  addsd  %xmm15,%xmm7
  movsd  0x10(%r15),%xmm10
  movapd %xmm10,%xmm1
  mulsd  %xmm4,%xmm1
  movapd %xmm1,%xmm5
  xorpd  %xmm3,%xmm5
  movsd  0x18(%r15),%xmm14
  movapd %xmm13,%xmm1
  movsd  %xmm5,0xb0(%rsp)
  mulsd  %xmm5,%xmm1
  subsd  %xmm14,%xmm1
  movapd %xmm1,%xmm12
  movapd %xmm14,%xmm1
  mulsd  %xmm4,%xmm1
  movapd %xmm1,%xmm9
  xorpd  %xmm3,%xmm9
  movapd %xmm13,%xmm1
  movsd  %xmm9,0xb8(%rsp)
  mulsd  %xmm9,%xmm1
  addsd  %xmm10,%xmm1
  movapd %xmm1,%xmm11
  movsd  (%r14),%xmm5
  movsd  0x8(%r14),%xmm6
  movsd  0x10(%r14),%xmm2
  movsd  %xmm7,0x30(%rsp)
  xorpd  %xmm3,%xmm7
  mulsd  %xmm5,%xmm7
  movsd  %xmm12,0x48(%rsp)
  movapd %xmm12,%xmm1
  mulsd  %xmm6,%xmm1
  subsd  %xmm1,%xmm7
  movsd  %xmm11,0x38(%rsp)
  movapd %xmm11,%xmm9
  mulsd  %xmm2,%xmm9
  movapd %xmm7,%xmm8
  subsd  %xmm9,%xmm8
  movq   %xmm8,%rsi
  movapd %xmm0,%xmm8
  xorpd  %xmm3,%xmm8
  movapd %xmm8,%xmm1
  mulsd  0x8(%r15),%xmm1
  movapd %xmm13,%xmm7
  mulsd  %xmm15,%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x20(%rsp),%xmm9
  movapd %xmm9,%xmm7
  mulsd  %xmm14,%xmm7
  subsd  %xmm7,%xmm1
  movsd  0x50(%rsp),%xmm11
  movapd %xmm11,%xmm8
  mulsd  %xmm10,%xmm8
  addsd  %xmm8,%xmm1
  movsd  %xmm1,(%rsp)
  movapd %xmm10,%xmm8
  mulsd  %xmm0,%xmm8
  movapd %xmm9,%xmm7
  mulsd  %xmm15,%xmm7
  addsd  %xmm8,%xmm7
  movapd %xmm11,%xmm8
  mulsd  0x8(%r15),%xmm8
  addsd  %xmm8,%xmm7
  movapd %xmm13,%xmm8
  mulsd  %xmm14,%xmm8
  movapd %xmm7,%xmm12
  subsd  %xmm8,%xmm12
  movapd %xmm14,%xmm8
  mulsd  %xmm0,%xmm8
  movapd %xmm11,%xmm1
  mulsd  %xmm15,%xmm11
  movapd %xmm11,%xmm7
  addsd  %xmm8,%xmm7
  movapd %xmm13,%xmm11
  movapd %xmm13,%xmm8
  mulsd  %xmm10,%xmm8
  addsd  %xmm8,%xmm7
  movapd %xmm9,%xmm8
  mulsd  0x8(%r15),%xmm8
  movapd %xmm7,%xmm13
  subsd  %xmm8,%xmm13
  movapd %xmm5,%xmm8
  mulsd  (%rsp),%xmm8
  movapd %xmm6,%xmm7
  mulsd  %xmm12,%xmm7
  subsd  %xmm7,%xmm8
  movapd %xmm2,%xmm7
  mulsd  %xmm13,%xmm7
  subsd  %xmm7,%xmm8
  mulsd  %xmm15,%xmm4
  xorpd  %xmm3,%xmm4
  movapd %xmm4,%xmm7
  movapd %xmm11,%xmm4
  movsd  %xmm7,0xc0(%rsp)
  mulsd  %xmm7,%xmm4
  subsd  0x8(%r15),%xmm4
  movapd %xmm4,%xmm7
  mulsd  %xmm15,%xmm0
  mulsd  0x8(%r15),%xmm11
  subsd  %xmm11,%xmm0
  movapd %xmm9,%xmm4
  mulsd  %xmm10,%xmm4
  subsd  %xmm4,%xmm0
  movapd %xmm1,%xmm4
  mulsd  %xmm14,%xmm4
  subsd  %xmm4,%xmm0
  movapd %xmm0,%xmm11
  movapd %xmm5,%xmm0
  mulsd  %xmm11,%xmm0
  movapd %xmm2,%xmm4
  mulsd  %xmm12,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm6,%xmm4
  mulsd  %xmm13,%xmm4
  subsd  %xmm4,%xmm0
  movapd %xmm0,%xmm9
  movsd  %xmm7,0x40(%rsp)
  movapd %xmm7,%xmm0
  mulsd  %xmm5,%xmm0
  movsd  0x48(%rsp),%xmm1
  movapd %xmm1,%xmm4
  mulsd  %xmm2,%xmm4
  addsd  %xmm4,%xmm0
  movsd  0x38(%rsp),%xmm7
  movapd %xmm7,%xmm4
  mulsd  %xmm6,%xmm4
  subsd  %xmm4,%xmm0
  movsd  %xmm0,0x58(%rsp)
  movsd  0x40(%rsp),%xmm0
  mulsd  %xmm6,%xmm0
  movapd %xmm7,%xmm4
  mulsd  %xmm5,%xmm4
  addsd  %xmm4,%xmm0
  movsd  0x30(%rsp),%xmm4
  mulsd  %xmm2,%xmm4
  subsd  %xmm4,%xmm0
  movsd  %xmm0,0x60(%rsp)
  movapd %xmm6,%xmm4
  mulsd  %xmm11,%xmm4
  movapd %xmm4,%xmm0
  movapd %xmm5,%xmm4
  mulsd  %xmm13,%xmm4
  movapd %xmm4,%xmm7
  addsd  %xmm0,%xmm7
  movapd %xmm2,%xmm4
  mulsd  (%rsp),%xmm4
  addsd  %xmm4,%xmm7
  movsd  0x40(%rsp),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  0x30(%rsp),%xmm4
  mulsd  %xmm6,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm1,%xmm4
  mulsd  %xmm5,%xmm4
  subsd  %xmm4,%xmm0
  movsd  %xmm0,0x68(%rsp)
  movapd %xmm2,%xmm4
  mulsd  %xmm11,%xmm4
  movapd %xmm6,%xmm0
  mulsd  (%rsp),%xmm0
  subsd  %xmm0,%xmm4
  movapd %xmm5,%xmm0
  mulsd  %xmm12,%xmm0
  subsd  %xmm0,%xmm4
  movsd  %xmm4,0x8(%rsp)
  movq   %rsi,%xmm4
  xorpd  %xmm3,%xmm4
  movapd %xmm4,%xmm0
  mulsd  %xmm12,%xmm0
  movsd  %xmm8,0x10(%rsp)
  mulsd  %xmm8,%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x40(%rsp),%xmm8
  mulsd  %xmm7,%xmm8
  addsd  %xmm0,%xmm8
  movsd  0x60(%rsp),%xmm0
  mulsd  %xmm11,%xmm0
  addsd  %xmm8,%xmm0
  movsd  0x68(%rsp),%xmm8
  mulsd  (%rsp),%xmm8
  addsd  %xmm8,%xmm0
  movsd  0x30(%rsp),%xmm1
  mulsd  0x8(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  0x58(%rsp),%xmm8
  mulsd  %xmm13,%xmm8
  addsd  %xmm8,%xmm0
  movsd  0x38(%rsp),%xmm1
  movapd %xmm1,%xmm8
  mulsd  %xmm9,%xmm8
  addsd  %xmm8,%xmm0
  movsd  %xmm0,0xc8(%rsp)
  mulsd  %xmm13,%xmm4
  mulsd  0x10(%rsp),%xmm1
  subsd  %xmm1,%xmm4
  movsd  0x40(%rsp),%xmm0
  movsd  0x8(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm4
  movsd  0x68(%rsp),%xmm0
  mulsd  %xmm11,%xmm0
  addsd  %xmm4,%xmm0
  movsd  0x58(%rsp),%xmm4
  mulsd  %xmm12,%xmm4
  subsd  %xmm4,%xmm0
  movsd  0x48(%rsp),%xmm8
  mulsd  %xmm9,%xmm8
  subsd  %xmm8,%xmm0
  movsd  0x60(%rsp),%xmm8
  mulsd  (%rsp),%xmm8
  subsd  %xmm8,%xmm0
  movsd  0x30(%rsp),%xmm4
  mulsd  %xmm7,%xmm4
  addsd  %xmm4,%xmm0
  movsd  %xmm0,0x70(%rsp)
  movsd  0x10(%rsp),%xmm4
  xorpd  %xmm3,%xmm4
  movapd %xmm4,%xmm8
  mulsd  %xmm13,%xmm8
  movapd %xmm8,%xmm0
  movapd %xmm1,%xmm8
  mulsd  %xmm11,%xmm8
  addsd  %xmm8,%xmm0
  movapd %xmm9,%xmm8
  mulsd  %xmm12,%xmm8
  subsd  %xmm8,%xmm0
  movsd  (%rsp),%xmm8
  mulsd  %xmm7,%xmm8
  subsd  %xmm8,%xmm0
  addsd  0x28(%r12),%xmm0
  movapd %xmm0,%xmm1
  movsd  D62(%rip),%xmm8
  divsd  %xmm0,%xmm8
  mulsd  %xmm12,%xmm4
  movapd %xmm11,%xmm0
  mulsd  %xmm7,%xmm0
  addsd  %xmm0,%xmm4
  movsd  0x8(%rsp),%xmm0
  mulsd  (%rsp),%xmm0
  addsd  %xmm4,%xmm0
  movapd %xmm9,%xmm4
  mulsd  %xmm13,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm0,%xmm4
  addsd  0x20(%r12),%xmm4
  movsd  %xmm4,0xd0(%rsp)
  movapd %xmm1,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D62(%rip),%xmm4
  divsd  %xmm0,%xmm4
  movsd  %xmm4,0xd8(%rsp)
  movsd  0x10(%rsp),%xmm4
  mulsd  (%rsp),%xmm4
  movapd %xmm4,%xmm0
  movsd  %xmm9,0x18(%rsp)
  movapd %xmm9,%xmm4
  mulsd  %xmm11,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm13,%xmm4
  mulsd  %xmm7,%xmm4
  subsd  %xmm4,%xmm0
  movsd  0x8(%rsp),%xmm4
  mulsd  %xmm12,%xmm4
  addsd  %xmm4,%xmm0
  addsd  0x18(%r12),%xmm0
  mulsd  (%rbx),%xmm0
  movsd  0xd0(%rsp),%xmm4
  mulsd  0x8(%rbx),%xmm4
  addsd  %xmm4,%xmm0
  movsd  %xmm1,0xe0(%rsp)
  movapd %xmm1,%xmm4
  mulsd  0x10(%rbx),%xmm4
  addsd  %xmm4,%xmm0
  mulsd  0xd8(%rsp),%xmm0
  movsd  %xmm0,0x78(%rsp)
  movsd  0x20(%rsp),%xmm9
  movapd %xmm9,%xmm0
  mulsd  0xa8(%rsp),%xmm0
  addsd  %xmm14,%xmm0
  movapd %xmm0,%xmm4
  movapd %xmm9,%xmm0
  mulsd  0xb0(%rsp),%xmm0
  addsd  %xmm15,%xmm0
  movsd  %xmm0,0x20(%rsp)
  movapd %xmm9,%xmm0
  mulsd  0xb8(%rsp),%xmm0
  subsd  0x8(%r15),%xmm0
  movsd  %xmm0,0x28(%rsp)
  movapd %xmm4,%xmm1
  movapd %xmm4,%xmm0
  xorpd  %xmm3,%xmm0
  movapd %xmm0,%xmm4
  mulsd  %xmm5,%xmm4
  movsd  0x20(%rsp),%xmm0
  mulsd  %xmm6,%xmm0
  subsd  %xmm0,%xmm4
  movsd  0x28(%rsp),%xmm0
  mulsd  %xmm2,%xmm0
  subsd  %xmm0,%xmm4
  movq   %xmm4,%rcx
  movapd %xmm9,%xmm0
  mulsd  0xc0(%rsp),%xmm0
  subsd  %xmm10,%xmm0
  movapd %xmm0,%xmm9
  mulsd  %xmm5,%xmm0
  movsd  0x20(%rsp),%xmm4
  mulsd  %xmm2,%xmm4
  addsd  %xmm4,%xmm0
  movsd  0x28(%rsp),%xmm4
  mulsd  %xmm6,%xmm4
  subsd  %xmm4,%xmm0
  movsd  %xmm0,0x88(%rsp)
  movapd %xmm9,%xmm0
  mulsd  %xmm6,%xmm0
  movsd  0x28(%rsp),%xmm4
  mulsd  %xmm5,%xmm4
  addsd  %xmm4,%xmm0
  movapd %xmm1,%xmm4
  mulsd  %xmm2,%xmm4
  subsd  %xmm4,%xmm0
  movsd  %xmm0,0x90(%rsp)
  movsd  %xmm9,0x80(%rsp)
  movapd %xmm9,%xmm0
  mulsd  %xmm2,%xmm0
  movapd %xmm1,%xmm4
  mulsd  %xmm6,%xmm4
  addsd  %xmm4,%xmm0
  movsd  0x20(%rsp),%xmm4
  mulsd  %xmm5,%xmm4
  movapd %xmm0,%xmm9
  subsd  %xmm4,%xmm9
  movsd  %xmm9,0x98(%rsp)
  movq   %rcx,%xmm9
  xorpd  %xmm3,%xmm9
  movapd %xmm9,%xmm4
  mulsd  %xmm12,%xmm9
  movapd %xmm9,%xmm0
  movsd  0x10(%rsp),%xmm9
  mulsd  0x20(%rsp),%xmm9
  subsd  %xmm9,%xmm0
  movsd  0x80(%rsp),%xmm9
  mulsd  %xmm7,%xmm9
  addsd  %xmm0,%xmm9
  movsd  0x90(%rsp),%xmm0
  mulsd  %xmm11,%xmm0
  addsd  %xmm9,%xmm0
  movsd  0x98(%rsp),%xmm9
  mulsd  (%rsp),%xmm9
  addsd  %xmm9,%xmm0
  movsd  0x8(%rsp),%xmm9
  mulsd  %xmm1,%xmm9
  subsd  %xmm9,%xmm0
  movsd  0x88(%rsp),%xmm9
  mulsd  %xmm13,%xmm9
  addsd  %xmm0,%xmm9
  movsd  0x18(%rsp),%xmm0
  mulsd  0x28(%rsp),%xmm0
  addsd  %xmm0,%xmm9
  movq   %xmm9,%rdx
  mulsd  %xmm13,%xmm4
  movsd  0x10(%rsp),%xmm0
  mulsd  0x28(%rsp),%xmm0
  subsd  %xmm0,%xmm4
  movsd  0x8(%rsp),%xmm9
  mulsd  0x80(%rsp),%xmm9
  addsd  %xmm9,%xmm4
  movsd  0x98(%rsp),%xmm9
  mulsd  %xmm11,%xmm9
  addsd  %xmm9,%xmm4
  movsd  0x88(%rsp),%xmm9
  mulsd  %xmm12,%xmm9
  subsd  %xmm9,%xmm4
  movsd  0x18(%rsp),%xmm9
  mulsd  0x20(%rsp),%xmm9
  subsd  %xmm9,%xmm4
  movsd  0x90(%rsp),%xmm9
  mulsd  (%rsp),%xmm9
  subsd  %xmm9,%xmm4
  movsd  %xmm1,0xe8(%rsp)
  movapd %xmm1,%xmm0
  mulsd  %xmm7,%xmm0
  addsd  %xmm0,%xmm4
  movsd  %xmm4,0xa0(%rsp)
  movsd  0xa8(%rsp),%xmm0
  movsd  0x50(%rsp),%xmm1
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm4
  subsd  %xmm10,%xmm4
  movsd  0xb0(%rsp),%xmm10
  mulsd  %xmm1,%xmm10
  addsd  0x8(%r15),%xmm10
  movsd  0xb8(%rsp),%xmm9
  mulsd  %xmm1,%xmm9
  addsd  %xmm15,%xmm9
  movapd %xmm4,%xmm15
  xorpd  %xmm3,%xmm15
  mulsd  %xmm5,%xmm15
  movapd %xmm6,%xmm0
  mulsd  %xmm10,%xmm0
  subsd  %xmm0,%xmm15
  movapd %xmm2,%xmm0
  mulsd  %xmm9,%xmm0
  subsd  %xmm0,%xmm15
  movsd  %xmm15,0x50(%rsp)
  movapd %xmm1,%xmm15
  mulsd  0xc0(%rsp),%xmm15
  movapd %xmm15,%xmm0
  subsd  %xmm14,%xmm0
  movapd %xmm5,%xmm14
  mulsd  %xmm0,%xmm14
  movapd %xmm2,%xmm15
  mulsd  %xmm10,%xmm15
  addsd  %xmm15,%xmm14
  movapd %xmm6,%xmm15
  mulsd  %xmm9,%xmm15
  subsd  %xmm15,%xmm14
  movapd %xmm14,%xmm1
  movapd %xmm6,%xmm14
  mulsd  %xmm0,%xmm14
  movapd %xmm5,%xmm15
  mulsd  %xmm9,%xmm15
  addsd  %xmm15,%xmm14
  movapd %xmm2,%xmm15
  mulsd  %xmm4,%xmm15
  subsd  %xmm15,%xmm14
  mulsd  %xmm0,%xmm2
  mulsd  %xmm4,%xmm6
  addsd  %xmm6,%xmm2
  mulsd  %xmm10,%xmm5
  subsd  %xmm5,%xmm2
  movapd %xmm2,%xmm15
  movsd  0x50(%rsp),%xmm2
  xorpd  %xmm2,%xmm3
  movapd %xmm3,%xmm2
  mulsd  %xmm12,%xmm2
  movsd  0x10(%rsp),%xmm5
  mulsd  %xmm10,%xmm5
  subsd  %xmm5,%xmm2
  movapd %xmm7,%xmm5
  mulsd  %xmm0,%xmm5
  addsd  %xmm2,%xmm5
  movapd %xmm11,%xmm2
  mulsd  %xmm14,%xmm2
  addsd  %xmm5,%xmm2
  movsd  (%rsp),%xmm5
  mulsd  %xmm15,%xmm5
  addsd  %xmm5,%xmm2
  movsd  0x8(%rsp),%xmm5
  mulsd  %xmm4,%xmm5
  subsd  %xmm5,%xmm2
  movapd %xmm1,%xmm5
  mulsd  %xmm13,%xmm5
  addsd  %xmm2,%xmm5
  movsd  0x18(%rsp),%xmm6
  movapd %xmm6,%xmm2
  mulsd  %xmm9,%xmm2
  addsd  %xmm2,%xmm5
  movq   %xmm5,%rax
  mulsd  %xmm13,%xmm3
  movsd  0x10(%rsp),%xmm2
  mulsd  %xmm9,%xmm2
  subsd  %xmm2,%xmm3
  movsd  0x8(%rsp),%xmm5
  mulsd  %xmm0,%xmm5
  addsd  %xmm5,%xmm3
  movapd %xmm11,%xmm5
  mulsd  %xmm15,%xmm5
  addsd  %xmm5,%xmm3
  movsd  %xmm1,0xa8(%rsp)
  movapd %xmm1,%xmm2
  mulsd  %xmm12,%xmm2
  subsd  %xmm2,%xmm3
  movapd %xmm6,%xmm5
  mulsd  %xmm10,%xmm5
  subsd  %xmm5,%xmm3
  movsd  (%rsp),%xmm6
  movapd %xmm6,%xmm5
  mulsd  %xmm14,%xmm5
  subsd  %xmm5,%xmm3
  movapd %xmm7,%xmm5
  mulsd  %xmm4,%xmm5
  movapd %xmm3,%xmm2
  addsd  %xmm5,%xmm2
  movsd  0xd0(%rsp),%xmm3
  mulsd  0x18(%rbx),%xmm3
  movapd %xmm3,%xmm5
  movsd  0xe0(%rsp),%xmm3
  mulsd  0x20(%rbx),%xmm3
  addsd  %xmm3,%xmm5
  mulsd  0xd8(%rsp),%xmm5
  movq   %rsi,%xmm3
  mulsd  %xmm6,%xmm3
  movapd %xmm3,%xmm6
  movsd  0x30(%rsp),%xmm1
  mulsd  0x10(%rsp),%xmm1
  subsd  %xmm1,%xmm6
  movsd  0x40(%rsp),%xmm1
  mulsd  0x18(%rsp),%xmm1
  movapd %xmm1,%xmm3
  addsd  %xmm6,%xmm3
  movsd  0x58(%rsp),%xmm6
  mulsd  %xmm11,%xmm6
  addsd  %xmm6,%xmm3
  movsd  0x60(%rsp),%xmm6
  mulsd  %xmm13,%xmm6
  subsd  %xmm6,%xmm3
  movsd  0x38(%rsp),%xmm6
  mulsd  %xmm7,%xmm6
  subsd  %xmm6,%xmm3
  movsd  0x68(%rsp),%xmm6
  mulsd  %xmm12,%xmm6
  addsd  %xmm3,%xmm6
  movsd  0x48(%rsp),%xmm1
  mulsd  0x8(%rsp),%xmm1
  movapd %xmm1,%xmm3
  addsd  %xmm6,%xmm3
  movapd %xmm3,%xmm6
  mulsd  (%rbx),%xmm6
  movsd  0xc8(%rsp),%xmm3
  mulsd  0x8(%rbx),%xmm3
  addsd  %xmm6,%xmm3
  movsd  0x70(%rsp),%xmm1
  movapd %xmm1,%xmm6
  mulsd  0x10(%rbx),%xmm6
  addsd  %xmm6,%xmm3
  mulsd  %xmm8,%xmm3
  movapd %xmm1,%xmm6
  mulsd  0x78(%rsp),%xmm6
  subsd  %xmm6,%xmm3
  movsd  %xmm3,0x0(%r13)
  movq   %rcx,%xmm6
  mulsd  (%rsp),%xmm6
  movsd  0xe8(%rsp),%xmm1
  mulsd  0x10(%rsp),%xmm1
  subsd  %xmm1,%xmm6
  movsd  0x80(%rsp),%xmm1
  mulsd  0x18(%rsp),%xmm1
  movapd %xmm1,%xmm3
  addsd  %xmm6,%xmm3
  movsd  0x88(%rsp),%xmm6
  mulsd  %xmm11,%xmm6
  addsd  %xmm6,%xmm3
  movsd  0x90(%rsp),%xmm6
  mulsd  %xmm13,%xmm6
  subsd  %xmm6,%xmm3
  movsd  0x28(%rsp),%xmm6
  mulsd  %xmm7,%xmm6
  subsd  %xmm6,%xmm3
  movsd  0x98(%rsp),%xmm6
  mulsd  %xmm12,%xmm6
  addsd  %xmm3,%xmm6
  movsd  0x20(%rsp),%xmm1
  mulsd  0x8(%rsp),%xmm1
  addsd  %xmm1,%xmm6
  mulsd  (%rbx),%xmm6
  movapd %xmm6,%xmm3
  movq   %rdx,%xmm6
  mulsd  0x8(%rbx),%xmm6
  addsd  %xmm3,%xmm6
  movsd  0xa0(%rsp),%xmm1
  movapd %xmm1,%xmm3
  mulsd  0x10(%rbx),%xmm3
  addsd  %xmm3,%xmm6
  mulsd  %xmm8,%xmm6
  movsd  0x78(%rsp),%xmm3
  mulsd  %xmm1,%xmm3
  subsd  %xmm3,%xmm6
  movsd  %xmm6,0x8(%r13)
  movsd  (%rsp),%xmm1
  mulsd  0x50(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm6
  mulsd  %xmm4,%xmm6
  subsd  %xmm6,%xmm1
  movsd  0x18(%rsp),%xmm3
  mulsd  %xmm0,%xmm3
  addsd  %xmm3,%xmm1
  movsd  0xa8(%rsp),%xmm4
  mulsd  %xmm11,%xmm4
  addsd  %xmm4,%xmm1
  mulsd  %xmm14,%xmm13
  subsd  %xmm13,%xmm1
  mulsd  %xmm7,%xmm9
  subsd  %xmm9,%xmm1
  mulsd  %xmm15,%xmm12
  addsd  %xmm12,%xmm1
  movsd  0x8(%rsp),%xmm3
  mulsd  %xmm10,%xmm3
  addsd  %xmm3,%xmm1
  mulsd  (%rbx),%xmm1
  movq   %rax,%xmm4
  mulsd  0x8(%rbx),%xmm4
  addsd  %xmm4,%xmm1
  movapd %xmm2,%xmm4
  mulsd  0x10(%rbx),%xmm4
  addsd  %xmm4,%xmm1
  mulsd  %xmm8,%xmm1
  movsd  0x78(%rsp),%xmm6
  movapd %xmm6,%xmm0
  mulsd  %xmm2,%xmm0
  subsd  %xmm0,%xmm1
  movsd  %xmm1,0x10(%r13)
  movapd %xmm8,%xmm4
  mulsd  (%rbx),%xmm4
  movsd  %xmm4,0x18(%r13)
  movapd %xmm8,%xmm4
  mulsd  0x8(%rbx),%xmm4
  movsd  %xmm4,0x20(%r13)
  movapd %xmm8,%xmm4
  mulsd  0x10(%rbx),%xmm4
  movapd %xmm4,%xmm0
  subsd  %xmm6,%xmm0
  movsd  %xmm0,0x28(%r13)
  movsd  0xc8(%rsp),%xmm0
  mulsd  0x18(%rbx),%xmm0
  movsd  0x70(%rsp),%xmm7
  movapd %xmm7,%xmm1
  mulsd  0x20(%rbx),%xmm1
  addsd  %xmm1,%xmm0
  mulsd  %xmm8,%xmm0
  mulsd  %xmm5,%xmm7
  subsd  %xmm7,%xmm0
  movsd  %xmm0,0x30(%r13)
  movq   %rdx,%xmm0
  mulsd  0x18(%rbx),%xmm0
  movsd  0xa0(%rsp),%xmm7
  movapd %xmm7,%xmm1
  mulsd  0x20(%rbx),%xmm1
  addsd  %xmm1,%xmm0
  mulsd  %xmm8,%xmm0
  mulsd  %xmm5,%xmm7
  subsd  %xmm7,%xmm0
  movsd  %xmm0,0x38(%r13)
  movq   %rax,%xmm0
  mulsd  0x18(%rbx),%xmm0
  movapd %xmm2,%xmm1
  mulsd  0x20(%rbx),%xmm1
  addsd  %xmm1,%xmm0
  mulsd  %xmm8,%xmm0
  mulsd  %xmm5,%xmm2
  subsd  %xmm2,%xmm0
  movsd  %xmm0,0x40(%r13)
  movq   $0x0,0x48(%r13)
  movapd %xmm8,%xmm0
  mulsd  0x18(%rbx),%xmm0
  movsd  %xmm0,0x50(%r13)
  mulsd  0x20(%rbx),%xmm8
  subsd  %xmm5,%xmm8
  movsd  %xmm8,0x58(%r13)
  movsd  (%r12),%xmm2
  movsd  %xmm2,(%rsp)
  movsd  0x8(%r12),%xmm5
  movsd  %xmm5,0x8(%rsp)
  movsd  0x10(%r12),%xmm7
  movsd  %xmm7,0x10(%rsp)
  movapd %xmm2,%xmm1
  mulsd  %xmm2,%xmm1
  movsd  D62(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm5,%xmm1
  subsd  %xmm1,%xmm0
  movapd %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  subsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L7
  sqrtsd %xmm0,%xmm0
L8:
  movapd %xmm0,%xmm2
  xorpd  D99(%rip),%xmm2
  movsd  0x8(%r15),%xmm5
  movsd  (%r15),%xmm3
  movsd  0x18(%r15),%xmm4
  movsd  0x10(%r15),%xmm7
  movapd %xmm2,%xmm1
  mulsd  %xmm5,%xmm1
  movsd  (%rsp),%xmm12
  movapd %xmm12,%xmm6
  mulsd  %xmm3,%xmm6
  subsd  %xmm6,%xmm1
  movsd  0x8(%rsp),%xmm14
  movapd %xmm14,%xmm6
  mulsd  %xmm4,%xmm6
  subsd  %xmm6,%xmm1
  movsd  0x10(%rsp),%xmm13
  movapd %xmm13,%xmm6
  mulsd  %xmm7,%xmm6
  addsd  %xmm6,%xmm1
  movapd %xmm1,%xmm6
  mulsd  %xmm1,%xmm6
  movsd  %xmm6,(%rsp)
  movapd %xmm3,%xmm10
  mulsd  %xmm0,%xmm10
  movapd %xmm10,%xmm6
  movapd %xmm12,%xmm8
  mulsd  %xmm5,%xmm8
  subsd  %xmm8,%xmm6
  movapd %xmm14,%xmm8
  mulsd  %xmm7,%xmm8
  subsd  %xmm8,%xmm6
  movapd %xmm13,%xmm8
  mulsd  %xmm4,%xmm8
  subsd  %xmm8,%xmm6
  movapd %xmm6,%xmm11
  mulsd  %xmm6,%xmm11
  movsd  %xmm11,0x10(%rsp)
  mulsd  %xmm4,%xmm0
  movapd %xmm13,%xmm8
  mulsd  %xmm3,%xmm8
  addsd  %xmm8,%xmm0
  movapd %xmm12,%xmm8
  mulsd  %xmm7,%xmm8
  addsd  %xmm8,%xmm0
  movapd %xmm14,%xmm8
  mulsd  %xmm5,%xmm8
  subsd  %xmm8,%xmm0
  mulsd  %xmm7,%xmm2
  mulsd  %xmm14,%xmm3
  subsd  %xmm3,%xmm2
  movapd %xmm13,%xmm3
  mulsd  %xmm5,%xmm3
  subsd  %xmm3,%xmm2
  mulsd  %xmm4,%xmm12
  addsd  %xmm12,%xmm2
  movapd %xmm2,%xmm5
  mulsd  %xmm2,%xmm5
  movsd  %xmm5,0x8(%rsp)
  movapd %xmm1,%xmm5
  mulsd  %xmm2,%xmm5
  movapd %xmm6,%xmm4
  xorpd  D99(%rip),%xmm4
  mulsd  %xmm0,%xmm4
  movapd %xmm5,%xmm3
  movsd  %xmm5,0x18(%rsp)
  addsd  %xmm5,%xmm3
  subsd  %xmm4,%xmm3
  subsd  %xmm4,%xmm3
  movsd  %xmm3,0x20(%rsp)
  movapd %xmm1,%xmm7
  xorpd  D99(%rip),%xmm7
  movapd %xmm7,%xmm3
  mulsd  %xmm0,%xmm3
  movapd %xmm6,%xmm9
  mulsd  %xmm2,%xmm9
  movsd  %xmm9,0x28(%rsp)
  addsd  %xmm9,%xmm9
  addsd  %xmm3,%xmm9
  addsd  %xmm3,%xmm9
  movsd  (%r14),%xmm8
  movsd  0x8(%r14),%xmm14
  movsd  0x10(%r14),%xmm7
  movapd %xmm8,%xmm12
  mulsd  %xmm1,%xmm12
  movapd %xmm12,%xmm5
  movapd %xmm14,%xmm10
  mulsd  %xmm2,%xmm10
  addsd  %xmm10,%xmm5
  movapd %xmm7,%xmm10
  mulsd  %xmm0,%xmm10
  subsd  %xmm10,%xmm5
  movapd %xmm7,%xmm10
  mulsd  %xmm6,%xmm10
  movapd %xmm14,%xmm12
  mulsd  %xmm1,%xmm12
  subsd  %xmm12,%xmm10
  movapd %xmm8,%xmm12
  mulsd  %xmm2,%xmm12
  addsd  %xmm12,%xmm10
  movapd %xmm8,%xmm12
  mulsd  %xmm6,%xmm12
  movapd %xmm12,%xmm11
  movapd %xmm7,%xmm15
  mulsd  %xmm2,%xmm15
  subsd  %xmm15,%xmm11
  movapd %xmm14,%xmm15
  mulsd  %xmm0,%xmm15
  subsd  %xmm15,%xmm11
  mulsd  %xmm6,%xmm14
  mulsd  %xmm0,%xmm8
  addsd  %xmm14,%xmm8
  mulsd  %xmm1,%xmm7
  addsd  %xmm7,%xmm8
  movapd %xmm5,%xmm14
  mulsd  %xmm0,%xmm14
  movapd %xmm6,%xmm12
  mulsd  %xmm10,%xmm12
  movapd %xmm12,%xmm7
  subsd  %xmm14,%xmm7
  movapd %xmm2,%xmm14
  mulsd  %xmm11,%xmm14
  addsd  %xmm14,%xmm7
  movapd %xmm1,%xmm14
  mulsd  %xmm8,%xmm14
  subsd  %xmm14,%xmm7
  movapd %xmm7,%xmm12
  addsd  0x28(%r12),%xmm12
  movapd %xmm12,%xmm13
  movsd  D62(%rip),%xmm14
  movapd %xmm14,%xmm12
  divsd  %xmm13,%xmm12
  movapd %xmm2,%xmm15
  mulsd  %xmm5,%xmm15
  movapd %xmm15,%xmm7
  movapd %xmm6,%xmm15
  mulsd  %xmm8,%xmm15
  addsd  %xmm7,%xmm15
  movapd %xmm1,%xmm7
  mulsd  %xmm10,%xmm7
  addsd  %xmm15,%xmm7
  movapd %xmm0,%xmm15
  mulsd  %xmm11,%xmm15
  addsd  %xmm15,%xmm7
  addsd  0x20(%r12),%xmm7
  movapd %xmm13,%xmm15
  mulsd  %xmm13,%xmm15
  divsd  %xmm15,%xmm14
  movsd  0x10(%rbx),%xmm15
  mulsd  %xmm1,%xmm5
  mulsd  %xmm6,%xmm11
  addsd  %xmm11,%xmm5
  mulsd  %xmm0,%xmm8
  movapd %xmm8,%xmm11
  movapd %xmm5,%xmm8
  subsd  %xmm11,%xmm8
  mulsd  %xmm2,%xmm10
  subsd  %xmm10,%xmm8
  addsd  0x18(%r12),%xmm8
  mulsd  (%rbx),%xmm8
  movapd %xmm7,%xmm10
  mulsd  0x8(%rbx),%xmm10
  movapd %xmm10,%xmm5
  addsd  %xmm8,%xmm5
  movapd %xmm15,%xmm8
  mulsd  %xmm13,%xmm8
  addsd  %xmm8,%xmm5
  mulsd  %xmm14,%xmm5
  movapd %xmm0,%xmm8
  mulsd  %xmm0,%xmm8
  movsd  0x10(%rsp),%xmm11
  movapd %xmm11,%xmm10
  addsd  0x8(%rsp),%xmm10
  subsd  (%rsp),%xmm10
  subsd  %xmm8,%xmm10
  xorpd  D99(%rip),%xmm2
  mulsd  %xmm0,%xmm2
  mulsd  %xmm6,%xmm1
  movapd %xmm2,%xmm0
  addsd  %xmm2,%xmm0
  subsd  %xmm1,%xmm0
  subsd  %xmm1,%xmm0
  addsd  %xmm1,%xmm1
  addsd  %xmm2,%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm11,%xmm2
  addsd  %xmm8,%xmm2
  subsd  0x8(%rsp),%xmm2
  subsd  (%rsp),%xmm2
  mulsd  0x18(%rbx),%xmm7
  mulsd  0x20(%rbx),%xmm13
  addsd  %xmm13,%xmm7
  mulsd  %xmm14,%xmm7
  movsd  (%rsp),%xmm13
  addsd  %xmm11,%xmm13
  movapd %xmm13,%xmm6
  subsd  %xmm8,%xmm6
  subsd  0x8(%rsp),%xmm6
  mulsd  (%rbx),%xmm6
  movsd  0x20(%rsp),%xmm13
  movapd %xmm13,%xmm8
  mulsd  0x8(%rbx),%xmm8
  addsd  %xmm8,%xmm6
  mulsd  %xmm9,%xmm15
  addsd  %xmm15,%xmm6
  mulsd  %xmm12,%xmm6
  movapd %xmm9,%xmm8
  mulsd  %xmm5,%xmm8
  subsd  %xmm8,%xmm6
  movsd  %xmm6,0x0(%rbp)
  addsd  %xmm4,%xmm4
  movsd  0x18(%rsp),%xmm6
  addsd  %xmm6,%xmm4
  addsd  %xmm6,%xmm4
  mulsd  (%rbx),%xmm4
  movapd %xmm10,%xmm6
  mulsd  0x8(%rbx),%xmm6
  addsd  %xmm6,%xmm4
  movapd %xmm0,%xmm6
  mulsd  0x10(%rbx),%xmm6
  addsd  %xmm6,%xmm4
  mulsd  %xmm12,%xmm4
  movapd %xmm5,%xmm6
  mulsd  %xmm0,%xmm6
  subsd  %xmm6,%xmm4
  movsd  %xmm4,0x8(%rbp)
  addsd  %xmm3,%xmm3
  movsd  0x28(%rsp),%xmm6
  subsd  %xmm6,%xmm3
  subsd  %xmm6,%xmm3
  mulsd  (%rbx),%xmm3
  movapd %xmm1,%xmm4
  mulsd  0x8(%rbx),%xmm4
  addsd  %xmm4,%xmm3
  movapd %xmm2,%xmm4
  mulsd  0x10(%rbx),%xmm4
  addsd  %xmm4,%xmm3
  mulsd  %xmm12,%xmm3
  mulsd  %xmm2,%xmm5
  subsd  %xmm5,%xmm3
  movsd  %xmm3,0x10(%rbp)
  movapd %xmm13,%xmm3
  mulsd  0x18(%rbx),%xmm3
  movapd %xmm9,%xmm4
  mulsd  0x20(%rbx),%xmm4
  addsd  %xmm4,%xmm3
  mulsd  %xmm12,%xmm3
  mulsd  %xmm7,%xmm9
  subsd  %xmm9,%xmm3
  movsd  %xmm3,0x18(%rbp)
  mulsd  0x18(%rbx),%xmm10
  movapd %xmm0,%xmm3
  mulsd  0x20(%rbx),%xmm3
  addsd  %xmm3,%xmm10
  mulsd  %xmm12,%xmm10
  mulsd  %xmm7,%xmm0
  subsd  %xmm0,%xmm10
  movsd  %xmm10,0x20(%rbp)
  mulsd  0x18(%rbx),%xmm1
  movapd %xmm2,%xmm0
  mulsd  0x20(%rbx),%xmm0
  addsd  %xmm0,%xmm1
  mulsd  %xmm12,%xmm1
  mulsd  %xmm7,%xmm2
  subsd  %xmm2,%xmm1
  movsd  %xmm1,0x28(%rbp)
  add    $0xf8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L36:
  call   <sqrt@plt>
  jmp    L39
L7:
  call   <sqrt@plt>
  jmp    L8
```

tool_calls: name: extract_symbolic_data
arguments: tag: D62
type_infered: f64
name: extract_symbolic_data
arguments: tag: D99
type_infered: f32[4]

tool: D62: 1

tool: {"D99": [0.0,-0.0,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;
}
```