求U72（Small Retrosnub Icosicosidodecahedron）与U75（Great Dirhombicosidodecahedron）体积的闭合形式

我一直在整理所有73种均匀多面体及其75种对偶多面体的体积闭合形式：

• 一部分是已公开的已知值
• 一部分是通过给定方程的根来确定体积
• 剩下的则是我手动利用顶点坐标计算得到的

不过现在我卡在最后两个多面体上了：

• U72（Small Retrosnub Icosicosidodecahedron），近似体积为≈0.2286299526 $l^3$
• U75（Great Dirhombicosidodecahedron），近似体积为≈0.7968034087 $l^3$

这纯粹是出于个人好奇才做的整理，毕竟这类复杂多面体的体积值几乎找不到公开记录，并不是为了正式研究需求。

我知道可以通过顶点坐标手动计算体积，也能获取到U72和U75的顶点坐标，但自己尝试了几次都没搞定闭合形式的推导。

想问问大家：有没有人知道这两个多面体的体积闭合形式是否已经被公开报道过？或者能提供一些可行的计算思路？

备注：内容来源于stack exchange，提问作者Math Attack