[math-fun] atan(3/4)