* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (79 enodes)
* * [misc]simplify:  iters left: 4 (169 enodes)
* * [misc]simplify:  iters left: 3 (408 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 2 1)
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (* 0 (cube (/ 1 (fabs x))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs (/ 1 x)))) (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs (/ -1 x)))) (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 2 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (60 enodes)
* * [misc]simplify:  iters left: 4 (112 enodes)
* * [misc]simplify:  iters left: 3 (182 enodes)
* * [misc]simplify:  iters left: 2 (285 enodes)
* * [misc]simplify:  iters left: 1 (469 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ (/ 15 (* (/ 8 1) (fabs x))) (cube (* (fabs x) (fabs x))))) (+ (/ (cube (/ 1 (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (/ 1 (fabs x)))))
* * * * [misc]progress:  [ 2 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (32 enodes)
* * [misc]simplify:  iters left: 5 (68 enodes)
* * [misc]simplify:  iters left: 4 (131 enodes)
* * [misc]simplify:  iters left: 3 (224 enodes)
* * [misc]simplify:  iters left: 2 (358 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ (/ 15 8) (sqr (cube (fabs (/ 1 x))))) (fabs x)) (+ (/ (/ 1 (cube (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))))))
* * * * [misc]progress:  [ 3 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (130 enodes)
* * [misc]simplify:  iters left: 3 (215 enodes)
* * [misc]simplify:  iters left: 2 (352 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (/ (fabs x) (/ 3 4))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x)))) (/ (/ 15 8) (* (fabs x) (* (cube (fabs (/ -1 x))) (cube (fabs (/ -1 x))))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 4 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (60 enodes)
* * [misc]simplify:  iters left: 4 (112 enodes)
* * [misc]simplify:  iters left: 3 (182 enodes)
* * [misc]simplify:  iters left: 2 (285 enodes)
* * [misc]simplify:  iters left: 1 (469 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ (/ 15 (* (/ 8 1) (fabs x))) (cube (* (fabs x) (fabs x))))) (+ (/ (cube (/ 1 (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (/ 1 (fabs x)))))
* * * * [misc]progress:  [ 5 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs (/ 1 x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs (/ 1 x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (32 enodes)
* * [misc]simplify:  iters left: 5 (68 enodes)
* * [misc]simplify:  iters left: 4 (129 enodes)
* * [misc]simplify:  iters left: 3 (221 enodes)
* * [misc]simplify:  iters left: 2 (342 enodes)
* [exit]simplify:  Simplified to (/ (+ (/ (+ (/ (/ (/ 3 4) (fabs x)) (cube (fabs (/ 1 x)))) 1) (fabs x)) (+ (/ (/ 15 8) (* (fabs x) (sqr (cube (fabs x))))) (/ (/ 1 2) (cube (fabs x))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 6 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs (/ -1 x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs (/ -1 x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (70 enodes)
* * [misc]simplify:  iters left: 4 (132 enodes)
* * [misc]simplify:  iters left: 3 (239 enodes)
* * [misc]simplify:  iters left: 2 (420 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x))) (/ 1 (fabs x))) (+ (/ (/ (/ (/ 3 4) (fabs x)) (cube (fabs (/ -1 x)))) (fabs x)) (/ (/ (/ 15 8) (* (cube (fabs x)) (cube (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 7 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (60 enodes)
* * [misc]simplify:  iters left: 4 (112 enodes)
* * [misc]simplify:  iters left: 3 (182 enodes)
* * [misc]simplify:  iters left: 2 (285 enodes)
* * [misc]simplify:  iters left: 1 (469 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ (/ 15 (* (/ 8 1) (fabs x))) (cube (* (fabs x) (fabs x))))) (+ (/ (cube (/ 1 (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (/ 1 (fabs x)))))
* * * * [misc]progress:  [ 8 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ 1 x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ 1 x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (32 enodes)
* * [misc]simplify:  iters left: 5 (68 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (209 enodes)
* * [misc]simplify:  iters left: 2 (348 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (+ (/ (/ (/ 3 4) (fabs x)) (cube (fabs x))) 1) (fabs x)) (+ (/ (/ (/ 1 2) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) (* (/ (/ 15 8) (cube (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))))))
* * * * [misc]progress:  [ 9 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ -1 x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ -1 x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (70 enodes)
* * [misc]simplify:  iters left: 4 (132 enodes)
* * [misc]simplify:  iters left: 3 (228 enodes)
* * [misc]simplify:  iters left: 2 (424 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ (/ (/ 15 (fabs x)) (* (cube (fabs x)) (cube (fabs x)))) 8)) (+ (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs (/ -1 x)))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 10 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (60 enodes)
* * [misc]simplify:  iters left: 4 (112 enodes)
* * [misc]simplify:  iters left: 3 (182 enodes)
* * [misc]simplify:  iters left: 2 (285 enodes)
* * [misc]simplify:  iters left: 1 (469 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ (/ 15 (* (/ 8 1) (fabs x))) (cube (* (fabs x) (fabs x))))) (+ (/ (cube (/ 1 (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (/ 1 (fabs x)))))
* * * * [misc]progress:  [ 11 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (32 enodes)
* * [misc]simplify:  iters left: 5 (68 enodes)
* * [misc]simplify:  iters left: 4 (131 enodes)
* * [misc]simplify:  iters left: 3 (224 enodes)
* * [misc]simplify:  iters left: 2 (358 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ (/ 15 8) (sqr (cube (fabs (/ 1 x))))) (fabs x)) (+ (/ (/ 1 (cube (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))))))
* * * * [misc]progress:  [ 12 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (130 enodes)
* * [misc]simplify:  iters left: 3 (215 enodes)
* * [misc]simplify:  iters left: 2 (352 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (/ (fabs x) (/ 3 4))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x)))) (/ (/ 15 8) (* (fabs x) (* (cube (fabs (/ -1 x))) (cube (fabs (/ -1 x))))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 13 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (pow (/ 1 (fabs x)) 3)) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 14 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (pow (cube (/ 1 (fabs x))) 1)) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 15 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (exp (log (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 16 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (log (exp (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 17 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (cbrt (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 18 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cbrt (cube (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 19 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (* (cube 1) (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 20 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (* (cube 1) (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 21 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (/ (cube 1) (cube (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 22 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 23 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (sqr (sqrt (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 24 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (* 1 (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 25 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (pow (/ 1 (fabs x)) 3) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 26 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (pow (cube (/ 1 (fabs x))) 1) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 27 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (exp (log (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 28 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (log (exp (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 29 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (cbrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 30 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cbrt (cube (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 31 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (* (cube 1) (cube (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 32 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (* (cube 1) (cube (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 33 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (/ (cube 1) (cube (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 34 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 35 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 36 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (* 1 (cube (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 37 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (pow (/ 1 (fabs x)) 3) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 38 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (pow (cube (/ 1 (fabs x))) 1) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 39 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (exp (log (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 40 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (log (exp (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 41 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (cbrt (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 42 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cbrt (cube (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 43 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 44 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 45 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (/ (cube 1) (cube (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 46 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 47 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (sqr (sqrt (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 48 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* 1 (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 49 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (cube (/ 1 (fabs x))) 2) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 50 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 51 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (exp (log (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (107 enodes)
* * [misc]simplify:  iters left: 1 (163 enodes)
* [exit]simplify:  Simplified to (+ (- (log (cube (fabs x)))) (- (log (cube (fabs x)))))
* [exit]simplify:  Simplified to (+ (- (log (cube (fabs x)))) (- (log (cube (fabs x)))))
* * * * [misc]progress:  [ 52 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (log (exp (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (62 enodes)
* * [misc]simplify:  iters left: 2 (79 enodes)
* * [misc]simplify:  iters left: 1 (105 enodes)
* [exit]simplify:  Simplified to (exp (* (/ 1 (cube (fabs x))) (/ 1 (cube (fabs x)))))
* [exit]simplify:  Simplified to (exp (* (/ 1 (cube (fabs x))) (/ 1 (cube (fabs x)))))
* * * * [misc]progress:  [ 53 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (cube (cbrt (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (97 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* * * * [misc]progress:  [ 54 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (cbrt (cube (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (120 enodes)
* * [misc]simplify:  iters left: 1 (162 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (cube (cube (fabs x)))) (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ (/ 1 (cube (cube (fabs x)))) (cube (cube (fabs x))))
* * * * [misc]progress:  [ 55 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (sqrt (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (57 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (93 enodes)
* [exit]simplify:  Simplified to (fabs (/ 1 (cube (fabs x))))
* [exit]simplify:  Simplified to (fabs (/ 1 (cube (fabs x))))
* * * * [misc]progress:  [ 56 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (sqr (cube 1)) (sqr (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 57 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (sqr (cube 1)) (sqr (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 58 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (sqr (/ 1 (fabs x))) (sqr (* (/ 1 (fabs x)) (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* [exit]simplify:  Simplified to (sqr (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (sqr (/ 1 (fabs x)))
* [enter]simplify:  Simplifying (sqr (* (/ 1 (fabs x)) (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (37 enodes)
* * [misc]simplify:  iters left: 2 (51 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (/ 1 (sqr (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (sqr (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 59 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (sqr 1) (sqr (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqr 1)
* [exit]simplify:  Simplified to (sqr 1)
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 60 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (/ (sqr (cube 1)) (sqr (cube (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* * * * [misc]progress:  [ 61 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 62 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* 1 (sqr (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 2 1)
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (* 0 (cube (/ 1 (fabs x))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs (/ 1 x)))) (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs (/ -1 x)))) (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 2 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (30 enodes)
* * [misc]simplify:  iters left: 5 (63 enodes)
* * [misc]simplify:  iters left: 4 (124 enodes)
* * [misc]simplify:  iters left: 3 (224 enodes)
* * [misc]simplify:  iters left: 2 (438 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))) (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* 4 (fabs x)))) (/ (* (/ 15 8) (cube (/ 1 (fabs x)))) (/ (fabs x) (cube (/ 1 (fabs x)))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 2 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (34 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (137 enodes)
* * [misc]simplify:  iters left: 3 (232 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (+ (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* 4 (fabs x)))) (/ (/ (/ 15 8) (fabs x)) (* (cube (fabs (/ 1 x))) (cube (fabs (/ 1 x)))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 3 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (35 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (241 enodes)
* * [misc]simplify:  iters left: 2 (410 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* 4 (fabs x))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x)))) (/ (/ (/ 15 8) (* (cube (fabs (/ -1 x))) (cube (fabs (/ -1 x))))) (fabs x))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 4 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (30 enodes)
* * [misc]simplify:  iters left: 5 (63 enodes)
* * [misc]simplify:  iters left: 4 (124 enodes)
* * [misc]simplify:  iters left: 3 (224 enodes)
* * [misc]simplify:  iters left: 2 (438 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))) (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* 4 (fabs x)))) (/ (* (/ 15 8) (cube (/ 1 (fabs x)))) (/ (fabs x) (cube (/ 1 (fabs x)))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 5 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs (/ 1 x)))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs (/ 1 x)))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (34 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (131 enodes)
* * [misc]simplify:  iters left: 3 (219 enodes)
* * [misc]simplify:  iters left: 2 (351 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ (/ (/ 3 4) (fabs x)) (cube (fabs (/ 1 x)))) (fabs x)) (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))) (/ (/ (/ 15 8) (fabs x)) (* (cube (fabs x)) (cube (fabs x)))))))
* * * * [misc]progress:  [ 6 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs (/ -1 x)))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs (/ -1 x)))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (35 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (136 enodes)
* * [misc]simplify:  iters left: 3 (235 enodes)
* * [misc]simplify:  iters left: 2 (368 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (+ (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x))) (/ 1 (fabs x))) (/ (/ (/ 15 8) (fabs x)) (sqr (cube (fabs x))))) (/ (/ (/ 3 4) (cube (fabs (/ -1 x)))) (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 7 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (30 enodes)
* * [misc]simplify:  iters left: 5 (63 enodes)
* * [misc]simplify:  iters left: 4 (124 enodes)
* * [misc]simplify:  iters left: 3 (224 enodes)
* * [misc]simplify:  iters left: 2 (438 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))) (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* 4 (fabs x)))) (/ (* (/ 15 8) (cube (/ 1 (fabs x)))) (/ (fabs x) (cube (/ 1 (fabs x)))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 8 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ 1 x)))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ 1 x)))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (34 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (133 enodes)
* * [misc]simplify:  iters left: 3 (238 enodes)
* * [misc]simplify:  iters left: 2 (424 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (+ (/ (/ (/ (/ 3 4) (fabs x)) (cube (fabs x))) (fabs x)) (/ (/ 1 2) (cube (fabs (/ 1 x))))) (* (/ (cube (/ 1 (fabs x))) (/ (fabs x) 15)) (/ (cube (/ 1 (fabs x))) 8))) (/ 1 (fabs x))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 9 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ -1 x)))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ -1 x)))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (35 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (139 enodes)
* * [misc]simplify:  iters left: 3 (252 enodes)
* * [misc]simplify:  iters left: 2 (441 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (/ (* (cube (/ 1 (fabs x))) (/ 15 8)) (/ (fabs x) (cube (/ 1 (fabs x))))) (+ (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* (fabs x) 4)) (/ (/ 1 2) (cube (fabs (/ -1 x)))))) (/ 1 (fabs x))))
* * * * [misc]progress:  [ 10 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (30 enodes)
* * [misc]simplify:  iters left: 5 (63 enodes)
* * [misc]simplify:  iters left: 4 (124 enodes)
* * [misc]simplify:  iters left: 3 (224 enodes)
* * [misc]simplify:  iters left: 2 (438 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))) (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* 4 (fabs x)))) (/ (* (/ 15 8) (cube (/ 1 (fabs x)))) (/ (fabs x) (cube (/ 1 (fabs x)))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 11 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (34 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (137 enodes)
* * [misc]simplify:  iters left: 3 (232 enodes)
* * [misc]simplify:  iters left: 2 (403 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (+ (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* 4 (fabs x)))) (/ (/ (/ 15 8) (fabs x)) (* (cube (fabs (/ 1 x))) (cube (fabs (/ 1 x)))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 12 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (35 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (241 enodes)
* * [misc]simplify:  iters left: 2 (410 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* 4 (fabs x))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x)))) (/ (/ (/ 15 8) (* (cube (fabs (/ -1 x))) (cube (fabs (/ -1 x))))) (fabs x))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 13 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (pow (/ 1 (fabs x)) 3)) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 14 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (pow (cube (/ 1 (fabs x))) 1)) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 15 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (exp (log (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 16 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (log (exp (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 17 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (cbrt (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 18 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cbrt (cube (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 19 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (* (cube 1) (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 20 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (* (cube 1) (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 21 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (/ (cube 1) (cube (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 22 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 23 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (sqr (sqrt (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 24 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (* 1 (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 25 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (pow (/ 1 (fabs x)) 3))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 26 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (pow (cube (/ 1 (fabs x))) 1))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 27 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (exp (log (cube (/ 1 (fabs x))))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 28 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (log (exp (cube (/ 1 (fabs x))))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 29 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (cbrt (cube (/ 1 (fabs x))))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 30 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cbrt (cube (cube (/ 1 (fabs x))))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 31 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (* (cube 1) (cube (/ 1 (fabs x)))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 32 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (* (cube 1) (cube (/ 1 (fabs x)))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 33 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (/ (cube 1) (cube (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 34 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 35 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (sqr (sqrt (cube (/ 1 (fabs x))))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 36 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (* 1 (cube (/ 1 (fabs x)))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 37 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (pow (/ 1 (fabs x)) 3) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 38 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (pow (cube (/ 1 (fabs x))) 1) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 39 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (exp (log (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 40 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (log (exp (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 41 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (cbrt (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 42 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cbrt (cube (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 43 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 44 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 45 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (/ (cube 1) (cube (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 46 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 47 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (sqr (sqrt (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 48 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* 1 (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 49 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (cube (/ 1 (fabs x))) 2) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 50 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 51 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (exp (log (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (107 enodes)
* * [misc]simplify:  iters left: 1 (163 enodes)
* [exit]simplify:  Simplified to (+ (- (log (cube (fabs x)))) (- (log (cube (fabs x)))))
* [exit]simplify:  Simplified to (+ (- (log (cube (fabs x)))) (- (log (cube (fabs x)))))
* * * * [misc]progress:  [ 52 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (log (exp (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (62 enodes)
* * [misc]simplify:  iters left: 2 (79 enodes)
* * [misc]simplify:  iters left: 1 (105 enodes)
* [exit]simplify:  Simplified to (exp (* (/ 1 (cube (fabs x))) (/ 1 (cube (fabs x)))))
* [exit]simplify:  Simplified to (exp (* (/ 1 (cube (fabs x))) (/ 1 (cube (fabs x)))))
* * * * [misc]progress:  [ 53 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (cube (cbrt (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (97 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* * * * [misc]progress:  [ 54 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (cbrt (cube (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (120 enodes)
* * [misc]simplify:  iters left: 1 (162 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (cube (cube (fabs x)))) (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ (/ 1 (cube (cube (fabs x)))) (cube (cube (fabs x))))
* * * * [misc]progress:  [ 55 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (sqr (sqrt (sqr (cube (/ 1 (fabs x)))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (57 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (93 enodes)
* [exit]simplify:  Simplified to (fabs (/ 1 (cube (fabs x))))
* [exit]simplify:  Simplified to (fabs (/ 1 (cube (fabs x))))
* * * * [misc]progress:  [ 56 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (sqr (cube 1)) (sqr (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 57 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (sqr (cube 1)) (sqr (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 58 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (sqr (/ 1 (fabs x))) (sqr (* (/ 1 (fabs x)) (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* [exit]simplify:  Simplified to (sqr (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (sqr (/ 1 (fabs x)))
* [enter]simplify:  Simplifying (sqr (* (/ 1 (fabs x)) (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (37 enodes)
* * [misc]simplify:  iters left: 2 (51 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (/ 1 (sqr (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (sqr (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 59 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (sqr 1) (sqr (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqr 1)
* [exit]simplify:  Simplified to (sqr 1)
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 60 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (/ (sqr (cube 1)) (sqr (cube (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* * * * [misc]progress:  [ 61 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 62 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (* 1 (sqr (cube (/ 1 (fabs x))))) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2 1 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ -1 x)))) into (cube (/ 1 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 2 1 1)
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs x)))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs x))) into (cube (/ 1 (fabs x)))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (* 0 (cube (/ 1 (fabs x))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs x)))) into (sqr (cube (/ 1 (fabs x))))
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 x))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 x)))) into (cube (/ 1 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs (/ 1 x)))) (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ 1 x))))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ 1 x))))) into (sqr (cube (/ 1 (fabs (/ 1 x)))))
* [misc]approximate:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (sqr (cube (/ 1 (fabs (/ 1 (- x)))))) in x
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (fabs (/ 1 (- x))))) into (cube (/ 1 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (* (cube (/ 1 (fabs (/ -1 x)))) (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* (cube (/ 1 (fabs (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cube (/ 1 (fabs (/ -1 x))))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqr (cube (/ 1 (fabs (/ -1 x))))) into (sqr (cube (/ 1 (fabs (/ -1 x)))))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2 1 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 2 1 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (61 enodes)
* * [misc]simplify:  iters left: 4 (115 enodes)
* * [misc]simplify:  iters left: 3 (188 enodes)
* * [misc]simplify:  iters left: 2 (306 enodes)
* [exit]simplify:  Simplified to (/ (+ (/ (/ (/ 15 8) (* (cube (fabs x)) (cube (fabs x)))) (fabs x)) (+ (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 2 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs (/ 1 x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs (/ 1 x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (130 enodes)
* * [misc]simplify:  iters left: 3 (218 enodes)
* * [misc]simplify:  iters left: 2 (370 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (/ (fabs x) (/ 3 4))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x)))) (/ (/ (/ 15 8) (cube (* (fabs (/ 1 x)) (fabs (/ 1 x))))) (fabs x))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 3 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs (/ -1 x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs (/ -1 x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (34 enodes)
* * [misc]simplify:  iters left: 5 (71 enodes)
* * [misc]simplify:  iters left: 4 (129 enodes)
* * [misc]simplify:  iters left: 3 (218 enodes)
* * [misc]simplify:  iters left: 2 (385 enodes)
* [exit]simplify:  Simplified to (/ (+ (/ (/ (/ 15 8) (sqr (cube (fabs (/ -1 x))))) (fabs x)) (+ (/ (cube (/ 1 (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 4 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (61 enodes)
* * [misc]simplify:  iters left: 4 (115 enodes)
* * [misc]simplify:  iters left: 3 (188 enodes)
* * [misc]simplify:  iters left: 2 (306 enodes)
* [exit]simplify:  Simplified to (/ (+ (/ (/ (/ 15 8) (* (cube (fabs x)) (cube (fabs x)))) (fabs x)) (+ (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 5 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs (/ 1 x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs (/ 1 x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (220 enodes)
* * [misc]simplify:  iters left: 2 (345 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ 1 2) (cube (fabs x))) (/ (/ (/ 15 8) (sqr (cube (fabs x)))) (fabs x))) (/ (+ (/ (/ (/ (/ 3 4) (fabs x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) 1) (fabs x))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 6 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs (/ -1 x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs (/ -1 x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (34 enodes)
* * [misc]simplify:  iters left: 5 (71 enodes)
* * [misc]simplify:  iters left: 4 (135 enodes)
* * [misc]simplify:  iters left: 3 (253 enodes)
* * [misc]simplify:  iters left: 2 (476 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (* (/ (/ 15 8) (cube (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x)))) (/ (/ (/ (/ 3 4) (fabs (/ -1 x))) (* (fabs (/ -1 x)) (fabs (/ -1 x)))) (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 7 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (61 enodes)
* * [misc]simplify:  iters left: 4 (115 enodes)
* * [misc]simplify:  iters left: 3 (188 enodes)
* * [misc]simplify:  iters left: 2 (306 enodes)
* [exit]simplify:  Simplified to (/ (+ (/ (/ (/ 15 8) (* (cube (fabs x)) (cube (fabs x)))) (fabs x)) (+ (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 8 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ 1 x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ 1 x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (207 enodes)
* * [misc]simplify:  iters left: 2 (344 enodes)
* [exit]simplify:  Simplified to (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (* (/ (/ 15 8) (cube (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ (/ (/ (/ 3 4) (fabs x)) (cube (fabs x))) (fabs x))) (+ (/ (/ 1 2) (cube (fabs (/ 1 x)))) (/ 1 (fabs x)))))
* * * * [misc]progress:  [ 9 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ -1 x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs (/ -1 x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (34 enodes)
* * [misc]simplify:  iters left: 5 (71 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (234 enodes)
* * [misc]simplify:  iters left: 2 (433 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ 1 (fabs x)) (/ (/ (/ 3 (fabs x)) (cube (fabs x))) (* (fabs x) 4))) (+ (* (/ (/ 15 8) (cube (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ (/ 1 2) (cube (fabs (/ -1 x)))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 10 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (61 enodes)
* * [misc]simplify:  iters left: 4 (115 enodes)
* * [misc]simplify:  iters left: 3 (188 enodes)
* * [misc]simplify:  iters left: 2 (306 enodes)
* [exit]simplify:  Simplified to (/ (+ (/ (/ (/ 15 8) (* (cube (fabs x)) (cube (fabs x)))) (fabs x)) (+ (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 11 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs (/ 1 x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs (/ 1 x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (130 enodes)
* * [misc]simplify:  iters left: 3 (218 enodes)
* * [misc]simplify:  iters left: 2 (370 enodes)
* [exit]simplify:  Simplified to (/ (+ (+ (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (/ (fabs x) (/ 3 4))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x)))) (/ (/ (/ 15 8) (cube (* (fabs (/ 1 x)) (fabs (/ 1 x))))) (fabs x))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 12 / 62 ] simplifiying candidate #<alt-event (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs (/ -1 x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs (/ -1 x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (34 enodes)
* * [misc]simplify:  iters left: 5 (71 enodes)
* * [misc]simplify:  iters left: 4 (129 enodes)
* * [misc]simplify:  iters left: 3 (218 enodes)
* * [misc]simplify:  iters left: 2 (385 enodes)
* [exit]simplify:  Simplified to (/ (+ (/ (/ (/ 15 8) (sqr (cube (fabs (/ -1 x))))) (fabs x)) (+ (/ (cube (/ 1 (fabs x))) (/ (fabs x) (/ (/ 3 4) (fabs x)))) (+ (/ (/ 1 2) (cube (fabs x))) (/ 1 (fabs x))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 13 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (pow (/ 1 (fabs x)) 3)) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 14 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (pow (cube (/ 1 (fabs x))) 1)) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 15 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (exp (log (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 16 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (log (exp (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 17 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (cbrt (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 18 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cbrt (cube (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 19 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (* (cube 1) (cube (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 20 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (* (cube 1) (cube (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 21 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (/ (cube 1) (cube (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 22 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 23 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (sqr (sqrt (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 24 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (* 1 (cube (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 25 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (pow (/ 1 (fabs x)) 3) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 26 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (pow (cube (/ 1 (fabs x))) 1) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 27 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (exp (log (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 28 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (log (exp (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 29 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (cbrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 30 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cbrt (cube (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 31 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (* (cube 1) (cube (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 32 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (* (cube 1) (cube (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 33 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (/ (cube 1) (cube (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 34 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 35 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (sqr (sqrt (cube (/ 1 (fabs x))))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 36 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (* 1 (cube (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 37 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (pow (/ 1 (fabs x)) 3) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 38 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (pow (cube (/ 1 (fabs x))) 1) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 39 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (exp (log (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (49 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* [exit]simplify:  Simplified to (- (log (cube (fabs x))))
* * * * [misc]progress:  [ 40 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (log (exp (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 41 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (cbrt (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (45 enodes)
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* [exit]simplify:  Simplified to (/ 1 (fabs x))
* * * * [misc]progress:  [ 42 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cbrt (cube (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (cube (cube (fabs x))))
* * * * [misc]progress:  [ 43 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 44 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (cube (/ 1 (fabs x)))
* * * * [misc]progress:  [ 45 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (/ (cube 1) (cube (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube 1)
* [exit]simplify:  Simplified to (cube 1)
* [enter]simplify:  Simplifying (cube (fabs x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (fabs x))
* [exit]simplify:  Simplified to (cube (fabs x))
* * * * [misc]progress:  [ 46 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (36 enodes)
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (/ 1 (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 47 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (sqr (sqrt (cube (/ 1 (fabs x))))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 48 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (* 1 (cube (/ 1 (fabs x)))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 49 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (pow (cube (/ 1 (fabs x))) 2) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 50 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (pow (sqr (cube (/ 1 (fabs x)))) 1) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 51 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (exp (log (sqr (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (log (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (107 enodes)
* * [misc]simplify:  iters left: 1 (163 enodes)
* [exit]simplify:  Simplified to (+ (- (log (cube (fabs x)))) (- (log (cube (fabs x)))))
* [exit]simplify:  Simplified to (+ (- (log (cube (fabs x)))) (- (log (cube (fabs x)))))
* * * * [misc]progress:  [ 52 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (log (exp (sqr (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (exp (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (62 enodes)
* * [misc]simplify:  iters left: 2 (79 enodes)
* * [misc]simplify:  iters left: 1 (105 enodes)
* [exit]simplify:  Simplified to (exp (* (/ 1 (cube (fabs x))) (/ 1 (cube (fabs x)))))
* [exit]simplify:  Simplified to (exp (* (/ 1 (cube (fabs x))) (/ 1 (cube (fabs x)))))
* * * * [misc]progress:  [ 53 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (cube (cbrt (sqr (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cbrt (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (97 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* * * * [misc]progress:  [ 54 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (cbrt (cube (sqr (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (cube (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (120 enodes)
* * [misc]simplify:  iters left: 1 (162 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (cube (cube (fabs x)))) (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ (/ 1 (cube (cube (fabs x)))) (cube (cube (fabs x))))
* * * * [misc]progress:  [ 55 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (sqr (sqrt (sqr (cube (/ 1 (fabs x)))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqrt (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (57 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (93 enodes)
* [exit]simplify:  Simplified to (fabs (/ 1 (cube (fabs x))))
* [exit]simplify:  Simplified to (fabs (/ 1 (cube (fabs x))))
* * * * [misc]progress:  [ 56 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (* (sqr (cube 1)) (sqr (cube (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 57 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (* (sqr (cube 1)) (sqr (cube (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 58 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (* (sqr (/ 1 (fabs x))) (sqr (* (/ 1 (fabs x)) (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* [exit]simplify:  Simplified to (sqr (/ 1 (fabs x)))
* [exit]simplify:  Simplified to (sqr (/ 1 (fabs x)))
* [enter]simplify:  Simplifying (sqr (* (/ 1 (fabs x)) (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (37 enodes)
* * [misc]simplify:  iters left: 2 (51 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (/ 1 (sqr (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (/ 1 (sqr (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 59 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (* (sqr 1) (sqr (cube (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqr 1)
* [exit]simplify:  Simplified to (sqr 1)
* [enter]simplify:  Simplifying (sqr (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (67 enodes)
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 60 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (/ (sqr (cube 1)) (sqr (cube (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* [enter]simplify:  Simplifying (sqr (cube 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (sqr (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* * * * [misc]progress:  [ 61 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * * [misc]progress:  [ 62 / 62 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (+ (+ (/ (cube (/ 1 (fabs x))) 2) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)))) (* (/ 15 8) (/ (pow (* 1 (sqr (cube (/ 1 (fabs x))))) 1) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [enter]simplify:  Simplifying (cbrt (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (97 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* [enter]simplify:  Simplifying (+ (/ (+ (/ (/ (/ 3 4) (fabs x)) (cube (fabs (/ 1 x)))) 1) (fabs x)) (+ (/ (/ 15 8) (* (fabs x) (sqr (cube (fabs x))))) (/ (/ 1 2) (cube (fabs x)))))
* * [misc]simplify:  iters left: 6 (25 enodes)
* * [misc]simplify:  iters left: 5 (45 enodes)
* * [misc]simplify:  iters left: 4 (63 enodes)
* * [misc]simplify:  iters left: 3 (81 enodes)
* * [misc]simplify:  iters left: 2 (124 enodes)
* * [misc]simplify:  iters left: 1 (148 enodes)
* [exit]simplify:  Simplified to (+ (/ (+ 1 (/ (/ (/ (/ 3 4) (fabs x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x))))) (fabs x)) (+ (/ (/ (/ 15 8) (fabs x)) (sqr (cube (fabs x)))) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))))
* [exit]simplify:  Simplified to (+ (/ (+ 1 (/ (/ (/ (/ 3 4) (fabs x)) (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x))))) (fabs x)) (+ (/ (/ (/ 15 8) (fabs x)) (sqr (cube (fabs x)))) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))))
* [enter]simplify:  Simplifying (/ (sqrt PI) (exp (* (fabs x) (fabs x))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (/ (sqrt PI) (exp (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (/ (sqrt PI) (exp (* (fabs x) (fabs x))))
* [enter]simplify:  Simplifying (cbrt (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (64 enodes)
* * [misc]simplify:  iters left: 1 (97 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* [exit]simplify:  Simplified to (/ (/ 1 (fabs x)) (fabs x))
* [enter]simplify:  Simplifying (cube (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (120 enodes)
* * [misc]simplify:  iters left: 1 (162 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (cube (cube (fabs x)))) (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (/ (/ 1 (cube (cube (fabs x)))) (cube (cube (fabs x))))
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [enter]simplify:  Simplifying (exp (sqr (cube (/ 1 (fabs x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (62 enodes)
* * [misc]simplify:  iters left: 2 (79 enodes)
* * [misc]simplify:  iters left: 1 (105 enodes)
* [exit]simplify:  Simplified to (exp (* (/ 1 (cube (fabs x))) (/ 1 (cube (fabs x)))))
* [exit]simplify:  Simplified to (exp (* (/ 1 (cube (fabs x))) (/ 1 (cube (fabs x)))))
* [enter]simplify:  Simplifying (exp (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (31 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (exp (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [enter]simplify:  Simplifying (sqrt (cube (/ 1 (fabs x))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (sqrt (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))