∫ @roby_giraffe² / cos² is following