* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (* (* x x) x)
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to (cube x)
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 2
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (cube x))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (cube x) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube x) in x
* [misc]backup-simplify:  Simplify (cube x) into (cube x)
* [misc]taylor:  Taking taylor expansion of (cube x) in x
* [misc]backup-simplify:  Simplify (cube x) into (cube x)
* [misc]backup-simplify:  Simplify (cube x) into (cube 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 x) into (cube x)
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 x)) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 x)) into (cube (/ 1 x))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 x)) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 x)) into (cube (/ 1 x))
* [misc]backup-simplify:  Simplify (cube (/ 1 x)) into (cube (/ 1 x))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ 1 x)) into (cube (/ 1 x))
* [misc]approximate:  Taking taylor expansion of (cube (/ 1 (- x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (- x))) into (cube (/ -1 x))
* [misc]taylor:  Taking taylor expansion of (cube (/ 1 (- x))) in x
* [misc]backup-simplify:  Simplify (cube (/ 1 (- x))) into (cube (/ -1 x))
* [misc]backup-simplify:  Simplify (cube (/ -1 x)) into (cube (/ -1 x))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (/ -1 x)) into (cube (/ -1 x))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt-event (λ (x) (cube x))>
* [enter]simplify:  Simplifying (cube x)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cube x)
* * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt-event (λ (x) (cube (/ 1 x)))>
* [enter]simplify:  Simplifying (cube (/ 1 x))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (/ 1 (cube x))
* * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt-event (λ (x) (cube (/ -1 x)))>
* [enter]simplify:  Simplifying (cube (/ -1 x))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (19 enodes)
* [exit]simplify:  Simplified to (cube (/ -1 x))
* * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt-delta (λ (x) (pow x 3))>
* * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt-delta (λ (x) (pow (cube x) 1))>
* * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (cube x))))>
* [enter]simplify:  Simplifying (log (cube x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (log (cube x))
* [exit]simplify:  Simplified to (log (cube x))
* * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (cube x))))>
* [enter]simplify:  Simplifying (exp (cube x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (exp (cube x))
* [exit]simplify:  Simplified to (exp (cube x))
* * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt-delta (λ (x) (cube (cbrt (cube x))))>
* [enter]simplify:  Simplifying (cbrt (cube x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to x
* [exit]simplify:  Simplified to x
* * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (cube (cube x))))>
* [enter]simplify:  Simplifying (cube (cube x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (7 enodes)
* [exit]simplify:  Simplified to (cube (cube x))
* [exit]simplify:  Simplified to (cube (cube x))
* * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt-delta (λ (x) (* x (* x x)))>
* [enter]simplify:  Simplifying (* x x)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (sqr x)
* [exit]simplify:  Simplified to (sqr x)
* * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt-delta (λ (x) (sqr (sqrt (cube x))))>
* [enter]simplify:  Simplifying (sqrt (cube x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (sqrt (cube x))
* [exit]simplify:  Simplified to (sqrt (cube x))
* * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (cube x)))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 2
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (pow x 3))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * [misc]progress:  generating rewritten candidates
* * * [misc]progress:  simplifying candidates
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (x) (pow x 3))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 x +inf.0)) , with alts (#<alt-delta (λ (x) (pow x 3))>)