formula for tralics