* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * [misc]progress: [2/2] Setting up program. * [enter]simplify: Simplifying (sqrt (+ (* re re) (* im im))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (10 enodes) * * [misc]simplify: iters left: 3 (13 enodes) * [exit]simplify: Simplified to (hypot im re) * [misc]progress: [Phase 2 of 3] Improving. * * [misc]progress: iteration 1 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (hypot im re) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]approximate: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]approximate: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in re * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (hypot im re) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 2 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (hypot (/ 1 im) (/ 1 re)) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (hypot (/ 1 im) (/ 1 re)) * * * * [misc]progress: [ 3 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (hypot (/ -1 im) (/ -1 re)) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (hypot (/ -1 im) (/ -1 re)) * * * * [misc]progress: [ 4 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (expm1 (hypot im re)) * [exit]simplify: Simplified to (expm1 (hypot im re)) * * * * [misc]progress: [ 5 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (log1p (hypot im re)) * [exit]simplify: Simplified to (log1p (hypot im re)) * * * * [misc]progress: [ 6 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (sqr im) (sqr re)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (fma re re (sqr im)) * [exit]simplify: Simplified to (fma re re (sqr im)) * * * * [misc]progress: [ 7 / 13 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (log (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (log (hypot im re)) * [exit]simplify: Simplified to (log (hypot im re)) * * * * [misc]progress: [ 9 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (exp (hypot im re)) * [exit]simplify: Simplified to (exp (hypot im re)) * * * * [misc]progress: [ 10 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (cbrt (hypot im re)) * [exit]simplify: Simplified to (cbrt (hypot im re)) * * * * [misc]progress: [ 11 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to (cube (hypot im re)) * [exit]simplify: Simplified to (cube (hypot im re)) * * * * [misc]progress: [ 12 / 13 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (hypot im re)) * [exit]simplify: Simplified to (sqrt (hypot im re)) * * * * [misc]progress: [ 13 / 13 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 3 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (sqr (sqrt (hypot im re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot im re))) in re * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in re * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot im re))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in im * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot im re))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in im * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify (* (sqrt (hypot im re)) (sqrt (hypot im re))) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot im re)) 0) (* 0 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot im re)) 0) (+ (* 0 0) (* 0 (sqrt (hypot im re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot im re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (hypot im re)))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]approximate: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) in re * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify (* (sqrt (hypot (/ 1 im) (/ 1 re))) (sqrt (hypot (/ 1 im) (/ 1 re)))) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ 1 im) (/ 1 re))) 0) (* 0 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ 1 im) (/ 1 re))) 0) (+ (* 0 0) (* 0 (sqrt (hypot (/ 1 im) (/ 1 re)))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ 1 im) (/ 1 re))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (hypot (/ 1 im) (/ 1 re))))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]approximate: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 (- im)) (/ 1 (- re))))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 (- im)) (/ 1 (- re))))) in re * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in re * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 (- im)) (/ 1 (- re))))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 (- im)) (/ 1 (- re))))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify (* (sqrt (hypot (/ -1 im) (/ -1 re))) (sqrt (hypot (/ -1 im) (/ -1 re)))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ -1 im) (/ -1 re))) 0) (* 0 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ -1 im) (/ -1 re))) 0) (+ (* 0 0) (* 0 (sqrt (hypot (/ -1 im) (/ -1 re)))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ -1 im) (/ -1 re))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (hypot (/ -1 im) (/ -1 re))))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) * [misc]approximate: Taking taylor expansion of (hypot im re) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]approximate: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]approximate: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in re * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) * [misc]approximate: Taking taylor expansion of (sqrt (hypot im re)) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in re * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in im * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in im * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in re * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]approximate: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]approximate: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in re * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ -1 im) (/ -1 re))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (hypot im re) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 2 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (hypot (/ 1 im) (/ 1 re)) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (hypot (/ 1 im) (/ 1 re)) * * * * [misc]progress: [ 3 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (hypot (/ -1 im) (/ -1 re)) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (hypot (/ -1 im) (/ -1 re)) * * * * [misc]progress: [ 4 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 5 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * [exit]simplify: Simplified to (hypot (/ 1 im) (/ 1 re)) * * * * [misc]progress: [ 6 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr (sqrt (hypot (/ -1 im) (/ -1 re)))) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (hypot (/ -1 im) (/ -1 re)) * * * * [misc]progress: [ 7 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 8 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * [exit]simplify: Simplified to (hypot (/ 1 im) (/ 1 re)) * * * * [misc]progress: [ 9 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr (sqrt (hypot (/ -1 im) (/ -1 re)))) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * [exit]simplify: Simplified to (hypot (/ -1 im) (/ -1 re)) * * * * [misc]progress: [ 10 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (sqr (sqrt (hypot im re)))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (expm1 (hypot im re)) * [exit]simplify: Simplified to (expm1 (hypot im re)) * * * * [misc]progress: [ 11 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (sqr (sqrt (hypot im re)))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (log1p (hypot im re)) * [exit]simplify: Simplified to (log1p (hypot im re)) * * * * [misc]progress: [ 12 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 14 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqr (sqrt (hypot im re)))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * [exit]simplify: Simplified to (log (hypot im re)) * [exit]simplify: Simplified to (log (hypot im re)) * * * * [misc]progress: [ 15 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqr (sqrt (hypot im re)))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * [exit]simplify: Simplified to (exp (hypot im re)) * [exit]simplify: Simplified to (exp (hypot im re)) * * * * [misc]progress: [ 16 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (sqr (sqrt (hypot im re)))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (cbrt (hypot im re)) * [exit]simplify: Simplified to (cbrt (hypot im re)) * * * * [misc]progress: [ 17 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (sqr (sqrt (hypot im re)))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (16 enodes) * * [misc]simplify: iters left: 1 (19 enodes) * [exit]simplify: Simplified to (cube (hypot im re)) * [exit]simplify: Simplified to (cube (hypot im re)) * * * * [misc]progress: [ 18 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (sqr (sqrt (hypot im re)))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (sqrt (hypot im re)) * [exit]simplify: Simplified to (sqrt (hypot im re)) * * * * [misc]progress: [ 19 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr (sqrt 1)) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (sqr (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (hypot im re) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 20 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqr 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (sqr 1) * [exit]simplify: Simplified to (sqr 1) * [enter]simplify: Simplifying (sqr (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (hypot im re) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 21 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 22 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (expm1 (hypot im re)) * [exit]simplify: Simplified to (expm1 (hypot im re)) * * * * [misc]progress: [ 24 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (log1p (hypot im re)) * [exit]simplify: Simplified to (log1p (hypot im re)) * * * * [misc]progress: [ 25 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (sqr im) (sqr re)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (fma re re (sqr im)) * [exit]simplify: Simplified to (fma re re (sqr im)) * * * * [misc]progress: [ 26 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (log (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (log (hypot im re)) * [exit]simplify: Simplified to (log (hypot im re)) * * * * [misc]progress: [ 28 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (exp (hypot im re)) * [exit]simplify: Simplified to (exp (hypot im re)) * * * * [misc]progress: [ 29 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (cbrt (hypot im re)) * [exit]simplify: Simplified to (cbrt (hypot im re)) * * * * [misc]progress: [ 30 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * * [misc]simplify: iters left: 1 (6 enodes) * [exit]simplify: Simplified to (cube (hypot im re)) * [exit]simplify: Simplified to (cube (hypot im re)) * * * * [misc]progress: [ 31 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (hypot im re)) * [exit]simplify: Simplified to (sqrt (hypot im re)) * * * * [misc]progress: [ 32 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 33 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (expm1 (sqrt (hypot im re))) * [exit]simplify: Simplified to (expm1 (sqrt (hypot im re))) * * * * [misc]progress: [ 34 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (log1p (sqrt (hypot im re))) * [exit]simplify: Simplified to (log1p (sqrt (hypot im re))) * * * * [misc]progress: [ 35 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 36 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 37 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (log (sqrt (hypot im re))) * [exit]simplify: Simplified to (log (sqrt (hypot im re))) * * * * [misc]progress: [ 38 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (exp (sqrt (hypot im re))) * [exit]simplify: Simplified to (exp (sqrt (hypot im re))) * * * * [misc]progress: [ 39 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (cbrt (sqrt (hypot im re))) * [exit]simplify: Simplified to (cbrt (sqrt (hypot im re))) * * * * [misc]progress: [ 40 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * * [misc]simplify: iters left: 1 (9 enodes) * [exit]simplify: Simplified to (* (sqrt (hypot im re)) (hypot im re)) * [exit]simplify: Simplified to (* (sqrt (hypot im re)) (hypot im re)) * * * * [misc]progress: [ 41 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (sqrt 1) * [exit]simplify: Simplified to (sqrt 1) * [enter]simplify: Simplifying (sqrt (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (hypot im re)) * [exit]simplify: Simplified to (sqrt (hypot im re)) * * * * [misc]progress: [ 42 / 44 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (sqrt (sqrt (hypot im re))) * [exit]simplify: Simplified to (sqrt (sqrt (hypot im re))) * * * * [misc]progress: [ 43 / 44 ] simplifiying candidate # * * * * [misc]progress: [ 44 / 44 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 3 / 3 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 2 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (sqrt (+ (sqr im) (sqr re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr im) (sqr re))) in re * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in re * [misc]taylor: Taking taylor expansion of (sqr im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* im im) into (sqr im) * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (sqr im) 0) into (sqr im) * [misc]backup-simplify: Simplify (sqrt (sqr im)) into im * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (sqr im)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr im) (sqr re))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in im * [misc]taylor: Taking taylor expansion of (sqr im) in im * [misc]taylor: Taking taylor expansion of im in im * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (* re re) into (sqr re) * [misc]backup-simplify: Simplify (+ 0 (sqr re)) into (sqr re) * [misc]backup-simplify: Simplify (sqrt (sqr re)) into re * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (* 0 re)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (sqr re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr im) (sqr re))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in im * [misc]taylor: Taking taylor expansion of (sqr im) in im * [misc]taylor: Taking taylor expansion of im in im * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (* re re) into (sqr re) * [misc]backup-simplify: Simplify (+ 0 (sqr re)) into (sqr re) * [misc]backup-simplify: Simplify (sqrt (sqr re)) into re * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (* 0 re)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (sqr re)))) into 0 * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [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 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (* 0 re))) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (/ (- 1 (sqr 0) (+)) (* 2 re)) into (/ 1/2 re) * [misc]taylor: Taking taylor expansion of (/ 1/2 re) in re * [misc]taylor: Taking taylor expansion of 1/2 in re * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) 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) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (* 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 re))))) (* 2 re)) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 1 (* re 1)) into re * [misc]approximate: Taking taylor expansion of (sqrt (+ (sqr (/ 1 im)) (sqr (/ 1 re)))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 im)) (sqr (/ 1 re)))) in re * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in re * [misc]taylor: Taking taylor expansion of (/ 1 im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) * [misc]taylor: Taking taylor expansion of (sqr (/ 1 re)) in re * [misc]taylor: Taking taylor expansion of (/ 1 re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 im)) (sqr (/ 1 re)))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in im * [misc]taylor: Taking taylor expansion of (/ 1 im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 re)) in im * [misc]taylor: Taking taylor expansion of (/ 1 re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 im)) (sqr (/ 1 re)))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in im * [misc]taylor: Taking taylor expansion of (/ 1 im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 re)) in im * [misc]taylor: Taking taylor expansion of (/ 1 re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of 1 in re * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 0 in re * [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 (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (* (/ 1 re) (/ 1 re)) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (+ 0 (/ 1 (sqr re))) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (/ (- (/ 1 (sqr re)) (sqr 0) (+)) (* 2 1)) into (/ 1/2 (sqr re)) * [misc]taylor: Taking taylor expansion of (/ 1/2 (sqr re)) in re * [misc]taylor: Taking taylor expansion of 1/2 in re * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (/ 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) 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 (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ 1 re) 0) (* 0 (/ 1 re))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqr re)))))) (* 2 1)) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) 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 (* 1 (/ 1 (/ 1 im)))) into im * [misc]approximate: Taking taylor expansion of (sqrt (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re))))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re))))) in re * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in re * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in re * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in re * [misc]taylor: Taking taylor expansion of (- im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]backup-simplify: Simplify (- im) into (- im) * [misc]backup-simplify: Simplify (- im) into (- im) * [misc]backup-simplify: Simplify (/ 1 (- im)) into (/ -1 im) * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- re))) in re * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in re * [misc]taylor: Taking taylor expansion of (- re) in re * [misc]taylor: Taking taylor expansion of re in re * [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]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]backup-simplify: Simplify (sqrt 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 (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re))))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in im * [misc]taylor: Taking taylor expansion of (- im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 (- re))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in im * [misc]taylor: Taking taylor expansion of (- re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (/ 1 (- re)) into (/ -1 re) * [misc]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 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 (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re))))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in im * [misc]taylor: Taking taylor expansion of (- im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 (- re))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in im * [misc]taylor: Taking taylor expansion of (- re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (/ 1 (- re)) into (/ -1 re) * [misc]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 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 (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of 1 in re * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 0 in re * [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)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (* (/ -1 re) (/ -1 re)) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (+ 0 (/ 1 (sqr re))) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (/ (- (/ 1 (sqr re)) (sqr 0) (+)) (* 2 1)) into (/ 1/2 (sqr re)) * [misc]taylor: Taking taylor expansion of (/ 1/2 (sqr re)) in re * [misc]taylor: Taking taylor expansion of 1/2 in re * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (/ 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) 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 (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 re) (/ 0 (- re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ -1 re) 0) (* 0 (/ -1 re))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqr re)))))) (* 2 1)) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) 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 (* 1 (/ 1 (/ 1 (- im))))) into (* -1 im) * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) * [misc]approximate: Taking taylor expansion of (+ (sqr im) (sqr re)) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in re * [misc]taylor: Taking taylor expansion of (sqr im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in im * [misc]taylor: Taking taylor expansion of (sqr im) in im * [misc]taylor: Taking taylor expansion of im in im * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in im * [misc]taylor: Taking taylor expansion of (sqr im) in im * [misc]taylor: Taking taylor expansion of im in im * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (* re re) into (sqr re) * [misc]backup-simplify: Simplify (+ 0 (sqr re)) into (sqr re) * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (* 0 re)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (* 0 re))) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in re * [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) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (* 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 re))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr (* re 1))) (* 1 (sqr (* 1 im)))) into (+ (sqr im) (sqr re)) * [misc]approximate: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in re * [misc]taylor: Taking taylor expansion of (/ 1 im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) * [misc]taylor: Taking taylor expansion of (sqr (/ 1 re)) in re * [misc]taylor: Taking taylor expansion of (/ 1 re) in re * [misc]taylor: Taking taylor expansion of re in re * [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 (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in im * [misc]taylor: Taking taylor expansion of (/ 1 im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 re)) in im * [misc]taylor: Taking taylor expansion of (/ 1 re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in im * [misc]taylor: Taking taylor expansion of (/ 1 im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 re)) in im * [misc]taylor: Taking taylor expansion of (/ 1 re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in re * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (* (/ 1 re) (/ 1 re)) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (+ 0 (/ 1 (sqr re))) into (/ 1 (sqr re)) * [misc]taylor: Taking taylor expansion of (/ 1 (sqr re)) in re * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [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 (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ 1 re) 0) (* 0 (/ 1 re))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) 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)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ 1 re) 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) 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 (sqr (* 1 (/ 1 (/ 1 im))))) (* 1 (sqr (* (/ 1 (/ 1 re)) 1)))) into (+ (sqr im) (sqr re)) * [misc]approximate: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in re * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in re * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in re * [misc]taylor: Taking taylor expansion of (- im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]backup-simplify: Simplify (- im) into (- im) * [misc]backup-simplify: Simplify (- im) into (- im) * [misc]backup-simplify: Simplify (/ 1 (- im)) into (/ -1 im) * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- re))) in re * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in re * [misc]taylor: Taking taylor expansion of (- re) in re * [misc]taylor: Taking taylor expansion of re in re * [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 (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in im * [misc]taylor: Taking taylor expansion of (- im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 (- re))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in im * [misc]taylor: Taking taylor expansion of (- re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (/ 1 (- re)) into (/ -1 re) * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in im * [misc]taylor: Taking taylor expansion of (- im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 (- re))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in im * [misc]taylor: Taking taylor expansion of (- re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (/ 1 (- re)) into (/ -1 re) * [misc]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in re * [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 (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [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 (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (* (/ -1 re) (/ -1 re)) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (+ 0 (/ 1 (sqr re))) into (/ 1 (sqr re)) * [misc]taylor: Taking taylor expansion of (/ 1 (sqr re)) in re * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [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 (- 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 (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 re) (/ 0 (- re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ -1 re) 0) (* 0 (/ -1 re))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) 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 (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 re) (/ 0 (- re))) (* 0 (/ 0 (- re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ -1 re) 0) (+ (* 0 0) (* 0 (/ -1 re)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) 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 (sqr (* 1 (/ 1 (/ 1 (- im)))))) (* 1 (sqr (* (/ 1 (/ 1 (- re))) 1)))) into (+ (sqr im) (sqr re)) * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying re * * [misc]simplify: iters left: 0 (1 enodes) * [exit]simplify: Simplified to re * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying im * * [misc]simplify: iters left: 0 (1 enodes) * [exit]simplify: Simplified to im * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (* -1 im) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (- im) * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (sqrt (+ (sqr im) (sqr re)))) * * [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 (expm1 (hypot im re)) * [exit]simplify: Simplified to (expm1 (hypot im re)) * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (sqrt (+ (sqr im) (sqr re)))) * * [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 (log1p (hypot im re)) * [exit]simplify: Simplified to (log1p (hypot im re)) * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqrt (+ (sqr im) (sqr re)))) * * [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 (log (hypot im re)) * [exit]simplify: Simplified to (log (hypot im re)) * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (sqrt (+ (sqr im) (sqr re)))) * * [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 (exp (hypot im re)) * [exit]simplify: Simplified to (exp (hypot im re)) * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (sqrt (+ (sqr im) (sqr re)))) * * [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 (cbrt (hypot im re)) * [exit]simplify: Simplified to (cbrt (hypot im re)) * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (sqrt (+ (sqr im) (sqr re)))) * * [misc]simplify: iters left: 5 (7 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (17 enodes) * [exit]simplify: Simplified to (cube (hypot im re)) * [exit]simplify: Simplified to (cube (hypot im re)) * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (sqrt 1) * [exit]simplify: Simplified to (sqrt 1) * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (sqrt 1) * [exit]simplify: Simplified to (sqrt 1) * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (pow (sqr im) 3) (pow (sqr re) 3))) * * [misc]simplify: iters left: 5 (9 enodes) * * [misc]simplify: iters left: 4 (13 enodes) * * [misc]simplify: iters left: 3 (21 enodes) * * [misc]simplify: iters left: 2 (33 enodes) * * [misc]simplify: iters left: 1 (43 enodes) * [exit]simplify: Simplified to (sqrt (- (sqr (cube im)) (sqr (cube re)))) * [exit]simplify: Simplified to (sqrt (- (sqr (cube im)) (sqr (cube re)))) * [enter]simplify: Simplifying (sqrt (+ (sqr (sqr im)) (- (sqr (sqr re)) (* (sqr im) (sqr re))))) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (33 enodes) * * [misc]simplify: iters left: 3 (56 enodes) * * [misc]simplify: iters left: 2 (77 enodes) * * [misc]simplify: iters left: 1 (117 enodes) * [exit]simplify: Simplified to (sqrt (fma (sqr im) (- (sqr im) (* re re)) (* (* re re) (* re re)))) * [exit]simplify: Simplified to (sqrt (fma (sqr im) (- (sqr im) (* re re)) (* (* re re) (* re re)))) * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (sqr (sqr im)) (sqr (sqr re)))) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (25 enodes) * * [misc]simplify: iters left: 2 (42 enodes) * * [misc]simplify: iters left: 1 (80 enodes) * [exit]simplify: Simplified to (sqrt (- (* (sqr im) (sqr im)) (* (* re re) (* re re)))) * [exit]simplify: Simplified to (sqrt (- (* (sqr im) (sqr im)) (* (* re re) (* re re)))) * [enter]simplify: Simplifying (sqrt (- (sqr im) (sqr re))) * * [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 (sqrt (* (+ im re) (- im re))) * [exit]simplify: Simplified to (sqrt (* (+ im re) (- im re))) * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (sqrt (+ (sqr im) (sqr re)))) * * [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 (sqrt (hypot im re)) * [exit]simplify: Simplified to (sqrt (hypot im re)) * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * [exit]simplify: Simplified to (expm1 (fma re re (sqr im))) * [exit]simplify: Simplified to (expm1 (fma re re (sqr im))) * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * [exit]simplify: Simplified to (log1p (fma re re (sqr im))) * [exit]simplify: Simplified to (log1p (fma re re (sqr im))) * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (* (exp (sqr im)) (exp (sqr re))) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (19 enodes) * * [misc]simplify: iters left: 1 (20 enodes) * [exit]simplify: Simplified to (exp (fma re re (sqr im))) * [exit]simplify: Simplified to (exp (fma re re (sqr im))) * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * [exit]simplify: Simplified to (log (fma re re (sqr im))) * [exit]simplify: Simplified to (log (fma re re (sqr im))) * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (19 enodes) * [exit]simplify: Simplified to (exp (fma re re (sqr im))) * [exit]simplify: Simplified to (exp (fma re re (sqr im))) * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (cbrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * [exit]simplify: Simplified to (cbrt (fma re re (sqr im))) * [exit]simplify: Simplified to (cbrt (fma re re (sqr im))) * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (cube (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (11 enodes) * * [misc]simplify: iters left: 2 (23 enodes) * * [misc]simplify: iters left: 1 (71 enodes) * [exit]simplify: Simplified to (cube (fma re re (sqr im))) * [exit]simplify: Simplified to (cube (fma re re (sqr im))) * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * [exit]simplify: Simplified to (hypot im re) * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (- (pow (sqr im) 3) (pow (sqr re) 3)) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (20 enodes) * * [misc]simplify: iters left: 1 (32 enodes) * [exit]simplify: Simplified to (* (+ (cube im) (cube re)) (- (cube im) (cube re))) * [exit]simplify: Simplified to (* (+ (cube im) (cube re)) (- (cube im) (cube re))) * [enter]simplify: Simplifying (+ (sqr (sqr im)) (- (sqr (sqr re)) (* (sqr im) (sqr re)))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (32 enodes) * * [misc]simplify: iters left: 3 (55 enodes) * * [misc]simplify: iters left: 2 (78 enodes) * * [misc]simplify: iters left: 1 (110 enodes) * [exit]simplify: Simplified to (fma (sqr im) (- (sqr im) (* re re)) (* (* re re) (* re re))) * [exit]simplify: Simplified to (fma (sqr im) (- (sqr im) (* re re)) (* (* re re) (* re re))) * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (- (sqr (sqr im)) (sqr (sqr re))) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (14 enodes) * * [misc]simplify: iters left: 2 (24 enodes) * * [misc]simplify: iters left: 1 (41 enodes) * [exit]simplify: Simplified to (- (* (sqr im) (sqr im)) (* (* re re) (* re re))) * [exit]simplify: Simplified to (- (* (sqr im) (sqr im)) (* (* re re) (* re re))) * [enter]simplify: Simplifying (- (sqr im) (sqr re)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * * [misc]simplify: iters left: 1 (12 enodes) * [exit]simplify: Simplified to (- (sqr im) (* re re)) * [exit]simplify: Simplified to (- (sqr im) (* re re)) * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (sqr im) (sqr re)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (fma re re (sqr im)) * [exit]simplify: Simplified to (fma re re (sqr im)) * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # * * * [misc]progress: adding candidates to table * * [misc]progress: Final touches. * * * [misc]progress: tayloring alt 1 of 3 * [misc]approximate: Taking taylor expansion of (sqrt (+ (sqr im) (sqr re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr im) (sqr re))) in re * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in re * [misc]taylor: Taking taylor expansion of (sqr im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* im im) into (sqr im) * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (sqr im) 0) into (sqr im) * [misc]backup-simplify: Simplify (sqrt (sqr im)) into im * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (sqr im)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr im) (sqr re))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in im * [misc]taylor: Taking taylor expansion of (sqr im) in im * [misc]taylor: Taking taylor expansion of im in im * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (* re re) into (sqr re) * [misc]backup-simplify: Simplify (+ 0 (sqr re)) into (sqr re) * [misc]backup-simplify: Simplify (sqrt (sqr re)) into re * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (* 0 re)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (sqr re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr im) (sqr re))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in im * [misc]taylor: Taking taylor expansion of (sqr im) in im * [misc]taylor: Taking taylor expansion of im in im * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (* re re) into (sqr re) * [misc]backup-simplify: Simplify (+ 0 (sqr re)) into (sqr re) * [misc]backup-simplify: Simplify (sqrt (sqr re)) into re * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (* 0 re)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (sqr re)))) into 0 * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify 0 into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [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 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (* 0 re))) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (/ (- 1 (sqr 0) (+)) (* 2 re)) into (/ 1/2 re) * [misc]taylor: Taking taylor expansion of (/ 1/2 re) in re * [misc]taylor: Taking taylor expansion of 1/2 in re * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) 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) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (* 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 re))))) (* 2 re)) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 1 (* re 1)) into re * [misc]approximate: Taking taylor expansion of (sqrt (+ (sqr (/ 1 im)) (sqr (/ 1 re)))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 im)) (sqr (/ 1 re)))) in re * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in re * [misc]taylor: Taking taylor expansion of (/ 1 im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) * [misc]taylor: Taking taylor expansion of (sqr (/ 1 re)) in re * [misc]taylor: Taking taylor expansion of (/ 1 re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 im)) (sqr (/ 1 re)))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in im * [misc]taylor: Taking taylor expansion of (/ 1 im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 re)) in im * [misc]taylor: Taking taylor expansion of (/ 1 re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 im)) (sqr (/ 1 re)))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in im * [misc]taylor: Taking taylor expansion of (/ 1 im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 re)) in im * [misc]taylor: Taking taylor expansion of (/ 1 re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of 1 in re * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 0 in re * [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 (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (* (/ 1 re) (/ 1 re)) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (+ 0 (/ 1 (sqr re))) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (/ (- (/ 1 (sqr re)) (sqr 0) (+)) (* 2 1)) into (/ 1/2 (sqr re)) * [misc]taylor: Taking taylor expansion of (/ 1/2 (sqr re)) in re * [misc]taylor: Taking taylor expansion of 1/2 in re * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (/ 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) 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 (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ 1 re) 0) (* 0 (/ 1 re))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqr re)))))) (* 2 1)) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) 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 (* 1 (/ 1 (/ 1 im)))) into im * [misc]approximate: Taking taylor expansion of (sqrt (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re))))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re))))) in re * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in re * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in re * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in re * [misc]taylor: Taking taylor expansion of (- im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]backup-simplify: Simplify (- im) into (- im) * [misc]backup-simplify: Simplify (- im) into (- im) * [misc]backup-simplify: Simplify (/ 1 (- im)) into (/ -1 im) * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- re))) in re * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in re * [misc]taylor: Taking taylor expansion of (- re) in re * [misc]taylor: Taking taylor expansion of re in re * [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]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 0 1) into 1 * [misc]backup-simplify: Simplify (sqrt 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 (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re))))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in im * [misc]taylor: Taking taylor expansion of (- im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 (- re))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in im * [misc]taylor: Taking taylor expansion of (- re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (/ 1 (- re)) into (/ -1 re) * [misc]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 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 (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re))))) in im * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in im * [misc]taylor: Taking taylor expansion of (- im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 (- re))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in im * [misc]taylor: Taking taylor expansion of (- re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (/ 1 (- re)) into (/ -1 re) * [misc]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 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 (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of 1 in re * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 0 in re * [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)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (* (/ -1 re) (/ -1 re)) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (+ 0 (/ 1 (sqr re))) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (/ (- (/ 1 (sqr re)) (sqr 0) (+)) (* 2 1)) into (/ 1/2 (sqr re)) * [misc]taylor: Taking taylor expansion of (/ 1/2 (sqr re)) in re * [misc]taylor: Taking taylor expansion of 1/2 in re * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (/ 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) 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 (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 re) (/ 0 (- re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ -1 re) 0) (* 0 (/ -1 re))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqr re)))))) (* 2 1)) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) 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 (* 1 (/ 1 (/ 1 (- im))))) into (* -1 im) * [misc]approximate: Taking taylor expansion of (+ (sqr im) (sqr re)) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in re * [misc]taylor: Taking taylor expansion of (sqr im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in im * [misc]taylor: Taking taylor expansion of (sqr im) in im * [misc]taylor: Taking taylor expansion of im in im * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]taylor: Taking taylor expansion of (+ (sqr im) (sqr re)) in im * [misc]taylor: Taking taylor expansion of (sqr im) in im * [misc]taylor: Taking taylor expansion of im in im * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqr re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (* re re) into (sqr re) * [misc]backup-simplify: Simplify (+ 0 (sqr re)) into (sqr re) * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (* 0 re)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (* 0 re))) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in re * [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) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (* 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 re))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr (* re 1))) (* 1 (sqr (* 1 im)))) into (+ (sqr im) (sqr re)) * [misc]approximate: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in re * [misc]taylor: Taking taylor expansion of (/ 1 im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) * [misc]taylor: Taking taylor expansion of (sqr (/ 1 re)) in re * [misc]taylor: Taking taylor expansion of (/ 1 re) in re * [misc]taylor: Taking taylor expansion of re in re * [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 (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in im * [misc]taylor: Taking taylor expansion of (/ 1 im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 re)) in im * [misc]taylor: Taking taylor expansion of (/ 1 re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 im)) (sqr (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 im)) in im * [misc]taylor: Taking taylor expansion of (/ 1 im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 re)) in im * [misc]taylor: Taking taylor expansion of (/ 1 re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in re * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (* (/ 1 re) (/ 1 re)) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (+ 0 (/ 1 (sqr re))) into (/ 1 (sqr re)) * [misc]taylor: Taking taylor expansion of (/ 1 (sqr re)) in re * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [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 (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ 1 re) 0) (* 0 (/ 1 re))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) 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)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ 1 re) 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) 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 (sqr (* 1 (/ 1 (/ 1 im))))) (* 1 (sqr (* (/ 1 (/ 1 re)) 1)))) into (+ (sqr im) (sqr re)) * [misc]approximate: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in re * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in re * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in re * [misc]taylor: Taking taylor expansion of (- im) in re * [misc]taylor: Taking taylor expansion of im in re * [misc]backup-simplify: Simplify im into im * [misc]backup-simplify: Simplify (- im) into (- im) * [misc]backup-simplify: Simplify (- im) into (- im) * [misc]backup-simplify: Simplify (/ 1 (- im)) into (/ -1 im) * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- re))) in re * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in re * [misc]taylor: Taking taylor expansion of (- re) in re * [misc]taylor: Taking taylor expansion of re in re * [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 (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in im * [misc]taylor: Taking taylor expansion of (- im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 (- re))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in im * [misc]taylor: Taking taylor expansion of (- re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (/ 1 (- re)) into (/ -1 re) * [misc]taylor: Taking taylor expansion of (+ (sqr (/ 1 (- im))) (sqr (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (sqr (/ 1 (- im))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- im)) in im * [misc]taylor: Taking taylor expansion of (- im) in im * [misc]taylor: Taking taylor expansion of im in im * [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 (sqr (/ 1 (- re))) in im * [misc]taylor: Taking taylor expansion of (/ 1 (- re)) in im * [misc]taylor: Taking taylor expansion of (- re) in im * [misc]taylor: Taking taylor expansion of re in im * [misc]backup-simplify: Simplify re into re * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (/ 1 (- re)) into (/ -1 re) * [misc]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]taylor: Taking taylor expansion of 1 in re * [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 (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [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 (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (* (/ -1 re) (/ -1 re)) into (/ 1 (sqr re)) * [misc]backup-simplify: Simplify (+ 0 (/ 1 (sqr re))) into (/ 1 (sqr re)) * [misc]taylor: Taking taylor expansion of (/ 1 (sqr re)) in re * [misc]taylor: Taking taylor expansion of (sqr re) in re * [misc]taylor: Taking taylor expansion of re in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [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 (- 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 (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 re) (/ 0 (- re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ -1 re) 0) (* 0 (/ -1 re))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) 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 (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- re) into (- re) * [misc]backup-simplify: Simplify (- (+ (* (/ -1 re) (/ 0 (- re))) (* 0 (/ 0 (- re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (/ -1 re) 0) (+ (* 0 0) (* 0 (/ -1 re)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) 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 (sqr (* 1 (/ 1 (/ 1 (- im)))))) (* 1 (sqr (* (/ 1 (/ 1 (- re))) 1)))) into (+ (sqr im) (sqr re)) * * * [misc]progress: tayloring alt 2 of 3 * [misc]approximate: Taking taylor expansion of (hypot im re) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]approximate: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]approximate: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in re * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * * * [misc]progress: tayloring alt 3 of 3 * [misc]approximate: Taking taylor expansion of (sqr (sqrt (hypot im re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot im re))) in re * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in re * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot im re))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in im * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot im re))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in im * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify (* (sqrt (hypot im re)) (sqrt (hypot im re))) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot im re)) 0) (* 0 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot im re)) 0) (+ (* 0 0) (* 0 (sqrt (hypot im re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot im re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (hypot im re)))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]approximate: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) in re * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify (* (sqrt (hypot (/ 1 im) (/ 1 re))) (sqrt (hypot (/ 1 im) (/ 1 re)))) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ 1 im) (/ 1 re))) 0) (* 0 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ 1 im) (/ 1 re))) 0) (+ (* 0 0) (* 0 (sqrt (hypot (/ 1 im) (/ 1 re)))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ 1 im) (/ 1 re))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (hypot (/ 1 im) (/ 1 re))))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]approximate: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 (- im)) (/ 1 (- re))))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 (- im)) (/ 1 (- re))))) in re * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in re * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 (- im)) (/ 1 (- re))))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqr (sqrt (hypot (/ 1 (- im)) (/ 1 (- re))))) in im * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify (* (sqrt (hypot (/ -1 im) (/ -1 re))) (sqrt (hypot (/ -1 im) (/ -1 re)))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ -1 im) (/ -1 re))) 0) (* 0 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ -1 im) (/ -1 re))) 0) (+ (* 0 0) (* 0 (sqrt (hypot (/ -1 im) (/ -1 re)))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify (+ (* (sqrt (hypot (/ -1 im) (/ -1 re))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (hypot (/ -1 im) (/ -1 re))))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]approximate: Taking taylor expansion of (hypot im re) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]approximate: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]approximate: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in re * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]taylor: Taking taylor expansion of 0 in re * [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 re * [misc]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 re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]approximate: Taking taylor expansion of (sqrt (hypot im re)) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in re * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in im * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in im * [misc]taylor: Taking taylor expansion of (hypot im re) in im * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot im re)) in re * [misc]taylor: Taking taylor expansion of (hypot im re) in re * [misc]backup-simplify: Simplify (hypot im re) into (hypot im re) * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot im re)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot im re)))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqrt (hypot im re)) into (sqrt (hypot im re)) * [misc]approximate: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 im) (/ 1 re))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ 1 im) (/ 1 re)) into (hypot (/ 1 im) (/ 1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot (/ 1 im) (/ 1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqrt (hypot (/ 1 im) (/ 1 re))) into (sqrt (hypot (/ 1 im) (/ 1 re))) * [misc]approximate: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in (im re) around 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in re * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ 1 (- im)) (/ 1 (- re)))) in im * [misc]taylor: Taking taylor expansion of (hypot (/ 1 (- im)) (/ 1 (- re))) in im * [misc]backup-simplify: Simplify (hypot (/ 1 (- im)) (/ 1 (- re))) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of (sqrt (hypot (/ -1 im) (/ -1 re))) in re * [misc]taylor: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re * [misc]backup-simplify: Simplify (hypot (/ -1 im) (/ -1 re)) into (hypot (/ -1 im) (/ -1 re)) * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]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 (sqr 0) (+)) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (hypot (/ -1 im) (/ -1 re))))) into 0 * [misc]taylor: Taking taylor expansion of 0 in re * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (sqrt (hypot (/ -1 im) (/ -1 re))) into (sqrt (hypot (/ -1 im) (/ -1 re))) * * * [misc]progress: simplifying alt 1 of 18 * [enter]simplify: Simplifying re * * [misc]simplify: iters left: 0 (1 enodes) * [exit]simplify: Simplified to re * [misc]none: prog is (λ (re im) re) * * * [misc]progress: simplifying alt 2 of 18 * [enter]simplify: Simplifying im * * [misc]simplify: iters left: 0 (1 enodes) * [exit]simplify: Simplified to im * [misc]none: prog is (λ (re im) im) * * * [misc]progress: simplifying alt 3 of 18 * [enter]simplify: Simplifying (* -1 im) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (- im) * [misc]none: prog is (λ (re im) (- im)) * * * [misc]progress: simplifying alt 4 of 18 * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * * [misc]simplify: iters left: 1 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * [misc]none: prog is (λ (re im) (hypot im re)) * * * [misc]progress: simplifying alt 5 of 18 * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * * [misc]simplify: iters left: 1 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * [misc]none: prog is (λ (re im) (hypot im re)) * * * [misc]progress: simplifying alt 6 of 18 * [enter]simplify: Simplifying (sqrt (+ (sqr im) (sqr re))) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (10 enodes) * * [misc]simplify: iters left: 1 (12 enodes) * [exit]simplify: Simplified to (hypot im re) * [misc]none: prog is (λ (re im) (hypot im re)) * * * [misc]progress: simplifying alt 7 of 18 * [enter]simplify: Simplifying (hypot im re) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to (hypot im re) * [misc]none: prog is (λ (re im) (hypot im re)) * * * [misc]progress: simplifying alt 8 of 18 * [enter]simplify: Simplifying (hypot (/ 1 im) (/ 1 re)) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (hypot (/ 1 im) (/ 1 re)) * [misc]none: prog is (λ (re im) (hypot (/ 1 im) (/ 1 re))) * * * [misc]progress: simplifying alt 9 of 18 * [enter]simplify: Simplifying (hypot (/ -1 im) (/ -1 re)) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (hypot (/ -1 im) (/ -1 re)) * [misc]none: prog is (λ (re im) (hypot (/ -1 im) (/ -1 re))) * * * [misc]progress: simplifying alt 10 of 18 * [enter]simplify: Simplifying (hypot im re) * * [misc]simplify: iters left: 1 (3 enodes) * [exit]simplify: Simplified to (hypot im re) * [misc]none: prog is (λ (re im) (hypot im re)) * * * [misc]progress: simplifying alt 11 of 18 * [enter]simplify: Simplifying (hypot (/ 1 im) (/ 1 re)) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (hypot (/ 1 im) (/ 1 re)) * [misc]none: prog is (λ (re im) (hypot (/ 1 im) (/ 1 re))) * * * [misc]progress: simplifying alt 12 of 18 * [enter]simplify: Simplifying (hypot (/ -1 im) (/ -1 re)) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (hypot (/ -1 im) (/ -1 re)) * [misc]none: prog is (λ (re im) (hypot (/ -1 im) (/ -1 re))) * * * [misc]progress: simplifying alt 13 of 18 * [enter]simplify: Simplifying (sqr (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (hypot im re) * [misc]none: prog is (λ (re im) (hypot im re)) * * * [misc]progress: simplifying alt 14 of 18 * [enter]simplify: Simplifying (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (12 enodes) * [exit]simplify: Simplified to (hypot (/ 1 im) (/ 1 re)) * [misc]none: prog is (λ (re im) (hypot (/ 1 im) (/ 1 re))) * * * [misc]progress: simplifying alt 15 of 18 * [enter]simplify: Simplifying (sqr (sqrt (hypot (/ -1 im) (/ -1 re)))) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (hypot (/ -1 im) (/ -1 re)) * [misc]none: prog is (λ (re im) (hypot (/ -1 im) (/ -1 re))) * * * [misc]progress: simplifying alt 16 of 18 * [enter]simplify: Simplifying (sqr (sqrt (hypot im re))) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * * [misc]simplify: iters left: 1 (7 enodes) * [exit]simplify: Simplified to (hypot im re) * [misc]none: prog is (λ (re im) (hypot im re)) * * * [misc]progress: simplifying alt 17 of 18 * [enter]simplify: Simplifying (sqr (sqrt (hypot (/ 1 im) (/ 1 re)))) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * * [misc]simplify: iters left: 1 (12 enodes) * [exit]simplify: Simplified to (hypot (/ 1 im) (/ 1 re)) * [misc]none: prog is (λ (re im) (hypot (/ 1 im) (/ 1 re))) * * * [misc]progress: simplifying alt 18 of 18 * [enter]simplify: Simplifying (sqr (sqrt (hypot (/ -1 im) (/ -1 re)))) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (hypot (/ -1 im) (/ -1 re)) * [misc]none: prog is (λ (re im) (hypot (/ -1 im) (/ -1 re))) * [misc]progress: [Phase 3 of 3] Extracting. * * [misc]regime-changes: Finding splitpoints for: (# # #) * [misc]regimes: Found splitpoints: (#s(sp 0 (+ (* re re) (* im im)) +inf.0)) , with alts (#) * [enter]simplify: Simplifying (+ (sqr im) (sqr re)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (fma re re (sqr im)) * [exit]simplify: Simplified to (fma re re (sqr im)) * [enter]simplify: Simplifying (sqrt (hypot im re)) * * [misc]simplify: iters left: 2 (4 enodes) * [exit]simplify: Simplified to (sqrt (hypot im re)) * [exit]simplify: Simplified to (sqrt (hypot im re))