* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (+ a (hypot a c)) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (hypot a c) in a
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (hypot a c) in a
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ 0 (hypot a c)) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 a)) (hypot a c)) into (+ (hypot a c) a)
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (hypot (/ 1 a) (/ 1 c))) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (hypot (/ 1 a) (/ 1 c)) (* 1 (* 1 (/ 1 (/ 1 a))))) into (+ (hypot (/ 1 a) (/ 1 c)) a)
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]taylor:  Taking taylor expansion of -1 in c
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (hypot (/ -1 a) (/ -1 c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (hypot (/ -1 a) (/ -1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (hypot (/ -1 a) (/ -1 c)) (* -1 (* 1 (/ 1 (/ 1 (- a)))))) into (+ a (hypot (/ -1 a) (/ -1 c)))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 15 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot a c) a)))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot a c) a))
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* * * * [misc]progress:  [ 2 / 15 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot (/ 1 a) (/ 1 c)) a)))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot (/ 1 a) (/ 1 c)) a))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ 1 a) (/ 1 c))))
* * * * [misc]progress:  [ 3 / 15 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ -1 a) (/ -1 c)))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ -1 a) (/ -1 c))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ -1 a) (/ -1 c))))
* * * * [misc]progress:  [ 4 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (log1p (expm1 (+ a (hypot a c))))))>
* [enter]simplify:  Simplifying (expm1 (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* * * * [misc]progress:  [ 5 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (expm1 (log1p (+ a (hypot a c))))))>
* [enter]simplify:  Simplifying (log1p (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* * * * [misc]progress:  [ 6 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (pow (+ a (hypot a c)) 1)))>
* * * * [misc]progress:  [ 7 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (exp (log (+ a (hypot a c))))))>
* [enter]simplify:  Simplifying (log (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* * * * [misc]progress:  [ 8 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (log (exp (+ a (hypot a c))))))>
* [enter]simplify:  Simplifying (exp (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* * * * [misc]progress:  [ 9 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ a (hypot a c))))))>
* [enter]simplify:  Simplifying (cbrt (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 10 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cbrt (cube (+ a (hypot a c))))))>
* [enter]simplify:  Simplifying (cube (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (58 enodes)
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* * * * [misc]progress:  [ 11 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (sqr (sqrt (+ a (hypot a c))))))>
* [enter]simplify:  Simplifying (sqrt (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 12 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* 1 (+ a (hypot a c)))))>
* * * * [misc]progress:  [ 13 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (/ (- (pow a 3) (pow (hypot a c) 3)) (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c)))))))>
* [enter]simplify:  Simplifying (- (pow a 3) (pow (hypot a c) 3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (- (cube a) (cube (hypot a c)))
* [exit]simplify:  Simplified to (- (cube a) (cube (hypot a c)))
* [enter]simplify:  Simplifying (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (33 enodes)
* [exit]simplify:  Simplified to (fma (hypot a c) (- (hypot a c) a) (sqr a))
* [exit]simplify:  Simplified to (fma (hypot a c) (- (hypot a c) a) (sqr a))
* * * * [misc]progress:  [ 14 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (/ (- (sqr a) (sqr (hypot a c))) (- a (hypot a c)))))>
* [enter]simplify:  Simplifying (- (sqr a) (sqr (hypot a c)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (* (+ (hypot a c) a) (- a (hypot a c)))
* [exit]simplify:  Simplified to (* (+ (hypot a c) a) (- a (hypot a c)))
* [enter]simplify:  Simplifying (- a (hypot a c))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (- a (hypot a c))
* [exit]simplify:  Simplified to (- a (hypot a c))
* * * * [misc]progress:  [ 15 / 15 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot a c) a)))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ a (hypot a c))))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2 1 1)
* [misc]approximate:  Taking taylor expansion of (+ a (hypot a c)) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (hypot a c) in a
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (hypot a c) in a
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ 0 (hypot a c)) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 a)) (hypot a c)) into (+ (hypot a c) a)
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (hypot (/ 1 a) (/ 1 c))) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (hypot (/ 1 a) (/ 1 c)) (* 1 (* 1 (/ 1 (/ 1 a))))) into (+ (hypot (/ 1 a) (/ 1 c)) a)
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]taylor:  Taking taylor expansion of -1 in c
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (hypot (/ -1 a) (/ -1 c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (hypot (/ -1 a) (/ -1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (hypot (/ -1 a) (/ -1 c)) (* -1 (* 1 (/ 1 (/ 1 (- a)))))) into (+ a (hypot (/ -1 a) (/ -1 c)))
* * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2 1)
* [misc]approximate:  Taking taylor expansion of (cbrt (+ a (hypot a c))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cbrt (+ a (hypot a c))) in c
* [misc]backup-simplify:  Simplify (cbrt (+ a (hypot a c))) into (cbrt (+ (hypot a c) a))
* [misc]taylor:  Taking taylor expansion of (cbrt (+ a (hypot a c))) in a
* [misc]backup-simplify:  Simplify (cbrt (+ a (hypot a c))) into (cbrt (+ (hypot a c) a))
* [misc]taylor:  Taking taylor expansion of (cbrt (+ a (hypot a c))) in a
* [misc]backup-simplify:  Simplify (cbrt (+ a (hypot a c))) into (cbrt (+ (hypot a c) a))
* [misc]taylor:  Taking taylor expansion of (cbrt (+ (hypot a c) a)) in c
* [misc]backup-simplify:  Simplify (cbrt (+ (hypot a c) a)) into (cbrt (+ (hypot a c) a))
* [misc]backup-simplify:  Simplify (cbrt (+ (hypot a c) a)) into (cbrt (+ (hypot a c) a))
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cbrt (+ (hypot a c) a)) into (cbrt (+ (hypot a c) a))
* [misc]approximate:  Taking taylor expansion of (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) in c
* [misc]backup-simplify:  Simplify (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) into (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) in a
* [misc]backup-simplify:  Simplify (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) into (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) in a
* [misc]backup-simplify:  Simplify (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) into (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))) into (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* [misc]backup-simplify:  Simplify (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))) into (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))) into (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* [misc]approximate:  Taking taylor expansion of (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) in c
* [misc]backup-simplify:  Simplify (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) into (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) in a
* [misc]backup-simplify:  Simplify (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) into (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) in a
* [misc]backup-simplify:  Simplify (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) into (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))) in c
* [misc]backup-simplify:  Simplify (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))) into (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* [misc]backup-simplify:  Simplify (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))) into (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))) into (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (cube (cbrt (+ a (hypot a c)))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ a (hypot a c)))) in c
* [misc]backup-simplify:  Simplify (cube (cbrt (+ a (hypot a c)))) into (+ (hypot a c) a)
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ a (hypot a c)))) in a
* [misc]backup-simplify:  Simplify (cube (cbrt (+ a (hypot a c)))) into (+ (hypot a c) a)
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ a (hypot a c)))) in a
* [misc]backup-simplify:  Simplify (cube (cbrt (+ a (hypot a c)))) into (+ (hypot a c) a)
* [misc]taylor:  Taking taylor expansion of (+ (hypot a c) a) in c
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (+ (hypot a c) a) into (+ (hypot a c) a)
* [misc]backup-simplify:  Simplify (+ (hypot a c) a) into (+ (hypot a c) a)
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (hypot a c) a) into (+ (hypot a c) a)
* [misc]approximate:  Taking taylor expansion of (cube (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) in c
* [misc]backup-simplify:  Simplify (cube (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) into (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) in a
* [misc]backup-simplify:  Simplify (cube (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) into (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) in a
* [misc]backup-simplify:  Simplify (cube (cbrt (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) into (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))
* [misc]taylor:  Taking taylor expansion of (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) in c
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) into (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))
* [misc]backup-simplify:  Simplify (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) into (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) into (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))
* [misc]approximate:  Taking taylor expansion of (cube (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) in c
* [misc]backup-simplify:  Simplify (cube (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) into (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) in a
* [misc]backup-simplify:  Simplify (cube (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) into (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))
* [misc]taylor:  Taking taylor expansion of (cube (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) in a
* [misc]backup-simplify:  Simplify (cube (cbrt (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) into (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))
* [misc]taylor:  Taking taylor expansion of (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) in c
* [misc]taylor:  Taking taylor expansion of (hypot (/ -1 a) (/ -1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (- (/ 1 a)) into (- (/ 1 a))
* [misc]backup-simplify:  Simplify (+ (hypot (/ -1 a) (/ -1 c)) (- (/ 1 a))) into (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))
* [misc]backup-simplify:  Simplify (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) into (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) into (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2 1 1)
* * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2 1)
* * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot a c) a)))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot a c) a))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot (/ 1 a) (/ 1 c)) a)))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot (/ 1 a) (/ 1 c)) a))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ 1 a) (/ 1 c))))
* * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ a (hypot (/ -1 a) (/ -1 c)))))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ a (hypot (/ -1 a) (/ -1 c))))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ -1 a) (/ -1 c))))
* * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot a c) a)))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot a c) a))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))))
* * [misc]simplify:  iters left: 6 (16 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot a c) a)))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot a c) a))
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (log1p (expm1 (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (expm1 (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (expm1 (log1p (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (log1p (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (pow (+ a (hypot a c)) 1)))))>
* * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (exp (log (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (log (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (log (exp (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (exp (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (cbrt (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (cbrt (cube (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (cube (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (58 enodes)
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (sqr (sqrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (sqrt (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (* 1 (+ a (hypot a c)))))))>
* * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (/ (- (pow a 3) (pow (hypot a c) 3)) (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c)))))))))>
* [enter]simplify:  Simplifying (- (pow a 3) (pow (hypot a c) 3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (- (cube a) (cube (hypot a c)))
* [exit]simplify:  Simplified to (- (cube a) (cube (hypot a c)))
* [enter]simplify:  Simplifying (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (33 enodes)
* [exit]simplify:  Simplified to (fma (hypot a c) (- (hypot a c) a) (sqr a))
* [exit]simplify:  Simplified to (fma (hypot a c) (- (hypot a c) a) (sqr a))
* * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (/ (- (sqr a) (sqr (hypot a c))) (- a (hypot a c)))))))>
* [enter]simplify:  Simplifying (- (sqr a) (sqr (hypot a c)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (* (+ (hypot a c) a) (- a (hypot a c)))
* [exit]simplify:  Simplified to (* (+ (hypot a c) a) (- a (hypot a c)))
* [enter]simplify:  Simplifying (- a (hypot a c))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (- a (hypot a c))
* [exit]simplify:  Simplified to (- a (hypot a c))
* * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ (hypot a c) a)))))>
* * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (log1p (expm1 (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (expm1 (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (expm1 (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (expm1 (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (expm1 (log1p (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (log1p (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (log1p (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (log1p (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ a (hypot a c)) 1/3))))>
* * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (cbrt (+ a (hypot a c))) 1))))>
* * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (exp (log (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (log (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (log (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (log (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (log (exp (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (exp (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (exp (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (exp (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (* (cbrt 1) (cbrt (+ a (hypot a c)))))))>
* [enter]simplify:  Simplifying (cbrt 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (cbrt 1)
* [exit]simplify:  Simplified to (cbrt 1)
* [enter]simplify:  Simplifying (cbrt (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (/ (cbrt (- (pow a 3) (pow (hypot a c) 3))) (cbrt (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c)))))))))>
* [enter]simplify:  Simplifying (cbrt (- (pow a 3) (pow (hypot a c) 3)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* [exit]simplify:  Simplified to (cbrt (- (cube a) (cube (hypot a c))))
* [exit]simplify:  Simplified to (cbrt (- (cube a) (cube (hypot a c))))
* [enter]simplify:  Simplifying (cbrt (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (34 enodes)
* [exit]simplify:  Simplified to (cbrt (fma a (- a (hypot a c)) (* (hypot a c) (hypot a c))))
* [exit]simplify:  Simplified to (cbrt (fma a (- a (hypot a c)) (* (hypot a c) (hypot a c))))
* * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (/ (cbrt (- (sqr a) (sqr (hypot a c)))) (cbrt (- a (hypot a c)))))))>
* [enter]simplify:  Simplifying (cbrt (- (sqr a) (sqr (hypot a c))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (cbrt (- (sqr a) (* (hypot a c) (hypot a c))))
* [exit]simplify:  Simplified to (cbrt (- (sqr a) (* (hypot a c) (hypot a c))))
* [enter]simplify:  Simplifying (cbrt (- a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* [exit]simplify:  Simplified to (cbrt (- a (hypot a c)))
* [exit]simplify:  Simplified to (cbrt (- a (hypot a c)))
* * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cube (cbrt (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (cbrt (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (cbrt (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (cbrt (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (cube (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (+ a (hypot a c))
* [exit]simplify:  Simplified to (+ a (hypot a c))
* * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (sqr (sqrt (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (sqrt (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (sqrt (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (* 1 (cbrt (+ a (hypot a c)))))))>
* * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (log1p (expm1 (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (expm1 (cube (cbrt (+ a (hypot a c)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (expm1 (log1p (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (log1p (cube (cbrt (+ a (hypot a c)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (pow (cbrt (+ a (hypot a c))) 3)))>
* * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (pow (cube (cbrt (+ a (hypot a c)))) 1)))>
* * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (exp (log (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (log (cube (cbrt (+ a (hypot a c)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (log (exp (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (exp (cube (cbrt (+ a (hypot a c)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (21 enodes)
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (cbrt (cube (cbrt (+ a (hypot a c)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cbrt (cube (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (cube (cube (cbrt (+ a (hypot a c)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (81 enodes)
* * [misc]simplify:  iters left: 2 (217 enodes)
* * [misc]simplify:  iters left: 1 (470 enodes)
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* (cube (cbrt 1)) (cube (cbrt (+ a (hypot a c)))))))>
* [enter]simplify:  Simplifying (cube (cbrt 1))
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (7 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (cube (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (+ a (hypot a c))
* [exit]simplify:  Simplified to (+ a (hypot a c))
* * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* (cube 1) (cube (cbrt (+ a (hypot a c)))))))>
* [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 (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (+ a (hypot a c))
* [exit]simplify:  Simplified to (+ a (hypot a c))
* * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (/ (cube (cbrt (- (pow a 3) (pow (hypot a c) 3)))) (cube (cbrt (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c)))))))))>
* [enter]simplify:  Simplifying (cube (cbrt (- (pow a 3) (pow (hypot a c) 3))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* [exit]simplify:  Simplified to (- (cube a) (cube (hypot a c)))
* [exit]simplify:  Simplified to (- (cube a) (cube (hypot a c)))
* [enter]simplify:  Simplifying (cube (cbrt (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c))))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (39 enodes)
* * [misc]simplify:  iters left: 1 (43 enodes)
* [exit]simplify:  Simplified to (fma a (- a (hypot a c)) (* (hypot a c) (hypot a c)))
* [exit]simplify:  Simplified to (fma a (- a (hypot a c)) (* (hypot a c) (hypot a c)))
* * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (/ (cube (cbrt (- (sqr a) (sqr (hypot a c))))) (cube (cbrt (- a (hypot a c)))))))>
* [enter]simplify:  Simplifying (cube (cbrt (- (sqr a) (sqr (hypot a c)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* * [misc]simplify:  iters left: 2 (27 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (- (sqr a) (* (hypot a c) (hypot a c)))
* [exit]simplify:  Simplified to (- (sqr a) (* (hypot a c) (hypot a c)))
* [enter]simplify:  Simplifying (cube (cbrt (- a (hypot a c))))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (- a (hypot a c))
* [exit]simplify:  Simplified to (- a (hypot a c))
* * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* (cbrt (+ a (hypot a c))) (* (cbrt (+ a (hypot a c))) (cbrt (+ a (hypot a c)))))))>
* [enter]simplify:  Simplifying (* (cbrt (+ a (hypot a c))) (cbrt (+ a (hypot a c))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ a (hypot a c))) (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (* (cbrt (+ a (hypot a c))) (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (sqr (sqrt (cube (cbrt (+ a (hypot a c))))))))>
* [enter]simplify:  Simplifying (sqrt (cube (cbrt (+ a (hypot a c)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* 1 (cube (cbrt (+ a (hypot a c)))))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ a (hypot a c)) 1/3))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2 1)
* [misc]approximate:  Taking taylor expansion of (pow (+ a (hypot a c)) 1/3) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (pow (+ a (hypot a c)) 1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ a (hypot a c))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ a (hypot a c)))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ a (hypot a c))) in c
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ a (hypot a c)) into (+ (hypot a c) a)
* [misc]backup-simplify:  Simplify (log (+ (hypot a c) a)) into (log (+ (hypot a c) a))
* [misc]backup-simplify:  Simplify (* 1/3 (log (+ (hypot a c) a))) into (* 1/3 (log (+ (hypot a c) a)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (+ (hypot a c) a)))) into (pow (+ (hypot a c) a) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (+ a (hypot a c)) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ a (hypot a c))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ a (hypot a c)))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ a (hypot a c))) in a
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (hypot a c) in a
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ 0 (hypot a c)) into (hypot a c)
* [misc]backup-simplify:  Simplify (log (hypot a c)) into (log (hypot a c))
* [misc]backup-simplify:  Simplify (* 1/3 (log (hypot a c))) into (* 1/3 (log (hypot a c)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (hypot a c)))) into (pow (hypot a c) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (+ a (hypot a c)) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ a (hypot a c))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ a (hypot a c)))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ a (hypot a c))) in a
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (hypot a c) in a
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ 0 (hypot a c)) into (hypot a c)
* [misc]backup-simplify:  Simplify (log (hypot a c)) into (log (hypot a c))
* [misc]backup-simplify:  Simplify (* 1/3 (log (hypot a c))) into (* 1/3 (log (hypot a c)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (hypot a c)))) into (pow (hypot a c) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (hypot a c) 1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (hypot a c)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (hypot a c))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (hypot a c)) in c
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (log (hypot a c)) into (log (hypot a c))
* [misc]backup-simplify:  Simplify (* 1/3 (log (hypot a c))) into (* 1/3 (log (hypot a c)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (hypot a c)))) into (pow (hypot a c) 1/3)
* [misc]backup-simplify:  Simplify (pow (hypot a c) 1/3) into (pow (hypot a c) 1/3)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (hypot a c) 1)))) 1) into (/ 1 (hypot a c))
* [misc]backup-simplify:  Simplify (+ (* 1/3 (/ 1 (hypot a c))) (* 0 (log (hypot a c)))) into (* 1/3 (/ 1 (hypot a c)))
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (hypot a c)))) (+ (* (/ (pow (* 1/3 (/ 1 (hypot a c))) 1) 1)))) into (* 1/3 (pow (/ 1 (sqr (hypot a c))) 1/3))
* [misc]taylor:  Taking taylor expansion of (* 1/3 (pow (/ 1 (sqr (hypot a c))) 1/3)) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (pow (/ 1 (sqr (hypot a c))) 1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (/ 1 (sqr (hypot a c)))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (/ 1 (sqr (hypot a c))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (/ 1 (sqr (hypot a c)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (sqr (hypot a c))) in c
* [misc]taylor:  Taking taylor expansion of (sqr (hypot a c)) in c
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (* (hypot a c) (hypot a c)) into (sqr (hypot a c))
* [misc]backup-simplify:  Simplify (/ 1 (sqr (hypot a c))) into (/ 1 (sqr (hypot a c)))
* [misc]backup-simplify:  Simplify (log (/ 1 (sqr (hypot a c)))) into (log (/ 1 (sqr (hypot a c))))
* [misc]backup-simplify:  Simplify (* 1/3 (log (/ 1 (sqr (hypot a c))))) into (* 1/3 (log (/ 1 (sqr (hypot a c)))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (/ 1 (sqr (hypot a c)))))) into (pow (/ 1 (sqr (hypot a c))) 1/3)
* [misc]backup-simplify:  Simplify (* 1/3 (pow (/ 1 (sqr (hypot a c))) 1/3)) into (* 1/3 (pow (/ 1 (sqr (hypot a c))) 1/3))
* [misc]backup-simplify:  Simplify (* 1/3 (pow (/ 1 (sqr (hypot a c))) 1/3)) into (* 1/3 (pow (/ 1 (sqr (hypot a c))) 1/3))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (hypot a c) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (log (hypot a c)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (hypot a c)))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (hypot a c) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (hypot a c) 1)))) 2) into (/ -1/2 (sqr (hypot a c)))
* [misc]backup-simplify:  Simplify (+ (* 1/3 (/ -1/2 (sqr (hypot a c)))) (+ (* 0 (/ 1 (hypot a c))) (* 0 (log (hypot a c))))) into (- (* 1/6 (/ 1 (sqr (hypot a c)))))
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (log (hypot a c)))) (+ (* (/ (pow (* 1/3 (/ 1 (hypot a c))) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (sqr (hypot a c))))) 1) 1)))) into (* -1/9 (pow (/ 1 (pow (hypot a c) 5)) 1/3))
* [misc]taylor:  Taking taylor expansion of (* -1/9 (pow (/ 1 (pow (hypot a c) 5)) 1/3)) in c
* [misc]taylor:  Taking taylor expansion of -1/9 in c
* [misc]backup-simplify:  Simplify -1/9 into -1/9
* [misc]taylor:  Taking taylor expansion of (pow (/ 1 (pow (hypot a c) 5)) 1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (hypot a c) 5))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (/ 1 (pow (hypot a c) 5)))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (/ 1 (pow (hypot a c) 5))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow (hypot a c) 5)) in c
* [misc]taylor:  Taking taylor expansion of (pow (hypot a c) 5) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 5 (log (hypot a c)))) in c
* [misc]taylor:  Taking taylor expansion of (* 5 (log (hypot a c))) in c
* [misc]taylor:  Taking taylor expansion of 5 in c
* [misc]backup-simplify:  Simplify 5 into 5
* [misc]taylor:  Taking taylor expansion of (log (hypot a c)) in c
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (log (hypot a c)) into (log (hypot a c))
* [misc]backup-simplify:  Simplify (* 5 (log (hypot a c))) into (* 5 (log (hypot a c)))
* [misc]backup-simplify:  Simplify (exp (* 5 (log (hypot a c)))) into (pow (hypot a c) 5)
* [misc]backup-simplify:  Simplify (/ 1 (pow (hypot a c) 5)) into (/ 1 (pow (hypot a c) 5))
* [misc]backup-simplify:  Simplify (log (/ 1 (pow (hypot a c) 5))) into (log (/ 1 (pow (hypot a c) 5)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (/ 1 (pow (hypot a c) 5)))) into (* 1/3 (log (/ 1 (pow (hypot a c) 5))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (/ 1 (pow (hypot a c) 5))))) into (pow (/ 1 (pow (hypot a c) 5)) 1/3)
* [misc]backup-simplify:  Simplify (* -1/9 (pow (/ 1 (pow (hypot a c) 5)) 1/3)) into (* -1/9 (pow (/ 1 (pow (hypot a c) 5)) 1/3))
* [misc]backup-simplify:  Simplify (* -1/9 (pow (/ 1 (pow (hypot a c) 5)) 1/3)) into (* -1/9 (pow (/ 1 (pow (hypot a c) 5)) 1/3))
* [misc]backup-simplify:  Simplify (+ (* (* -1/9 (pow (/ 1 (pow (hypot a c) 5)) 1/3)) (sqr (* 1 a))) (+ (* (* 1/3 (pow (/ 1 (sqr (hypot a c))) 1/3)) (* 1 a)) (pow (hypot a c) 1/3))) into (- (+ (* 1/3 (* (pow (/ 1 (sqr (hypot a c))) 1/3) a)) (pow (hypot a c) 1/3)) (* 1/9 (* (pow (/ 1 (pow (hypot a c) 5)) 1/3) (sqr a))))
* [misc]approximate:  Taking taylor expansion of (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) into (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))
* [misc]backup-simplify:  Simplify (log (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))) into (log (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))) into (* 1/3 (log (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))))) into (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
* [misc]backup-simplify:  Simplify (* 1/3 (- (log a))) into (* -1/3 (log a))
* [misc]backup-simplify:  Simplify (exp (* -1/3 (log a))) into (pow a -1/3)
* [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (log 1) into 0
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
* [misc]backup-simplify:  Simplify (* 1/3 (- (log a))) into (* -1/3 (log a))
* [misc]backup-simplify:  Simplify (exp (* -1/3 (log a))) into (pow a -1/3)
* [misc]taylor:  Taking taylor expansion of (pow a -1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* -1/3 (log a))) in c
* [misc]taylor:  Taking taylor expansion of (* -1/3 (log a)) in c
* [misc]taylor:  Taking taylor expansion of -1/3 in c
* [misc]backup-simplify:  Simplify -1/3 into -1/3
* [misc]taylor:  Taking taylor expansion of (log a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (log a) into (log a)
* [misc]backup-simplify:  Simplify (* -1/3 (log a)) into (* -1/3 (log a))
* [misc]backup-simplify:  Simplify (exp (* -1/3 (log a))) into (pow a -1/3)
* [misc]backup-simplify:  Simplify (pow a -1/3) into (pow a -1/3)
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (hypot (/ 1 a) (/ 1 c))) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (hypot (/ 1 a) (/ 1 c))) 1)) (pow 1 1)))) 1) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
* [misc]backup-simplify:  Simplify (+ (* 1/3 (hypot (/ 1 a) (/ 1 c))) (* 0 (- (log a)))) into (* 1/3 (hypot (/ 1 a) (/ 1 c)))
* [misc]backup-simplify:  Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow (* 1/3 (hypot (/ 1 a) (/ 1 c))) 1) 1)))) into (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3)))
* [misc]taylor:  Taking taylor expansion of (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3)) in c
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (pow (/ 1 a) 1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (/ 1 a))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (/ 1 a)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (log (/ 1 a)) into (log (/ 1 a))
* [misc]backup-simplify:  Simplify (* 1/3 (log (/ 1 a))) into (* 1/3 (log (/ 1 a)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (/ 1 a)))) into (pow (/ 1 a) 1/3)
* [misc]backup-simplify:  Simplify (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3)) into (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3))
* [misc]backup-simplify:  Simplify (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3))) into (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3)))
* [misc]backup-simplify:  Simplify (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3))) into (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3)))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow a 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* -1/3 0) (* 0 (log a))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 (hypot (/ 1 a) (/ 1 c))) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into (* -1/2 (sqr (hypot (/ 1 a) (/ 1 c))))
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log a)) 0) into (- (log a))
* [misc]backup-simplify:  Simplify (+ (* 1/3 (* -1/2 (sqr (hypot (/ 1 a) (/ 1 c))))) (+ (* 0 (hypot (/ 1 a) (/ 1 c))) (* 0 (- (log a))))) into (- (* 1/6 (sqr (hypot (/ 1 a) (/ 1 c)))))
* [misc]backup-simplify:  Simplify (* (exp (* -1/3 (log a))) (+ (* (/ (pow (* 1/3 (hypot (/ 1 a) (/ 1 c))) 2) 2)) (* (/ (pow (- (* 1/6 (sqr (hypot (/ 1 a) (/ 1 c))))) 1) 1)))) into (* -1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3)))
* [misc]taylor:  Taking taylor expansion of (* -1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3))) in c
* [misc]taylor:  Taking taylor expansion of -1/9 in c
* [misc]backup-simplify:  Simplify -1/9 into -1/9
* [misc]taylor:  Taking taylor expansion of (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3)) in c
* [misc]taylor:  Taking taylor expansion of (sqr (hypot (/ 1 a) (/ 1 c))) in c
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (pow (/ 1 a) 1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (/ 1 a))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (/ 1 a)) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]backup-simplify:  Simplify (log (/ 1 a)) into (log (/ 1 a))
* [misc]backup-simplify:  Simplify (* 1/3 (log (/ 1 a))) into (* 1/3 (log (/ 1 a)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (/ 1 a)))) into (pow (/ 1 a) 1/3)
* [misc]backup-simplify:  Simplify (* (hypot (/ 1 a) (/ 1 c)) (hypot (/ 1 a) (/ 1 c))) into (sqr (hypot (/ 1 a) (/ 1 c)))
* [misc]backup-simplify:  Simplify (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3)) into (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3))
* [misc]backup-simplify:  Simplify (* -1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3))) into (* -1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3)))
* [misc]backup-simplify:  Simplify (* -1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3))) into (* -1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3)))
* [misc]backup-simplify:  Simplify (+ (* (* -1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 a) 1/3))) (sqr (* 1 (/ 1 a)))) (+ (* (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 a) 1/3))) (* 1 (/ 1 a))) (pow a -1/3))) into (- (+ (pow a -1/3) (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 (pow a 4)) 1/3)))) (* 1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 (pow a 7)) 1/3))))
* [misc]approximate:  Taking taylor expansion of (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) in c
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (+ (/ -1 a) (hypot (/ -1 a) (/ -1 c))) into (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))
* [misc]backup-simplify:  Simplify (log (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))) into (log (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* [misc]backup-simplify:  Simplify (* 1/3 (log (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))) into (* 1/3 (log (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (log (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a))))) into (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3)
* [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a))))
* [misc]taylor:  Taking taylor expansion of (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3) in a
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))))) in a
* [misc]taylor:  Taking taylor expansion of (* 1/3 (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))))) in a
* [misc]taylor:  Taking taylor expansion of 1/3 in a
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c))))) in a
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a))))
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (- (log -1) (log a)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (- (log -1) (log a))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (- (log -1) (log a)) in c
* [misc]taylor:  Taking taylor expansion of (log -1) in c
* [misc]taylor:  Taking taylor expansion of -1 in c
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (log a) into (log a)
* [misc]backup-simplify:  Simplify (- (log a)) into (- (log a))
* [misc]backup-simplify:  Simplify (+ (log -1) (- (log a))) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a))))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a))))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (hypot (/ -1 a) (/ -1 c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 (hypot (/ -1 a) (/ -1 c))) 1)) (pow -1 1)))) 1) into (* -1 (hypot (/ -1 a) (/ -1 c)))
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (+ (* 1/3 (* -1 (hypot (/ -1 a) (/ -1 c)))) (* 0 (- (log -1) (log a)))) into (- (* 1/3 (hypot (/ -1 a) (/ -1 c))))
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow (- (* 1/3 (hypot (/ -1 a) (/ -1 c)))) 1) 1)))) into (* -1/3 (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c))))
* [misc]taylor:  Taking taylor expansion of (* -1/3 (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c)))) in c
* [misc]taylor:  Taking taylor expansion of -1/3 in c
* [misc]backup-simplify:  Simplify -1/3 into -1/3
* [misc]taylor:  Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c))) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (- (log -1) (log a)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (- (log -1) (log a))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (- (log -1) (log a)) in c
* [misc]taylor:  Taking taylor expansion of (log -1) in c
* [misc]taylor:  Taking taylor expansion of -1 in c
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (log a) into (log a)
* [misc]backup-simplify:  Simplify (- (log a)) into (- (log a))
* [misc]backup-simplify:  Simplify (+ (log -1) (- (log a))) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a))))
* [misc]taylor:  Taking taylor expansion of (hypot (/ -1 a) (/ -1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c))) into (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c)))
* [misc]backup-simplify:  Simplify (* -1/3 (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c)))) into (* -1/3 (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c))))
* [misc]backup-simplify:  Simplify (* -1/3 (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c)))) into (* -1/3 (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c))))
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow a 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 (- (log -1) (log a)))) into 0
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 (hypot (/ -1 a) (/ -1 c))) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into (* -1/2 (sqr (hypot (/ -1 a) (/ -1 c))))
* [misc]backup-simplify:  Simplify (+ (* (- 1) (log a)) (log -1)) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (+ (* 1/3 (* -1/2 (sqr (hypot (/ -1 a) (/ -1 c))))) (+ (* 0 (* -1 (hypot (/ -1 a) (/ -1 c)))) (* 0 (- (log -1) (log a))))) into (- (* 1/6 (sqr (hypot (/ -1 a) (/ -1 c)))))
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (+ (* (/ (pow (- (* 1/3 (hypot (/ -1 a) (/ -1 c)))) 2) 2)) (* (/ (pow (- (* 1/6 (sqr (hypot (/ -1 a) (/ -1 c))))) 1) 1)))) into (* -1/9 (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c)))))
* [misc]taylor:  Taking taylor expansion of (* -1/9 (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c))))) in c
* [misc]taylor:  Taking taylor expansion of -1/9 in c
* [misc]backup-simplify:  Simplify -1/9 into -1/9
* [misc]taylor:  Taking taylor expansion of (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c)))) in c
* [misc]taylor:  Taking taylor expansion of (exp (* 1/3 (- (log -1) (log a)))) in c
* [misc]taylor:  Taking taylor expansion of (* 1/3 (- (log -1) (log a))) in c
* [misc]taylor:  Taking taylor expansion of 1/3 in c
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]taylor:  Taking taylor expansion of (- (log -1) (log a)) in c
* [misc]taylor:  Taking taylor expansion of (log -1) in c
* [misc]taylor:  Taking taylor expansion of -1 in c
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (log -1) into (log -1)
* [misc]taylor:  Taking taylor expansion of (log a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (log a) into (log a)
* [misc]backup-simplify:  Simplify (- (log a)) into (- (log a))
* [misc]backup-simplify:  Simplify (+ (log -1) (- (log a))) into (- (log -1) (log a))
* [misc]backup-simplify:  Simplify (* 1/3 (- (log -1) (log a))) into (* 1/3 (- (log -1) (log a)))
* [misc]backup-simplify:  Simplify (exp (* 1/3 (- (log -1) (log a)))) into (exp (* 1/3 (- (log -1) (log a))))
* [misc]taylor:  Taking taylor expansion of (sqr (hypot (/ -1 a) (/ -1 c))) in c
* [misc]taylor:  Taking taylor expansion of (hypot (/ -1 a) (/ -1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (* (hypot (/ -1 a) (/ -1 c)) (hypot (/ -1 a) (/ -1 c))) into (sqr (hypot (/ -1 a) (/ -1 c)))
* [misc]backup-simplify:  Simplify (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c)))) into (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c))))
* [misc]backup-simplify:  Simplify (* -1/9 (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c))))) into (* -1/9 (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c)))))
* [misc]backup-simplify:  Simplify (* -1/9 (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c))))) into (* -1/9 (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c)))))
* [misc]backup-simplify:  Simplify (+ (* (* -1/9 (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c))))) (sqr (* 1 (/ 1 (- a))))) (+ (* (* -1/3 (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c)))) (* 1 (/ 1 (- a)))) (exp (* 1/3 (- (log -1) (log a)))))) into (- (+ (exp (* 1/3 (- (log -1) (log a)))) (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c))) a))) (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c)))) (sqr a))))
* * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2 1 1)
* [misc]approximate:  Taking taylor expansion of (+ a (hypot a c)) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (hypot a c) in a
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (+ a (hypot a c)) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (hypot a c) in a
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ 0 (hypot a c)) into (hypot a c)
* [misc]taylor:  Taking taylor expansion of (hypot a c) in c
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (hypot a c) into (hypot a c)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 a)) (hypot a c)) into (+ (hypot a c) a)
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in c
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (hypot (/ 1 a) (/ 1 c))) into (hypot (/ 1 a) (/ 1 c))
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 a) (/ 1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify (hypot (/ 1 a) (/ 1 c)) into (hypot (/ 1 a) (/ 1 c))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (hypot (/ 1 a) (/ 1 c)) (* 1 (* 1 (/ 1 (/ 1 a))))) into (+ (hypot (/ 1 a) (/ 1 c)) a)
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in c
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in c
* [misc]taylor:  Taking taylor expansion of (- a) in c
* [misc]taylor:  Taking taylor expansion of a in c
* [misc]backup-simplify:  Simplify a into a
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (- a) into (- a)
* [misc]backup-simplify:  Simplify (/ 1 (- a)) into (/ -1 a)
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in c
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (hypot (/ 1 (- a)) (/ 1 (- c))) in a
* [misc]backup-simplify:  Simplify (hypot (/ 1 (- a)) (/ 1 (- c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]taylor:  Taking taylor expansion of -1 in c
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (hypot (/ -1 a) (/ -1 c))) into (hypot (/ -1 a) (/ -1 c))
* [misc]taylor:  Taking taylor expansion of (hypot (/ -1 a) (/ -1 c)) in c
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify (hypot (/ -1 a) (/ -1 c)) into (hypot (/ -1 a) (/ -1 c))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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 (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (hypot (/ -1 a) (/ -1 c)) (* -1 (* 1 (/ 1 (/ 1 (- a)))))) into (+ a (hypot (/ -1 a) (/ -1 c)))
* * * * [misc]progress:  [ 3 / 3 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (cube (pow (+ a (hypot a c)) 1/3)) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ a (hypot a c)) 1/3)) in c
* [misc]backup-simplify:  Simplify (cube (pow (+ a (hypot a c)) 1/3)) into (cube (pow (+ (hypot a c) a) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ a (hypot a c)) 1/3)) in a
* [misc]backup-simplify:  Simplify (cube (pow (+ a (hypot a c)) 1/3)) into (cube (pow (+ (hypot a c) a) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ a (hypot a c)) 1/3)) in a
* [misc]backup-simplify:  Simplify (cube (pow (+ a (hypot a c)) 1/3)) into (cube (pow (+ (hypot a c) a) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ (hypot a c) a) 1/3)) in c
* [misc]backup-simplify:  Simplify (cube (pow (+ (hypot a c) a) 1/3)) into (cube (pow (+ (hypot a c) a) 1/3))
* [misc]backup-simplify:  Simplify (cube (pow (+ (hypot a c) a) 1/3)) into (cube (pow (+ (hypot a c) a) 1/3))
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (pow (+ (hypot a c) a) 1/3)) into (cube (pow (+ (hypot a c) a) 1/3))
* [misc]approximate:  Taking taylor expansion of (cube (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3)) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3)) in c
* [misc]backup-simplify:  Simplify (cube (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3)) into (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3)) in a
* [misc]backup-simplify:  Simplify (cube (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3)) into (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3)) in a
* [misc]backup-simplify:  Simplify (cube (pow (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c))) 1/3)) into (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3)) in c
* [misc]backup-simplify:  Simplify (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3)) into (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3))
* [misc]backup-simplify:  Simplify (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3)) into (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3))
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3)) into (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3))
* [misc]approximate:  Taking taylor expansion of (cube (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3)) in (a c) around 0
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3)) in c
* [misc]backup-simplify:  Simplify (cube (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3)) into (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3)) in a
* [misc]backup-simplify:  Simplify (cube (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3)) into (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3)) in a
* [misc]backup-simplify:  Simplify (cube (pow (+ (/ 1 (- a)) (hypot (/ 1 (- a)) (/ 1 (- c)))) 1/3)) into (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3))
* [misc]taylor:  Taking taylor expansion of (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3)) in c
* [misc]backup-simplify:  Simplify (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3)) into (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3))
* [misc]backup-simplify:  Simplify (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3)) into (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3))
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in c
* [misc]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]taylor:  Taking taylor expansion of 0 in c
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3)) into (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2 1)
* * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2 1 1)
* * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (- (+ (* 1/3 (* (pow (/ 1 (sqr (hypot a c))) 1/3) a)) (pow (hypot a c) 1/3)) (* 1/9 (* (pow (/ 1 (pow (hypot a c) 5)) 1/3) (sqr a)))))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (- (+ (* 1/3 (* (pow (/ 1 (sqr (hypot a c))) 1/3) a)) (pow (hypot a c) 1/3)) (* 1/9 (* (pow (/ 1 (pow (hypot a c) 5)) 1/3) (sqr a))))))
* * [misc]simplify:  iters left: 6 (27 enodes)
* * [misc]simplify:  iters left: 5 (46 enodes)
* * [misc]simplify:  iters left: 4 (68 enodes)
* * [misc]simplify:  iters left: 3 (121 enodes)
* * [misc]simplify:  iters left: 2 (258 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (fma a (- (* (cbrt (/ (/ 1 (hypot a c)) (hypot a c))) 1/3) (* (cbrt (/ 1 (pow (hypot a c) 5))) (* a 1/9))) (cbrt (hypot a c)))))
* * * * [misc]progress:  [ 2 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (- (+ (pow a -1/3) (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 (pow a 4)) 1/3)))) (* 1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 (pow a 7)) 1/3)))))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (- (+ (pow a -1/3) (* 1/3 (* (hypot (/ 1 a) (/ 1 c)) (pow (/ 1 (pow a 4)) 1/3)))) (* 1/9 (* (sqr (hypot (/ 1 a) (/ 1 c))) (pow (/ 1 (pow a 7)) 1/3))))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (47 enodes)
* * [misc]simplify:  iters left: 4 (67 enodes)
* * [misc]simplify:  iters left: 3 (103 enodes)
* * [misc]simplify:  iters left: 2 (177 enodes)
* * [misc]simplify:  iters left: 1 (380 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (fma (- (* (cbrt (/ 1 (pow a 4))) 1/3) (* (* 1/9 (hypot (/ 1 a) (/ 1 c))) (cbrt (/ 1 (pow a 7))))) (hypot (/ 1 a) (/ 1 c)) (pow a -1/3))))
* * * * [misc]progress:  [ 3 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (- (+ (exp (* 1/3 (- (log -1) (log a)))) (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c))) a))) (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c)))) (sqr a)))))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (- (+ (exp (* 1/3 (- (log -1) (log a)))) (* 1/3 (/ (* (exp (* 1/3 (- (log -1) (log a)))) (hypot (/ -1 a) (/ -1 c))) a))) (* 1/9 (/ (* (exp (* 1/3 (- (log -1) (log a)))) (sqr (hypot (/ -1 a) (/ -1 c)))) (sqr a))))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (51 enodes)
* * [misc]simplify:  iters left: 4 (89 enodes)
* * [misc]simplify:  iters left: 3 (158 enodes)
* * [misc]simplify:  iters left: 2 (266 enodes)
* * [misc]simplify:  iters left: 1 (461 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (- (pow (exp 1/3) (- (log -1) (log a))) (* (/ (pow (exp 1/3) (- (log -1) (log a))) (/ a (hypot (/ -1 a) (/ -1 c)))) (- (/ (hypot (/ -1 a) (/ -1 c)) (/ a 1/9)) 1/3)))))
* * * * [misc]progress:  [ 4 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot a c) a) 1/3))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot a c) a) 1/3)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* * * * [misc]progress:  [ 5 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) a) 1/3))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) a) 1/3)))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (23 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ 1 a) (/ 1 c))))
* * * * [misc]progress:  [ 6 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ a (hypot (/ -1 a) (/ -1 c))) 1/3))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ a (hypot (/ -1 a) (/ -1 c))) 1/3)))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ -1 a) (/ -1 c))))
* * * * [misc]progress:  [ 7 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot a c) a) 1/3))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot a c) a) 1/3)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* * * * [misc]progress:  [ 8 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)) 1/3)))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (23 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a)))
* * * * [misc]progress:  [ 9 / 47 ] simplifiying candidate #<alt-event (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3))))>
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)) 1/3)))
* * [misc]simplify:  iters left: 6 (17 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (- (hypot (/ -1 a) (/ -1 c)) (/ 1 a)))
* * * * [misc]progress:  [ 10 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (log1p (expm1 (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (expm1 (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (expm1 (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (expm1 (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 11 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (expm1 (log1p (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (log1p (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (log1p (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (log1p (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 12 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (exp (* (log (+ a (hypot a c))) 1/3)))))>
* [enter]simplify:  Simplifying (* (log (+ a (hypot a c))) 1/3)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (log (+ a (hypot a c))) 1/3)
* [exit]simplify:  Simplified to (* (log (+ a (hypot a c))) 1/3)
* * * * [misc]progress:  [ 13 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (exp (* (log (+ a (hypot a c))) 1/3)))))>
* [enter]simplify:  Simplifying (* (log (+ a (hypot a c))) 1/3)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (log (+ a (hypot a c))) 1/3)
* [exit]simplify:  Simplified to (* (log (+ a (hypot a c))) 1/3)
* * * * [misc]progress:  [ 14 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (* (pow 1 1/3) (pow (+ a (hypot a c)) 1/3)))))>
* [enter]simplify:  Simplifying (pow 1 1/3)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (cbrt 1)
* [exit]simplify:  Simplified to (cbrt 1)
* [enter]simplify:  Simplifying (pow (+ a (hypot a c)) 1/3)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 15 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (+ a (hypot a c))))))>
* * * * [misc]progress:  [ 16 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (pow (+ a (hypot a c)) 1/3) 1))))>
* * * * [misc]progress:  [ 17 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (exp (log (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (log (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (* (log (+ a (hypot a c))) 1/3)
* [exit]simplify:  Simplified to (* (log (+ a (hypot a c))) 1/3)
* * * * [misc]progress:  [ 18 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (log (exp (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (exp (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (exp (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (exp (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 19 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cube (cbrt (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (cbrt (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (cbrt (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (cbrt (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 20 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (cube (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (cube (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (+ a (hypot a c))
* [exit]simplify:  Simplified to (+ a (hypot a c))
* * * * [misc]progress:  [ 21 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (sqr (sqrt (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (sqrt (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (sqrt (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 22 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (* 1 (pow (+ a (hypot a c)) 1/3)))))>
* * * * [misc]progress:  [ 23 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (log1p (expm1 (+ a (hypot a c)))) 1/3))))>
* [enter]simplify:  Simplifying (expm1 (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* * * * [misc]progress:  [ 24 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (expm1 (log1p (+ a (hypot a c)))) 1/3))))>
* [enter]simplify:  Simplifying (log1p (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* * * * [misc]progress:  [ 25 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (pow (+ a (hypot a c)) 1) 1/3))))>
* * * * [misc]progress:  [ 26 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (exp (log (+ a (hypot a c)))) 1/3))))>
* [enter]simplify:  Simplifying (log (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* * * * [misc]progress:  [ 27 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (log (exp (+ a (hypot a c)))) 1/3))))>
* [enter]simplify:  Simplifying (exp (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* * * * [misc]progress:  [ 28 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (cube (cbrt (+ a (hypot a c)))) 1/3))))>
* [enter]simplify:  Simplifying (cbrt (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 29 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (cbrt (cube (+ a (hypot a c)))) 1/3))))>
* [enter]simplify:  Simplifying (cube (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (58 enodes)
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* * * * [misc]progress:  [ 30 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (sqr (sqrt (+ a (hypot a c)))) 1/3))))>
* [enter]simplify:  Simplifying (sqrt (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 31 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (* 1 (+ a (hypot a c))) 1/3))))>
* * * * [misc]progress:  [ 32 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (/ (- (pow a 3) (pow (hypot a c) 3)) (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c))))) 1/3))))>
* [enter]simplify:  Simplifying (- (pow a 3) (pow (hypot a c) 3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (- (cube a) (cube (hypot a c)))
* [exit]simplify:  Simplified to (- (cube a) (cube (hypot a c)))
* [enter]simplify:  Simplifying (+ (sqr a) (- (sqr (hypot a c)) (* a (hypot a c))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (33 enodes)
* [exit]simplify:  Simplified to (fma (hypot a c) (- (hypot a c) a) (sqr a))
* [exit]simplify:  Simplified to (fma (hypot a c) (- (hypot a c) a) (sqr a))
* * * * [misc]progress:  [ 33 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (/ (- (sqr a) (sqr (hypot a c))) (- a (hypot a c))) 1/3))))>
* [enter]simplify:  Simplifying (- (sqr a) (sqr (hypot a c)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (* (+ (hypot a c) a) (- a (hypot a c)))
* [exit]simplify:  Simplified to (* (+ (hypot a c) a) (- a (hypot a c)))
* [enter]simplify:  Simplifying (- a (hypot a c))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (- a (hypot a c))
* [exit]simplify:  Simplified to (- a (hypot a c))
* * * * [misc]progress:  [ 34 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (pow (+ (hypot a c) a) 1/3))))>
* * * * [misc]progress:  [ 35 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (log1p (expm1 (cube (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (expm1 (cube (pow (+ a (hypot a c)) 1/3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* [exit]simplify:  Simplified to (expm1 (+ a (hypot a c)))
* * * * [misc]progress:  [ 36 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (expm1 (log1p (cube (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (log1p (cube (pow (+ a (hypot a c)) 1/3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log1p (+ a (hypot a c)))
* * * * [misc]progress:  [ 37 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (pow (pow (+ a (hypot a c)) 1/3) 3)))>
* * * * [misc]progress:  [ 38 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (pow (cube (pow (+ a (hypot a c)) 1/3)) 1)))>
* * * * [misc]progress:  [ 39 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (exp (log (cube (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (log (cube (pow (+ a (hypot a c)) 1/3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* * [misc]simplify:  iters left: 1 (48 enodes)
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* [exit]simplify:  Simplified to (log (+ a (hypot a c)))
* * * * [misc]progress:  [ 40 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (log (exp (cube (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (exp (cube (pow (+ a (hypot a c)) 1/3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (23 enodes)
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* [exit]simplify:  Simplified to (exp (+ a (hypot a c)))
* * * * [misc]progress:  [ 41 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cube (cbrt (cube (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (cbrt (cube (pow (+ a (hypot a c)) 1/3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cbrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 42 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (cbrt (cube (cube (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (cube (cube (pow (+ a (hypot a c)) 1/3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (40 enodes)
* * [misc]simplify:  iters left: 2 (93 enodes)
* * [misc]simplify:  iters left: 1 (221 enodes)
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* [exit]simplify:  Simplified to (cube (+ a (hypot a c)))
* * * * [misc]progress:  [ 43 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* (cube (pow 1 1/3)) (cube (pow (+ a (hypot a c)) 1/3)))))>
* [enter]simplify:  Simplifying (cube (pow 1 1/3))
* * [misc]simplify:  iters left: 2 (4 enodes)
* * [misc]simplify:  iters left: 1 (9 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (cube (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (+ a (hypot a c))
* [exit]simplify:  Simplified to (+ a (hypot a c))
* * * * [misc]progress:  [ 44 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* (cube 1) (cube (pow (+ a (hypot a c)) 1/3)))))>
* [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 (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (+ a (hypot a c))
* [exit]simplify:  Simplified to (+ a (hypot a c))
* * * * [misc]progress:  [ 45 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* (pow (+ a (hypot a c)) 1/3) (* (pow (+ a (hypot a c)) 1/3) (pow (+ a (hypot a c)) 1/3)))))>
* [enter]simplify:  Simplifying (* (pow (+ a (hypot a c)) 1/3) (pow (+ a (hypot a c)) 1/3))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ a (hypot a c))) (cbrt (+ a (hypot a c))))
* [exit]simplify:  Simplified to (* (cbrt (+ a (hypot a c))) (cbrt (+ a (hypot a c))))
* * * * [misc]progress:  [ 46 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (sqr (sqrt (cube (pow (+ a (hypot a c)) 1/3))))))>
* [enter]simplify:  Simplifying (sqrt (cube (pow (+ a (hypot a c)) 1/3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* [exit]simplify:  Simplified to (sqrt (+ a (hypot a c)))
* * * * [misc]progress:  [ 47 / 47 ] simplifiying candidate #<alt-delta (λ (a b c) (hypot (hypot b (tan -1.7821069461122345e-254)) (* 1 (cube (pow (+ a (hypot a c)) 1/3)))))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (hypot a c)
* * [misc]simplify:  iters left: 1 (3 enodes)
* [exit]simplify:  Simplified to (hypot a c)
* [exit]simplify:  Simplified to (hypot a c)
* [enter]simplify:  Simplifying (hypot b (tan -1.7821069461122345e-254))
* * [misc]simplify:  iters left: 2 (4 enodes)
* [exit]simplify:  Simplified to (hypot b (tan -1.7821069461122345e-254))
* [exit]simplify:  Simplified to (hypot b (tan -1.7821069461122345e-254))
* [enter]simplify:  Simplifying (+ (hypot (/ 1 a) (/ 1 c)) (/ 1 a))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))
* [exit]simplify:  Simplified to (+ (/ 1 a) (hypot (/ 1 a) (/ 1 c)))
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (+ (hypot (/ 1 a) (/ 1 c)) a))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot (/ 1 a) (/ 1 c))))
* [enter]simplify:  Simplifying (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))
* [enter]simplify:  Simplifying (hypot b (tan -1.7821069461122345e-254))
* * [misc]simplify:  iters left: 2 (4 enodes)
* [exit]simplify:  Simplified to (hypot b (tan -1.7821069461122345e-254))
* [exit]simplify:  Simplified to (hypot b (tan -1.7821069461122345e-254))
* [enter]simplify:  Simplifying (cube (fma a (- (* (cbrt (/ (/ 1 (hypot a c)) (hypot a c))) 1/3) (* (cbrt (/ 1 (pow (hypot a c) 5))) (* a 1/9))) (cbrt (hypot a c))))
* * [misc]simplify:  iters left: 6 (20 enodes)
* * [misc]simplify:  iters left: 5 (30 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (40 enodes)
* * [misc]simplify:  iters left: 2 (42 enodes)
* [exit]simplify:  Simplified to (cube (fma a (- (* (cbrt (/ 1 (* (hypot a c) (hypot a c)))) 1/3) (* (cbrt (/ 1 (pow (hypot a c) 5))) (* 1/9 a))) (cbrt (hypot a c))))
* [exit]simplify:  Simplified to (cube (fma a (- (* (cbrt (/ 1 (* (hypot a c) (hypot a c)))) 1/3) (* (cbrt (/ 1 (pow (hypot a c) 5))) (* 1/9 a))) (cbrt (hypot a c))))