float f(float x, float y, float z) {
  float a = x * x + 9.0f / 4.0f * y * y + z * z - 1;
  return a * a * a - x * x * z * z * z - 9.0f / 80.0f * y * y * z * z * z;
}


x86 assembly (clang, -O0):
<f>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  -0x4(%rbp),%xmm1
movss  -0x4(%rbp),%xmm2
movss  0xee3(%rip),%xmm0
mulss  -0x8(%rbp),%xmm0
mulss  -0x8(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0xc(%rbp),%xmm0
movss  -0xc(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  0xeb3(%rip),%xmm1
subss  %xmm1,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x10(%rbp),%xmm1
mulss  -0x10(%rbp),%xmm1
movss  -0x10(%rbp),%xmm2
movss  -0x4(%rbp),%xmm0
mulss  -0x4(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  0xe61(%rip),%xmm0
mulss  -0x8(%rbp),%xmm0
mulss  -0x8(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  -0xc(%rbp),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<f>:
movss  0xef8(%rip),%xmm4
mulss  %xmm1,%xmm4
mulss  %xmm1,%xmm4
mulss  %xmm0,%xmm0
addss  %xmm0,%xmm4
mulss  %xmm2,%xmm0
mulss  %xmm2,%xmm0
mulss  %xmm2,%xmm0
movss  0xedc(%rip),%xmm3
mulss  %xmm1,%xmm3
mulss  %xmm1,%xmm3
mulss  %xmm2,%xmm3
mulss  %xmm2,%xmm3
mulss  %xmm2,%xmm3
mulss  %xmm2,%xmm2
addss  %xmm4,%xmm2
addss  0xeb4(%rip),%xmm2
movaps %xmm2,%xmm1
mulss  %xmm2,%xmm1
mulss  %xmm2,%xmm1
subss  %xmm0,%xmm1
addss  %xmm1,%xmm3
movaps %xmm3,%xmm0
ret

LLVM IR (-O0):
define float @f(float %0, float %1, float %2) {
%4 = alloca float
%5 = alloca float
%6 = alloca float
%7 = alloca float
store float %0, float* %4
store float %1, float* %5
store float %2, float* %6
%8 = load float, float* %4
%9 = load float, float* %4
%10 = load float, float* %5
%11 = fmul float 2.250000e+00, %10
%12 = load float, float* %5
%13 = fmul float %11, %12
%14 = call float @llvm.fmuladd.f32(float %8, float %9, float %13)
%15 = load float, float* %6
%16 = load float, float* %6
%17 = call float @llvm.fmuladd.f32(float %15, float %16, float %14)
%18 = fsub float %17, 1.000000e+00
store float %18, float* %7
%19 = load float, float* %7
%20 = load float, float* %7
%21 = fmul float %19, %20
%22 = load float, float* %7
%23 = load float, float* %4
%24 = load float, float* %4
%25 = fmul float %23, %24
%26 = load float, float* %6
%27 = fmul float %25, %26
%28 = load float, float* %6
%29 = fmul float %27, %28
%30 = load float, float* %6
%31 = fmul float %29, %30
%32 = fneg float %31
%33 = call float @llvm.fmuladd.f32(float %21, float %22, float %32)
%34 = load float, float* %5
%35 = fmul float 0x3FBCCCCCC0000000, %34
%36 = load float, float* %5
%37 = fmul float %35, %36
%38 = load float, float* %6
%39 = fmul float %37, %38
%40 = load float, float* %6
%41 = fmul float %39, %40
%42 = load float, float* %6
%43 = fneg float %41
%44 = call float @llvm.fmuladd.f32(float %43, float %42, float %33)
ret float %44
}

LLVM IR (-O2):
define float @f(float %0, float %1, float %2) {
%4 = fmul float %1, 2.250000e+00
%5 = fmul float %4, %1
%6 = tail call float @llvm.fmuladd.f32(float %0, float %0, float %5)
%7 = tail call float @llvm.fmuladd.f32(float %2, float %2, float %6)
%8 = fadd float %7, -1.000000e+00
%9 = fmul float %8, %8
%10 = fneg float %0
%11 = fmul float %10, %0
%12 = fmul float %11, %2
%13 = fmul float %12, %2
%14 = fmul float %13, %2
%15 = tail call float @llvm.fmuladd.f32(float %9, float %8, float %14)
%16 = fmul float %1, 0xBFBCCCCCC0000000
%17 = fmul float %16, %1
%18 = fmul float %17, %2
%19 = fmul float %18, %2
%20 = tail call float @llvm.fmuladd.f32(float %19, float %2, float %15)
ret float %20
}