Angle addition with relationships between angles