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

```asm
<HO_deriv_31>:
  endbr64
  push   %r15
  push   %r14
  push   %rbx
  sub    $0xf0,%rsp
  movsd  %xmm1,0x8(%rsp)
  movsd  D122(%rip),%xmm1
  movsd  %xmm0,0x10(%rsp)
  call   <pow@plt>
  movsd  0x8(%rsp),%xmm7
  movsd  %xmm0,0xe8(%rsp)
  movsd  0x10(%rsp),%xmm0
  xorpd  D29(%rip),%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  mulsd  D58(%rip),%xmm0
  call   <exp@plt>
  movsd  D496(%rip),%xmm14
  movsd  %xmm0,0x18(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  movsd  D129(%rip),%xmm1
  movsd  %xmm0,0xe0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D208(%rip),%xmm1
  movsd  %xmm0,0x20(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D431(%rip),%xmm1
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D449(%rip),%xmm5
  movsd  %xmm0,0x28(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm5,%xmm1
  call   <pow@plt>
  movsd  D245(%rip),%xmm1
  movsd  %xmm0,0xd8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D515(%rip),%xmm1
  movsd  %xmm0,0x30(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D190(%rip),%xmm1
  movsd  %xmm0,0xd0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D17(%rip),%xmm13
  movsd  %xmm0,0x38(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  movsd  D93(%rip),%xmm1
  movsd  %xmm0,0xc8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D43(%rip),%xmm1
  movsd  %xmm0,0x40(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D185(%rip),%xmm1
  movsd  %xmm0,0xc0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D2(%rip),%xmm4
  movsd  %xmm0,0x48(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm4,%xmm1
  call   <pow@plt>
  movsd  D444(%rip),%xmm1
  movsd  %xmm0,0xb8(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D512(%rip),%xmm1
  movsd  %xmm0,0x50(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  movsd  D359(%rip),%xmm1
  movsd  %xmm0,0xb0(%rsp)
  movsd  0x8(%rsp),%xmm0
  call   <pow@plt>
  movsd  D493(%rip),%xmm15
  movsd  %xmm0,0x58(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm15,%xmm1
  call   <pow@plt>
  mov    D496(%rip),%rax
  movsd  %xmm0,0xa8(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D199(%rip),%xmm1
  movsd  %xmm0,0x60(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D449(%rip),%rax
  movq   %xmm0,%r14
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D18(%rip),%xmm14
  movsd  %xmm0,0x68(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm14,%xmm1
  call   <pow@plt>
  mov    D17(%rip),%rax
  movsd  %xmm0,0xa0(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D308(%rip),%xmm1
  movsd  %xmm0,0x70(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D2(%rip),%rax
  movq   %xmm0,%r15
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D9(%rip),%xmm13
  movsd  %xmm0,0x78(%rsp)
  movsd  0x10(%rsp),%xmm0
  movapd %xmm13,%xmm1
  call   <pow@plt>
  mov    D493(%rip),%rax
  movsd  %xmm0,0x98(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  D347(%rip),%xmm1
  movsd  %xmm0,0x80(%rsp)
  movsd  0x10(%rsp),%xmm0
  call   <pow@plt>
  mov    D18(%rip),%rax
  movsd  %xmm0,0x90(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  mov    D9(%rip),%rax
  movsd  %xmm0,0x88(%rsp)
  movsd  0x8(%rsp),%xmm0
  movq   %rax,%xmm1
  call   <pow@plt>
  movsd  0x20(%rsp),%xmm1
  movq   %rbx,%xmm13
  movsd  0xe0(%rsp),%xmm2
  mulsd  D463(%rip),%xmm2
  movsd  0xd8(%rsp),%xmm12
  mulsd  D298(%rip),%xmm13
  movsd  0xd0(%rsp),%xmm11
  mulsd  0x28(%rsp),%xmm13
  movsd  0xc8(%rsp),%xmm10
  mulsd  D349(%rip),%xmm12
  movsd  0xc0(%rsp),%xmm9
  mulsd  0x30(%rsp),%xmm12
  movsd  0xb8(%rsp),%xmm8
  mulsd  %xmm2,%xmm1
  movq   %r14,%xmm2
  movsd  0xb0(%rsp),%xmm7
  movsd  0xa8(%rsp),%xmm6
  mulsd  D318(%rip),%xmm11
  movsd  0xa0(%rsp),%xmm5
  mulsd  0x38(%rsp),%xmm11
  mulsd  D290(%rip),%xmm10
  mulsd  0x40(%rsp),%xmm10
  subsd  %xmm13,%xmm1
  mulsd  D62(%rip),%xmm7
  mulsd  D222(%rip),%xmm9
  mulsd  0x48(%rsp),%xmm9
  addsd  %xmm12,%xmm1
  mulsd  0x58(%rsp),%xmm7
  mulsd  D390(%rip),%xmm8
  mulsd  0x50(%rsp),%xmm8
  subsd  %xmm11,%xmm1
  mulsd  D443(%rip),%xmm6
  mulsd  0x60(%rsp),%xmm6
  mulsd  D458(%rip),%xmm2
  addsd  %xmm10,%xmm1
  mulsd  0x68(%rsp),%xmm2
  mulsd  D233(%rip),%xmm5
  mulsd  0x70(%rsp),%xmm5
  subsd  %xmm9,%xmm1
  addsd  %xmm8,%xmm1
  subsd  %xmm7,%xmm1
  addsd  %xmm6,%xmm1
  subsd  %xmm2,%xmm1
  movq   %r15,%xmm2
  mulsd  D44(%rip),%xmm2
  mulsd  0x78(%rsp),%xmm2
  movsd  0x10(%rsp),%xmm3
  addsd  %xmm5,%xmm1
  movsd  0x8(%rsp),%xmm6
  movsd  0x98(%rsp),%xmm4
  mulsd  D494(%rip),%xmm4
  movsd  0x90(%rsp),%xmm15
  mulsd  0x80(%rsp),%xmm4
  mulsd  D98(%rip),%xmm15
  mulsd  0x88(%rsp),%xmm15
  subsd  %xmm2,%xmm1
  movsd  D189(%rip),%xmm2
  mulsd  %xmm3,%xmm2
  addsd  %xmm4,%xmm1
  subsd  %xmm15,%xmm1
  mulsd  %xmm3,%xmm2
  mulsd  D217(%rip),%xmm3
  mulsd  %xmm0,%xmm2
  movapd %xmm3,%xmm0
  movsd  0xe8(%rsp),%xmm3
  mulsd  %xmm6,%xmm0
  mulsd  D165(%rip),%xmm3
  mulsd  0x18(%rsp),%xmm3
  addsd  %xmm2,%xmm1
  mulsd  %xmm6,%xmm0
  subsd  %xmm0,%xmm1
  addsd  D137(%rip),%xmm1
  movsd  D110(%rip),%xmm0
  mulsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm0
  divsd  D146(%rip),%xmm0
  add    $0xf0,%rsp
  pop    %rbx
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: parse_data
arguments: data_tag: D122
type_guessed: byte[8]
name: parse_data
arguments: data_tag: D29
type_guessed: byte[16]
name: parse_data
arguments: data_tag: D58
type_guessed: byte[8]
name: parse_data
arguments: data_tag: D496
type_guessed: f64
name: parse_data
arguments: data_tag: D129
type_guessed: f64
name: parse_data
arguments: data_tag: D208
type_guessed: f64
name: parse_data
arguments: data_tag: D431
type_guessed: f64
name: parse_data
arguments: data_tag: D449
type_guessed: f64
name: parse_data
arguments: data_tag: D245
type_guessed: f64
name: parse_data
arguments: data_tag: D515
type_guessed: f64
name: parse_data
arguments: data_tag: D190
type_guessed: f64
name: parse_data
arguments: data_tag: D17
type_guessed: f64
name: parse_data
arguments: data_tag: D93
type_guessed: f64
name: parse_data
arguments: data_tag: D43
type_guessed: f64
name: parse_data
arguments: data_tag: D185
type_guessed: f64
name: parse_data
arguments: data_tag: D2
type_guessed: f64
name: parse_data
arguments: data_tag: D444
type_guessed: f64
name: parse_data
arguments: data_tag: D512
type_guessed: f64
name: parse_data
arguments: data_tag: D359
type_guessed: f64
name: parse_data
arguments: data_tag: D493
type_guessed: f64
name: parse_data
arguments: data_tag: D199
type_guessed: f64
name: parse_data
arguments: data_tag: D18
type_guessed: f64
name: parse_data
arguments: data_tag: D308
type_guessed: f64
name: parse_data
arguments: data_tag: D9
type_guessed: f64
name: parse_data
arguments: data_tag: D347
type_guessed: f64
name: parse_data
arguments: data_tag: D463
type_guessed: f64
name: parse_data
arguments: data_tag: D298
type_guessed: f64
name: parse_data
arguments: data_tag: D349
type_guessed: f64
name: parse_data
arguments: data_tag: D318
type_guessed: f64
name: parse_data
arguments: data_tag: D290
type_guessed: f64
name: parse_data
arguments: data_tag: D62
type_guessed: f64
name: parse_data
arguments: data_tag: D222
type_guessed: f64
name: parse_data
arguments: data_tag: D390
type_guessed: f64
name: parse_data
arguments: data_tag: D443
type_guessed: f64
name: parse_data
arguments: data_tag: D458
type_guessed: f64
name: parse_data
arguments: data_tag: D233
type_guessed: f64
name: parse_data
arguments: data_tag: D44
type_guessed: f64
name: parse_data
arguments: data_tag: D494
type_guessed: f64
name: parse_data
arguments: data_tag: D98
type_guessed: f64
name: parse_data
arguments: data_tag: D189
type_guessed: f64
name: parse_data
arguments: data_tag: D217
type_guessed: f64
name: parse_data
arguments: data_tag: D165
type_guessed: byte[8]
name: parse_data
arguments: data_tag: D137
type_guessed: f64
name: parse_data
arguments: data_tag: D110
type_guessed: byte[8]
name: parse_data
arguments: data_tag: D146
type_guessed: f64

tool: {"D122": [0x00,0x00,0x00,0x00,0x00,0x00,0xe8,0x3f]}

tool: {"D29": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: {"D58": [0x00,0x00,0x00,0x00,0x00,0x00,0xe0,0x3f]}

tool: D496: 16

tool: D129: 32

tool: D208: 15

tool: D431: 30

tool: D449: 14

tool: D245: 28

tool: D515: 13

tool: D190: 26

tool: D17: 12

tool: D93: 24

tool: D43: 11

tool: D185: 22

tool: D2: 10

tool: D444: 20

tool: D512: 9

tool: D359: 18

tool: D493: 8

tool: D199: 7

tool: D18: 6

tool: D308: 5

tool: D9: 4

tool: D347: 3

tool: D463: 32768

tool: D298: 8634368

tool: D349: 994222080

tool: D318: 66115768320

tool: D290: 2827319040000

tool: D62: 2.3444341528608e+16

tool: D222: 81935705779200

tool: D390: 1652370066547200.0

tool: D443: 2.33933755687632e+17

tool: D458: 1.624539970053e+18

tool: D233: 7.687323138290796e+18

tool: D44: 2.3948968238521328e+19

tool: D494: 4.656743824156924e+19

tool: D98: 5.1940604192519545e+19

tool: D189: 2.8784817594376593e+19

tool: D217: 5.94886230283783e+18

tool: {"D165": [0x13,0x65,0xc9,0x49,0x50,0xec,0xbf,0xc0]}

tool: D137: 1.9189878396251062e+17

tool: {"D110": [0x5f,0xfa,0x11,0x70,0x38,0x09,0xe8,0x3f]}

tool: D146: 5.2401161274029566e+20

assistant: ```c
double HO_deriv_31(const double a, const double x) {
  double retval = -sqrt(0.66786710e8) * pow(a, 0.3e1 / 0.4e1) * exp(-a * x * x / 0.2e1) * (0.32768e5 * pow(a, 0.16e2) * pow(x, 0.32e2) - 0.8634368e7 * pow(a, 0.15e2) * pow(x, 0.30e2) + 0.994222080e9 * pow(a, 0.14e2) * pow(x, 0.28e2) - 0.66115768320e11 * pow(a, 0.13e2) * pow(x, 0.26e2) + 0.2827319040000e13 * pow(a, 0.12e2) * pow(x, 0.24e2) - 0.81935705779200e14 * pow(a, 0.11e2) * pow(x, 0.22e2) + 0.1652370066547200e16 * pow(a, 0.10e2) * pow(x, 0.20e2) - 0.23444341528608000e17 * pow(a, 0.9e1) * pow(x, 0.18e2) + 0.233933755687632000e18 * pow(a, 0.8e1) * pow(x, 0.16e2) - 0.1624539970053000000e19 * pow(a, 0.7e1) * pow(x, 0.14e2) + 0.7687323138290796000e19 * pow(a, 0.6e1) * pow(x, 0.12e2) - 0.23948968238521326000e20 * pow(a, 0.5e1) * pow(x, 0.10e2) + 0.46567438241569245000e20 * pow(a, 0.4e1) * pow(x, 0.8e1) - 0.51940604192519542500e20 * pow(a, 0.3e1) * pow(x, 0.6e1) + 0.28784817594376593750e20 * a * a * pow(x, 0.4e1) - 0.5948862302837829375e19 * a * x * x + 0.191898783962510625e18) * pow(0.3141592654e1, -0.1e1 / 0.4e1) / 0.524011612740295680000e21;
  return retval;
}
```