Модуль здесь не нужен, и дело вот в чём:
Пусть Корень * |sinx| = C, тогда:
Корень * sinx = C, если sinx >=0;
Корень * (-sinx) = C, если sinx <0.
Но последнее уравнение можно переписать в виде:
Корень * sinx = -C и переобозначить константу -C через С* - это можно сделать, поскольку константа варьируема и принимает бесконечное множество значений - как положительных, так и отрицательных (об этом момент рассказано в статье чуть позже).