6.429 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (+ (* x.re y.im) (* x.im y.re)) 0.029 * * [simplify]: iteration 0 : 10 enodes (cost 3 ) 0.030 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 0.030 * [simplify]: Simplified to: (+ (* x.re y.im) (* x.im y.re)) 0.031 * * [progress]: iteration 1 / 4 0.031 * * * [progress]: picking best candidate 0.032 * * * * [pick]: Picked # 0.032 * * * [progress]: localizing error 0.037 * * * [progress]: generating rewritten candidates 0.038 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.040 * * * [progress]: generating series expansions 0.040 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.040 * [approximate]: Taking taylor expansion of (+ (* y.re x.im) (* y.im x.re)) in (x.re y.im x.im y.re) around 0 0.040 * [taylor]: Taking taylor expansion of (+ (* y.re x.im) (* y.im x.re)) in y.re 0.040 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.040 * [taylor]: Taking taylor expansion of y.re in y.re 0.041 * [taylor]: Taking taylor expansion of x.im in y.re 0.041 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.041 * [taylor]: Taking taylor expansion of y.im in y.re 0.041 * [taylor]: Taking taylor expansion of x.re in y.re 0.041 * [taylor]: Taking taylor expansion of (+ (* y.re x.im) (* y.im x.re)) in x.im 0.041 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.041 * [taylor]: Taking taylor expansion of y.re in x.im 0.041 * [taylor]: Taking taylor expansion of x.im in x.im 0.041 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.041 * [taylor]: Taking taylor expansion of y.im in x.im 0.041 * [taylor]: Taking taylor expansion of x.re in x.im 0.041 * [taylor]: Taking taylor expansion of (+ (* y.re x.im) (* y.im x.re)) in y.im 0.041 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.041 * [taylor]: Taking taylor expansion of y.re in y.im 0.041 * [taylor]: Taking taylor expansion of x.im in y.im 0.041 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.041 * [taylor]: Taking taylor expansion of y.im in y.im 0.041 * [taylor]: Taking taylor expansion of x.re in y.im 0.041 * [taylor]: Taking taylor expansion of (+ (* y.re x.im) (* y.im x.re)) in x.re 0.041 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.041 * [taylor]: Taking taylor expansion of y.re in x.re 0.041 * [taylor]: Taking taylor expansion of x.im in x.re 0.041 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.041 * [taylor]: Taking taylor expansion of y.im in x.re 0.041 * [taylor]: Taking taylor expansion of x.re in x.re 0.041 * [taylor]: Taking taylor expansion of (+ (* y.re x.im) (* y.im x.re)) in x.re 0.041 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.041 * [taylor]: Taking taylor expansion of y.re in x.re 0.041 * [taylor]: Taking taylor expansion of x.im in x.re 0.041 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.041 * [taylor]: Taking taylor expansion of y.im in x.re 0.041 * [taylor]: Taking taylor expansion of x.re in x.re 0.041 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.041 * [taylor]: Taking taylor expansion of y.re in y.im 0.041 * [taylor]: Taking taylor expansion of x.im in y.im 0.041 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.041 * [taylor]: Taking taylor expansion of y.re in x.im 0.041 * [taylor]: Taking taylor expansion of x.im in x.im 0.041 * [taylor]: Taking taylor expansion of 0 in y.re 0.042 * [taylor]: Taking taylor expansion of y.im in y.im 0.042 * [taylor]: Taking taylor expansion of 0 in x.im 0.042 * [taylor]: Taking taylor expansion of 0 in y.re 0.042 * [taylor]: Taking taylor expansion of 0 in x.im 0.042 * [taylor]: Taking taylor expansion of 0 in y.re 0.042 * [taylor]: Taking taylor expansion of y.re in y.re 0.043 * [taylor]: Taking taylor expansion of 0 in y.im 0.043 * [taylor]: Taking taylor expansion of 0 in x.im 0.043 * [taylor]: Taking taylor expansion of 0 in y.re 0.044 * [approximate]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in (x.re y.im x.im y.re) around 0 0.044 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in y.re 0.044 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.re 0.044 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.044 * [taylor]: Taking taylor expansion of y.re in y.re 0.044 * [taylor]: Taking taylor expansion of x.im in y.re 0.044 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.re 0.044 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.044 * [taylor]: Taking taylor expansion of y.im in y.re 0.044 * [taylor]: Taking taylor expansion of x.re in y.re 0.044 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in x.im 0.044 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.044 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.044 * [taylor]: Taking taylor expansion of y.re in x.im 0.044 * [taylor]: Taking taylor expansion of x.im in x.im 0.045 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.im 0.045 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.045 * [taylor]: Taking taylor expansion of y.im in x.im 0.045 * [taylor]: Taking taylor expansion of x.re in x.im 0.045 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in y.im 0.045 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.045 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.045 * [taylor]: Taking taylor expansion of y.re in y.im 0.045 * [taylor]: Taking taylor expansion of x.im in y.im 0.045 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.im 0.045 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.045 * [taylor]: Taking taylor expansion of y.im in y.im 0.045 * [taylor]: Taking taylor expansion of x.re in y.im 0.045 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in x.re 0.045 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.045 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.045 * [taylor]: Taking taylor expansion of y.re in x.re 0.045 * [taylor]: Taking taylor expansion of x.im in x.re 0.045 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.045 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.045 * [taylor]: Taking taylor expansion of y.im in x.re 0.045 * [taylor]: Taking taylor expansion of x.re in x.re 0.046 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in x.re 0.046 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.046 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.046 * [taylor]: Taking taylor expansion of y.re in x.re 0.046 * [taylor]: Taking taylor expansion of x.im in x.re 0.046 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.046 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.046 * [taylor]: Taking taylor expansion of y.im in x.re 0.046 * [taylor]: Taking taylor expansion of x.re in x.re 0.046 * [taylor]: Taking taylor expansion of (/ 1 y.im) in y.im 0.046 * [taylor]: Taking taylor expansion of y.im in y.im 0.047 * [taylor]: Taking taylor expansion of 1 in x.im 0.047 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.047 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.047 * [taylor]: Taking taylor expansion of y.re in y.im 0.047 * [taylor]: Taking taylor expansion of x.im in y.im 0.048 * [taylor]: Taking taylor expansion of 0 in x.im 0.048 * [taylor]: Taking taylor expansion of 1 in y.re 0.049 * [taylor]: Taking taylor expansion of 0 in y.im 0.049 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.049 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.049 * [taylor]: Taking taylor expansion of y.re in x.im 0.049 * [taylor]: Taking taylor expansion of x.im in x.im 0.049 * [taylor]: Taking taylor expansion of (/ 1 y.re) in y.re 0.049 * [taylor]: Taking taylor expansion of y.re in y.re 0.050 * [taylor]: Taking taylor expansion of 0 in x.im 0.050 * [taylor]: Taking taylor expansion of 0 in y.re 0.050 * [taylor]: Taking taylor expansion of 0 in y.re 0.051 * [taylor]: Taking taylor expansion of 0 in y.im 0.051 * [taylor]: Taking taylor expansion of 0 in x.im 0.052 * [taylor]: Taking taylor expansion of 0 in x.im 0.052 * [taylor]: Taking taylor expansion of 0 in x.im 0.053 * [taylor]: Taking taylor expansion of 0 in y.re 0.053 * [taylor]: Taking taylor expansion of 0 in y.re 0.053 * [taylor]: Taking taylor expansion of 0 in y.re 0.053 * [taylor]: Taking taylor expansion of 0 in y.re 0.055 * [taylor]: Taking taylor expansion of 0 in y.im 0.055 * [taylor]: Taking taylor expansion of 0 in x.im 0.055 * [taylor]: Taking taylor expansion of 0 in x.im 0.055 * [taylor]: Taking taylor expansion of 0 in x.im 0.056 * [taylor]: Taking taylor expansion of 0 in x.im 0.056 * [taylor]: Taking taylor expansion of 0 in y.re 0.056 * [taylor]: Taking taylor expansion of 0 in y.re 0.056 * [taylor]: Taking taylor expansion of 0 in y.re 0.056 * [taylor]: Taking taylor expansion of 0 in y.re 0.057 * [taylor]: Taking taylor expansion of 0 in y.re 0.057 * [taylor]: Taking taylor expansion of 0 in y.re 0.057 * [taylor]: Taking taylor expansion of 0 in y.re 0.057 * [approximate]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in (x.re y.im x.im y.re) around 0 0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in y.re 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.re 0.057 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.057 * [taylor]: Taking taylor expansion of y.re in y.re 0.057 * [taylor]: Taking taylor expansion of x.im in y.re 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.re 0.058 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.058 * [taylor]: Taking taylor expansion of y.im in y.re 0.058 * [taylor]: Taking taylor expansion of x.re in y.re 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in x.im 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.058 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.058 * [taylor]: Taking taylor expansion of y.re in x.im 0.058 * [taylor]: Taking taylor expansion of x.im in x.im 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.im 0.058 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.058 * [taylor]: Taking taylor expansion of y.im in x.im 0.058 * [taylor]: Taking taylor expansion of x.re in x.im 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in y.im 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.058 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.058 * [taylor]: Taking taylor expansion of y.re in y.im 0.058 * [taylor]: Taking taylor expansion of x.im in y.im 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.im 0.059 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.059 * [taylor]: Taking taylor expansion of y.im in y.im 0.059 * [taylor]: Taking taylor expansion of x.re in y.im 0.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in x.re 0.059 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.059 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.059 * [taylor]: Taking taylor expansion of y.re in x.re 0.059 * [taylor]: Taking taylor expansion of x.im in x.re 0.059 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.059 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.059 * [taylor]: Taking taylor expansion of y.im in x.re 0.059 * [taylor]: Taking taylor expansion of x.re in x.re 0.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y.re x.im)) (/ 1 (* y.im x.re))) in x.re 0.059 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.059 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.059 * [taylor]: Taking taylor expansion of y.re in x.re 0.059 * [taylor]: Taking taylor expansion of x.im in x.re 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.060 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.060 * [taylor]: Taking taylor expansion of y.im in x.re 0.060 * [taylor]: Taking taylor expansion of x.re in x.re 0.060 * [taylor]: Taking taylor expansion of (/ 1 y.im) in y.im 0.060 * [taylor]: Taking taylor expansion of y.im in y.im 0.060 * [taylor]: Taking taylor expansion of 1 in x.im 0.061 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.061 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.061 * [taylor]: Taking taylor expansion of y.re in y.im 0.061 * [taylor]: Taking taylor expansion of x.im in y.im 0.061 * [taylor]: Taking taylor expansion of 0 in x.im 0.061 * [taylor]: Taking taylor expansion of 1 in y.re 0.062 * [taylor]: Taking taylor expansion of 0 in y.im 0.062 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.062 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.062 * [taylor]: Taking taylor expansion of y.re in x.im 0.062 * [taylor]: Taking taylor expansion of x.im in x.im 0.063 * [taylor]: Taking taylor expansion of (/ 1 y.re) in y.re 0.063 * [taylor]: Taking taylor expansion of y.re in y.re 0.063 * [taylor]: Taking taylor expansion of 0 in x.im 0.063 * [taylor]: Taking taylor expansion of 0 in y.re 0.063 * [taylor]: Taking taylor expansion of 0 in y.re 0.065 * [taylor]: Taking taylor expansion of 0 in y.im 0.065 * [taylor]: Taking taylor expansion of 0 in x.im 0.065 * [taylor]: Taking taylor expansion of 0 in x.im 0.066 * [taylor]: Taking taylor expansion of 0 in x.im 0.066 * [taylor]: Taking taylor expansion of 0 in y.re 0.066 * [taylor]: Taking taylor expansion of 0 in y.re 0.066 * [taylor]: Taking taylor expansion of 0 in y.re 0.066 * [taylor]: Taking taylor expansion of 0 in y.re 0.068 * [taylor]: Taking taylor expansion of 0 in y.im 0.069 * [taylor]: Taking taylor expansion of 0 in x.im 0.069 * [taylor]: Taking taylor expansion of 0 in x.im 0.069 * [taylor]: Taking taylor expansion of 0 in x.im 0.069 * [taylor]: Taking taylor expansion of 0 in x.im 0.070 * [taylor]: Taking taylor expansion of 0 in y.re 0.070 * [taylor]: Taking taylor expansion of 0 in y.re 0.070 * [taylor]: Taking taylor expansion of 0 in y.re 0.070 * [taylor]: Taking taylor expansion of 0 in y.re 0.070 * [taylor]: Taking taylor expansion of 0 in y.re 0.070 * [taylor]: Taking taylor expansion of 0 in y.re 0.070 * [taylor]: Taking taylor expansion of 0 in y.re 0.071 * * * [progress]: simplifying candidates 0.071 * [simplify]: Simplifying using # : (* (exp (* x.re y.im)) (exp (* x.im y.re))) (log (+ (* x.re y.im) (* x.im y.re))) (exp (+ (* x.re y.im) (* x.im y.re))) (* (cbrt (+ (* x.re y.im) (* x.im y.re))) (cbrt (+ (* x.re y.im) (* x.im y.re)))) (cbrt (+ (* x.re y.im) (* x.im y.re))) (* (* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re))) (+ (* x.re y.im) (* x.im y.re))) (sqrt (+ (* x.re y.im) (* x.im y.re))) (sqrt (+ (* x.re y.im) (* x.im y.re))) (+ (pow (* x.re y.im) 3) (pow (* x.im y.re) 3)) (+ (* (* x.re y.im) (* x.re y.im)) (- (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)) 0 (+ (* y.re x.im) (* y.im x.re)) (+ (* y.re x.im) (* y.im x.re)) 0.074 * * [simplify]: iteration 0 : 100 enodes (cost 74 ) 0.077 * * [simplify]: iteration 1 : 363 enodes (cost 67 ) 0.085 * * [simplify]: iteration 2 : 1051 enodes (cost 67 ) 0.110 * * [simplify]: iteration 3 : 2931 enodes (cost 67 ) 0.188 * * [simplify]: iteration 4 : 5001 enodes (cost 67 ) 0.189 * [simplify]: Simplified to: (exp (+ (* x.re y.im) (* x.im y.re))) (log (+ (* x.re y.im) (* x.im y.re))) (exp (+ (* x.re y.im) (* x.im y.re))) (* (cbrt (+ (* x.re y.im) (* x.im y.re))) (cbrt (+ (* x.re y.im) (* x.im y.re)))) (cbrt (+ (* x.re y.im) (* x.im y.re))) (pow (+ (* y.re x.im) (* y.im x.re)) 3) (sqrt (+ (* x.re y.im) (* x.im y.re))) (sqrt (+ (* x.re y.im) (* x.im y.re))) (+ (pow (* x.re y.im) 3) (pow (* x.im y.re) 3)) (+ (* (* x.im y.re) (- (* x.im y.re) (* x.re y.im))) (* (* x.re y.im) (* x.re y.im))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)) 0 (+ (* y.re x.im) (* y.im x.re)) (+ (* y.re x.im) (* y.im x.re)) 0.189 * * * [progress]: adding candidates to table 0.220 * * [progress]: iteration 2 / 4 0.220 * * * [progress]: picking best candidate 0.224 * * * * [pick]: Picked # 0.224 * * * [progress]: localizing error 0.233 * * * [progress]: generating rewritten candidates 0.234 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.263 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.275 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.284 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.297 * * * [progress]: generating series expansions 0.297 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.297 * [approximate]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in (x.re y.im x.im y.re) around 0 0.297 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in y.re 0.297 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in y.re 0.297 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.297 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.297 * [taylor]: Taking taylor expansion of y.im in y.re 0.297 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.297 * [taylor]: Taking taylor expansion of x.re in y.re 0.297 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.297 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.297 * [taylor]: Taking taylor expansion of y.re in y.re 0.297 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.297 * [taylor]: Taking taylor expansion of x.im in y.re 0.297 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in y.re 0.297 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.297 * [taylor]: Taking taylor expansion of y.im in y.re 0.297 * [taylor]: Taking taylor expansion of x.re in y.re 0.297 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.297 * [taylor]: Taking taylor expansion of y.re in y.re 0.297 * [taylor]: Taking taylor expansion of x.im in y.re 0.298 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in x.im 0.298 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.im 0.298 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.298 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.299 * [taylor]: Taking taylor expansion of y.im in x.im 0.299 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.299 * [taylor]: Taking taylor expansion of x.re in x.im 0.299 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.299 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.299 * [taylor]: Taking taylor expansion of y.re in x.im 0.299 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.299 * [taylor]: Taking taylor expansion of x.im in x.im 0.299 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in x.im 0.299 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.299 * [taylor]: Taking taylor expansion of y.im in x.im 0.299 * [taylor]: Taking taylor expansion of x.re in x.im 0.299 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.299 * [taylor]: Taking taylor expansion of y.re in x.im 0.299 * [taylor]: Taking taylor expansion of x.im in x.im 0.299 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in y.im 0.299 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in y.im 0.300 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.300 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.300 * [taylor]: Taking taylor expansion of y.im in y.im 0.300 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.300 * [taylor]: Taking taylor expansion of x.re in y.im 0.300 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.300 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.300 * [taylor]: Taking taylor expansion of y.re in y.im 0.300 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.300 * [taylor]: Taking taylor expansion of x.im in y.im 0.300 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in y.im 0.300 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.300 * [taylor]: Taking taylor expansion of y.im in y.im 0.300 * [taylor]: Taking taylor expansion of x.re in y.im 0.300 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.300 * [taylor]: Taking taylor expansion of y.re in y.im 0.300 * [taylor]: Taking taylor expansion of x.im in y.im 0.300 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in x.re 0.300 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.re 0.300 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.300 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.301 * [taylor]: Taking taylor expansion of y.im in x.re 0.301 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.301 * [taylor]: Taking taylor expansion of x.re in x.re 0.301 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.301 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.301 * [taylor]: Taking taylor expansion of y.re in x.re 0.301 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.301 * [taylor]: Taking taylor expansion of x.im in x.re 0.301 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in x.re 0.301 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.301 * [taylor]: Taking taylor expansion of y.im in x.re 0.301 * [taylor]: Taking taylor expansion of x.re in x.re 0.301 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.301 * [taylor]: Taking taylor expansion of y.re in x.re 0.301 * [taylor]: Taking taylor expansion of x.im in x.re 0.301 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in x.re 0.301 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.re 0.301 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.301 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.301 * [taylor]: Taking taylor expansion of y.im in x.re 0.301 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.302 * [taylor]: Taking taylor expansion of x.re in x.re 0.302 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.302 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.302 * [taylor]: Taking taylor expansion of y.re in x.re 0.302 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.302 * [taylor]: Taking taylor expansion of x.im in x.re 0.302 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in x.re 0.302 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.302 * [taylor]: Taking taylor expansion of y.im in x.re 0.302 * [taylor]: Taking taylor expansion of x.re in x.re 0.302 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.302 * [taylor]: Taking taylor expansion of y.re in x.re 0.302 * [taylor]: Taking taylor expansion of x.im in x.re 0.302 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.302 * [taylor]: Taking taylor expansion of y.re in y.im 0.302 * [taylor]: Taking taylor expansion of x.im in y.im 0.302 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.303 * [taylor]: Taking taylor expansion of y.re in x.im 0.303 * [taylor]: Taking taylor expansion of x.im in x.im 0.303 * [taylor]: Taking taylor expansion of 0 in y.re 0.304 * [taylor]: Taking taylor expansion of y.im in y.im 0.304 * [taylor]: Taking taylor expansion of 0 in x.im 0.304 * [taylor]: Taking taylor expansion of 0 in y.re 0.304 * [taylor]: Taking taylor expansion of 0 in x.im 0.304 * [taylor]: Taking taylor expansion of 0 in y.re 0.304 * [taylor]: Taking taylor expansion of y.re in y.re 0.307 * [taylor]: Taking taylor expansion of 0 in y.im 0.307 * [taylor]: Taking taylor expansion of 0 in x.im 0.307 * [taylor]: Taking taylor expansion of 0 in y.re 0.308 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in (x.re y.im x.im y.re) around 0 0.308 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in y.re 0.308 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.re 0.308 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.re 0.308 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.308 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.308 * [taylor]: Taking taylor expansion of y.im in y.re 0.308 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.308 * [taylor]: Taking taylor expansion of x.re in y.re 0.308 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.308 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.308 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.308 * [taylor]: Taking taylor expansion of y.re in y.re 0.308 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.308 * [taylor]: Taking taylor expansion of x.im in y.re 0.309 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in y.re 0.309 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.re 0.309 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.309 * [taylor]: Taking taylor expansion of y.im in y.re 0.309 * [taylor]: Taking taylor expansion of x.re in y.re 0.309 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.re 0.309 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.309 * [taylor]: Taking taylor expansion of y.re in y.re 0.309 * [taylor]: Taking taylor expansion of x.im in y.re 0.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.im 0.309 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.309 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.im 0.309 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.310 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.310 * [taylor]: Taking taylor expansion of y.im in x.im 0.310 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.310 * [taylor]: Taking taylor expansion of x.re in x.im 0.310 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.310 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.310 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.310 * [taylor]: Taking taylor expansion of y.re in x.im 0.310 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.310 * [taylor]: Taking taylor expansion of x.im in x.im 0.310 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.im 0.310 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.im 0.310 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.310 * [taylor]: Taking taylor expansion of y.im in x.im 0.310 * [taylor]: Taking taylor expansion of x.re in x.im 0.310 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.310 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.310 * [taylor]: Taking taylor expansion of y.re in x.im 0.310 * [taylor]: Taking taylor expansion of x.im in x.im 0.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in y.im 0.311 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.311 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.311 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.311 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.311 * [taylor]: Taking taylor expansion of y.im in y.im 0.311 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.311 * [taylor]: Taking taylor expansion of x.re in y.im 0.312 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.312 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.312 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.312 * [taylor]: Taking taylor expansion of y.re in y.im 0.312 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.312 * [taylor]: Taking taylor expansion of x.im in y.im 0.312 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in y.im 0.312 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.im 0.312 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.312 * [taylor]: Taking taylor expansion of y.im in y.im 0.312 * [taylor]: Taking taylor expansion of x.re in y.im 0.312 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.312 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.312 * [taylor]: Taking taylor expansion of y.re in y.im 0.312 * [taylor]: Taking taylor expansion of x.im in y.im 0.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.re 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.313 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.313 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.313 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.313 * [taylor]: Taking taylor expansion of y.im in x.re 0.313 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.313 * [taylor]: Taking taylor expansion of x.re in x.re 0.313 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.313 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.313 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.313 * [taylor]: Taking taylor expansion of y.re in x.re 0.313 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.313 * [taylor]: Taking taylor expansion of x.im in x.re 0.314 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.re 0.314 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.314 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.314 * [taylor]: Taking taylor expansion of y.im in x.re 0.314 * [taylor]: Taking taylor expansion of x.re in x.re 0.314 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.314 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.314 * [taylor]: Taking taylor expansion of y.re in x.re 0.314 * [taylor]: Taking taylor expansion of x.im in x.re 0.314 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.re 0.314 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.314 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.314 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.314 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.314 * [taylor]: Taking taylor expansion of y.im in x.re 0.314 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.314 * [taylor]: Taking taylor expansion of x.re in x.re 0.315 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.315 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.315 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.315 * [taylor]: Taking taylor expansion of y.re in x.re 0.315 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.315 * [taylor]: Taking taylor expansion of x.im in x.re 0.315 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.re 0.315 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.315 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.315 * [taylor]: Taking taylor expansion of y.im in x.re 0.315 * [taylor]: Taking taylor expansion of x.re in x.re 0.316 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.316 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.316 * [taylor]: Taking taylor expansion of y.re in x.re 0.316 * [taylor]: Taking taylor expansion of x.im in x.re 0.316 * [taylor]: Taking taylor expansion of (/ 1 y.im) in y.im 0.316 * [taylor]: Taking taylor expansion of y.im in y.im 0.316 * [taylor]: Taking taylor expansion of 1 in x.im 0.318 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.318 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.318 * [taylor]: Taking taylor expansion of y.re in y.im 0.318 * [taylor]: Taking taylor expansion of x.im in y.im 0.318 * [taylor]: Taking taylor expansion of 0 in x.im 0.318 * [taylor]: Taking taylor expansion of 1 in y.re 0.322 * [taylor]: Taking taylor expansion of 0 in y.im 0.322 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.322 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.322 * [taylor]: Taking taylor expansion of y.re in x.im 0.322 * [taylor]: Taking taylor expansion of x.im in x.im 0.322 * [taylor]: Taking taylor expansion of (/ 1 y.re) in y.re 0.322 * [taylor]: Taking taylor expansion of y.re in y.re 0.323 * [taylor]: Taking taylor expansion of 0 in x.im 0.323 * [taylor]: Taking taylor expansion of 0 in y.re 0.323 * [taylor]: Taking taylor expansion of 0 in y.re 0.327 * [taylor]: Taking taylor expansion of 0 in y.im 0.327 * [taylor]: Taking taylor expansion of 0 in x.im 0.327 * [taylor]: Taking taylor expansion of 0 in x.im 0.328 * [taylor]: Taking taylor expansion of 0 in x.im 0.328 * [taylor]: Taking taylor expansion of 0 in y.re 0.328 * [taylor]: Taking taylor expansion of 0 in y.re 0.328 * [taylor]: Taking taylor expansion of 0 in y.re 0.329 * [taylor]: Taking taylor expansion of 0 in y.re 0.335 * [taylor]: Taking taylor expansion of 0 in y.im 0.335 * [taylor]: Taking taylor expansion of 0 in x.im 0.335 * [taylor]: Taking taylor expansion of 0 in x.im 0.335 * [taylor]: Taking taylor expansion of 0 in x.im 0.336 * [taylor]: Taking taylor expansion of 0 in x.im 0.336 * [taylor]: Taking taylor expansion of 0 in y.re 0.336 * [taylor]: Taking taylor expansion of 0 in y.re 0.336 * [taylor]: Taking taylor expansion of 0 in y.re 0.337 * [taylor]: Taking taylor expansion of 0 in y.re 0.337 * [taylor]: Taking taylor expansion of 0 in y.re 0.337 * [taylor]: Taking taylor expansion of 0 in y.re 0.337 * [taylor]: Taking taylor expansion of 0 in y.re 0.338 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in (x.re y.im x.im y.re) around 0 0.338 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in y.re 0.338 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.re 0.338 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.re 0.338 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.338 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.338 * [taylor]: Taking taylor expansion of y.im in y.re 0.338 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.338 * [taylor]: Taking taylor expansion of x.re in y.re 0.338 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.338 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.338 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.338 * [taylor]: Taking taylor expansion of y.re in y.re 0.338 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.338 * [taylor]: Taking taylor expansion of x.im in y.re 0.339 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in y.re 0.339 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.re 0.339 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.339 * [taylor]: Taking taylor expansion of y.im in y.re 0.339 * [taylor]: Taking taylor expansion of x.re in y.re 0.339 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.re 0.339 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.339 * [taylor]: Taking taylor expansion of y.re in y.re 0.339 * [taylor]: Taking taylor expansion of x.im in y.re 0.340 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.im 0.340 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.340 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.im 0.340 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.340 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.340 * [taylor]: Taking taylor expansion of y.im in x.im 0.340 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.340 * [taylor]: Taking taylor expansion of x.re in x.im 0.340 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.340 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.340 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.340 * [taylor]: Taking taylor expansion of y.re in x.im 0.340 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.340 * [taylor]: Taking taylor expansion of x.im in x.im 0.341 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.im 0.341 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.im 0.341 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.341 * [taylor]: Taking taylor expansion of y.im in x.im 0.341 * [taylor]: Taking taylor expansion of x.re in x.im 0.341 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.341 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.341 * [taylor]: Taking taylor expansion of y.re in x.im 0.341 * [taylor]: Taking taylor expansion of x.im in x.im 0.341 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in y.im 0.341 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.341 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.341 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.341 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.341 * [taylor]: Taking taylor expansion of y.im in y.im 0.341 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.341 * [taylor]: Taking taylor expansion of x.re in y.im 0.342 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.342 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.342 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.342 * [taylor]: Taking taylor expansion of y.re in y.im 0.342 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.342 * [taylor]: Taking taylor expansion of x.im in y.im 0.342 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in y.im 0.342 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.im 0.342 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.342 * [taylor]: Taking taylor expansion of y.im in y.im 0.342 * [taylor]: Taking taylor expansion of x.re in y.im 0.343 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.343 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.343 * [taylor]: Taking taylor expansion of y.re in y.im 0.343 * [taylor]: Taking taylor expansion of x.im in y.im 0.343 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.re 0.343 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.343 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.343 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.343 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.343 * [taylor]: Taking taylor expansion of y.im in x.re 0.343 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.343 * [taylor]: Taking taylor expansion of x.re in x.re 0.343 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.343 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.343 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.343 * [taylor]: Taking taylor expansion of y.re in x.re 0.343 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.344 * [taylor]: Taking taylor expansion of x.im in x.re 0.344 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.re 0.344 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.344 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.344 * [taylor]: Taking taylor expansion of y.im in x.re 0.344 * [taylor]: Taking taylor expansion of x.re in x.re 0.344 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.344 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.344 * [taylor]: Taking taylor expansion of y.re in x.re 0.344 * [taylor]: Taking taylor expansion of x.im in x.re 0.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.re 0.344 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.344 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.344 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.345 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.345 * [taylor]: Taking taylor expansion of y.im in x.re 0.345 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.345 * [taylor]: Taking taylor expansion of x.re in x.re 0.345 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.345 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.345 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.345 * [taylor]: Taking taylor expansion of y.re in x.re 0.345 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.345 * [taylor]: Taking taylor expansion of x.im in x.re 0.345 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.re 0.345 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.345 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.345 * [taylor]: Taking taylor expansion of y.im in x.re 0.345 * [taylor]: Taking taylor expansion of x.re in x.re 0.346 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.346 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.346 * [taylor]: Taking taylor expansion of y.re in x.re 0.346 * [taylor]: Taking taylor expansion of x.im in x.re 0.346 * [taylor]: Taking taylor expansion of (/ 1 y.im) in y.im 0.346 * [taylor]: Taking taylor expansion of y.im in y.im 0.346 * [taylor]: Taking taylor expansion of 1 in x.im 0.348 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.348 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.348 * [taylor]: Taking taylor expansion of y.re in y.im 0.348 * [taylor]: Taking taylor expansion of x.im in y.im 0.349 * [taylor]: Taking taylor expansion of 0 in x.im 0.349 * [taylor]: Taking taylor expansion of 1 in y.re 0.352 * [taylor]: Taking taylor expansion of 0 in y.im 0.352 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.352 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.352 * [taylor]: Taking taylor expansion of y.re in x.im 0.352 * [taylor]: Taking taylor expansion of x.im in x.im 0.352 * [taylor]: Taking taylor expansion of (/ 1 y.re) in y.re 0.352 * [taylor]: Taking taylor expansion of y.re in y.re 0.353 * [taylor]: Taking taylor expansion of 0 in x.im 0.353 * [taylor]: Taking taylor expansion of 0 in y.re 0.353 * [taylor]: Taking taylor expansion of 0 in y.re 0.360 * [taylor]: Taking taylor expansion of 0 in y.im 0.360 * [taylor]: Taking taylor expansion of 0 in x.im 0.360 * [taylor]: Taking taylor expansion of 0 in x.im 0.361 * [taylor]: Taking taylor expansion of 0 in x.im 0.361 * [taylor]: Taking taylor expansion of 0 in y.re 0.361 * [taylor]: Taking taylor expansion of 0 in y.re 0.361 * [taylor]: Taking taylor expansion of 0 in y.re 0.361 * [taylor]: Taking taylor expansion of 0 in y.re 0.368 * [taylor]: Taking taylor expansion of 0 in y.im 0.368 * [taylor]: Taking taylor expansion of 0 in x.im 0.368 * [taylor]: Taking taylor expansion of 0 in x.im 0.368 * [taylor]: Taking taylor expansion of 0 in x.im 0.369 * [taylor]: Taking taylor expansion of 0 in x.im 0.369 * [taylor]: Taking taylor expansion of 0 in y.re 0.369 * [taylor]: Taking taylor expansion of 0 in y.re 0.369 * [taylor]: Taking taylor expansion of 0 in y.re 0.369 * [taylor]: Taking taylor expansion of 0 in y.re 0.369 * [taylor]: Taking taylor expansion of 0 in y.re 0.370 * [taylor]: Taking taylor expansion of 0 in y.re 0.370 * [taylor]: Taking taylor expansion of 0 in y.re 0.370 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.370 * [approximate]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in (x.re y.im x.im y.re) around 0 0.370 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in y.re 0.370 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.370 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.370 * [taylor]: Taking taylor expansion of y.im in y.re 0.370 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.370 * [taylor]: Taking taylor expansion of x.re in y.re 0.371 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.371 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.371 * [taylor]: Taking taylor expansion of y.re in y.re 0.371 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.371 * [taylor]: Taking taylor expansion of x.im in y.re 0.371 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.im 0.371 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.371 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.371 * [taylor]: Taking taylor expansion of y.im in x.im 0.371 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.371 * [taylor]: Taking taylor expansion of x.re in x.im 0.371 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.371 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.371 * [taylor]: Taking taylor expansion of y.re in x.im 0.371 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.371 * [taylor]: Taking taylor expansion of x.im in x.im 0.371 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in y.im 0.371 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.371 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.371 * [taylor]: Taking taylor expansion of y.im in y.im 0.371 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.371 * [taylor]: Taking taylor expansion of x.re in y.im 0.371 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.371 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.371 * [taylor]: Taking taylor expansion of y.re in y.im 0.371 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.371 * [taylor]: Taking taylor expansion of x.im in y.im 0.371 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.re 0.371 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.371 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.371 * [taylor]: Taking taylor expansion of y.im in x.re 0.371 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.371 * [taylor]: Taking taylor expansion of x.re in x.re 0.371 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.371 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.371 * [taylor]: Taking taylor expansion of y.re in x.re 0.371 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.371 * [taylor]: Taking taylor expansion of x.im in x.re 0.371 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.re 0.371 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.371 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.371 * [taylor]: Taking taylor expansion of y.im in x.re 0.371 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.371 * [taylor]: Taking taylor expansion of x.re in x.re 0.371 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.371 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.371 * [taylor]: Taking taylor expansion of y.re in x.re 0.371 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.371 * [taylor]: Taking taylor expansion of x.im in x.re 0.372 * [taylor]: Taking taylor expansion of (- (* (pow y.re 2) (pow x.im 2))) in y.im 0.372 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.372 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.372 * [taylor]: Taking taylor expansion of y.re in y.im 0.372 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.372 * [taylor]: Taking taylor expansion of x.im in y.im 0.372 * [taylor]: Taking taylor expansion of (- (* (pow y.re 2) (pow x.im 2))) in x.im 0.372 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.372 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.372 * [taylor]: Taking taylor expansion of y.re in x.im 0.372 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.372 * [taylor]: Taking taylor expansion of x.im in x.im 0.373 * [taylor]: Taking taylor expansion of 0 in y.im 0.373 * [taylor]: Taking taylor expansion of 0 in x.im 0.373 * [taylor]: Taking taylor expansion of 0 in y.re 0.373 * [taylor]: Taking taylor expansion of 0 in x.im 0.373 * [taylor]: Taking taylor expansion of 0 in y.re 0.375 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.375 * [taylor]: Taking taylor expansion of y.im in y.im 0.375 * [taylor]: Taking taylor expansion of 0 in x.im 0.375 * [taylor]: Taking taylor expansion of 0 in y.re 0.376 * [taylor]: Taking taylor expansion of 0 in x.im 0.376 * [taylor]: Taking taylor expansion of 0 in y.re 0.376 * [taylor]: Taking taylor expansion of 0 in y.re 0.376 * [taylor]: Taking taylor expansion of 0 in y.re 0.377 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in (x.re y.im x.im y.re) around 0 0.377 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.re 0.377 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.re 0.377 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.377 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.377 * [taylor]: Taking taylor expansion of y.im in y.re 0.377 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.377 * [taylor]: Taking taylor expansion of x.re in y.re 0.377 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.377 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.377 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.377 * [taylor]: Taking taylor expansion of y.re in y.re 0.377 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.377 * [taylor]: Taking taylor expansion of x.im in y.re 0.377 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.377 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.im 0.377 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.378 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.378 * [taylor]: Taking taylor expansion of y.im in x.im 0.378 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.378 * [taylor]: Taking taylor expansion of x.re in x.im 0.378 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.378 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.378 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.378 * [taylor]: Taking taylor expansion of y.re in x.im 0.378 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.378 * [taylor]: Taking taylor expansion of x.im in x.im 0.378 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.378 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.378 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.378 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.378 * [taylor]: Taking taylor expansion of y.im in y.im 0.378 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.378 * [taylor]: Taking taylor expansion of x.re in y.im 0.379 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.379 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.379 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.379 * [taylor]: Taking taylor expansion of y.re in y.im 0.379 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.379 * [taylor]: Taking taylor expansion of x.im in y.im 0.379 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.379 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.379 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.379 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.379 * [taylor]: Taking taylor expansion of y.im in x.re 0.379 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.379 * [taylor]: Taking taylor expansion of x.re in x.re 0.380 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.380 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.380 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.380 * [taylor]: Taking taylor expansion of y.re in x.re 0.380 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.380 * [taylor]: Taking taylor expansion of x.im in x.re 0.380 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.380 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.380 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.380 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.380 * [taylor]: Taking taylor expansion of y.im in x.re 0.380 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.380 * [taylor]: Taking taylor expansion of x.re in x.re 0.380 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.381 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.381 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.381 * [taylor]: Taking taylor expansion of y.re in x.re 0.381 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.381 * [taylor]: Taking taylor expansion of x.im in x.re 0.381 * [taylor]: Taking taylor expansion of (/ 1 (pow y.im 2)) in y.im 0.381 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.381 * [taylor]: Taking taylor expansion of y.im in y.im 0.381 * [taylor]: Taking taylor expansion of 1 in x.im 0.383 * [taylor]: Taking taylor expansion of 0 in y.im 0.383 * [taylor]: Taking taylor expansion of 0 in x.im 0.385 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.385 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.385 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.385 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.385 * [taylor]: Taking taylor expansion of y.re in y.im 0.385 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.385 * [taylor]: Taking taylor expansion of x.im in y.im 0.386 * [taylor]: Taking taylor expansion of 0 in x.im 0.386 * [taylor]: Taking taylor expansion of 1 in y.re 0.389 * [taylor]: Taking taylor expansion of 0 in y.im 0.389 * [taylor]: Taking taylor expansion of 0 in x.im 0.390 * [taylor]: Taking taylor expansion of 0 in x.im 0.390 * [taylor]: Taking taylor expansion of 0 in y.re 0.390 * [taylor]: Taking taylor expansion of 0 in y.re 0.394 * [taylor]: Taking taylor expansion of 0 in y.im 0.394 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.394 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.394 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.395 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.395 * [taylor]: Taking taylor expansion of y.re in x.im 0.395 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.395 * [taylor]: Taking taylor expansion of x.im in x.im 0.395 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y.re 2))) in y.re 0.395 * [taylor]: Taking taylor expansion of (/ 1 (pow y.re 2)) in y.re 0.395 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.395 * [taylor]: Taking taylor expansion of y.re in y.re 0.396 * [taylor]: Taking taylor expansion of 0 in x.im 0.397 * [taylor]: Taking taylor expansion of 0 in x.im 0.397 * [taylor]: Taking taylor expansion of 0 in y.re 0.397 * [taylor]: Taking taylor expansion of 0 in y.re 0.397 * [taylor]: Taking taylor expansion of 0 in y.re 0.402 * [taylor]: Taking taylor expansion of 0 in y.im 0.402 * [taylor]: Taking taylor expansion of 0 in x.im 0.403 * [taylor]: Taking taylor expansion of 0 in x.im 0.403 * [taylor]: Taking taylor expansion of 0 in x.im 0.404 * [taylor]: Taking taylor expansion of 0 in x.im 0.405 * [taylor]: Taking taylor expansion of 0 in y.re 0.405 * [taylor]: Taking taylor expansion of 0 in y.re 0.405 * [taylor]: Taking taylor expansion of 0 in y.re 0.406 * [taylor]: Taking taylor expansion of 0 in y.re 0.406 * [taylor]: Taking taylor expansion of 0 in y.re 0.406 * [taylor]: Taking taylor expansion of 0 in y.re 0.413 * [taylor]: Taking taylor expansion of 0 in y.im 0.413 * [taylor]: Taking taylor expansion of 0 in x.im 0.413 * [taylor]: Taking taylor expansion of 0 in x.im 0.415 * [taylor]: Taking taylor expansion of 0 in x.im 0.415 * [taylor]: Taking taylor expansion of 0 in x.im 0.416 * [taylor]: Taking taylor expansion of 0 in x.im 0.418 * [taylor]: Taking taylor expansion of 0 in y.re 0.418 * [taylor]: Taking taylor expansion of 0 in y.re 0.418 * [taylor]: Taking taylor expansion of 0 in y.re 0.418 * [taylor]: Taking taylor expansion of 0 in y.re 0.418 * [taylor]: Taking taylor expansion of 0 in y.re 0.418 * [taylor]: Taking taylor expansion of 0 in y.re 0.418 * [taylor]: Taking taylor expansion of 0 in y.re 0.418 * [taylor]: Taking taylor expansion of 0 in y.re 0.420 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in (x.re y.im x.im y.re) around 0 0.420 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.re 0.420 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.re 0.420 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.420 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.420 * [taylor]: Taking taylor expansion of y.im in y.re 0.420 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.420 * [taylor]: Taking taylor expansion of x.re in y.re 0.421 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.421 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.421 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.421 * [taylor]: Taking taylor expansion of y.re in y.re 0.421 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.421 * [taylor]: Taking taylor expansion of x.im in y.re 0.421 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.421 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.im 0.421 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.421 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.421 * [taylor]: Taking taylor expansion of y.im in x.im 0.421 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.421 * [taylor]: Taking taylor expansion of x.re in x.im 0.421 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.422 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.422 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.422 * [taylor]: Taking taylor expansion of y.re in x.im 0.422 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.422 * [taylor]: Taking taylor expansion of x.im in x.im 0.422 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.422 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.422 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.422 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.422 * [taylor]: Taking taylor expansion of y.im in y.im 0.422 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.422 * [taylor]: Taking taylor expansion of x.re in y.im 0.423 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.423 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.423 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.423 * [taylor]: Taking taylor expansion of y.re in y.im 0.423 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.423 * [taylor]: Taking taylor expansion of x.im in y.im 0.423 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.423 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.423 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.423 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.423 * [taylor]: Taking taylor expansion of y.im in x.re 0.423 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.423 * [taylor]: Taking taylor expansion of x.re in x.re 0.423 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.423 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.423 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.423 * [taylor]: Taking taylor expansion of y.re in x.re 0.423 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.423 * [taylor]: Taking taylor expansion of x.im in x.re 0.424 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.424 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.424 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.424 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.424 * [taylor]: Taking taylor expansion of y.im in x.re 0.424 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.424 * [taylor]: Taking taylor expansion of x.re in x.re 0.424 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.424 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.424 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.424 * [taylor]: Taking taylor expansion of y.re in x.re 0.424 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.424 * [taylor]: Taking taylor expansion of x.im in x.re 0.425 * [taylor]: Taking taylor expansion of (/ 1 (pow y.im 2)) in y.im 0.425 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.425 * [taylor]: Taking taylor expansion of y.im in y.im 0.425 * [taylor]: Taking taylor expansion of 1 in x.im 0.426 * [taylor]: Taking taylor expansion of 0 in y.im 0.427 * [taylor]: Taking taylor expansion of 0 in x.im 0.429 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.429 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.429 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.429 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.429 * [taylor]: Taking taylor expansion of y.re in y.im 0.429 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.429 * [taylor]: Taking taylor expansion of x.im in y.im 0.430 * [taylor]: Taking taylor expansion of 0 in x.im 0.430 * [taylor]: Taking taylor expansion of 1 in y.re 0.433 * [taylor]: Taking taylor expansion of 0 in y.im 0.433 * [taylor]: Taking taylor expansion of 0 in x.im 0.434 * [taylor]: Taking taylor expansion of 0 in x.im 0.434 * [taylor]: Taking taylor expansion of 0 in y.re 0.434 * [taylor]: Taking taylor expansion of 0 in y.re 0.438 * [taylor]: Taking taylor expansion of 0 in y.im 0.439 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.439 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.439 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.439 * [taylor]: Taking taylor expansion of y.re in x.im 0.439 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.439 * [taylor]: Taking taylor expansion of x.im in x.im 0.439 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y.re 2))) in y.re 0.439 * [taylor]: Taking taylor expansion of (/ 1 (pow y.re 2)) in y.re 0.439 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.439 * [taylor]: Taking taylor expansion of y.re in y.re 0.440 * [taylor]: Taking taylor expansion of 0 in x.im 0.441 * [taylor]: Taking taylor expansion of 0 in x.im 0.441 * [taylor]: Taking taylor expansion of 0 in y.re 0.442 * [taylor]: Taking taylor expansion of 0 in y.re 0.442 * [taylor]: Taking taylor expansion of 0 in y.re 0.449 * [taylor]: Taking taylor expansion of 0 in y.im 0.449 * [taylor]: Taking taylor expansion of 0 in x.im 0.450 * [taylor]: Taking taylor expansion of 0 in x.im 0.450 * [taylor]: Taking taylor expansion of 0 in x.im 0.451 * [taylor]: Taking taylor expansion of 0 in x.im 0.452 * [taylor]: Taking taylor expansion of 0 in y.re 0.452 * [taylor]: Taking taylor expansion of 0 in y.re 0.452 * [taylor]: Taking taylor expansion of 0 in y.re 0.452 * [taylor]: Taking taylor expansion of 0 in y.re 0.452 * [taylor]: Taking taylor expansion of 0 in y.re 0.452 * [taylor]: Taking taylor expansion of 0 in y.re 0.460 * [taylor]: Taking taylor expansion of 0 in y.im 0.460 * [taylor]: Taking taylor expansion of 0 in x.im 0.460 * [taylor]: Taking taylor expansion of 0 in x.im 0.461 * [taylor]: Taking taylor expansion of 0 in x.im 0.461 * [taylor]: Taking taylor expansion of 0 in x.im 0.462 * [taylor]: Taking taylor expansion of 0 in x.im 0.464 * [taylor]: Taking taylor expansion of 0 in y.re 0.464 * [taylor]: Taking taylor expansion of 0 in y.re 0.464 * [taylor]: Taking taylor expansion of 0 in y.re 0.464 * [taylor]: Taking taylor expansion of 0 in y.re 0.464 * [taylor]: Taking taylor expansion of 0 in y.re 0.464 * [taylor]: Taking taylor expansion of 0 in y.re 0.464 * [taylor]: Taking taylor expansion of 0 in y.re 0.464 * [taylor]: Taking taylor expansion of 0 in y.re 0.466 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.466 * [approximate]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in (x.im y.re) around 0 0.466 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.466 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.466 * [taylor]: Taking taylor expansion of y.re in y.re 0.466 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.466 * [taylor]: Taking taylor expansion of x.im in y.re 0.467 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.467 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.467 * [taylor]: Taking taylor expansion of y.re in x.im 0.467 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.467 * [taylor]: Taking taylor expansion of x.im in x.im 0.467 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.467 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.467 * [taylor]: Taking taylor expansion of y.re in x.im 0.467 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.467 * [taylor]: Taking taylor expansion of x.im in x.im 0.467 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.467 * [taylor]: Taking taylor expansion of y.re in y.re 0.468 * [taylor]: Taking taylor expansion of 0 in y.re 0.470 * [taylor]: Taking taylor expansion of 0 in y.re 0.472 * [taylor]: Taking taylor expansion of 0 in y.re 0.472 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in (x.im y.re) around 0 0.472 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.472 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.472 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.472 * [taylor]: Taking taylor expansion of y.re in y.re 0.472 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.472 * [taylor]: Taking taylor expansion of x.im in y.re 0.472 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.472 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.472 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.472 * [taylor]: Taking taylor expansion of y.re in x.im 0.472 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.472 * [taylor]: Taking taylor expansion of x.im in x.im 0.473 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.473 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.473 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.473 * [taylor]: Taking taylor expansion of y.re in x.im 0.473 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.473 * [taylor]: Taking taylor expansion of x.im in x.im 0.473 * [taylor]: Taking taylor expansion of (/ 1 (pow y.re 2)) in y.re 0.473 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.473 * [taylor]: Taking taylor expansion of y.re in y.re 0.475 * [taylor]: Taking taylor expansion of 0 in y.re 0.477 * [taylor]: Taking taylor expansion of 0 in y.re 0.480 * [taylor]: Taking taylor expansion of 0 in y.re 0.483 * [taylor]: Taking taylor expansion of 0 in y.re 0.483 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in (x.im y.re) around 0 0.483 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.483 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.483 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.483 * [taylor]: Taking taylor expansion of y.re in y.re 0.483 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.483 * [taylor]: Taking taylor expansion of x.im in y.re 0.484 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.484 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.484 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.484 * [taylor]: Taking taylor expansion of y.re in x.im 0.484 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.484 * [taylor]: Taking taylor expansion of x.im in x.im 0.484 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.484 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.484 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.484 * [taylor]: Taking taylor expansion of y.re in x.im 0.484 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.484 * [taylor]: Taking taylor expansion of x.im in x.im 0.485 * [taylor]: Taking taylor expansion of (/ 1 (pow y.re 2)) in y.re 0.485 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.485 * [taylor]: Taking taylor expansion of y.re in y.re 0.486 * [taylor]: Taking taylor expansion of 0 in y.re 0.488 * [taylor]: Taking taylor expansion of 0 in y.re 0.491 * [taylor]: Taking taylor expansion of 0 in y.re 0.494 * [taylor]: Taking taylor expansion of 0 in y.re 0.495 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 0.495 * [approximate]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in (x.re y.im) around 0 0.495 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.495 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.495 * [taylor]: Taking taylor expansion of y.im in y.im 0.495 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.495 * [taylor]: Taking taylor expansion of x.re in y.im 0.495 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.495 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.495 * [taylor]: Taking taylor expansion of y.im in x.re 0.495 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.495 * [taylor]: Taking taylor expansion of x.re in x.re 0.495 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.495 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.495 * [taylor]: Taking taylor expansion of y.im in x.re 0.495 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.495 * [taylor]: Taking taylor expansion of x.re in x.re 0.495 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.495 * [taylor]: Taking taylor expansion of y.im in y.im 0.496 * [taylor]: Taking taylor expansion of 0 in y.im 0.498 * [taylor]: Taking taylor expansion of 0 in y.im 0.500 * [taylor]: Taking taylor expansion of 0 in y.im 0.500 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in (x.re y.im) around 0 0.500 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.500 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.500 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.500 * [taylor]: Taking taylor expansion of y.im in y.im 0.500 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.500 * [taylor]: Taking taylor expansion of x.re in y.im 0.501 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.501 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.501 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.501 * [taylor]: Taking taylor expansion of y.im in x.re 0.501 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.501 * [taylor]: Taking taylor expansion of x.re in x.re 0.501 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.501 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.501 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.501 * [taylor]: Taking taylor expansion of y.im in x.re 0.501 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.501 * [taylor]: Taking taylor expansion of x.re in x.re 0.502 * [taylor]: Taking taylor expansion of (/ 1 (pow y.im 2)) in y.im 0.502 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.502 * [taylor]: Taking taylor expansion of y.im in y.im 0.503 * [taylor]: Taking taylor expansion of 0 in y.im 0.505 * [taylor]: Taking taylor expansion of 0 in y.im 0.508 * [taylor]: Taking taylor expansion of 0 in y.im 0.511 * [taylor]: Taking taylor expansion of 0 in y.im 0.512 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in (x.re y.im) around 0 0.512 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.512 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.512 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.512 * [taylor]: Taking taylor expansion of y.im in y.im 0.512 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.512 * [taylor]: Taking taylor expansion of x.re in y.im 0.512 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.512 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.512 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.512 * [taylor]: Taking taylor expansion of y.im in x.re 0.512 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.513 * [taylor]: Taking taylor expansion of x.re in x.re 0.513 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.513 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.513 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.513 * [taylor]: Taking taylor expansion of y.im in x.re 0.513 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.513 * [taylor]: Taking taylor expansion of x.re in x.re 0.514 * [taylor]: Taking taylor expansion of (/ 1 (pow y.im 2)) in y.im 0.514 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.514 * [taylor]: Taking taylor expansion of y.im in y.im 0.515 * [taylor]: Taking taylor expansion of 0 in y.im 0.517 * [taylor]: Taking taylor expansion of 0 in y.im 0.520 * [taylor]: Taking taylor expansion of 0 in y.im 0.523 * [taylor]: Taking taylor expansion of 0 in y.im 0.524 * * * [progress]: simplifying candidates 0.527 * [simplify]: Simplifying using # : (- (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (log (- (* x.re y.im) (* x.im y.re)))) (log (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (exp (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (/ (* (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (* (- (* x.re y.im) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (* (cbrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (cbrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re))))) (cbrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (* (* (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (sqrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (sqrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (- (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (- (* x.re y.im) (* x.im y.re))) (/ (* (* x.re y.im) (* x.re y.im)) (- (* x.re y.im) (* x.im y.re))) (/ (* (* x.im y.re) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re))) (/ (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* x.re y.im) (* x.im y.re)))) (/ (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) 1) (/ (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* x.re y.im) (* x.im y.re))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* x.re y.im) (* x.im y.re)))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) 1) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* x.re y.im) (* x.im y.re))) (/ 1 (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re)))) (/ 1 (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ 1 1) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re))) (/ (+ (* x.re y.im) (* x.im y.re)) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* x.re y.im) (* x.im y.re)) (cbrt (- (* x.re y.im) (* x.im y.re)))) (/ (+ (* x.re y.im) (* x.im y.re)) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (- (* x.re y.im) (* x.im y.re)) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (+ (* x.re y.im) (* x.im y.re)) 1) (/ (- (* x.re y.im) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))) (/ (- (* x.re y.im) (* x.im y.re)) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) 1) (/ (- (* x.re y.im) (* x.im y.re)) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (/ (- (* x.re y.im) (* x.im y.re)) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (/ (- (* x.re y.im) (* x.im y.re)) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ (- (* x.re y.im) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (pow (* x.re y.im) 3) (pow (* x.im y.re) 3))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (- (* x.re y.im) (* x.im y.re)) (+ (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (+ (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re))) (* (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))))) (* (- (* x.re y.im) (* x.im y.re)) (+ (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ (exp (* (* x.re y.im) (* x.re y.im))) (exp (* (* x.im y.re) (* x.im y.re)))) (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (exp (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (pow (* (* x.re y.im) (* x.re y.im)) 3) (pow (* (* x.im y.re) (* x.im y.re)) 3)) (+ (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (+ (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re))) (* (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (- (* (* x.im y.re) (* x.im y.re))) (- (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)))) (+ (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (+ (* x.re y.im) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re)) (- (* (* x.im y.re) (* x.im y.re))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (+ 1 1) (+ 1 1) (+ (+ (log x.im) (log y.re)) (+ (log x.im) (log y.re))) (+ (+ (log x.im) (log y.re)) (log (* x.im y.re))) (+ (log (* x.im y.re)) (+ (log x.im) (log y.re))) (+ (log (* x.im y.re)) (log (* x.im y.re))) (log (* (* x.im y.re) (* x.im y.re))) (exp (* (* x.im y.re) (* x.im y.re))) (* (* (* (* x.im x.im) x.im) (* (* y.re y.re) y.re)) (* (* (* x.im x.im) x.im) (* (* y.re y.re) y.re))) (* (* (* (* x.im x.im) x.im) (* (* y.re y.re) y.re)) (* (* (* x.im y.re) (* x.im y.re)) (* x.im y.re))) (* (* (* (* x.im y.re) (* x.im y.re)) (* x.im y.re)) (* (* (* x.im x.im) x.im) (* (* y.re y.re) y.re))) (* (* (* (* x.im y.re) (* x.im y.re)) (* x.im y.re)) (* (* (* x.im y.re) (* x.im y.re)) (* x.im y.re))) (* (cbrt (* (* x.im y.re) (* x.im y.re))) (cbrt (* (* x.im y.re) (* x.im y.re)))) (cbrt (* (* x.im y.re) (* x.im y.re))) (* (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re))) (* (* x.im y.re) (* x.im y.re))) (sqrt (* (* x.im y.re) (* x.im y.re))) (sqrt (* (* x.im y.re) (* x.im y.re))) (* x.im x.im) (* y.re y.re) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* x.im y.re) x.im) (* y.re (* x.im y.re)) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (+ 1 1) (+ 1 1) (+ (+ (log x.re) (log y.im)) (+ (log x.re) (log y.im))) (+ (+ (log x.re) (log y.im)) (log (* x.re y.im))) (+ (log (* x.re y.im)) (+ (log x.re) (log y.im))) (+ (log (* x.re y.im)) (log (* x.re y.im))) (log (* (* x.re y.im) (* x.re y.im))) (exp (* (* x.re y.im) (* x.re y.im))) (* (* (* (* x.re x.re) x.re) (* (* y.im y.im) y.im)) (* (* (* x.re x.re) x.re) (* (* y.im y.im) y.im))) (* (* (* (* x.re x.re) x.re) (* (* y.im y.im) y.im)) (* (* (* x.re y.im) (* x.re y.im)) (* x.re y.im))) (* (* (* (* x.re y.im) (* x.re y.im)) (* x.re y.im)) (* (* (* x.re x.re) x.re) (* (* y.im y.im) y.im))) (* (* (* (* x.re y.im) (* x.re y.im)) (* x.re y.im)) (* (* (* x.re y.im) (* x.re y.im)) (* x.re y.im))) (* (cbrt (* (* x.re y.im) (* x.re y.im))) (cbrt (* (* x.re y.im) (* x.re y.im)))) (cbrt (* (* x.re y.im) (* x.re y.im))) (* (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (* (* x.re y.im) (* x.re y.im))) (sqrt (* (* x.re y.im) (* x.re y.im))) (sqrt (* (* x.re y.im) (* x.re y.im))) (* x.re x.re) (* y.im y.im) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* x.re y.im) x.re) (* y.im (* x.re y.im)) 0 (+ (* y.re x.im) (* y.im x.re)) (+ (* y.re x.im) (* y.im x.re)) 0 (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (* (pow y.re 2) (pow x.im 2)) (* (pow y.re 2) (pow x.im 2)) (* (pow y.re 2) (pow x.im 2)) (* (pow y.im 2) (pow x.re 2)) (* (pow y.im 2) (pow x.re 2)) (* (pow y.im 2) (pow x.re 2)) 0.534 * * [simplify]: iteration 0 : 413 enodes (cost 954 ) 0.544 * * [simplify]: iteration 1 : 2306 enodes (cost 805 ) 0.596 * * [simplify]: iteration 2 : 5002 enodes (cost 788 ) 0.599 * [simplify]: Simplified to: (log (+ (* x.re y.im) (* x.im y.re))) (log (+ (* x.re y.im) (* x.im y.re))) (exp (+ (* x.re y.im) (* x.im y.re))) (pow (+ (* x.re y.im) (* x.im y.re)) 3) (* (cbrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (cbrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re))))) (cbrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (pow (+ (* x.re y.im) (* x.im y.re)) 3) (sqrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (sqrt (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re)))) (- (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (- (* x.re y.im) (* x.im y.re))) (/ (* (* x.re y.im) (* x.re y.im)) (- (* x.re y.im) (* x.im y.re))) (/ (* (* x.im y.re) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re))) (/ (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* x.re y.im) (* x.im y.re)))) (/ (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (/ (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* x.re y.im) (* x.im y.re))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* x.re y.im) (* x.im y.re)))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* x.re y.im) (* x.im y.re))) (/ 1 (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re)))) (/ 1 (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (- (* x.re y.im) (* x.im y.re)))) 1 (+ (* x.re y.im) (* x.im y.re)) (/ (+ (* x.re y.im) (* x.im y.re)) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* x.re y.im) (* x.im y.re)) (cbrt (- (* x.re y.im) (* x.im y.re)))) (/ (+ (* x.re y.im) (* x.im y.re)) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (- (* x.re y.im) (* x.im y.re)) (sqrt (- (* x.re y.im) (* x.im y.re)))) (+ (* x.re y.im) (* x.im y.re)) 1 (/ 1 (- (* x.re y.im) (* x.im y.re))) (/ (- (* x.re y.im) (* x.im y.re)) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (- (* x.re y.im) (* x.im y.re)) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (/ (- (* x.re y.im) (* x.im y.re)) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (/ (- (* x.re y.im) (* x.im y.re)) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) 1 (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (pow (* x.re y.im) 3) (pow (* x.im y.re) 3))) 1 (* (+ (* (* (* x.im y.re) (* x.im y.re)) (+ (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.re y.im)))) (* (pow (* x.re y.im) 3) (* x.re y.im))) (- (* x.re y.im) (* x.im y.re))) (* (- (* x.re y.im) (* x.im y.re)) (+ (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (exp (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (exp (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (pow (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) 3) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (+ (- (pow (* (* x.im y.re) (* x.im y.re)) 3)) (pow (* x.re y.im) 6)) (+ (+ (pow (* x.re y.im) 4) (* (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (pow (* x.im y.re) 4)) (- (* (* x.im y.re) (* x.im y.re))) (- (/ (pow (* x.re y.im) 4) 1) (/ (pow (* x.im y.re) 4) 1)) (+ (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (+ (* x.re y.im) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re)) (- (* (* x.im y.re) (* x.im y.re))) 2 2 2 2 (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) 2 2 (* 2 (log (* x.im y.re))) (* 2 (log (* x.im y.re))) (* 2 (log (* x.im y.re))) (* 2 (log (* x.im y.re))) (* 2 (log (* x.im y.re))) (exp (* (* x.im y.re) (* x.im y.re))) (pow (* x.im y.re) 6) (pow (* x.im y.re) 6) (pow (* x.im y.re) 6) (pow (* x.im y.re) 6) (* (cbrt (* (* x.im y.re) (* x.im y.re))) (cbrt (* (* x.im y.re) (* x.im y.re)))) (cbrt (* (* x.im y.re) (* x.im y.re))) (pow (* x.im y.re) 6) (fabs (* x.im y.re)) (fabs (* x.im y.re)) (pow x.im 2) (pow y.re 2) 2 2 2 2 (* (* x.im y.re) x.im) (* y.re (* x.im y.re)) 2 2 2 2 (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) 2 2 (* 2 (log (* x.re y.im))) (* 2 (log (* x.re y.im))) (* 2 (log (* x.re y.im))) (* 2 (log (* x.re y.im))) (* 2 (log (* x.re y.im))) (exp (* (* x.re y.im) (* x.re y.im))) (pow (* x.re y.im) 6) (pow (* x.re y.im) 6) (pow (* x.re y.im) 6) (pow (* x.re y.im) 6) (* (cbrt (* (* x.re y.im) (* x.re y.im))) (cbrt (* (* x.re y.im) (* x.re y.im)))) (cbrt (* (* x.re y.im) (* x.re y.im))) (pow (* x.re y.im) 6) (fabs (* x.re y.im)) (fabs (* x.re y.im)) (pow x.re 2) (pow y.im 2) 2 2 2 2 (* (* x.re y.im) x.re) (* y.im (* x.re y.im)) 0 (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re)) 0 (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) 0.600 * * * [progress]: adding candidates to table 0.778 * * [progress]: iteration 3 / 4 0.778 * * * [progress]: picking best candidate 0.779 * * * * [pick]: Picked # 0.780 * * * [progress]: localizing error 0.790 * * * [progress]: generating rewritten candidates 0.790 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.840 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.850 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.859 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.873 * * * [progress]: generating series expansions 0.873 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.873 * [approximate]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in (x.re y.im x.im y.re) around 0 0.873 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in y.re 0.873 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in y.re 0.873 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.873 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.873 * [taylor]: Taking taylor expansion of y.im in y.re 0.873 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.873 * [taylor]: Taking taylor expansion of x.re in y.re 0.873 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.873 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.873 * [taylor]: Taking taylor expansion of y.re in y.re 0.873 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.873 * [taylor]: Taking taylor expansion of x.im in y.re 0.873 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in y.re 0.873 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.874 * [taylor]: Taking taylor expansion of y.im in y.re 0.874 * [taylor]: Taking taylor expansion of x.re in y.re 0.874 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.874 * [taylor]: Taking taylor expansion of y.re in y.re 0.874 * [taylor]: Taking taylor expansion of x.im in y.re 0.875 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in x.im 0.875 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.im 0.875 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.875 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.875 * [taylor]: Taking taylor expansion of y.im in x.im 0.875 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.875 * [taylor]: Taking taylor expansion of x.re in x.im 0.875 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.875 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.875 * [taylor]: Taking taylor expansion of y.re in x.im 0.875 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.875 * [taylor]: Taking taylor expansion of x.im in x.im 0.875 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in x.im 0.875 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.875 * [taylor]: Taking taylor expansion of y.im in x.im 0.875 * [taylor]: Taking taylor expansion of x.re in x.im 0.875 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.875 * [taylor]: Taking taylor expansion of y.re in x.im 0.875 * [taylor]: Taking taylor expansion of x.im in x.im 0.876 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in y.im 0.876 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in y.im 0.876 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.876 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.876 * [taylor]: Taking taylor expansion of y.im in y.im 0.876 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.876 * [taylor]: Taking taylor expansion of x.re in y.im 0.876 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.876 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.876 * [taylor]: Taking taylor expansion of y.re in y.im 0.876 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.876 * [taylor]: Taking taylor expansion of x.im in y.im 0.876 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in y.im 0.876 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.876 * [taylor]: Taking taylor expansion of y.im in y.im 0.876 * [taylor]: Taking taylor expansion of x.re in y.im 0.876 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.876 * [taylor]: Taking taylor expansion of y.re in y.im 0.876 * [taylor]: Taking taylor expansion of x.im in y.im 0.877 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in x.re 0.877 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.re 0.877 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.877 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.877 * [taylor]: Taking taylor expansion of y.im in x.re 0.877 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.877 * [taylor]: Taking taylor expansion of x.re in x.re 0.877 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.877 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.877 * [taylor]: Taking taylor expansion of y.re in x.re 0.877 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.877 * [taylor]: Taking taylor expansion of x.im in x.re 0.877 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in x.re 0.877 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.877 * [taylor]: Taking taylor expansion of y.im in x.re 0.877 * [taylor]: Taking taylor expansion of x.re in x.re 0.877 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.877 * [taylor]: Taking taylor expansion of y.re in x.re 0.877 * [taylor]: Taking taylor expansion of x.im in x.re 0.878 * [taylor]: Taking taylor expansion of (/ (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* y.im x.re) (* y.re x.im))) in x.re 0.878 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.re 0.878 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.878 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.878 * [taylor]: Taking taylor expansion of y.im in x.re 0.878 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.878 * [taylor]: Taking taylor expansion of x.re in x.re 0.878 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.878 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.878 * [taylor]: Taking taylor expansion of y.re in x.re 0.878 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.878 * [taylor]: Taking taylor expansion of x.im in x.re 0.878 * [taylor]: Taking taylor expansion of (- (* y.im x.re) (* y.re x.im)) in x.re 0.878 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.878 * [taylor]: Taking taylor expansion of y.im in x.re 0.878 * [taylor]: Taking taylor expansion of x.re in x.re 0.878 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.878 * [taylor]: Taking taylor expansion of y.re in x.re 0.878 * [taylor]: Taking taylor expansion of x.im in x.re 0.879 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.879 * [taylor]: Taking taylor expansion of y.re in y.im 0.879 * [taylor]: Taking taylor expansion of x.im in y.im 0.879 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.879 * [taylor]: Taking taylor expansion of y.re in x.im 0.879 * [taylor]: Taking taylor expansion of x.im in x.im 0.879 * [taylor]: Taking taylor expansion of 0 in y.re 0.880 * [taylor]: Taking taylor expansion of y.im in y.im 0.880 * [taylor]: Taking taylor expansion of 0 in x.im 0.880 * [taylor]: Taking taylor expansion of 0 in y.re 0.880 * [taylor]: Taking taylor expansion of 0 in x.im 0.880 * [taylor]: Taking taylor expansion of 0 in y.re 0.881 * [taylor]: Taking taylor expansion of y.re in y.re 0.884 * [taylor]: Taking taylor expansion of 0 in y.im 0.884 * [taylor]: Taking taylor expansion of 0 in x.im 0.884 * [taylor]: Taking taylor expansion of 0 in y.re 0.884 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in (x.re y.im x.im y.re) around 0 0.884 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in y.re 0.884 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.re 0.884 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.re 0.884 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.884 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.884 * [taylor]: Taking taylor expansion of y.im in y.re 0.884 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.884 * [taylor]: Taking taylor expansion of x.re in y.re 0.885 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.885 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.885 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.885 * [taylor]: Taking taylor expansion of y.re in y.re 0.885 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.885 * [taylor]: Taking taylor expansion of x.im in y.re 0.885 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in y.re 0.885 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.re 0.885 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.885 * [taylor]: Taking taylor expansion of y.im in y.re 0.885 * [taylor]: Taking taylor expansion of x.re in y.re 0.885 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.re 0.885 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.885 * [taylor]: Taking taylor expansion of y.re in y.re 0.885 * [taylor]: Taking taylor expansion of x.im in y.re 0.886 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.im 0.886 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.886 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.im 0.886 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.886 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.886 * [taylor]: Taking taylor expansion of y.im in x.im 0.886 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.886 * [taylor]: Taking taylor expansion of x.re in x.im 0.886 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.886 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.886 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.886 * [taylor]: Taking taylor expansion of y.re in x.im 0.886 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.886 * [taylor]: Taking taylor expansion of x.im in x.im 0.887 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.im 0.887 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.im 0.887 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.887 * [taylor]: Taking taylor expansion of y.im in x.im 0.887 * [taylor]: Taking taylor expansion of x.re in x.im 0.887 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.887 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.887 * [taylor]: Taking taylor expansion of y.re in x.im 0.887 * [taylor]: Taking taylor expansion of x.im in x.im 0.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in y.im 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.888 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.888 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.888 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.888 * [taylor]: Taking taylor expansion of y.im in y.im 0.888 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.888 * [taylor]: Taking taylor expansion of x.re in y.im 0.888 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.888 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.888 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.888 * [taylor]: Taking taylor expansion of y.re in y.im 0.888 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.888 * [taylor]: Taking taylor expansion of x.im in y.im 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in y.im 0.889 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.im 0.889 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.889 * [taylor]: Taking taylor expansion of y.im in y.im 0.889 * [taylor]: Taking taylor expansion of x.re in y.im 0.889 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.889 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.889 * [taylor]: Taking taylor expansion of y.re in y.im 0.889 * [taylor]: Taking taylor expansion of x.im in y.im 0.889 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.re 0.889 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.889 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.889 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.889 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.889 * [taylor]: Taking taylor expansion of y.im in x.re 0.889 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.889 * [taylor]: Taking taylor expansion of x.re in x.re 0.890 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.890 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.890 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.890 * [taylor]: Taking taylor expansion of y.re in x.re 0.890 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.890 * [taylor]: Taking taylor expansion of x.im in x.re 0.890 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.re 0.890 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.890 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.890 * [taylor]: Taking taylor expansion of y.im in x.re 0.890 * [taylor]: Taking taylor expansion of x.re in x.re 0.890 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.890 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.890 * [taylor]: Taking taylor expansion of y.re in x.re 0.891 * [taylor]: Taking taylor expansion of x.im in x.re 0.891 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.re 0.891 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.891 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.891 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.891 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.891 * [taylor]: Taking taylor expansion of y.im in x.re 0.891 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.891 * [taylor]: Taking taylor expansion of x.re in x.re 0.891 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.891 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.891 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.891 * [taylor]: Taking taylor expansion of y.re in x.re 0.891 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.891 * [taylor]: Taking taylor expansion of x.im in x.re 0.892 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.re 0.892 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.892 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.892 * [taylor]: Taking taylor expansion of y.im in x.re 0.892 * [taylor]: Taking taylor expansion of x.re in x.re 0.895 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.895 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.895 * [taylor]: Taking taylor expansion of y.re in x.re 0.895 * [taylor]: Taking taylor expansion of x.im in x.re 0.895 * [taylor]: Taking taylor expansion of (/ 1 y.im) in y.im 0.895 * [taylor]: Taking taylor expansion of y.im in y.im 0.896 * [taylor]: Taking taylor expansion of 1 in x.im 0.897 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.897 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.897 * [taylor]: Taking taylor expansion of y.re in y.im 0.897 * [taylor]: Taking taylor expansion of x.im in y.im 0.898 * [taylor]: Taking taylor expansion of 0 in x.im 0.898 * [taylor]: Taking taylor expansion of 1 in y.re 0.901 * [taylor]: Taking taylor expansion of 0 in y.im 0.901 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.901 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.901 * [taylor]: Taking taylor expansion of y.re in x.im 0.901 * [taylor]: Taking taylor expansion of x.im in x.im 0.902 * [taylor]: Taking taylor expansion of (/ 1 y.re) in y.re 0.902 * [taylor]: Taking taylor expansion of y.re in y.re 0.902 * [taylor]: Taking taylor expansion of 0 in x.im 0.902 * [taylor]: Taking taylor expansion of 0 in y.re 0.902 * [taylor]: Taking taylor expansion of 0 in y.re 0.907 * [taylor]: Taking taylor expansion of 0 in y.im 0.907 * [taylor]: Taking taylor expansion of 0 in x.im 0.907 * [taylor]: Taking taylor expansion of 0 in x.im 0.908 * [taylor]: Taking taylor expansion of 0 in x.im 0.908 * [taylor]: Taking taylor expansion of 0 in y.re 0.908 * [taylor]: Taking taylor expansion of 0 in y.re 0.908 * [taylor]: Taking taylor expansion of 0 in y.re 0.908 * [taylor]: Taking taylor expansion of 0 in y.re 0.915 * [taylor]: Taking taylor expansion of 0 in y.im 0.915 * [taylor]: Taking taylor expansion of 0 in x.im 0.915 * [taylor]: Taking taylor expansion of 0 in x.im 0.915 * [taylor]: Taking taylor expansion of 0 in x.im 0.916 * [taylor]: Taking taylor expansion of 0 in x.im 0.916 * [taylor]: Taking taylor expansion of 0 in y.re 0.916 * [taylor]: Taking taylor expansion of 0 in y.re 0.916 * [taylor]: Taking taylor expansion of 0 in y.re 0.917 * [taylor]: Taking taylor expansion of 0 in y.re 0.917 * [taylor]: Taking taylor expansion of 0 in y.re 0.917 * [taylor]: Taking taylor expansion of 0 in y.re 0.917 * [taylor]: Taking taylor expansion of 0 in y.re 0.918 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in (x.re y.im x.im y.re) around 0 0.918 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in y.re 0.918 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.re 0.918 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.re 0.918 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.918 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.918 * [taylor]: Taking taylor expansion of y.im in y.re 0.918 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.918 * [taylor]: Taking taylor expansion of x.re in y.re 0.918 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.918 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.918 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.918 * [taylor]: Taking taylor expansion of y.re in y.re 0.918 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.918 * [taylor]: Taking taylor expansion of x.im in y.re 0.919 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in y.re 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.re 0.919 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.re 0.919 * [taylor]: Taking taylor expansion of y.im in y.re 0.919 * [taylor]: Taking taylor expansion of x.re in y.re 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.re 0.919 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.re 0.919 * [taylor]: Taking taylor expansion of y.re in y.re 0.919 * [taylor]: Taking taylor expansion of x.im in y.re 0.919 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.im 0.919 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.im 0.920 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.920 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.920 * [taylor]: Taking taylor expansion of y.im in x.im 0.920 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.920 * [taylor]: Taking taylor expansion of x.re in x.im 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.920 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.920 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.920 * [taylor]: Taking taylor expansion of y.re in x.im 0.920 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.920 * [taylor]: Taking taylor expansion of x.im in x.im 0.920 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.im 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.im 0.920 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.im 0.920 * [taylor]: Taking taylor expansion of y.im in x.im 0.920 * [taylor]: Taking taylor expansion of x.re in x.im 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.920 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.920 * [taylor]: Taking taylor expansion of y.re in x.im 0.921 * [taylor]: Taking taylor expansion of x.im in x.im 0.921 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in y.im 0.921 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.921 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.921 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.921 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.921 * [taylor]: Taking taylor expansion of y.im in y.im 0.921 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.921 * [taylor]: Taking taylor expansion of x.re in y.im 0.922 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.922 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.922 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.922 * [taylor]: Taking taylor expansion of y.re in y.im 0.922 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.922 * [taylor]: Taking taylor expansion of x.im in y.im 0.922 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in y.im 0.922 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in y.im 0.922 * [taylor]: Taking taylor expansion of (* y.im x.re) in y.im 0.922 * [taylor]: Taking taylor expansion of y.im in y.im 0.922 * [taylor]: Taking taylor expansion of x.re in y.im 0.922 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.922 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.922 * [taylor]: Taking taylor expansion of y.re in y.im 0.922 * [taylor]: Taking taylor expansion of x.im in y.im 0.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.re 0.923 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.923 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.923 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.923 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.923 * [taylor]: Taking taylor expansion of y.im in x.re 0.923 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.923 * [taylor]: Taking taylor expansion of x.re in x.re 0.923 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.923 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.923 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.923 * [taylor]: Taking taylor expansion of y.re in x.re 0.923 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.923 * [taylor]: Taking taylor expansion of x.im in x.re 0.924 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.re 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.924 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.924 * [taylor]: Taking taylor expansion of y.im in x.re 0.924 * [taylor]: Taking taylor expansion of x.re in x.re 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.924 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.924 * [taylor]: Taking taylor expansion of y.re in x.re 0.924 * [taylor]: Taking taylor expansion of x.im in x.re 0.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im)))) in x.re 0.924 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.924 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.924 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.924 * [taylor]: Taking taylor expansion of y.im in x.re 0.924 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.924 * [taylor]: Taking taylor expansion of x.re in x.re 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.925 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.925 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.925 * [taylor]: Taking taylor expansion of y.re in x.re 0.925 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.925 * [taylor]: Taking taylor expansion of x.im in x.re 0.925 * [taylor]: Taking taylor expansion of (- (/ 1 (* y.im x.re)) (/ 1 (* y.re x.im))) in x.re 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* y.im x.re)) in x.re 0.925 * [taylor]: Taking taylor expansion of (* y.im x.re) in x.re 0.925 * [taylor]: Taking taylor expansion of y.im in x.re 0.925 * [taylor]: Taking taylor expansion of x.re in x.re 0.926 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.re 0.926 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.re 0.926 * [taylor]: Taking taylor expansion of y.re in x.re 0.926 * [taylor]: Taking taylor expansion of x.im in x.re 0.926 * [taylor]: Taking taylor expansion of (/ 1 y.im) in y.im 0.926 * [taylor]: Taking taylor expansion of y.im in y.im 0.926 * [taylor]: Taking taylor expansion of 1 in x.im 0.928 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in y.im 0.928 * [taylor]: Taking taylor expansion of (* y.re x.im) in y.im 0.928 * [taylor]: Taking taylor expansion of y.re in y.im 0.928 * [taylor]: Taking taylor expansion of x.im in y.im 0.928 * [taylor]: Taking taylor expansion of 0 in x.im 0.929 * [taylor]: Taking taylor expansion of 1 in y.re 0.932 * [taylor]: Taking taylor expansion of 0 in y.im 0.932 * [taylor]: Taking taylor expansion of (/ 1 (* y.re x.im)) in x.im 0.932 * [taylor]: Taking taylor expansion of (* y.re x.im) in x.im 0.932 * [taylor]: Taking taylor expansion of y.re in x.im 0.932 * [taylor]: Taking taylor expansion of x.im in x.im 0.932 * [taylor]: Taking taylor expansion of (/ 1 y.re) in y.re 0.932 * [taylor]: Taking taylor expansion of y.re in y.re 0.933 * [taylor]: Taking taylor expansion of 0 in x.im 0.933 * [taylor]: Taking taylor expansion of 0 in y.re 0.933 * [taylor]: Taking taylor expansion of 0 in y.re 0.937 * [taylor]: Taking taylor expansion of 0 in y.im 0.937 * [taylor]: Taking taylor expansion of 0 in x.im 0.938 * [taylor]: Taking taylor expansion of 0 in x.im 0.938 * [taylor]: Taking taylor expansion of 0 in x.im 0.939 * [taylor]: Taking taylor expansion of 0 in y.re 0.939 * [taylor]: Taking taylor expansion of 0 in y.re 0.939 * [taylor]: Taking taylor expansion of 0 in y.re 0.939 * [taylor]: Taking taylor expansion of 0 in y.re 0.945 * [taylor]: Taking taylor expansion of 0 in y.im 0.945 * [taylor]: Taking taylor expansion of 0 in x.im 0.945 * [taylor]: Taking taylor expansion of 0 in x.im 0.946 * [taylor]: Taking taylor expansion of 0 in x.im 0.946 * [taylor]: Taking taylor expansion of 0 in x.im 0.946 * [taylor]: Taking taylor expansion of 0 in y.re 0.946 * [taylor]: Taking taylor expansion of 0 in y.re 0.946 * [taylor]: Taking taylor expansion of 0 in y.re 0.947 * [taylor]: Taking taylor expansion of 0 in y.re 0.947 * [taylor]: Taking taylor expansion of 0 in y.re 0.947 * [taylor]: Taking taylor expansion of 0 in y.re 0.947 * [taylor]: Taking taylor expansion of 0 in y.re 0.948 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.948 * [approximate]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in (x.re y.im x.im y.re) around 0 0.948 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in y.re 0.948 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.948 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.948 * [taylor]: Taking taylor expansion of y.im in y.re 0.948 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.948 * [taylor]: Taking taylor expansion of x.re in y.re 0.948 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.948 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.948 * [taylor]: Taking taylor expansion of y.re in y.re 0.948 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.948 * [taylor]: Taking taylor expansion of x.im in y.re 0.948 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.im 0.948 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.948 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.948 * [taylor]: Taking taylor expansion of y.im in x.im 0.948 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.948 * [taylor]: Taking taylor expansion of x.re in x.im 0.948 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.948 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.948 * [taylor]: Taking taylor expansion of y.re in x.im 0.948 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.948 * [taylor]: Taking taylor expansion of x.im in x.im 0.948 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in y.im 0.948 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.948 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.948 * [taylor]: Taking taylor expansion of y.im in y.im 0.948 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.948 * [taylor]: Taking taylor expansion of x.re in y.im 0.948 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.948 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.948 * [taylor]: Taking taylor expansion of y.re in y.im 0.948 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.948 * [taylor]: Taking taylor expansion of x.im in y.im 0.948 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.re 0.948 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.948 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.948 * [taylor]: Taking taylor expansion of y.im in x.re 0.948 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.948 * [taylor]: Taking taylor expansion of x.re in x.re 0.948 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.949 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.949 * [taylor]: Taking taylor expansion of y.re in x.re 0.949 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.949 * [taylor]: Taking taylor expansion of x.im in x.re 0.949 * [taylor]: Taking taylor expansion of (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) in x.re 0.949 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.949 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.949 * [taylor]: Taking taylor expansion of y.im in x.re 0.949 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.949 * [taylor]: Taking taylor expansion of x.re in x.re 0.949 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.949 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.949 * [taylor]: Taking taylor expansion of y.re in x.re 0.949 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.949 * [taylor]: Taking taylor expansion of x.im in x.re 0.949 * [taylor]: Taking taylor expansion of (- (* (pow y.re 2) (pow x.im 2))) in y.im 0.949 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.949 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.949 * [taylor]: Taking taylor expansion of y.re in y.im 0.949 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.949 * [taylor]: Taking taylor expansion of x.im in y.im 0.950 * [taylor]: Taking taylor expansion of (- (* (pow y.re 2) (pow x.im 2))) in x.im 0.950 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.950 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.950 * [taylor]: Taking taylor expansion of y.re in x.im 0.950 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.950 * [taylor]: Taking taylor expansion of x.im in x.im 0.950 * [taylor]: Taking taylor expansion of 0 in y.im 0.950 * [taylor]: Taking taylor expansion of 0 in x.im 0.950 * [taylor]: Taking taylor expansion of 0 in y.re 0.951 * [taylor]: Taking taylor expansion of 0 in x.im 0.951 * [taylor]: Taking taylor expansion of 0 in y.re 0.952 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.953 * [taylor]: Taking taylor expansion of y.im in y.im 0.953 * [taylor]: Taking taylor expansion of 0 in x.im 0.953 * [taylor]: Taking taylor expansion of 0 in y.re 0.954 * [taylor]: Taking taylor expansion of 0 in x.im 0.954 * [taylor]: Taking taylor expansion of 0 in y.re 0.954 * [taylor]: Taking taylor expansion of 0 in y.re 0.954 * [taylor]: Taking taylor expansion of 0 in y.re 0.954 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in (x.re y.im x.im y.re) around 0 0.954 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.re 0.954 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.re 0.954 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 0.954 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 0.954 * [taylor]: Taking taylor expansion of y.im in y.re 0.954 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.954 * [taylor]: Taking taylor expansion of x.re in y.re 0.955 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 0.955 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 0.955 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.955 * [taylor]: Taking taylor expansion of y.re in y.re 0.955 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.955 * [taylor]: Taking taylor expansion of x.im in y.re 0.955 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.955 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.im 0.955 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 0.955 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 0.955 * [taylor]: Taking taylor expansion of y.im in x.im 0.955 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.955 * [taylor]: Taking taylor expansion of x.re in x.im 0.955 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.955 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.955 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.955 * [taylor]: Taking taylor expansion of y.re in x.im 0.955 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.955 * [taylor]: Taking taylor expansion of x.im in x.im 0.956 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.956 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 0.956 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 0.956 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.956 * [taylor]: Taking taylor expansion of y.im in y.im 0.956 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.956 * [taylor]: Taking taylor expansion of x.re in y.im 0.956 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.956 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.956 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.956 * [taylor]: Taking taylor expansion of y.re in y.im 0.956 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.956 * [taylor]: Taking taylor expansion of x.im in y.im 0.957 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.957 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.957 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.957 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.957 * [taylor]: Taking taylor expansion of y.im in x.re 0.957 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.957 * [taylor]: Taking taylor expansion of x.re in x.re 0.957 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.957 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.957 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.957 * [taylor]: Taking taylor expansion of y.re in x.re 0.957 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.957 * [taylor]: Taking taylor expansion of x.im in x.re 0.958 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 0.958 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 0.958 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 0.958 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 0.958 * [taylor]: Taking taylor expansion of y.im in x.re 0.958 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.958 * [taylor]: Taking taylor expansion of x.re in x.re 0.958 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 0.958 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 0.958 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 0.958 * [taylor]: Taking taylor expansion of y.re in x.re 0.958 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.958 * [taylor]: Taking taylor expansion of x.im in x.re 0.959 * [taylor]: Taking taylor expansion of (/ 1 (pow y.im 2)) in y.im 0.959 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 0.959 * [taylor]: Taking taylor expansion of y.im in y.im 0.959 * [taylor]: Taking taylor expansion of 1 in x.im 0.960 * [taylor]: Taking taylor expansion of 0 in y.im 0.961 * [taylor]: Taking taylor expansion of 0 in x.im 0.963 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 0.963 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 0.963 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 0.963 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 0.963 * [taylor]: Taking taylor expansion of y.re in y.im 0.963 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.963 * [taylor]: Taking taylor expansion of x.im in y.im 0.964 * [taylor]: Taking taylor expansion of 0 in x.im 0.964 * [taylor]: Taking taylor expansion of 1 in y.re 0.967 * [taylor]: Taking taylor expansion of 0 in y.im 0.967 * [taylor]: Taking taylor expansion of 0 in x.im 0.968 * [taylor]: Taking taylor expansion of 0 in x.im 0.968 * [taylor]: Taking taylor expansion of 0 in y.re 0.968 * [taylor]: Taking taylor expansion of 0 in y.re 0.972 * [taylor]: Taking taylor expansion of 0 in y.im 0.972 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 0.972 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 0.972 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 0.972 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 0.972 * [taylor]: Taking taylor expansion of y.re in x.im 0.972 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.972 * [taylor]: Taking taylor expansion of x.im in x.im 0.973 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y.re 2))) in y.re 0.973 * [taylor]: Taking taylor expansion of (/ 1 (pow y.re 2)) in y.re 0.973 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 0.973 * [taylor]: Taking taylor expansion of y.re in y.re 0.974 * [taylor]: Taking taylor expansion of 0 in x.im 0.975 * [taylor]: Taking taylor expansion of 0 in x.im 0.975 * [taylor]: Taking taylor expansion of 0 in y.re 0.975 * [taylor]: Taking taylor expansion of 0 in y.re 0.975 * [taylor]: Taking taylor expansion of 0 in y.re 0.980 * [taylor]: Taking taylor expansion of 0 in y.im 0.980 * [taylor]: Taking taylor expansion of 0 in x.im 0.981 * [taylor]: Taking taylor expansion of 0 in x.im 0.981 * [taylor]: Taking taylor expansion of 0 in x.im 0.985 * [taylor]: Taking taylor expansion of 0 in x.im 0.986 * [taylor]: Taking taylor expansion of 0 in y.re 0.986 * [taylor]: Taking taylor expansion of 0 in y.re 0.986 * [taylor]: Taking taylor expansion of 0 in y.re 0.986 * [taylor]: Taking taylor expansion of 0 in y.re 0.986 * [taylor]: Taking taylor expansion of 0 in y.re 0.986 * [taylor]: Taking taylor expansion of 0 in y.re 0.994 * [taylor]: Taking taylor expansion of 0 in y.im 0.994 * [taylor]: Taking taylor expansion of 0 in x.im 0.994 * [taylor]: Taking taylor expansion of 0 in x.im 0.995 * [taylor]: Taking taylor expansion of 0 in x.im 0.995 * [taylor]: Taking taylor expansion of 0 in x.im 0.997 * [taylor]: Taking taylor expansion of 0 in x.im 0.998 * [taylor]: Taking taylor expansion of 0 in y.re 0.998 * [taylor]: Taking taylor expansion of 0 in y.re 0.998 * [taylor]: Taking taylor expansion of 0 in y.re 0.999 * [taylor]: Taking taylor expansion of 0 in y.re 0.999 * [taylor]: Taking taylor expansion of 0 in y.re 0.999 * [taylor]: Taking taylor expansion of 0 in y.re 0.999 * [taylor]: Taking taylor expansion of 0 in y.re 0.999 * [taylor]: Taking taylor expansion of 0 in y.re 1.001 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in (x.re y.im x.im y.re) around 0 1.001 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.re 1.001 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.re 1.001 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.re 1.001 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.re 1.001 * [taylor]: Taking taylor expansion of y.im in y.re 1.001 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 1.001 * [taylor]: Taking taylor expansion of x.re in y.re 1.001 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 1.001 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 1.001 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 1.001 * [taylor]: Taking taylor expansion of y.re in y.re 1.002 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 1.002 * [taylor]: Taking taylor expansion of x.im in y.re 1.002 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 1.002 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.im 1.002 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.im 1.002 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.im 1.002 * [taylor]: Taking taylor expansion of y.im in x.im 1.002 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.002 * [taylor]: Taking taylor expansion of x.re in x.im 1.002 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 1.002 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 1.002 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 1.002 * [taylor]: Taking taylor expansion of y.re in x.im 1.002 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.002 * [taylor]: Taking taylor expansion of x.im in x.im 1.003 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 1.003 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 1.003 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 1.003 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 1.003 * [taylor]: Taking taylor expansion of y.im in y.im 1.003 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 1.003 * [taylor]: Taking taylor expansion of x.re in y.im 1.003 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 1.003 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 1.003 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 1.003 * [taylor]: Taking taylor expansion of y.re in y.im 1.004 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 1.004 * [taylor]: Taking taylor expansion of x.im in y.im 1.004 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 1.004 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 1.004 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 1.004 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 1.004 * [taylor]: Taking taylor expansion of y.im in x.re 1.004 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.004 * [taylor]: Taking taylor expansion of x.re in x.re 1.004 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 1.004 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 1.004 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 1.004 * [taylor]: Taking taylor expansion of y.re in x.re 1.004 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.004 * [taylor]: Taking taylor expansion of x.im in x.re 1.005 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.im 2) (pow x.re 2))) (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.re 1.005 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 1.005 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 1.005 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 1.005 * [taylor]: Taking taylor expansion of y.im in x.re 1.005 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.005 * [taylor]: Taking taylor expansion of x.re in x.re 1.005 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.re 1.005 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.re 1.005 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.re 1.005 * [taylor]: Taking taylor expansion of y.re in x.re 1.005 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.005 * [taylor]: Taking taylor expansion of x.im in x.re 1.006 * [taylor]: Taking taylor expansion of (/ 1 (pow y.im 2)) in y.im 1.006 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 1.006 * [taylor]: Taking taylor expansion of y.im in y.im 1.006 * [taylor]: Taking taylor expansion of 1 in x.im 1.007 * [taylor]: Taking taylor expansion of 0 in y.im 1.008 * [taylor]: Taking taylor expansion of 0 in x.im 1.010 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.re 2) (pow x.im 2)))) in y.im 1.010 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.im 1.010 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.im 1.010 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.im 1.010 * [taylor]: Taking taylor expansion of y.re in y.im 1.010 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 1.010 * [taylor]: Taking taylor expansion of x.im in y.im 1.012 * [taylor]: Taking taylor expansion of 0 in x.im 1.012 * [taylor]: Taking taylor expansion of 1 in y.re 1.014 * [taylor]: Taking taylor expansion of 0 in y.im 1.014 * [taylor]: Taking taylor expansion of 0 in x.im 1.016 * [taylor]: Taking taylor expansion of 0 in x.im 1.016 * [taylor]: Taking taylor expansion of 0 in y.re 1.016 * [taylor]: Taking taylor expansion of 0 in y.re 1.020 * [taylor]: Taking taylor expansion of 0 in y.im 1.020 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow y.re 2) (pow x.im 2)))) in x.im 1.020 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 1.020 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 1.020 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 1.020 * [taylor]: Taking taylor expansion of y.re in x.im 1.020 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.020 * [taylor]: Taking taylor expansion of x.im in x.im 1.021 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y.re 2))) in y.re 1.021 * [taylor]: Taking taylor expansion of (/ 1 (pow y.re 2)) in y.re 1.021 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 1.021 * [taylor]: Taking taylor expansion of y.re in y.re 1.021 * [taylor]: Taking taylor expansion of 0 in x.im 1.023 * [taylor]: Taking taylor expansion of 0 in x.im 1.023 * [taylor]: Taking taylor expansion of 0 in y.re 1.023 * [taylor]: Taking taylor expansion of 0 in y.re 1.023 * [taylor]: Taking taylor expansion of 0 in y.re 1.028 * [taylor]: Taking taylor expansion of 0 in y.im 1.028 * [taylor]: Taking taylor expansion of 0 in x.im 1.029 * [taylor]: Taking taylor expansion of 0 in x.im 1.029 * [taylor]: Taking taylor expansion of 0 in x.im 1.030 * [taylor]: Taking taylor expansion of 0 in x.im 1.031 * [taylor]: Taking taylor expansion of 0 in y.re 1.032 * [taylor]: Taking taylor expansion of 0 in y.re 1.032 * [taylor]: Taking taylor expansion of 0 in y.re 1.032 * [taylor]: Taking taylor expansion of 0 in y.re 1.032 * [taylor]: Taking taylor expansion of 0 in y.re 1.032 * [taylor]: Taking taylor expansion of 0 in y.re 1.039 * [taylor]: Taking taylor expansion of 0 in y.im 1.039 * [taylor]: Taking taylor expansion of 0 in x.im 1.039 * [taylor]: Taking taylor expansion of 0 in x.im 1.041 * [taylor]: Taking taylor expansion of 0 in x.im 1.041 * [taylor]: Taking taylor expansion of 0 in x.im 1.042 * [taylor]: Taking taylor expansion of 0 in x.im 1.044 * [taylor]: Taking taylor expansion of 0 in y.re 1.044 * [taylor]: Taking taylor expansion of 0 in y.re 1.044 * [taylor]: Taking taylor expansion of 0 in y.re 1.044 * [taylor]: Taking taylor expansion of 0 in y.re 1.044 * [taylor]: Taking taylor expansion of 0 in y.re 1.044 * [taylor]: Taking taylor expansion of 0 in y.re 1.044 * [taylor]: Taking taylor expansion of 0 in y.re 1.044 * [taylor]: Taking taylor expansion of 0 in y.re 1.046 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.046 * [approximate]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in (x.im y.re) around 0 1.046 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 1.046 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 1.046 * [taylor]: Taking taylor expansion of y.re in y.re 1.046 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 1.046 * [taylor]: Taking taylor expansion of x.im in y.re 1.046 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 1.046 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 1.046 * [taylor]: Taking taylor expansion of y.re in x.im 1.046 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.046 * [taylor]: Taking taylor expansion of x.im in x.im 1.046 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 1.046 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 1.046 * [taylor]: Taking taylor expansion of y.re in x.im 1.046 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.046 * [taylor]: Taking taylor expansion of x.im in x.im 1.047 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 1.047 * [taylor]: Taking taylor expansion of y.re in y.re 1.048 * [taylor]: Taking taylor expansion of 0 in y.re 1.049 * [taylor]: Taking taylor expansion of 0 in y.re 1.051 * [taylor]: Taking taylor expansion of 0 in y.re 1.052 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in (x.im y.re) around 0 1.052 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 1.052 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 1.052 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 1.052 * [taylor]: Taking taylor expansion of y.re in y.re 1.052 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 1.052 * [taylor]: Taking taylor expansion of x.im in y.re 1.052 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 1.052 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 1.052 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 1.052 * [taylor]: Taking taylor expansion of y.re in x.im 1.052 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.052 * [taylor]: Taking taylor expansion of x.im in x.im 1.053 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 1.053 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 1.053 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 1.053 * [taylor]: Taking taylor expansion of y.re in x.im 1.053 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.053 * [taylor]: Taking taylor expansion of x.im in x.im 1.053 * [taylor]: Taking taylor expansion of (/ 1 (pow y.re 2)) in y.re 1.053 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 1.053 * [taylor]: Taking taylor expansion of y.re in y.re 1.054 * [taylor]: Taking taylor expansion of 0 in y.re 1.057 * [taylor]: Taking taylor expansion of 0 in y.re 1.060 * [taylor]: Taking taylor expansion of 0 in y.re 1.063 * [taylor]: Taking taylor expansion of 0 in y.re 1.063 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in (x.im y.re) around 0 1.063 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in y.re 1.063 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in y.re 1.063 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 1.063 * [taylor]: Taking taylor expansion of y.re in y.re 1.063 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 1.063 * [taylor]: Taking taylor expansion of x.im in y.re 1.064 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 1.064 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 1.064 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 1.064 * [taylor]: Taking taylor expansion of y.re in x.im 1.064 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.064 * [taylor]: Taking taylor expansion of x.im in x.im 1.064 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.re 2) (pow x.im 2))) in x.im 1.064 * [taylor]: Taking taylor expansion of (* (pow y.re 2) (pow x.im 2)) in x.im 1.064 * [taylor]: Taking taylor expansion of (pow y.re 2) in x.im 1.064 * [taylor]: Taking taylor expansion of y.re in x.im 1.064 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.064 * [taylor]: Taking taylor expansion of x.im in x.im 1.065 * [taylor]: Taking taylor expansion of (/ 1 (pow y.re 2)) in y.re 1.065 * [taylor]: Taking taylor expansion of (pow y.re 2) in y.re 1.065 * [taylor]: Taking taylor expansion of y.re in y.re 1.066 * [taylor]: Taking taylor expansion of 0 in y.re 1.068 * [taylor]: Taking taylor expansion of 0 in y.re 1.074 * [taylor]: Taking taylor expansion of 0 in y.re 1.077 * [taylor]: Taking taylor expansion of 0 in y.re 1.077 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.077 * [approximate]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in (x.re y.im) around 0 1.077 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 1.077 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 1.077 * [taylor]: Taking taylor expansion of y.im in y.im 1.077 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 1.077 * [taylor]: Taking taylor expansion of x.re in y.im 1.077 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 1.077 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 1.077 * [taylor]: Taking taylor expansion of y.im in x.re 1.077 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.077 * [taylor]: Taking taylor expansion of x.re in x.re 1.077 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 1.077 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 1.077 * [taylor]: Taking taylor expansion of y.im in x.re 1.078 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.078 * [taylor]: Taking taylor expansion of x.re in x.re 1.078 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 1.078 * [taylor]: Taking taylor expansion of y.im in y.im 1.079 * [taylor]: Taking taylor expansion of 0 in y.im 1.080 * [taylor]: Taking taylor expansion of 0 in y.im 1.082 * [taylor]: Taking taylor expansion of 0 in y.im 1.083 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in (x.re y.im) around 0 1.083 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 1.083 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 1.083 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 1.083 * [taylor]: Taking taylor expansion of y.im in y.im 1.083 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 1.083 * [taylor]: Taking taylor expansion of x.re in y.im 1.083 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 1.083 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 1.083 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 1.083 * [taylor]: Taking taylor expansion of y.im in x.re 1.083 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.083 * [taylor]: Taking taylor expansion of x.re in x.re 1.084 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 1.084 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 1.084 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 1.084 * [taylor]: Taking taylor expansion of y.im in x.re 1.084 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.084 * [taylor]: Taking taylor expansion of x.re in x.re 1.084 * [taylor]: Taking taylor expansion of (/ 1 (pow y.im 2)) in y.im 1.084 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 1.084 * [taylor]: Taking taylor expansion of y.im in y.im 1.086 * [taylor]: Taking taylor expansion of 0 in y.im 1.088 * [taylor]: Taking taylor expansion of 0 in y.im 1.091 * [taylor]: Taking taylor expansion of 0 in y.im 1.094 * [taylor]: Taking taylor expansion of 0 in y.im 1.094 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in (x.re y.im) around 0 1.094 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in y.im 1.094 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in y.im 1.094 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 1.095 * [taylor]: Taking taylor expansion of y.im in y.im 1.095 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 1.095 * [taylor]: Taking taylor expansion of x.re in y.im 1.095 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 1.095 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 1.095 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 1.095 * [taylor]: Taking taylor expansion of y.im in x.re 1.095 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.095 * [taylor]: Taking taylor expansion of x.re in x.re 1.095 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y.im 2) (pow x.re 2))) in x.re 1.095 * [taylor]: Taking taylor expansion of (* (pow y.im 2) (pow x.re 2)) in x.re 1.096 * [taylor]: Taking taylor expansion of (pow y.im 2) in x.re 1.096 * [taylor]: Taking taylor expansion of y.im in x.re 1.096 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.096 * [taylor]: Taking taylor expansion of x.re in x.re 1.096 * [taylor]: Taking taylor expansion of (/ 1 (pow y.im 2)) in y.im 1.096 * [taylor]: Taking taylor expansion of (pow y.im 2) in y.im 1.096 * [taylor]: Taking taylor expansion of y.im in y.im 1.098 * [taylor]: Taking taylor expansion of 0 in y.im 1.100 * [taylor]: Taking taylor expansion of 0 in y.im 1.103 * [taylor]: Taking taylor expansion of 0 in y.im 1.106 * [taylor]: Taking taylor expansion of 0 in y.im 1.106 * * * [progress]: simplifying candidates 1.108 * [simplify]: Simplifying using # : (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (+ (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (log (- (* x.re y.im) (* x.im y.re))))) (+ (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- 0 (log (- (* x.re y.im) (* x.im y.re))))) (+ (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (log 1) (log (- (* x.re y.im) (* x.im y.re))))) (+ (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (log (/ 1 (- (* x.re y.im) (* x.im y.re))))) (log (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (exp (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (* (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ (* (* 1 1) 1) (* (* (- (* x.re y.im) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re))))) (* (* (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (* (/ 1 (- (* x.re y.im) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (cbrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (cbrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re)))))) (cbrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (* (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (sqrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (sqrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (- (pow (* (* x.re y.im) (* x.re y.im)) 3) (pow (* (* x.im y.re) (* x.im y.re)) 3)) 1) (* (+ (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (+ (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re))) (* (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (- (* x.re y.im) (* x.im y.re))) (* (- (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)))) 1) (* (+ (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ (sqrt 1) (sqrt (- (* x.re y.im) (* x.im y.re))))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ (sqrt 1) (sqrt (- (* x.re y.im) (* x.im y.re))))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ 1 (sqrt (- (* x.re y.im) (* x.im y.re))))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ 1 (sqrt (- (* x.re y.im) (* x.im y.re))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (cbrt (/ 1 (- (* x.re y.im) (* x.im y.re)))) (cbrt (/ 1 (- (* x.re y.im) (* x.im y.re)))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re)))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (* x.re y.im) (* x.im y.re))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (sqrt 1) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re)))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (sqrt 1) (sqrt (- (* x.re y.im) (* x.im y.re))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (sqrt 1) 1)) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re)))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (sqrt (- (* x.re y.im) (* x.im y.re))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 1)) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) 1) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) 1) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (pow (* x.re y.im) 3) (pow (* x.im y.re) 3)))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (* (- (* x.re y.im) (* x.im y.re)) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) 1) (* (- (pow (* (* x.re y.im) (* x.re y.im)) 3) (pow (* (* x.im y.re) (* x.im y.re)) 3)) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (* (- (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)))) (/ 1 (- (* x.re y.im) (* x.im y.re)))) (/ (exp (* (* x.re y.im) (* x.re y.im))) (exp (* (* x.im y.re) (* x.im y.re)))) (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (exp (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (pow (* (* x.re y.im) (* x.re y.im)) 3) (pow (* (* x.im y.re) (* x.im y.re)) 3)) (+ (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (+ (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re))) (* (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (- (* (* x.im y.re) (* x.im y.re))) (- (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)))) (+ (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (+ (* x.re y.im) (* x.im y.re)) (- (* x.re y.im) (* x.im y.re)) (- (* (* x.im y.re) (* x.im y.re))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (+ 1 1) (+ 1 1) (+ (+ (log x.im) (log y.re)) (+ (log x.im) (log y.re))) (+ (+ (log x.im) (log y.re)) (log (* x.im y.re))) (+ (log (* x.im y.re)) (+ (log x.im) (log y.re))) (+ (log (* x.im y.re)) (log (* x.im y.re))) (log (* (* x.im y.re) (* x.im y.re))) (exp (* (* x.im y.re) (* x.im y.re))) (* (* (* (* x.im x.im) x.im) (* (* y.re y.re) y.re)) (* (* (* x.im x.im) x.im) (* (* y.re y.re) y.re))) (* (* (* (* x.im x.im) x.im) (* (* y.re y.re) y.re)) (* (* (* x.im y.re) (* x.im y.re)) (* x.im y.re))) (* (* (* (* x.im y.re) (* x.im y.re)) (* x.im y.re)) (* (* (* x.im x.im) x.im) (* (* y.re y.re) y.re))) (* (* (* (* x.im y.re) (* x.im y.re)) (* x.im y.re)) (* (* (* x.im y.re) (* x.im y.re)) (* x.im y.re))) (* (cbrt (* (* x.im y.re) (* x.im y.re))) (cbrt (* (* x.im y.re) (* x.im y.re)))) (cbrt (* (* x.im y.re) (* x.im y.re))) (* (* (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re))) (* (* x.im y.re) (* x.im y.re))) (sqrt (* (* x.im y.re) (* x.im y.re))) (sqrt (* (* x.im y.re) (* x.im y.re))) (* x.im x.im) (* y.re y.re) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* x.im y.re) x.im) (* y.re (* x.im y.re)) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (+ 1 1) (+ 1 1) (+ (+ (log x.re) (log y.im)) (+ (log x.re) (log y.im))) (+ (+ (log x.re) (log y.im)) (log (* x.re y.im))) (+ (log (* x.re y.im)) (+ (log x.re) (log y.im))) (+ (log (* x.re y.im)) (log (* x.re y.im))) (log (* (* x.re y.im) (* x.re y.im))) (exp (* (* x.re y.im) (* x.re y.im))) (* (* (* (* x.re x.re) x.re) (* (* y.im y.im) y.im)) (* (* (* x.re x.re) x.re) (* (* y.im y.im) y.im))) (* (* (* (* x.re x.re) x.re) (* (* y.im y.im) y.im)) (* (* (* x.re y.im) (* x.re y.im)) (* x.re y.im))) (* (* (* (* x.re y.im) (* x.re y.im)) (* x.re y.im)) (* (* (* x.re x.re) x.re) (* (* y.im y.im) y.im))) (* (* (* (* x.re y.im) (* x.re y.im)) (* x.re y.im)) (* (* (* x.re y.im) (* x.re y.im)) (* x.re y.im))) (* (cbrt (* (* x.re y.im) (* x.re y.im))) (cbrt (* (* x.re y.im) (* x.re y.im)))) (cbrt (* (* x.re y.im) (* x.re y.im))) (* (* (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im))) (* (* x.re y.im) (* x.re y.im))) (sqrt (* (* x.re y.im) (* x.re y.im))) (sqrt (* (* x.re y.im) (* x.re y.im))) (* x.re x.re) (* y.im y.im) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* x.re y.im) x.re) (* y.im (* x.re y.im)) 0 (+ (* y.re x.im) (* y.im x.re)) (+ (* y.re x.im) (* y.im x.re)) 0 (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (- (* (pow y.im 2) (pow x.re 2)) (* (pow y.re 2) (pow x.im 2))) (* (pow y.re 2) (pow x.im 2)) (* (pow y.re 2) (pow x.im 2)) (* (pow y.re 2) (pow x.im 2)) (* (pow y.im 2) (pow x.re 2)) (* (pow y.im 2) (pow x.re 2)) (* (pow y.im 2) (pow x.re 2)) 1.115 * * [simplify]: iteration 0 : 462 enodes (cost 1020 ) 1.126 * * [simplify]: iteration 1 : 2971 enodes (cost 844 ) 1.234 * * [simplify]: iteration 2 : 5002 enodes (cost 759 ) 1.237 * [simplify]: Simplified to: (* (+ (* y.re x.im) (* y.im x.re)) 1) (+ (log (+ (* y.re x.im) (* y.im x.re))) 0) (+ (log (+ (* y.re x.im) (* y.im x.re))) 0) (+ (log (+ (* y.re x.im) (* y.im x.re))) 0) (+ (log (+ (* y.re x.im) (* y.im x.re))) 0) (+ (log (+ (* y.re x.im) (* y.im x.re))) 0) (pow (exp (+ (* y.re x.im) (* y.im x.re))) 1) (pow (* (+ (* y.re x.im) (* y.im x.re)) 1) 3) (pow (* (+ (* y.re x.im) (* y.im x.re)) 1) 3) (* (cbrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (cbrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re)))))) (cbrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (pow (* (+ (* y.re x.im) (* y.im x.re)) 1) 3) (sqrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (sqrt (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ 1 (- (* x.re y.im) (* x.im y.re))))) (- (/ (pow (* x.re y.im) 6) 1) (/ (pow (* x.im y.re) 6) 1)) (* (- (* x.re y.im) (* x.im y.re)) (+ (* (* (* x.im y.re) (* x.im y.re)) (+ (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.re y.im)))) (* (pow (* x.re y.im) 3) (* x.re y.im)))) (- (/ (pow (* x.re y.im) 4) 1) (/ (pow (* x.im y.re) 4) 1)) (* (+ (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* x.re y.im) (* x.im y.re))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (/ 1 (- (* x.re y.im) (* x.im y.re))))) (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (/ 1 (- (* x.re y.im) (* x.im y.re))))) (/ (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) 1) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) 1) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) 1) (sqrt (- (* x.re y.im) (* x.im y.re)))) (/ (* (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) 1) (sqrt (- (* x.re y.im) (* x.im y.re)))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (cbrt (/ 1 (- (* x.re y.im) (* x.im y.re)))) (cbrt (/ 1 (- (* x.re y.im) (* x.im y.re)))))) (* (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (/ 1 (- (* x.re y.im) (* x.im y.re))))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (cbrt (- (* x.re y.im) (* x.im y.re))) (cbrt (- (* x.re y.im) (* x.im y.re))))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (sqrt (- (* x.re y.im) (* x.im y.re)))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (pow (* x.re y.im) 3) (pow (* x.im y.re) 3))) 1 (/ (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* x.re y.im) (* x.im y.re))) (/ (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (* x.re y.im) (* x.im y.re))) (* (+ (* y.re x.im) (* y.im x.re)) 1) 1 (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (/ (- (pow (* (* x.re y.im) (* x.re y.im)) 3) (pow (* (* x.im y.re) (* x.im y.re)) 3)) (- (* x.re y.im) (* x.im y.re))) (- (/ (pow (* x.re y.im) 4) (- (* x.re y.im) (* x.im y.re))) (/ (pow (* x.im y.re) 4) (- (* x.re y.im) (* x.im y.re)))) (exp (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (log (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (exp (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (* (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))))) (cbrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (pow (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) 3) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (sqrt (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (- (/ (pow (* x.re y.im) 6) 1) (/ (pow (* x.im y.re) 6) 1)) (+ (+ (pow (* x.re y.im) 4) (* (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re)))) (pow (* x.im y.re) 4)) (- (* (* x.im y.re) (* x.im y.re))) (- (/ (pow (* x.re y.im) 4) 1) (/ (pow (* x.im y.re) 4) 1)) (+ (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (+ (* y.re x.im) (* y.im x.re)) (- (* x.re y.im) (* x.im y.re)) (- (* (* x.im y.re) (* x.im y.re))) 2 2 2 2 (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) 2 2 (* 2 (log (* x.im y.re))) (* 2 (log (* x.im y.re))) (* 2 (log (* x.im y.re))) (* 2 (log (* x.im y.re))) (* 2 (log (* x.im y.re))) (exp (* (* x.im y.re) (* x.im y.re))) (pow (* x.im y.re) 6) (pow (* x.im y.re) 6) (pow (* x.im y.re) 6) (pow (* x.im y.re) 6) (* (cbrt (* (* x.im y.re) (* x.im y.re))) (cbrt (* (* x.im y.re) (* x.im y.re)))) (cbrt (* (* x.im y.re) (* x.im y.re))) (pow (* x.im y.re) 6) (fabs (* x.im y.re)) (fabs (* x.im y.re)) (pow x.im 2) (pow y.re 2) 2 2 2 2 (* (* x.im y.re) x.im) (* y.re (* x.im y.re)) 2 2 2 2 (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) 2 2 (* 2 (log (* x.re y.im))) (* 2 (log (* x.re y.im))) (* 2 (log (* x.re y.im))) (* 2 (log (* x.re y.im))) (* 2 (log (* x.re y.im))) (exp (* (* x.re y.im) (* x.re y.im))) (pow (* x.re y.im) 6) (pow (* x.re y.im) 6) (pow (* x.re y.im) 6) (pow (* x.re y.im) 6) (* (cbrt (* (* x.re y.im) (* x.re y.im))) (cbrt (* (* x.re y.im) (* x.re y.im)))) (cbrt (* (* x.re y.im) (* x.re y.im))) (pow (* x.re y.im) 6) (fabs (* x.re y.im)) (fabs (* x.re y.im)) (pow x.re 2) (pow y.im 2) 2 2 2 2 (* (* x.re y.im) x.re) (* y.im (* x.re y.im)) 0 (+ (* y.re x.im) (* y.im x.re)) (+ (* y.re x.im) (* y.im x.re)) 0 (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (- (* (* x.re y.im) (* x.re y.im)) (* (* x.im y.re) (* x.im y.re))) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.im y.re) (* x.im y.re)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) (* (* x.re y.im) (* x.re y.im)) 1.238 * * * [progress]: adding candidates to table 1.429 * [progress]: [Phase 3 of 3] Extracting. 1.429 * * [regime]: Finding splitpoints for: (# #) 1.430 * * * [regime-changes]: Trying 7 branch expressions: ((* x.im y.re) (* x.re y.im) (+ (* x.re y.im) (* x.im y.re)) y.im y.re x.im x.re) 1.430 * * * * [regimes]: Trying to branch on (* x.im y.re) from (# #) 1.443 * * * * [regimes]: Trying to branch on (* x.re y.im) from (# #) 1.458 * * * * [regimes]: Trying to branch on (+ (* x.re y.im) (* x.im y.re)) from (# #) 1.471 * * * * [regimes]: Trying to branch on y.im from (# #) 1.486 * * * * [regimes]: Trying to branch on y.re from (# #) 1.499 * * * * [regimes]: Trying to branch on x.im from (# #) 1.512 * * * * [regimes]: Trying to branch on x.re from (# #) 1.527 * * * [regime]: Found split indices: #