The resulting output is something like:
contradiction,
2
functions
sqrt()
, 2
sqrt()
, 2
square root,
see
sqrt()
tautology,
2
Return