[EIdentifier "u",ESymbol Ord "\8243",ESymbol Bin "+",EIdentifier "p",EDelimited "(" ")" [Right (EIdentifier "x")],EIdentifier "u",ESymbol Ord "\8242",ESymbol Bin "+",EIdentifier "q",EDelimited "(" ")" [Right (EIdentifier "x")],EIdentifier "u",ESymbol Rel "=",EIdentifier "f",EDelimited "(" ")" [Right (EIdentifier "x")],ESymbol Pun ",",ESpace (1 % 1),EIdentifier "x",ESymbol Rel ">",EIdentifier "a"]