[math-fun] FCC "HAAT" calculations