File "stdin", line 3, characters 0-1:
Error: No product even after head-reduction.