* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (64 enodes)
* * [misc]simplify:  iters left: 4 (154 enodes)
* * [misc]simplify:  iters left: 3 (352 enodes)
* [exit]simplify:  Simplified to (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 2
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 1 3)
* [misc]approximate:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) into (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) into (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))
* [misc]backup-simplify:  Simplify (fma 2/3 (cube (fabs x)) (* 2 (fabs x))) into (fma 2/3 (cube (fabs x)) (* 2 (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 (fma 2/3 (cube (fabs x)) (* 2 (fabs x))) into (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) into (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) into (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) into (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (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 (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) into (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) into (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) into (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x)))) into (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (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 (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x)))) into (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1)
* [misc]approximate:  Taking taylor expansion of (cube (sqr (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs x))) into (cube (sqr (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs x))) into (cube (sqr (fabs x)))
* [misc]backup-simplify:  Simplify (cube (sqr (fabs x))) into (cube (sqr (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 (sqr (fabs x))) into (cube (sqr (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (sqr (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 x)))) into (cube (sqr (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 x)))) into (cube (sqr (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 x)))) into (cube (sqr (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 (sqr (fabs (/ 1 x)))) into (cube (sqr (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (sqr (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 (- x))))) into (cube (sqr (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 (- x))))) into (cube (sqr (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ -1 x)))) into (cube (sqr (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 (sqr (fabs (/ -1 x)))) into (cube (sqr (fabs (/ -1 x))))
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 3 2)
* [misc]approximate:  Taking taylor expansion of (cube (fabs x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs x)) in x
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (fabs x))
* [misc]taylor:  Taking taylor expansion of (cube (fabs x)) in x
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (fabs x))
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (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 (fabs x)) into (cube (fabs x))
* [misc]approximate:  Taking taylor expansion of (cube (fabs (/ 1 x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 x))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 x))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (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 (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]approximate:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 (- x)))) into (cube (fabs (/ -1 x)))
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 (- x)))) into (cube (fabs (/ -1 x)))
* [misc]backup-simplify:  Simplify (cube (fabs (/ -1 x))) into (cube (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 (fabs (/ -1 x))) into (cube (fabs (/ -1 x)))
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1 2)
* [misc]approximate:  Taking taylor expansion of (cube (fabs x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs x)) in x
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (fabs x))
* [misc]taylor:  Taking taylor expansion of (cube (fabs x)) in x
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (fabs x))
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (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 (fabs x)) into (cube (fabs x))
* [misc]approximate:  Taking taylor expansion of (cube (fabs (/ 1 x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 x))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 x))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (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 (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]approximate:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 (- x)))) into (cube (fabs (/ -1 x)))
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 (- x)))) into (cube (fabs (/ -1 x)))
* [misc]backup-simplify:  Simplify (cube (fabs (/ -1 x))) into (cube (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 (fabs (/ -1 x))) into (cube (fabs (/ -1 x)))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 1 3)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 3 2)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (21 enodes)
* * [misc]simplify:  iters left: 5 (32 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (59 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (89 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs x)) (cube (fabs x))) 21) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma 2/3 (cube (fabs x)) (* (fabs x) 2)))) (sqrt PI)))
* * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (25 enodes)
* * [misc]simplify:  iters left: 5 (40 enodes)
* * [misc]simplify:  iters left: 4 (51 enodes)
* * [misc]simplify:  iters left: 3 (62 enodes)
* * [misc]simplify:  iters left: 2 (76 enodes)
* * [misc]simplify:  iters left: 1 (86 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs x)) (cube (fabs x))) 21) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))))) (sqrt PI)))
* * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (25 enodes)
* * [misc]simplify:  iters left: 5 (38 enodes)
* * [misc]simplify:  iters left: 4 (49 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (77 enodes)
* * [misc]simplify:  iters left: 1 (97 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs x)) (cube (fabs x))) 21) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x)))))) (sqrt PI)))
* * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (33 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (56 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (81 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs (/ 1 x)))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs (/ 1 x)))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (25 enodes)
* * [misc]simplify:  iters left: 5 (39 enodes)
* * [misc]simplify:  iters left: 4 (54 enodes)
* * [misc]simplify:  iters left: 3 (81 enodes)
* * [misc]simplify:  iters left: 2 (122 enodes)
* * [misc]simplify:  iters left: 1 (180 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (sqr (fabs (/ 1 x)))) 21) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 6 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs (/ -1 x)))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs (/ -1 x)))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (25 enodes)
* * [misc]simplify:  iters left: 5 (37 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (86 enodes)
* * [misc]simplify:  iters left: 2 (118 enodes)
* * [misc]simplify:  iters left: 1 (157 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (sqr (fabs (/ -1 x)))) 21) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 7 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (33 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (56 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (81 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 8 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (26 enodes)
* * [misc]simplify:  iters left: 5 (41 enodes)
* * [misc]simplify:  iters left: 4 (52 enodes)
* * [misc]simplify:  iters left: 3 (70 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (118 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs x)) (cube (fabs x))) 21) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ -1 x))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ -1 x))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (26 enodes)
* * [misc]simplify:  iters left: 5 (39 enodes)
* * [misc]simplify:  iters left: 4 (50 enodes)
* * [misc]simplify:  iters left: 3 (61 enodes)
* * [misc]simplify:  iters left: 2 (76 enodes)
* * [misc]simplify:  iters left: 1 (87 enodes)
* [exit]simplify:  Simplified to (fabs (/ (+ (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma (/ 2 3) (cube (fabs (/ -1 x))) (* 2 (fabs x)))) (/ (* (cube (fabs x)) (cube (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (22 enodes)
* * [misc]simplify:  iters left: 5 (33 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (56 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (81 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs (/ 1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs (/ 1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (26 enodes)
* * [misc]simplify:  iters left: 5 (41 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (69 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (104 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (* (/ (fabs x) 5) (cube (fabs (/ 1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* (fabs x) 2)))) (sqrt PI)))
* * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs (/ -1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs (/ -1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (26 enodes)
* * [misc]simplify:  iters left: 5 (39 enodes)
* * [misc]simplify:  iters left: 4 (51 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (95 enodes)
* * [misc]simplify:  iters left: 1 (109 enodes)
* [exit]simplify:  Simplified to (fabs (/ (+ (fma (* (/ (fabs (/ -1 x)) (/ 5 (fabs x))) (sqr (fabs (/ -1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* (fabs x) 2))) (/ (* (cube (fabs x)) (cube (fabs x))) (/ 21 (fabs x)))) (sqrt PI)))
* * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (log1p (expm1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (expm1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (expm1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (expm1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (expm1 (log1p (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log1p (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (log1p (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (log1p (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 15 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (+ (* (/ 2 3) (cube (fabs x))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (* (/ 2 3) (cube (fabs x)))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (27 enodes)
* [exit]simplify:  Simplified to (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2 3)))
* [exit]simplify:  Simplified to (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2 3)))
* * * * [misc]progress:  [ 16 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (pow (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) 1)) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 17 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (exp (log (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (log (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (log (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (log (exp (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (exp (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (exp (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (exp (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (cube (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (cbrt (cube (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* [exit]simplify:  Simplified to (cube (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (cube (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 21 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (sqr (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 22 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (* 1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (log1p (expm1 (cube (sqr (fabs x))))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (expm1 (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (expm1 (* (cube (fabs x)) (cube (fabs x))))
* [exit]simplify:  Simplified to (expm1 (* (cube (fabs x)) (cube (fabs x))))
* * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (expm1 (log1p (cube (sqr (fabs x))))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log1p (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (log1p (* (cube (fabs x)) (cube (fabs x))))
* [exit]simplify:  Simplified to (log1p (* (cube (fabs x)) (cube (fabs x))))
* * * * [misc]progress:  [ 25 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (sqr (fabs x)) 3) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 26 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 27 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (exp (log (cube (sqr (fabs x))))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (+ (log (cube (fabs x))) (log (cube (fabs x))))
* [exit]simplify:  Simplified to (+ (log (cube (fabs x))) (log (cube (fabs x))))
* * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (log (exp (cube (sqr (fabs x))))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (exp (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (exp (* (cube (fabs x)) (cube (fabs x))))
* [exit]simplify:  Simplified to (exp (* (cube (fabs x)) (cube (fabs x))))
* * * * [misc]progress:  [ 29 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (cbrt (cube (sqr (fabs x))))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cbrt (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (* (fabs x) (fabs x))
* [exit]simplify:  Simplified to (* (fabs x) (fabs x))
* * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cbrt (cube (cube (sqr (fabs x))))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (sqr (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (sqr (cube (cube (fabs x))))
* * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (* (cube (sqr 1)) (cube (sqr (fabs x)))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (sqr 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (cube (sqr (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (* (cube (fabs x)) (cube (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [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 (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:  [ 33 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (* (cube 1) (cube (sqr (fabs x)))) (/ 21 (fabs x)))) (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 (sqr (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (* (sqr (fabs x)) (* (sqr (fabs x)) (sqr (fabs x)))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (* (sqr (fabs x)) (sqr (fabs x)))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 35 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (sqr (sqrt (cube (sqr (fabs x))))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (sqrt (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (fabs (cube (fabs x)))
* [exit]simplify:  Simplified to (fabs (cube (fabs x)))
* * * * [misc]progress:  [ 36 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (* 1 (cube (sqr (fabs x)))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 37 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (log1p (expm1 (cube (fabs x)))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (expm1 (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (cube (fabs x)))
* [exit]simplify:  Simplified to (expm1 (cube (fabs x)))
* * * * [misc]progress:  [ 38 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (expm1 (log1p (cube (fabs x)))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log1p (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (log1p (cube (fabs x)))
* [exit]simplify:  Simplified to (log1p (cube (fabs x)))
* * * * [misc]progress:  [ 39 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (pow (fabs x) 3) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 40 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (pow (cube (fabs x)) 1) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 41 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (exp (log (cube (fabs x)))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (log (cube (fabs x)))
* [exit]simplify:  Simplified to (log (cube (fabs x)))
* * * * [misc]progress:  [ 42 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (log (exp (cube (fabs x)))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (exp (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (exp (cube (fabs x)))
* [exit]simplify:  Simplified to (exp (cube (fabs x)))
* * * * [misc]progress:  [ 43 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (cbrt (cube (fabs x)))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cbrt (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fabs x)
* [exit]simplify:  Simplified to (fabs x)
* * * * [misc]progress:  [ 44 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cbrt (cube (cube (fabs x)))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (14 enodes)
* [exit]simplify:  Simplified to (cube (cube (fabs x)))
* [exit]simplify:  Simplified to (cube (cube (fabs x)))
* * * * [misc]progress:  [ 45 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (* (cube 1) (cube (fabs x))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (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))
* * * * [misc]progress:  [ 46 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [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))
* * * * [misc]progress:  [ 47 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (sqr (sqrt (cube (fabs x)))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (sqrt (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (cube (fabs x)))
* [exit]simplify:  Simplified to (sqrt (cube (fabs x)))
* * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (* 1 (cube (fabs x))) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (log1p (expm1 (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (expm1 (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (cube (fabs x)))
* [exit]simplify:  Simplified to (expm1 (cube (fabs x)))
* * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (expm1 (log1p (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log1p (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (log1p (cube (fabs x)))
* [exit]simplify:  Simplified to (log1p (cube (fabs x)))
* * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (pow (fabs x) 3)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 52 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (pow (cube (fabs x)) 1)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 53 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (exp (log (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (log (cube (fabs x)))
* [exit]simplify:  Simplified to (log (cube (fabs x)))
* * * * [misc]progress:  [ 54 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (log (exp (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (exp (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (exp (cube (fabs x)))
* [exit]simplify:  Simplified to (exp (cube (fabs x)))
* * * * [misc]progress:  [ 55 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (cbrt (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cbrt (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fabs x)
* [exit]simplify:  Simplified to (fabs x)
* * * * [misc]progress:  [ 56 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cbrt (cube (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (14 enodes)
* [exit]simplify:  Simplified to (cube (cube (fabs x)))
* [exit]simplify:  Simplified to (cube (cube (fabs x)))
* * * * [misc]progress:  [ 57 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (* (cube 1) (cube (fabs x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (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))
* * * * [misc]progress:  [ 58 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (* (fabs x) (* (fabs x) (fabs x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [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))
* * * * [misc]progress:  [ 59 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (sqr (sqrt (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (sqrt (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (cube (fabs x)))
* [exit]simplify:  Simplified to (sqrt (cube (fabs x)))
* * * * [misc]progress:  [ 60 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (* 1 (cube (fabs x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 2
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 1 3)
* [misc]approximate:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) into (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) into (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))
* [misc]backup-simplify:  Simplify (fma 2/3 (cube (fabs x)) (* 2 (fabs x))) into (fma 2/3 (cube (fabs x)) (* 2 (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 (fma 2/3 (cube (fabs x)) (* 2 (fabs x))) into (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))
* [misc]approximate:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) into (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) into (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) into (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (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 (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))) into (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) into (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (fma (/ 2 3) (cube (fabs (/ 1 (- x)))) (* 2 (fabs (/ 1 (- x))))) into (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x)))) into (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (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 (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x)))) into (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1)
* [misc]approximate:  Taking taylor expansion of (cube (sqr (fabs x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs x))) into (cube (sqr (fabs x)))
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs x))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs x))) into (cube (sqr (fabs x)))
* [misc]backup-simplify:  Simplify (cube (sqr (fabs x))) into (cube (sqr (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 (sqr (fabs x))) into (cube (sqr (fabs x)))
* [misc]approximate:  Taking taylor expansion of (cube (sqr (fabs (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 x)))) into (cube (sqr (fabs (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs (/ 1 x)))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 x)))) into (cube (sqr (fabs (/ 1 x))))
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 x)))) into (cube (sqr (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 (sqr (fabs (/ 1 x)))) into (cube (sqr (fabs (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (cube (sqr (fabs (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 (- x))))) into (cube (sqr (fabs (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (cube (sqr (fabs (/ 1 (- x))))) in x
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ 1 (- x))))) into (cube (sqr (fabs (/ -1 x))))
* [misc]backup-simplify:  Simplify (cube (sqr (fabs (/ -1 x)))) into (cube (sqr (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 (sqr (fabs (/ -1 x)))) into (cube (sqr (fabs (/ -1 x))))
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 3 2)
* [misc]approximate:  Taking taylor expansion of (cube (fabs x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs x)) in x
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (fabs x))
* [misc]taylor:  Taking taylor expansion of (cube (fabs x)) in x
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (fabs x))
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (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 (fabs x)) into (cube (fabs x))
* [misc]approximate:  Taking taylor expansion of (cube (fabs (/ 1 x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 x))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 x))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (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 (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]approximate:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 (- x)))) into (cube (fabs (/ -1 x)))
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 (- x)))) into (cube (fabs (/ -1 x)))
* [misc]backup-simplify:  Simplify (cube (fabs (/ -1 x))) into (cube (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 (fabs (/ -1 x))) into (cube (fabs (/ -1 x)))
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 1 2)
* [misc]approximate:  Taking taylor expansion of (cube (fabs x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs x)) in x
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (fabs x))
* [misc]taylor:  Taking taylor expansion of (cube (fabs x)) in x
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (fabs x))
* [misc]backup-simplify:  Simplify (cube (fabs x)) into (cube (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 (fabs x)) into (cube (fabs x))
* [misc]approximate:  Taking taylor expansion of (cube (fabs (/ 1 x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 x))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 x))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 x))) into (cube (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 (fabs (/ 1 x))) into (cube (fabs (/ 1 x)))
* [misc]approximate:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 (- x)))) into (cube (fabs (/ -1 x)))
* [misc]taylor:  Taking taylor expansion of (cube (fabs (/ 1 (- x)))) in x
* [misc]backup-simplify:  Simplify (cube (fabs (/ 1 (- x)))) into (cube (fabs (/ -1 x)))
* [misc]backup-simplify:  Simplify (cube (fabs (/ -1 x))) into (cube (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 (fabs (/ -1 x))) into (cube (fabs (/ -1 x)))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 1 3)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 3 2)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (23 enodes)
* * [misc]simplify:  iters left: 5 (36 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (63 enodes)
* * [misc]simplify:  iters left: 2 (81 enodes)
* * [misc]simplify:  iters left: 1 (112 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma 2/3 (cube (fabs x)) (* (fabs x) 2)))) (sqrt PI)))
* * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (26 enodes)
* * [misc]simplify:  iters left: 5 (41 enodes)
* * [misc]simplify:  iters left: 4 (52 enodes)
* * [misc]simplify:  iters left: 3 (70 enodes)
* * [misc]simplify:  iters left: 2 (88 enodes)
* * [misc]simplify:  iters left: 1 (116 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ 1 x))) (* 2 (fabs (/ 1 x)))))) (sqrt PI)))
* * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* * [misc]simplify:  iters left: 5 (42 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (83 enodes)
* * [misc]simplify:  iters left: 1 (95 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs x)) (cube (fabs x))) 21) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma 2/3 (cube (fabs (/ -1 x))) (* 2 (fabs (/ -1 x)))))) (sqrt PI)))
* * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (24 enodes)
* * [misc]simplify:  iters left: 5 (37 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (64 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (88 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs (/ 1 x)))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs (/ 1 x)))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (26 enodes)
* * [misc]simplify:  iters left: 5 (40 enodes)
* * [misc]simplify:  iters left: 4 (56 enodes)
* * [misc]simplify:  iters left: 3 (83 enodes)
* * [misc]simplify:  iters left: 2 (123 enodes)
* * [misc]simplify:  iters left: 1 (175 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (* (/ (cube (fabs (/ 1 x))) 21) (cube (fabs (/ 1 x)))) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 6 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs (/ -1 x)))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs (/ -1 x)))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* * [misc]simplify:  iters left: 5 (41 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (84 enodes)
* * [misc]simplify:  iters left: 2 (124 enodes)
* * [misc]simplify:  iters left: 1 (175 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs (/ -1 x))) (cube (fabs (/ -1 x)))) 21) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 7 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (24 enodes)
* * [misc]simplify:  iters left: 5 (37 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (64 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (88 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 8 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* * [misc]simplify:  iters left: 5 (42 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (71 enodes)
* * [misc]simplify:  iters left: 2 (88 enodes)
* * [misc]simplify:  iters left: 1 (99 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs x)) (cube (fabs x))) 21) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma (/ 2 3) (cube (fabs (/ 1 x))) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ -1 x))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ -1 x))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (43 enodes)
* * [misc]simplify:  iters left: 4 (54 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (83 enodes)
* * [misc]simplify:  iters left: 1 (94 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs x)) (cube (fabs x))) 21) (fabs x) (fma (/ (cube (fabs x)) (/ 5 (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs (/ -1 x))) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (24 enodes)
* * [misc]simplify:  iters left: 5 (37 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (64 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (88 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (cube (fabs x)) (/ 21 (cube (fabs x)))) (fabs x) (fma (* (cube (fabs x)) (/ (fabs x) 5)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (sqrt PI)))
* * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs (/ 1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs (/ 1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* * [misc]simplify:  iters left: 5 (42 enodes)
* * [misc]simplify:  iters left: 4 (54 enodes)
* * [misc]simplify:  iters left: 3 (73 enodes)
* * [misc]simplify:  iters left: 2 (95 enodes)
* * [misc]simplify:  iters left: 1 (110 enodes)
* [exit]simplify:  Simplified to (fabs (/ (+ (/ (cube (fabs x)) (/ (/ 21 (fabs x)) (cube (fabs x)))) (fma (* (/ (fabs x) 5) (cube (fabs (/ 1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* (fabs x) 2)))) (sqrt PI)))
* * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt-event (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs (/ -1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs (/ -1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI)))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (43 enodes)
* * [misc]simplify:  iters left: 4 (55 enodes)
* * [misc]simplify:  iters left: 3 (72 enodes)
* * [misc]simplify:  iters left: 2 (98 enodes)
* * [misc]simplify:  iters left: 1 (113 enodes)
* [exit]simplify:  Simplified to (fabs (/ (fma (/ (* (cube (fabs x)) (cube (fabs x))) 21) (fabs x) (fma (* (/ (fabs x) 5) (cube (fabs (/ -1 x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* (fabs x) 2)))) (sqrt PI)))
* * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (log1p (expm1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (expm1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (expm1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (expm1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (expm1 (log1p (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log1p (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (log1p (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (log1p (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 15 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (+ (* (/ 2 3) (cube (fabs x))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (* (/ 2 3) (cube (fabs x)))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (27 enodes)
* [exit]simplify:  Simplified to (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2 3)))
* [exit]simplify:  Simplified to (* (* (fabs x) (fabs x)) (* (fabs x) (/ 2 3)))
* * * * [misc]progress:  [ 16 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (pow (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))) 1)) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 17 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (exp (log (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (log (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (log (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (log (exp (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (exp (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (exp (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (exp (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (cube (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (cbrt (cube (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* [exit]simplify:  Simplified to (cube (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (cube (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 21 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (sqr (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * * * [misc]progress:  [ 22 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (* 1 (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (log1p (expm1 (cube (sqr (fabs x))))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (expm1 (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (expm1 (* (cube (fabs x)) (cube (fabs x))))
* [exit]simplify:  Simplified to (expm1 (* (cube (fabs x)) (cube (fabs x))))
* * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (expm1 (log1p (cube (sqr (fabs x))))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log1p (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (log1p (* (cube (fabs x)) (cube (fabs x))))
* [exit]simplify:  Simplified to (log1p (* (cube (fabs x)) (cube (fabs x))))
* * * * [misc]progress:  [ 25 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (pow (sqr (fabs x)) 3) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 26 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (pow (cube (sqr (fabs x))) 1) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 27 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (exp (log (cube (sqr (fabs x))))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (+ (log (cube (fabs x))) (log (cube (fabs x))))
* [exit]simplify:  Simplified to (+ (log (cube (fabs x))) (log (cube (fabs x))))
* * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (log (exp (cube (sqr (fabs x))))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (exp (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (exp (* (cube (fabs x)) (cube (fabs x))))
* [exit]simplify:  Simplified to (exp (* (cube (fabs x)) (cube (fabs x))))
* * * * [misc]progress:  [ 29 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (cbrt (cube (sqr (fabs x))))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cbrt (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (* (fabs x) (fabs x))
* [exit]simplify:  Simplified to (* (fabs x) (fabs x))
* * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cbrt (cube (cube (sqr (fabs x))))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (sqr (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (sqr (cube (cube (fabs x))))
* * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (* (cube (sqr 1)) (cube (sqr (fabs x)))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (sqr 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (cube (sqr (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (* (cube (fabs x)) (cube (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [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 (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:  [ 33 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (* (cube 1) (cube (sqr (fabs x)))) 1) (/ 21 (fabs x)))) (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 (sqr (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* [exit]simplify:  Simplified to (* (cube (fabs x)) (cube (fabs x)))
* * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (* (sqr (fabs x)) (* (sqr (fabs x)) (sqr (fabs x)))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (* (sqr (fabs x)) (sqr (fabs x)))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
* [exit]simplify:  Simplified to (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
* * * * [misc]progress:  [ 35 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (sqr (sqrt (cube (sqr (fabs x))))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (sqrt (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (fabs (cube (fabs x)))
* [exit]simplify:  Simplified to (fabs (cube (fabs x)))
* * * * [misc]progress:  [ 36 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (* 1 (cube (sqr (fabs x)))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 37 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (log1p (expm1 (cube (fabs x)))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (expm1 (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (cube (fabs x)))
* [exit]simplify:  Simplified to (expm1 (cube (fabs x)))
* * * * [misc]progress:  [ 38 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (expm1 (log1p (cube (fabs x)))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log1p (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (log1p (cube (fabs x)))
* [exit]simplify:  Simplified to (log1p (cube (fabs x)))
* * * * [misc]progress:  [ 39 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (pow (fabs x) 3) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 40 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (pow (cube (fabs x)) 1) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 41 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (exp (log (cube (fabs x)))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (log (cube (fabs x)))
* [exit]simplify:  Simplified to (log (cube (fabs x)))
* * * * [misc]progress:  [ 42 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (log (exp (cube (fabs x)))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (exp (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (exp (cube (fabs x)))
* [exit]simplify:  Simplified to (exp (cube (fabs x)))
* * * * [misc]progress:  [ 43 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (cbrt (cube (fabs x)))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cbrt (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fabs x)
* [exit]simplify:  Simplified to (fabs x)
* * * * [misc]progress:  [ 44 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cbrt (cube (cube (fabs x)))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (14 enodes)
* [exit]simplify:  Simplified to (cube (cube (fabs x)))
* [exit]simplify:  Simplified to (cube (cube (fabs x)))
* * * * [misc]progress:  [ 45 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (* (cube 1) (cube (fabs x))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (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))
* * * * [misc]progress:  [ 46 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [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))
* * * * [misc]progress:  [ 47 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (sqr (sqrt (cube (fabs x)))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (sqrt (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (cube (fabs x)))
* [exit]simplify:  Simplified to (sqrt (cube (fabs x)))
* * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (* 1 (cube (fabs x))) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (log1p (expm1 (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (expm1 (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (cube (fabs x)))
* [exit]simplify:  Simplified to (expm1 (cube (fabs x)))
* * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (expm1 (log1p (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log1p (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (log1p (cube (fabs x)))
* [exit]simplify:  Simplified to (log1p (cube (fabs x)))
* * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (pow (fabs x) 3)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 52 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (pow (cube (fabs x)) 1)) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * * [misc]progress:  [ 53 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (exp (log (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (log (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (log (cube (fabs x)))
* [exit]simplify:  Simplified to (log (cube (fabs x)))
* * * * [misc]progress:  [ 54 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (log (exp (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (exp (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (exp (cube (fabs x)))
* [exit]simplify:  Simplified to (exp (cube (fabs x)))
* * * * [misc]progress:  [ 55 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (cbrt (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cbrt (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (fabs x)
* [exit]simplify:  Simplified to (fabs x)
* * * * [misc]progress:  [ 56 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cbrt (cube (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (cube (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (14 enodes)
* [exit]simplify:  Simplified to (cube (cube (fabs x)))
* [exit]simplify:  Simplified to (cube (cube (fabs x)))
* * * * [misc]progress:  [ 57 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (* (cube 1) (cube (fabs x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (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))
* * * * [misc]progress:  [ 58 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (* (fabs x) (* (fabs x) (fabs x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [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))
* * * * [misc]progress:  [ 59 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (sqr (sqrt (cube (fabs x))))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* [enter]simplify:  Simplifying (sqrt (cube (fabs x)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (cube (fabs x)))
* [exit]simplify:  Simplified to (sqrt (cube (fabs x)))
* * * * [misc]progress:  [ 60 / 60 ] simplifiying candidate #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (* 1 (cube (fabs x)))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (sqr (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))> #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))> #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (cube (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))))) (/ (cube (sqr (fabs x))) (/ 21 (fabs x)))) (sqrt PI))))> #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (cbrt (cube (cube (sqr (fabs x))))) (/ 21 (fabs x)))) (sqrt PI))))> #<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (sqr (fabs x)) 3) (/ 21 (fabs x)))) (sqrt PI))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 x +inf.0)) , with alts (#<alt-delta (λ (x) (fabs (/ (+ (fma (* (/ (fabs x) 5) (cube (fabs x))) (fabs x) (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x)))) (/ (pow (cube (sqr (fabs x))) 1) (/ 21 (fabs x)))) (sqrt PI))))>)
* [enter]simplify:  Simplifying (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (sqrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [enter]simplify:  Simplifying (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [exit]simplify:  Simplified to (cbrt (fma (/ 2 3) (cube (fabs x)) (* 2 (fabs x))))
* [enter]simplify:  Simplifying (cube (cube (sqr (fabs x))))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (sqr (cube (cube (fabs x))))
* [exit]simplify:  Simplified to (sqr (cube (cube (fabs x))))