* [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 (177 enodes)
* * [misc]simplify:  iters left: 3 (460 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (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) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 3 1 2)
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 3 2 1 2)
* [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 3 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:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 3 1 2)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 3 2 1 2)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 3 2 1 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (59 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (226 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (* 1 (/ 3 4)) (cube (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (* (/ (fabs x) 1) (/ (sqrt PI) (/ 15 8)))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (59 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (226 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (* 1 (/ 3 4)) (cube (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (* (/ (fabs x) 1) (/ (sqrt PI) (/ 15 8)))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (59 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (226 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (* 1 (/ 3 4)) (cube (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (* (/ (fabs x) 1) (/ (sqrt PI) (/ 15 8)))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (59 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (226 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (* 1 (/ 3 4)) (cube (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (* (/ (fabs x) 1) (/ (sqrt PI) (/ 15 8)))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (59 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (226 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (* 1 (/ 3 4)) (cube (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (* (/ (fabs x) 1) (/ (sqrt PI) (/ 15 8)))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 6 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (59 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (226 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (* 1 (/ 3 4)) (cube (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (* (/ (fabs x) 1) (/ (sqrt PI) (/ 15 8)))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 7 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (59 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (226 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (* 1 (/ 3 4)) (cube (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (* (/ (fabs x) 1) (/ (sqrt PI) (/ 15 8)))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 8 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs (/ 1 x))))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs (/ 1 x))))) (fabs x))))
* * [misc]simplify:  iters left: 6 (32 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (149 enodes)
* * [misc]simplify:  iters left: 3 (320 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ 3 (fabs x)) (cube (fabs x))) 4) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (/ (/ (fabs x) 1) (/ (/ 15 8) (sqrt PI)))) (/ (cube (/ 1 (fabs x))) (cube (fabs (/ 1 x))))))
* * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs (/ -1 x))))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs (/ -1 x))))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (68 enodes)
* * [misc]simplify:  iters left: 4 (150 enodes)
* * [misc]simplify:  iters left: 3 (278 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ 1 (cube (fabs x))) (/ (fabs x) (/ 3 4))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (/ (/ (fabs x) 1) (/ (/ 15 8) (sqrt PI)))) (/ (/ 1 (cube (fabs x))) (cube (fabs (/ -1 x))))))
* * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (59 enodes)
* * [misc]simplify:  iters left: 4 (128 enodes)
* * [misc]simplify:  iters left: 3 (226 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (* 1 (/ 3 4)) (cube (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (exp (* (fabs x) (fabs x))) (* (/ (fabs x) 1) (/ (sqrt PI) (/ 15 8)))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs (/ 1 x)))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs (/ 1 x)))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (32 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (149 enodes)
* * [misc]simplify:  iters left: 3 (329 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ 3 (fabs x)) (cube (fabs x))) 4) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x)))) (/ (/ 1 (cube (fabs (/ 1 x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs (/ -1 x)))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs (/ -1 x)))) (cube (/ 1 (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (68 enodes)
* * [misc]simplify:  iters left: 4 (150 enodes)
* * [misc]simplify:  iters left: 3 (313 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ 3 (fabs x)) (cube (fabs x))) 4) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (/ 1 (cube (fabs (/ -1 x)))) (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (log1p (expm1 (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (expm1 (log1p (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* * * * [misc]progress:  [ 15 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (pow PI 1/2)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 16 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (pow (sqrt PI) 1)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 17 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (exp (log (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log (sqrt PI))
* [exit]simplify:  Simplified to (log (sqrt PI))
* * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (log (exp (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (exp (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (exp (sqrt PI))
* [exit]simplify:  Simplified to (exp (sqrt PI))
* * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (cube (cbrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (cbrt (cube (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cube (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (sqrt PI))
* [exit]simplify:  Simplified to (cube (sqrt PI))
* * * * [misc]progress:  [ 21 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* * * * [misc]progress:  [ 22 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (* 1 (sqrt PI))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (log1p (expm1 (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (expm1 (log1p (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* * * * [misc]progress:  [ 25 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (pow PI 1/2)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 26 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (pow (sqrt PI) 1)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 27 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (exp (log (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log (sqrt PI))
* [exit]simplify:  Simplified to (log (sqrt PI))
* * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (log (exp (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (exp (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (exp (sqrt PI))
* [exit]simplify:  Simplified to (exp (sqrt PI))
* * * * [misc]progress:  [ 29 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (cube (cbrt (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (cbrt (cube (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cube (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (sqrt PI))
* [exit]simplify:  Simplified to (cube (sqrt PI))
* * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqr (sqrt (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (* 1 (sqrt PI))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 33 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (log1p (expm1 (cube (/ 1 (fabs x)))))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (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 (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (expm1 (log1p (cube (/ 1 (fabs x)))))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (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 (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 35 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 3)) (fabs x)))))>
* * * * [misc]progress:  [ 36 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (pow (cube (/ 1 (fabs x))) 1)) (fabs x)))))>
* * * * [misc]progress:  [ 37 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (exp (log (cube (/ 1 (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:  [ 38 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (log (exp (cube (/ 1 (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:  [ 39 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (cbrt (cube (/ 1 (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:  [ 40 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cbrt (cube (cube (/ 1 (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:  [ 41 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (* (cube 1) (cube (/ 1 (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:  [ 42 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (* (cube 1) (cube (/ 1 (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:  [ 43 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 44 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (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:  [ 45 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (sqr (sqrt (cube (/ 1 (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:  [ 46 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (* 1 (cube (/ 1 (fabs x))))) (fabs x)))))>
* * * * [misc]progress:  [ 47 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (log1p (expm1 (cube (/ 1 (fabs x))))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (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 (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (expm1 (log1p (cube (/ 1 (fabs x))))) (cube (/ 1 (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (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 (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (pow (/ 1 (fabs x)) 3) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (pow (cube (/ 1 (fabs x))) 1) (cube (/ 1 (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (exp (log (cube (/ 1 (fabs x))))) (cube (/ 1 (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:  [ 52 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (log (exp (cube (/ 1 (fabs x))))) (cube (/ 1 (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:  [ 53 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (cbrt (cube (/ 1 (fabs x))))) (cube (/ 1 (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:  [ 54 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cbrt (cube (cube (/ 1 (fabs x))))) (cube (/ 1 (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:  [ 55 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* (cube 1) (cube (/ 1 (fabs x)))) (cube (/ 1 (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:  [ 56 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* (cube 1) (cube (/ 1 (fabs x)))) (cube (/ 1 (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:  [ 57 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (/ (cube 1) (cube (fabs x))) (cube (/ 1 (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:  [ 58 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (cube (/ 1 (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:  [ 59 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (sqr (sqrt (cube (/ 1 (fabs x))))) (cube (/ 1 (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:  [ 60 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* 1 (cube (/ 1 (fabs x)))) (cube (/ 1 (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) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 3 1 2)
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 3 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:  [ 4 / 4 ] generating series at (2 2 2 3 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:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 3 1 2)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 3 2 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 3 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (210 enodes)
* * [misc]simplify:  iters left: 2 (480 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (210 enodes)
* * [misc]simplify:  iters left: 2 (480 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (210 enodes)
* * [misc]simplify:  iters left: 2 (480 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (210 enodes)
* * [misc]simplify:  iters left: 2 (480 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (210 enodes)
* * [misc]simplify:  iters left: 2 (480 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 6 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (210 enodes)
* * [misc]simplify:  iters left: 2 (480 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 7 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (210 enodes)
* * [misc]simplify:  iters left: 2 (480 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 8 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs (/ 1 x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs (/ 1 x)))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (35 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (147 enodes)
* * [misc]simplify:  iters left: 3 (241 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ (/ 1 (fabs x)) (cube (fabs x))) (/ 3 4)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs (/ 1 x))) (* (fabs (/ 1 x)) (fabs (/ 1 x)))) (* (fabs x) (fabs x))) (/ (/ (exp (* (fabs x) (fabs x))) (* (sqrt PI) (/ 8 15))) (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs (/ -1 x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs (/ -1 x)))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (36 enodes)
* * [misc]simplify:  iters left: 5 (73 enodes)
* * [misc]simplify:  iters left: 4 (152 enodes)
* * [misc]simplify:  iters left: 3 (251 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ 3 (fabs x)) (cube (fabs x))) 4) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs (/ -1 x))) (fabs (/ -1 x))) (/ (* (fabs x) (fabs x)) (/ 1 (fabs (/ -1 x))))) (/ (* (exp (* (fabs x) (fabs x))) (/ (/ 15 8) (sqrt PI))) (* (fabs x) (fabs x)))))
* * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (134 enodes)
* * [misc]simplify:  iters left: 3 (210 enodes)
* * [misc]simplify:  iters left: 2 (480 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))) (/ 1 (fabs x))) (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs (/ 1 x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs (/ 1 x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (35 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (147 enodes)
* * [misc]simplify:  iters left: 3 (228 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (/ (/ 1 (fabs x)) (cube (fabs x))) (/ 3 4)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs (/ 1 x)))))) (* (/ (/ 1 (cube (fabs x))) (* (cube (fabs x)) (/ (fabs x) 1))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs (/ -1 x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs (/ -1 x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (36 enodes)
* * [misc]simplify:  iters left: 5 (73 enodes)
* * [misc]simplify:  iters left: 4 (152 enodes)
* * [misc]simplify:  iters left: 3 (235 enodes)
* * [misc]simplify:  iters left: 2 (495 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ (/ 3 4) (fabs x)) (* (fabs x) (fabs x))) (fabs x)) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs (/ -1 x))) (* (fabs (/ -1 x)) (fabs (/ -1 x))))) (/ 1 (fabs x))) (* (* (exp (* (fabs x) (fabs x))) (/ (/ 15 8) (sqrt PI))) (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (cube (fabs x)))))
* * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (log1p (expm1 (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (expm1 (log1p (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* * * * [misc]progress:  [ 15 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (pow PI 1/2)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 16 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (pow (sqrt PI) 1)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 17 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (exp (log (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log (sqrt PI))
* [exit]simplify:  Simplified to (log (sqrt PI))
* * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (log (exp (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (exp (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (exp (sqrt PI))
* [exit]simplify:  Simplified to (exp (sqrt PI))
* * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (cube (cbrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (cbrt (cube (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cube (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (sqrt PI))
* [exit]simplify:  Simplified to (cube (sqrt PI))
* * * * [misc]progress:  [ 21 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* * * * [misc]progress:  [ 22 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (* 1 (sqrt PI))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (log1p (expm1 (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (expm1 (log1p (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* * * * [misc]progress:  [ 25 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (pow PI 1/2)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 26 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (pow (sqrt PI) 1)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 27 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (exp (log (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log (sqrt PI))
* [exit]simplify:  Simplified to (log (sqrt PI))
* * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (log (exp (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (exp (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (exp (sqrt PI))
* [exit]simplify:  Simplified to (exp (sqrt PI))
* * * * [misc]progress:  [ 29 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (cube (cbrt (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (cbrt (cube (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cube (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (sqrt PI))
* [exit]simplify:  Simplified to (cube (sqrt PI))
* * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqr (sqrt (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (* 1 (sqrt PI))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 33 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (log1p (expm1 (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (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 (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (expm1 (log1p (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (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 (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 35 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (pow (/ 1 (fabs x)) 3) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 36 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (pow (cube (/ 1 (fabs x))) 1) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 37 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (exp (log (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 38 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (log (exp (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 39 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (cbrt (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 40 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cbrt (cube (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 41 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* (cube 1) (cube (/ 1 (fabs x)))) (/ (cube 1) (cube (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:  [ 42 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* (cube 1) (cube (/ 1 (fabs x)))) (/ (cube 1) (cube (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:  [ 43 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (/ (cube 1) (cube (fabs x))) (/ (cube 1) (cube (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:  [ 44 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ (cube 1) (cube (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:  [ 45 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (sqr (sqrt (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 46 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* 1 (cube (/ 1 (fabs x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 47 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (log1p (expm1 (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (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 (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (expm1 (log1p (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (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 (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (pow (/ 1 (fabs x)) 3) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (pow (cube (/ 1 (fabs x))) 1) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (exp (log (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 52 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (log (exp (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 53 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (cbrt (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 54 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cbrt (cube (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 55 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 56 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 57 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (/ (cube 1) (cube (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 58 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 59 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (sqr (sqrt (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 60 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (* 1 (cube (/ 1 (fabs x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 3 1 2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 3 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:  [ 4 / 4 ] generating series at (2 2 2 3 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:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 3 1 2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 3 2 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 3 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (242 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (242 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (242 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (242 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (242 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 6 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (242 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 7 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (242 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 8 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs (/ 1 x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs (/ 1 x)))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (37 enodes)
* * [misc]simplify:  iters left: 5 (75 enodes)
* * [misc]simplify:  iters left: 4 (156 enodes)
* * [misc]simplify:  iters left: 3 (285 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ 3 (fabs x)) (cube (fabs x))) 4) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (exp (* (fabs x) (fabs x))) (/ (/ 15 8) (sqrt PI))) (/ (cube (/ 1 (fabs (/ 1 x)))) (* (cube (fabs x)) (/ (fabs x) 1)))))
* * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs (/ -1 x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs (/ -1 x)))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (38 enodes)
* * [misc]simplify:  iters left: 5 (76 enodes)
* * [misc]simplify:  iters left: 4 (158 enodes)
* * [misc]simplify:  iters left: 3 (290 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (/ (/ (/ 3 (fabs x)) (cube (fabs x))) 4) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (/ (cube (/ 1 (fabs (/ -1 x)))) (* (/ (fabs x) 1) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (33 enodes)
* * [misc]simplify:  iters left: 5 (67 enodes)
* * [misc]simplify:  iters left: 4 (140 enodes)
* * [misc]simplify:  iters left: 3 (242 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x))))))
* * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs (/ 1 x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs (/ 1 x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (37 enodes)
* * [misc]simplify:  iters left: 5 (75 enodes)
* * [misc]simplify:  iters left: 4 (156 enodes)
* * [misc]simplify:  iters left: 3 (265 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (/ (/ 1 (fabs x)) (cube (fabs x))) (/ 3 4)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs (/ 1 x)))))) (* (* (exp (* (fabs x) (fabs x))) (/ (/ 15 8) (sqrt PI))) (/ (/ 1 (cube (fabs x))) (* (cube (fabs x)) (/ (fabs x) 1)))))
* * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt-event (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs (/ -1 x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs (/ -1 x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x))))
* * [misc]simplify:  iters left: 6 (38 enodes)
* * [misc]simplify:  iters left: 5 (76 enodes)
* * [misc]simplify:  iters left: 4 (158 enodes)
* * [misc]simplify:  iters left: 3 (270 enodes)
* [exit]simplify:  Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ (/ 1 (fabs x)) (cube (fabs x))) (/ 3 4)) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs (/ -1 x))))) (/ 1 (fabs x))) (* (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x)))) (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x))))))
* * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (log1p (expm1 (sqrt PI)))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (expm1 (log1p (sqrt PI)))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* * * * [misc]progress:  [ 15 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (pow PI 1/2)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 16 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (pow (sqrt PI) 1)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 17 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (exp (log (sqrt PI)))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log (sqrt PI))
* [exit]simplify:  Simplified to (log (sqrt PI))
* * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (log (exp (sqrt PI)))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (exp (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (exp (sqrt PI))
* [exit]simplify:  Simplified to (exp (sqrt PI))
* * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (cube (cbrt (sqrt PI)))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (cbrt (cube (sqrt PI)))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cube (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (sqrt PI))
* [exit]simplify:  Simplified to (cube (sqrt PI))
* * * * [misc]progress:  [ 21 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqr (sqrt (sqrt PI)))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* * * * [misc]progress:  [ 22 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (* 1 (sqrt PI))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (log1p (expm1 (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* [exit]simplify:  Simplified to (expm1 (sqrt PI))
* * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (expm1 (log1p (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* * * * [misc]progress:  [ 25 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (pow PI 1/2)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 26 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (pow (sqrt PI) 1)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 27 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (exp (log (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log (sqrt PI))
* [exit]simplify:  Simplified to (log (sqrt PI))
* * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (log (exp (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (exp (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (exp (sqrt PI))
* [exit]simplify:  Simplified to (exp (sqrt PI))
* * * * [misc]progress:  [ 29 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (cube (cbrt (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (cbrt (cube (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (cube (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (cube (sqrt PI))
* [exit]simplify:  Simplified to (cube (sqrt PI))
* * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqr (sqrt (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (* 1 (sqrt PI))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 33 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (log1p (expm1 (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (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 (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (expm1 (log1p (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (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 (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 35 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (pow (/ 1 (fabs x)) 3) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 36 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (pow (cube (/ 1 (fabs x))) 1) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 37 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (exp (log (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 38 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (log (exp (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 39 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (cbrt (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 40 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cbrt (cube (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 41 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (* (cube 1) (cube (/ 1 (fabs x)))) (/ (cube 1) (cube (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:  [ 42 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (* (cube 1) (cube (/ 1 (fabs x)))) (/ (cube 1) (cube (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:  [ 43 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (/ (cube 1) (cube (fabs x))) (/ (cube 1) (cube (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:  [ 44 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ (cube 1) (cube (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:  [ 45 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (sqr (sqrt (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (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:  [ 46 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (* 1 (cube (/ 1 (fabs x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 47 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (log1p (expm1 (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (expm1 (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 (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (expm1 (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (expm1 (log1p (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* [enter]simplify:  Simplifying (log1p (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 (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (pow (/ 1 (fabs x)) 3) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (pow (cube (/ 1 (fabs x))) 1) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (exp (log (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 52 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (log (exp (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 53 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (cbrt (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 54 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cbrt (cube (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 55 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 56 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (* (cube 1) (cube (/ 1 (fabs x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 57 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (/ (cube 1) (cube (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 58 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (* (/ 1 (fabs x)) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 59 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (sqr (sqrt (cube (/ 1 (fabs x))))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (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:  [ 60 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (* 1 (cube (/ 1 (fabs x)))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (* (/ 1 (fabs x)) (/ 1 (* (fabs x) (fabs x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (/ (cube 1) (cube (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (expm1 (log1p (sqrt PI)))))) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (cube (cbrt (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (expm1 (log1p (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (sqr (sqrt (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqr (sqrt (sqrt PI)))) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (cube (/ 1 (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cbrt (cube (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x))) (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x)))))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (sqr (sqrt (cube (/ 1 (fabs x)))))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (/ (cube 1) (cube (fabs x))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (expm1 (log1p (cube (/ 1 (fabs x)))))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqrt PI)) (/ (* (cube (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 3)) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (* (/ 1 (fabs x)) (/ 1 (* (fabs x) (fabs x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (pow (/ 1 (fabs x)) 3) (/ (cube 1) (cube (fabs x)))) (fabs x)))))> #<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (expm1 (log1p (cube (/ 1 (fabs x))))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 x +inf.0)) , with alts (#<alt-delta (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ 1 (fabs x)) (fma (* (cube (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 3 4))) (/ 1 (fabs x)) (/ (cube (/ 1 (fabs x))) 2))) (* (/ (* (/ 15 8) (exp (* (fabs x) (fabs x)))) (sqr (sqrt (sqrt PI)))) (/ (* (* (/ 1 (fabs x)) (/ 1 (* (fabs x) (fabs x)))) (/ (cube 1) (cube (fabs x)))) (fabs x)))))>)
* [enter]simplify:  Simplifying (* (fabs x) (fabs x))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (4 enodes)
* [exit]simplify:  Simplified to (* (fabs x) (fabs x))
* [exit]simplify:  Simplified to (* (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))
* [enter]simplify:  Simplifying (log1p (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [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))
* [enter]simplify:  Simplifying (cbrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* [exit]simplify:  Simplified to (cbrt (sqrt PI))
* [enter]simplify:  Simplifying (log1p (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [exit]simplify:  Simplified to (log1p (sqrt PI))
* [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 (sqrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [enter]simplify:  Simplifying (sqrt (sqrt PI))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [exit]simplify:  Simplified to (sqrt (sqrt PI))
* [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))))
* [enter]simplify:  Simplifying (/ (exp (* (fabs x) (fabs x))) (sqrt PI))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (/ (exp (* (fabs x) (fabs x))) (sqrt PI))
* [exit]simplify:  Simplified to (/ (exp (* (fabs x) (fabs x))) (sqrt PI))
* [enter]simplify:  Simplifying (+ (fma (* (/ 3 4) (/ (/ 1 (fabs x)) (cube (fabs x)))) (/ 1 (fabs x)) (/ (/ 1 2) (cube (fabs x)))) (/ 1 (fabs x)))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (49 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (155 enodes)
* * [misc]simplify:  iters left: 1 (226 enodes)
* [exit]simplify:  Simplified to (+ (/ 1 (fabs x)) (fma (/ (/ (/ 3 4) (fabs x)) (cube (fabs x))) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))))
* [exit]simplify:  Simplified to (+ (/ 1 (fabs x)) (fma (/ (/ (/ 3 4) (fabs x)) (cube (fabs x))) (/ 1 (fabs x)) (/ (/ (/ 1 2) (fabs x)) (* (fabs x) (fabs x)))))
* [enter]simplify:  Simplifying (* (* (cube (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (cube (fabs x)))) (* (/ (/ 15 8) (sqrt PI)) (exp (* (fabs x) (fabs x)))))
* * [misc]simplify:  iters left: 6 (18 enodes)
* * [misc]simplify:  iters left: 5 (40 enodes)
* * [misc]simplify:  iters left: 4 (83 enodes)
* * [misc]simplify:  iters left: 3 (201 enodes)
* [exit]simplify:  Simplified to (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (/ (cube (fabs x)) (/ (/ 15 8) (sqrt PI)))) (exp (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (* (/ (/ (/ 1 (fabs x)) (cube (fabs x))) (/ (cube (fabs x)) (/ (/ 15 8) (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))))
* [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))
* [enter]simplify:  Simplifying (log1p (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 (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [enter]simplify:  Simplifying (* (fabs x) (fabs x))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (4 enodes)
* [exit]simplify:  Simplified to (* (fabs x) (fabs x))
* [exit]simplify:  Simplified to (* (fabs x) (fabs x))
* [enter]simplify:  Simplifying (log1p (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 (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))
* [exit]simplify:  Simplified to (log1p (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))))