Simplifier changes (* x x) to (square x)
Simplifier changes (* x x) to (square x)

Changing this should allow a few more things to cancel and simplify.
Cases that come to mind:
'(* (sqrt x) (sqrt x))
'(sqrt (* x x))
Plus, '(square x) seems cleaner in general than (* x x).

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie