Flyspeck/arccos