Flyspeck/arctan