01:53duration 1 minute 53 seconds
Restriction on a variable in a denominator: Linear
Division by zero is not possible, so this shiows…