arctan(1/3) + arctan(1/4) + arctan(1/5) - pi/4