Category:Flyspeck/other inverse trig functions