arccotx + arccot 1/3= π/4