0.765 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.445 * * * [progress]: [2/2] Setting up program. 0.454 * [progress]: [Phase 2 of 3] Improving. 0.456 * [simplify]: Simplifying using # : (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 0.461 * * [simplify]: iteration 0 : 31 enodes (cost 21 ) 0.463 * * [simplify]: iteration 1 : 53 enodes (cost 20 ) 0.464 * * [simplify]: iteration 2 : 84 enodes (cost 20 ) 0.466 * * [simplify]: iteration 3 : 203 enodes (cost 20 ) 0.472 * * [simplify]: iteration 4 : 879 enodes (cost 20 ) 0.493 * * [simplify]: iteration 5 : 5001 enodes (cost 20 ) 0.494 * [simplify]: Simplified to: (/ (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re)) (exp (* (atan2 x.im x.re) y.im))) 0.505 * * [progress]: iteration 1 / 4 0.506 * * * [progress]: picking best candidate 0.520 * * * * [pick]: Picked # 0.520 * * * [progress]: localizing error 0.553 * * * [progress]: generating rewritten candidates 0.553 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.561 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1) 0.565 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 0.568 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.574 * * * [progress]: generating series expansions 0.574 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.580 * [approximate]: Approximating (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in (x.re x.im y.im y.re) around 0 0.589 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 0.591 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 0.591 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.596 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 0.596 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 0.596 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.600 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 0.600 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.602 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.610 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 0.627 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 0.627 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.627 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 0.627 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.634 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 0.634 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.634 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.634 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.646 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.648 * [approximate]: Approximating (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in (x.re x.im y.im y.re) around 0 0.667 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 0.668 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 0.669 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 0.673 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 0.673 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 0.673 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 0.676 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 0.676 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 0.676 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 0.683 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 0.697 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 0.697 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 0.697 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 0.697 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 0.698 * [approximate]: Approximating (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in (x.re x.im y.im y.re) around 0 0.718 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 0.719 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 0.719 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 0.724 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 0.724 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 0.724 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 0.730 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 0.730 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 0.730 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 0.737 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 0.751 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 0.751 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 0.751 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 0.751 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 0.752 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1) 0.752 * [approximate]: Approximating (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 0.754 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.754 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.755 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.758 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.759 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 0.769 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.769 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.772 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.776 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.777 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 0.787 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.787 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.789 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.793 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.795 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 0.795 * [approximate]: Approximating (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 0.797 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.797 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.799 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.801 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.802 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 0.814 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.814 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.817 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.821 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.823 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 0.832 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.832 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.835 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.839 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.840 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.840 * [approximate]: Approximating (* (atan2 x.im x.re) y.re) in (x.im x.re y.re) around 0 0.840 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 0.841 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.841 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 0.841 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.841 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.842 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 0.842 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.842 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.842 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.843 * [approximate]: Approximating (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in (x.im x.re y.re) around 0 0.843 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 0.844 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.844 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 0.844 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.844 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.845 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 0.845 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.845 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.845 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.847 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 0.847 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.847 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.847 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.847 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.847 * [approximate]: Approximating (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in (x.im x.re y.re) around 0 0.848 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 0.848 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.849 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 0.849 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.849 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.852 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 0.852 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.852 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.853 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.856 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 0.856 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.856 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.856 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.857 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.857 * * * [progress]: simplifying candidates 0.859 * [simplify]: Simplifying using # : (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (atan2 x.im x.re) y.re) (+ (log (atan2 x.im x.re)) (log y.re)) (log (* (atan2 x.im x.re) y.re)) (exp (* (atan2 x.im x.re) y.re)) (* (* (* (atan2 x.im x.re) (atan2 x.im x.re)) (atan2 x.im x.re)) (* (* y.re y.re) y.re)) (* (cbrt (* (atan2 x.im x.re) y.re)) (cbrt (* (atan2 x.im x.re) y.re))) (cbrt (* (atan2 x.im x.re) y.re)) (* (* (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re)) (sqrt (* (atan2 x.im x.re) y.re)) (sqrt (* (atan2 x.im x.re) y.re)) (* (sqrt (atan2 x.im x.re)) (sqrt y.re)) (* (sqrt (atan2 x.im x.re)) (sqrt y.re)) (* (atan2 x.im x.re) (* (cbrt y.re) (cbrt y.re))) (* (atan2 x.im x.re) (sqrt y.re)) (* (atan2 x.im x.re) 1) (* (cbrt (atan2 x.im x.re)) y.re) (* (sqrt (atan2 x.im x.re)) y.re) (* (atan2 x.im x.re) y.re) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re) 0.862 * * [simplify]: iteration 0 : 194 enodes (cost 425 ) 0.866 * * [simplify]: iteration 1 : 496 enodes (cost 388 ) 0.874 * * [simplify]: iteration 2 : 1117 enodes (cost 386 ) 0.890 * * [simplify]: iteration 3 : 2390 enodes (cost 386 ) 0.927 * * [simplify]: iteration 4 : 5002 enodes (cost 386 ) 0.930 * [simplify]: Simplified to: (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (atan2 x.im x.re) y.re) (log (* (atan2 x.im x.re) y.re)) (log (* (atan2 x.im x.re) y.re)) (exp (* (atan2 x.im x.re) y.re)) (pow (* (atan2 x.im x.re) y.re) 3) (* (cbrt (* (atan2 x.im x.re) y.re)) (cbrt (* (atan2 x.im x.re) y.re))) (cbrt (* (atan2 x.im x.re) y.re)) (pow (* (atan2 x.im x.re) y.re) 3) (sqrt (* (atan2 x.im x.re) y.re)) (sqrt (* (atan2 x.im x.re) y.re)) (* (sqrt (atan2 x.im x.re)) (sqrt y.re)) (* (sqrt (atan2 x.im x.re)) (sqrt y.re)) (* (atan2 x.im x.re) (* (cbrt y.re) (cbrt y.re))) (* (atan2 x.im x.re) (sqrt y.re)) (atan2 x.im x.re) (* (cbrt (atan2 x.im x.re)) y.re) (* (sqrt (atan2 x.im x.re)) y.re) (* (atan2 x.im x.re) y.re) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re) 0.930 * * * [progress]: adding candidates to table 1.319 * * [progress]: iteration 2 / 4 1.319 * * * [progress]: picking best candidate 1.369 * * * * [pick]: Picked # 1.369 * * * [progress]: localizing error 1.400 * * * [progress]: generating rewritten candidates 1.400 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.424 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 2 1) 1.428 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1 2 1) 1.432 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1) 1.437 * * * [progress]: generating series expansions 1.437 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.438 * [approximate]: Approximating (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in (x.re x.im y.im y.re) around 0 1.444 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 1.445 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 1.445 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.449 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 1.449 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 1.449 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.452 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 1.452 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.455 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.461 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 1.478 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 1.478 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.478 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 1.478 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.483 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 1.483 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.483 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.484 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.488 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 1.491 * [approximate]: Approximating (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in (x.re x.im y.im y.re) around 0 1.513 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 1.514 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 1.514 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 1.518 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 1.518 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 1.518 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 1.522 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 1.522 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 1.522 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 1.528 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 1.542 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 1.542 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 1.542 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 1.542 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 1.543 * [approximate]: Approximating (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in (x.re x.im y.im y.re) around 0 1.562 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 1.563 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 1.564 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 1.568 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 1.568 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 1.568 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 1.572 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 1.572 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 1.572 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 1.579 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 1.595 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 1.595 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 1.595 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 1.595 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 1.595 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 2 1) 1.595 * [approximate]: Approximating (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 1.597 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.597 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.599 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.602 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.602 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.612 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.612 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.615 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.619 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.620 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.630 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.630 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.633 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.637 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.638 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1 2 1) 1.638 * [approximate]: Approximating (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 1.640 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.640 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.642 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.645 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.645 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.655 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.655 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.657 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.661 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.665 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.674 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.675 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.677 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.681 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.682 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1 1 1 1) 1.683 * [approximate]: Approximating (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 1.684 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.684 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.686 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.688 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.689 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.699 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.699 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.701 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.706 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.707 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.717 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.717 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.720 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.723 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.725 * * * [progress]: simplifying candidates 1.726 * [simplify]: Simplifying using # : (* (sin (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (* (* (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) 1.730 * * [simplify]: iteration 0 : 148 enodes (cost 607 ) 1.732 * * [simplify]: iteration 1 : 303 enodes (cost 551 ) 1.737 * * [simplify]: iteration 2 : 643 enodes (cost 551 ) 1.749 * * [simplify]: iteration 3 : 1810 enodes (cost 551 ) 1.786 * * [simplify]: iteration 4 : 5001 enodes (cost 548 ) 1.789 * [simplify]: Simplified to: (* (sin (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re))) 3) (sqrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) 1.789 * * * [progress]: adding candidates to table 2.372 * * [progress]: iteration 3 / 4 2.372 * * * [progress]: picking best candidate 2.413 * * * * [pick]: Picked # 2.413 * * * [progress]: localizing error 2.444 * * * [progress]: generating rewritten candidates 2.444 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.450 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 2.457 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 2.463 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 1 1) 2.467 * * * [progress]: generating series expansions 2.467 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.467 * [approximate]: Approximating (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in (x.re x.im y.im y.re) around 0 2.473 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.475 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.475 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.479 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.479 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.479 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.482 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.482 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.485 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.491 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.507 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.507 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.507 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.507 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.513 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.513 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.513 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.513 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.518 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.520 * [approximate]: Approximating (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in (x.re x.im y.im y.re) around 0 2.540 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.541 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.542 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.546 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.546 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.546 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.549 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.549 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.549 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.556 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.569 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.569 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.570 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.570 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.570 * [approximate]: Approximating (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in (x.re x.im y.im y.re) around 0 2.590 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.591 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.591 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.595 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.595 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.595 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.599 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.599 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.599 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.608 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.622 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.622 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.622 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.622 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.622 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 2.623 * [approximate]: Approximating (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in (x.re x.im y.im y.re) around 0 2.628 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.630 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.630 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.634 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.634 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.634 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.637 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.637 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.640 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.646 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.662 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.663 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.663 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.663 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.668 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.668 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.668 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.668 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.673 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.675 * [approximate]: Approximating (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in (x.re x.im y.im y.re) around 0 2.696 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.697 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.697 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.702 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.702 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.702 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.705 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.705 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.705 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.712 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.726 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.726 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.726 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.726 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.726 * [approximate]: Approximating (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in (x.re x.im y.im y.re) around 0 2.746 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.747 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.748 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.752 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.752 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.752 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.756 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.756 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.756 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.765 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.779 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.779 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.779 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.779 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.779 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 2.780 * [approximate]: Approximating (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in (x.re x.im y.im y.re) around 0 2.785 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.787 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.787 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.790 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.790 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.790 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.794 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.794 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.797 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.803 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 2.819 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.819 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.819 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.819 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.825 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 2.825 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.825 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.825 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.829 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 2.832 * [approximate]: Approximating (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in (x.re x.im y.im y.re) around 0 2.853 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.854 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.854 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.858 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.858 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.858 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.862 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.862 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.862 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.869 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 2.882 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.882 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.882 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 2.883 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 2.883 * [approximate]: Approximating (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in (x.re x.im y.im y.re) around 0 2.903 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.904 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.904 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.908 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.908 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.908 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.912 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.912 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.912 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.921 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 2.935 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.935 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.935 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 2.935 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 2.936 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 1 1) 2.936 * [approximate]: Approximating (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 2.937 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 2.938 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 2.939 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 2.942 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 2.943 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.952 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.952 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.955 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.959 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.960 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.969 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.969 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.972 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.976 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.977 * * * [progress]: simplifying candidates 2.978 * [simplify]: Simplifying using # : (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) x.im x.re (* -1 x.re) 2.982 * * [simplify]: iteration 0 : 142 enodes (cost 553 ) 2.984 * * [simplify]: iteration 1 : 288 enodes (cost 487 ) 2.989 * * [simplify]: iteration 2 : 611 enodes (cost 487 ) 2.999 * * [simplify]: iteration 3 : 1512 enodes (cost 487 ) 3.032 * * [simplify]: iteration 4 : 4748 enodes (cost 486 ) 3.134 * * [simplify]: iteration 5 : 5001 enodes (cost 486 ) 3.137 * [simplify]: Simplified to: (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) x.im x.re (* -1 x.re) 3.138 * * * [progress]: adding candidates to table 3.481 * * [progress]: iteration 4 / 4 3.481 * * * [progress]: picking best candidate 3.523 * * * * [pick]: Picked # 3.523 * * * [progress]: localizing error 3.553 * * * [progress]: generating rewritten candidates 3.553 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.559 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1 1) 3.563 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 3.567 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.573 * * * [progress]: generating series expansions 3.573 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.573 * [approximate]: Approximating (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in (x.re x.im y.im y.re) around 0 3.579 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 3.581 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.581 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.584 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 3.585 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.585 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.588 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.588 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.591 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.597 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 3.613 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.613 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.613 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.613 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.619 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.619 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.619 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.619 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.624 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.629 * [approximate]: Approximating (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in (x.re x.im y.im y.re) around 0 3.648 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 3.649 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.649 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.653 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 3.653 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.653 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.657 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.657 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.657 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.663 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 3.677 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.677 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.677 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.677 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.678 * [approximate]: Approximating (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in (x.re x.im y.im y.re) around 0 3.697 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 3.698 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.698 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.702 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 3.703 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.703 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.708 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.708 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.708 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.715 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 3.729 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.729 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.729 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.729 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.730 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1 1) 3.730 * [approximate]: Approximating (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 3.731 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 3.732 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 3.733 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 3.736 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 3.736 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 3.746 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.746 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.749 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.752 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.754 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 3.764 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.764 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.766 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.770 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.771 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 3.772 * [approximate]: Approximating (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 3.773 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 3.773 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 3.775 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 3.777 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 3.778 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 3.790 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.790 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.793 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.797 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.798 * [approximate]: Approximating (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 3.808 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.808 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.811 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.814 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 3.816 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.816 * [approximate]: Approximating (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in (x.re x.im y.im y.re) around 0 3.822 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 3.823 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.823 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.827 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 3.827 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.827 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.831 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.831 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.833 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.839 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 3.855 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.855 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.855 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.855 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.864 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 3.864 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.864 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.864 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.868 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 3.871 * [approximate]: Approximating (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in (x.re x.im y.im y.re) around 0 3.890 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 3.891 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.891 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.895 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 3.895 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.895 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.899 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.899 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.899 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.905 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 3.918 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.918 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.919 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 3.919 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 3.919 * [approximate]: Approximating (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in (x.re x.im y.im y.re) around 0 3.942 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 3.943 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.943 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.947 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 3.947 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.947 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.951 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.951 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.951 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.958 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 3.972 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.972 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.972 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 3.972 * [taylor]: Taking taylor expansion of (sin (neg (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 3.973 * * * [progress]: simplifying candidates 3.974 * [simplify]: Simplifying using # : (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (exp (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (cbrt (pow (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) 3)) (cbrt (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 3)) (cbrt (pow (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 3)) (cbrt (pow (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3)) (cbrt (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (* (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3)) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3)))) (cbrt (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (cbrt (pow (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) 3)) (cbrt (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 3)) (cbrt (pow (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 3)) (cbrt (pow (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3)) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sqrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (cbrt (sqrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (cbrt 1) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3)) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (/ 3 2))) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (/ 3 2))) (* (cbrt (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (cbrt (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3)))) (cbrt (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (* (* (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3)) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (sqrt (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (sqrt (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) 3.978 * * [simplify]: iteration 0 : 191 enodes (cost 725 ) 3.982 * * [simplify]: iteration 1 : 493 enodes (cost 717 ) 3.989 * * [simplify]: iteration 2 : 1262 enodes (cost 717 ) 4.015 * * [simplify]: iteration 3 : 4720 enodes (cost 717 ) 4.120 * * [simplify]: iteration 4 : 5001 enodes (cost 647 ) 4.123 * [simplify]: Simplified to: (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 2) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 2) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 1 (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 2) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 2) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 2) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 1 (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 2) (cbrt (sqrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) (cbrt (sqrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))) 1 (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3/2)) (cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3/2)) (pow (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 2) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) 4.124 * * * [progress]: adding candidates to table 4.523 * [progress]: [Phase 3 of 3] Extracting. 4.524 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 4.536 * * * [regime-changes]: Trying 4 branch expressions: (y.im y.re x.im x.re) 4.536 * * * * [regimes]: Trying to branch on y.im from (# # # # # # # # #) 4.663 * * * * [regimes]: Trying to branch on y.re from (# # # # # # # # #) 4.800 * * * * [regimes]: Trying to branch on x.im from (# # # # # # # # #) 4.925 * * * * [regimes]: Trying to branch on x.re from (# # # # # # # # #) 5.050 * * * [regime]: Found split indices: #