atan(2/3)+atan(1/5)=atan(1)

– Georg Wengler

Information: atan(2/3)+atan(1/5)=atan(1)