У меня есть большое выражение с большим количеством членов вида
Abs[-2 b + 2 d1 m + l Tan[\[Theta]]]
Из геометрии моей задачи я знаю, что
-2 b + 2 d1 m + l Tan[\[Theta]] > 0
Однако, когда я пытаюсь упростить выражение,
Simplify[Abs[-2 b + 2 d1 m + l Tan[\[Theta]]], -2 b + 2 d1 m + l Tan[\[Theta]] > 0]
я просто получаю обратно
Abs[-2 b + 2 d1 m + l Tan[\[Theta]]]
Как я могу заставить систему Mathematica упростить ненужное абсолютное значение?
EDIT 1
Полное выражение, которое я пытаюсь упростить, имеет вид
-(1/(2 (m - Tan[\[Theta]])))
Sqrt[1 + m^2] (B2 Sqrt[(-2 b + 2 d1 m + l Tan[\[Theta]])^2] +
B4 Sqrt[(-2 b + 2 d2 m + l Tan[\[Theta]])^2] +
B5 Sqrt[(2 b + 2 d3 m + l Tan[\[Theta]])^2] +
B7 Sqrt[(2 b + 2 d4 m + l Tan[\[Theta]])^2] +
B1 Sqrt[(2 b - 2 (d1 + l) m + l Tan[\[Theta]])^2] +
B3 Sqrt[(2 b - 2 (d2 + l) m + l Tan[\[Theta]])^2] +
B6 Sqrt[(-2 (b + (d3 + l) m) + l Tan[\[Theta]])^2] +
B8 Sqrt[(-2 (b + (d4 + l) m) + l Tan[\[Theta]])^2])
Известно, что члены, возводимые в квадрат под каждым из радикалов, являются положительными действительными числами.