A normal tree would be easier to read
eq
mul pow
a a a 2 eq
mul pow
a a a 2 eq:
mul:
a
a
pow:
a
2 (eq (mul a
a)
(pow a
2))
or (eq
(mul
a
a
)
(pow
a
2
)
)Actually, I'd suggest a slight improvement: x*x = x^2
The length people go to avoid Lisp, only to reinvent it, badly.