"Schemannian" has a small package to virtualize expressions. By using this package, you can turn the quite confusing prefix notations to something which is quite clear and human readable. To use this package, you need to first
(require "show-expression.rkt")
To use that, you have the function show-expression
.
(show-expression exp) → pict?
exp : expression?
For example,
(show-expression '(= (+ (* (+ 1 (sin x) (cos x)) (** (+ 1 (sin x) (* -1 (cos x))) -1))
(* (+ 1 (sin x) (* -1 (cos x))) (** (+ 1 (sin x) (cos x)) -1)))
(* 2 (** (cos x) -1))))
will gives you