1.155 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.105 * * * [progress]: [2/2] Setting up program. 0.109 * [progress]: [Phase 2 of 3] Improving. 0.109 * [simplify]: Simplifying using # : (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th)) 0.110 * * [simplify]: iteration 0 : 13 enodes (cost 16 ) 0.112 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 0.114 * * [simplify]: iteration 2 : 38 enodes (cost 16 ) 0.119 * * [simplify]: iteration 3 : 67 enodes (cost 16 ) 0.138 * * [simplify]: iteration 4 : 136 enodes (cost 16 ) 0.164 * * [simplify]: iteration 5 : 338 enodes (cost 16 ) 0.270 * * [simplify]: iteration 6 : 965 enodes (cost 16 ) 0.713 * * [simplify]: iteration 7 : 3410 enodes (cost 16 ) 2.671 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 2.671 * [simplify]: Simplified to: (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sin th)) 2.671 * * [progress]: iteration 1 / 4 2.671 * * * [progress]: picking best candidate 2.674 * * * * [pick]: Picked # 2.675 * * * [progress]: localizing error 2.690 * * * [progress]: generating rewritten candidates 2.690 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.711 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 2.712 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 2.714 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.737 * * * [progress]: generating series expansions 2.737 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.737 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 2.737 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.737 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.737 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.737 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.737 * [taylor]: Taking taylor expansion of kx in ky 2.738 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.738 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.738 * [taylor]: Taking taylor expansion of ky in ky 2.741 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.741 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.741 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.741 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.741 * [taylor]: Taking taylor expansion of kx in kx 2.741 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.741 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.741 * [taylor]: Taking taylor expansion of ky in kx 2.743 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.743 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.743 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.743 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.743 * [taylor]: Taking taylor expansion of kx in kx 2.744 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.744 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.744 * [taylor]: Taking taylor expansion of ky in kx 2.746 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.746 * [taylor]: Taking taylor expansion of ky in ky 2.746 * [taylor]: Taking taylor expansion of 0 in ky 2.750 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 2.750 * [taylor]: Taking taylor expansion of 1/2 in ky 2.750 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.750 * [taylor]: Taking taylor expansion of ky in ky 2.756 * [taylor]: Taking taylor expansion of 0 in ky 2.759 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 2.759 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.759 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.759 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.759 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.759 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.759 * [taylor]: Taking taylor expansion of kx in ky 2.760 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.760 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.760 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.760 * [taylor]: Taking taylor expansion of ky in ky 2.762 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.762 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.763 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.763 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.763 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.763 * [taylor]: Taking taylor expansion of kx in kx 2.763 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.763 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.763 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.763 * [taylor]: Taking taylor expansion of ky in kx 2.766 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.766 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.766 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.766 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.766 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.766 * [taylor]: Taking taylor expansion of kx in kx 2.766 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.766 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.766 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.766 * [taylor]: Taking taylor expansion of ky in kx 2.769 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.769 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.769 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.769 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.769 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.769 * [taylor]: Taking taylor expansion of kx in ky 2.769 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.769 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.769 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.769 * [taylor]: Taking taylor expansion of ky in ky 2.773 * [taylor]: Taking taylor expansion of 0 in ky 2.779 * [taylor]: Taking taylor expansion of 0 in ky 2.788 * [taylor]: Taking taylor expansion of 0 in ky 2.788 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 2.788 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.788 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.788 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.788 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.788 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.788 * [taylor]: Taking taylor expansion of -1 in ky 2.788 * [taylor]: Taking taylor expansion of kx in ky 2.788 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.788 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.788 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.788 * [taylor]: Taking taylor expansion of -1 in ky 2.788 * [taylor]: Taking taylor expansion of ky in ky 2.791 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.791 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.792 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.792 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.792 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.792 * [taylor]: Taking taylor expansion of -1 in kx 2.792 * [taylor]: Taking taylor expansion of kx in kx 2.792 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.792 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.792 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.792 * [taylor]: Taking taylor expansion of -1 in kx 2.792 * [taylor]: Taking taylor expansion of ky in kx 2.795 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.795 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.795 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.795 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.795 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.795 * [taylor]: Taking taylor expansion of -1 in kx 2.795 * [taylor]: Taking taylor expansion of kx in kx 2.795 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.795 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.795 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.795 * [taylor]: Taking taylor expansion of -1 in kx 2.795 * [taylor]: Taking taylor expansion of ky in kx 2.798 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.798 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.798 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.798 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.798 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.798 * [taylor]: Taking taylor expansion of -1 in ky 2.798 * [taylor]: Taking taylor expansion of kx in ky 2.799 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.799 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.799 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.799 * [taylor]: Taking taylor expansion of -1 in ky 2.799 * [taylor]: Taking taylor expansion of ky in ky 2.802 * [taylor]: Taking taylor expansion of 0 in ky 2.805 * [taylor]: Taking taylor expansion of 0 in ky 2.814 * [taylor]: Taking taylor expansion of 0 in ky 2.814 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 2.814 * [approximate]: Taking taylor expansion of (pow (sin kx) 2.0) in (kx) around 0 2.814 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 2.814 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 2.814 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 2.814 * [taylor]: Taking taylor expansion of 2.0 in kx 2.814 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.814 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.814 * [taylor]: Taking taylor expansion of kx in kx 2.815 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 2.816 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 2.816 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 2.816 * [taylor]: Taking taylor expansion of 2.0 in kx 2.816 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.816 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.816 * [taylor]: Taking taylor expansion of kx in kx 2.848 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in (kx) around 0 2.848 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 2.848 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 2.848 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 2.849 * [taylor]: Taking taylor expansion of 2.0 in kx 2.849 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.849 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.849 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.849 * [taylor]: Taking taylor expansion of kx in kx 2.849 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 2.849 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 2.849 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 2.849 * [taylor]: Taking taylor expansion of 2.0 in kx 2.849 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.849 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.849 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.849 * [taylor]: Taking taylor expansion of kx in kx 2.886 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in (kx) around 0 2.886 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 2.886 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 2.886 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 2.886 * [taylor]: Taking taylor expansion of 2.0 in kx 2.886 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.886 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.886 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.886 * [taylor]: Taking taylor expansion of -1 in kx 2.886 * [taylor]: Taking taylor expansion of kx in kx 2.886 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 2.887 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 2.887 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 2.887 * [taylor]: Taking taylor expansion of 2.0 in kx 2.887 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.887 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.887 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.887 * [taylor]: Taking taylor expansion of -1 in kx 2.887 * [taylor]: Taking taylor expansion of kx in kx 2.920 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 2.920 * [approximate]: Taking taylor expansion of (pow (sin ky) 2.0) in (ky) around 0 2.920 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 2.920 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 2.920 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 2.920 * [taylor]: Taking taylor expansion of 2.0 in ky 2.920 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 2.920 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.920 * [taylor]: Taking taylor expansion of ky in ky 2.921 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 2.921 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 2.921 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 2.921 * [taylor]: Taking taylor expansion of 2.0 in ky 2.921 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 2.921 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.921 * [taylor]: Taking taylor expansion of ky in ky 2.955 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in (ky) around 0 2.955 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 2.955 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 2.955 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 2.955 * [taylor]: Taking taylor expansion of 2.0 in ky 2.955 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 2.955 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.955 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.955 * [taylor]: Taking taylor expansion of ky in ky 2.956 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 2.956 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 2.956 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 2.956 * [taylor]: Taking taylor expansion of 2.0 in ky 2.956 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 2.956 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.956 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.956 * [taylor]: Taking taylor expansion of ky in ky 2.989 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in (ky) around 0 2.989 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 2.989 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 2.989 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 2.989 * [taylor]: Taking taylor expansion of 2.0 in ky 2.989 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 2.989 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.989 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.989 * [taylor]: Taking taylor expansion of -1 in ky 2.989 * [taylor]: Taking taylor expansion of ky in ky 2.989 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 2.989 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 2.989 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 2.989 * [taylor]: Taking taylor expansion of 2.0 in ky 2.989 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 2.989 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.989 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.989 * [taylor]: Taking taylor expansion of -1 in ky 2.989 * [taylor]: Taking taylor expansion of ky in ky 3.023 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.023 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in (ky kx) around 0 3.023 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in kx 3.023 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 3.023 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 3.023 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 3.023 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 3.024 * [taylor]: Taking taylor expansion of (sin kx) in kx 3.024 * [taylor]: Taking taylor expansion of kx in kx 3.024 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 3.024 * [taylor]: Taking taylor expansion of (sin ky) in kx 3.024 * [taylor]: Taking taylor expansion of ky in kx 3.030 * [taylor]: Taking taylor expansion of (sin ky) in kx 3.030 * [taylor]: Taking taylor expansion of ky in kx 3.030 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 3.030 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 3.030 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 3.030 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 3.030 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 3.030 * [taylor]: Taking taylor expansion of (sin kx) in ky 3.030 * [taylor]: Taking taylor expansion of kx in ky 3.030 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 3.030 * [taylor]: Taking taylor expansion of (sin ky) in ky 3.030 * [taylor]: Taking taylor expansion of ky in ky 3.033 * [taylor]: Taking taylor expansion of (sin ky) in ky 3.033 * [taylor]: Taking taylor expansion of ky in ky 3.033 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 3.033 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 3.033 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 3.033 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 3.033 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 3.033 * [taylor]: Taking taylor expansion of (sin kx) in ky 3.033 * [taylor]: Taking taylor expansion of kx in ky 3.033 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 3.033 * [taylor]: Taking taylor expansion of (sin ky) in ky 3.033 * [taylor]: Taking taylor expansion of ky in ky 3.036 * [taylor]: Taking taylor expansion of (sin ky) in ky 3.036 * [taylor]: Taking taylor expansion of ky in ky 3.036 * [taylor]: Taking taylor expansion of 0 in kx 3.037 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 3.037 * [taylor]: Taking taylor expansion of (sin kx) in kx 3.037 * [taylor]: Taking taylor expansion of kx in kx 3.043 * [taylor]: Taking taylor expansion of 0 in kx 3.050 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3))))) in kx 3.051 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3)))) in kx 3.051 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (sin kx))) in kx 3.051 * [taylor]: Taking taylor expansion of 1/6 in kx 3.051 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 3.051 * [taylor]: Taking taylor expansion of (sin kx) in kx 3.051 * [taylor]: Taking taylor expansion of kx in kx 3.051 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow (sin kx) 3))) in kx 3.051 * [taylor]: Taking taylor expansion of 1/2 in kx 3.051 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin kx) 3)) in kx 3.051 * [taylor]: Taking taylor expansion of (pow (sin kx) 3) in kx 3.051 * [taylor]: Taking taylor expansion of (sin kx) in kx 3.051 * [taylor]: Taking taylor expansion of kx in kx 3.072 * [taylor]: Taking taylor expansion of 0 in kx 3.073 * [approximate]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in (ky kx) around 0 3.073 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 3.073 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 3.073 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 3.073 * [taylor]: Taking taylor expansion of ky in kx 3.073 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 3.073 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 3.073 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 3.073 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 3.073 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 3.073 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 3.073 * [taylor]: Taking taylor expansion of kx in kx 3.073 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 3.073 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 3.073 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 3.073 * [taylor]: Taking taylor expansion of ky in kx 3.077 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 3.077 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 3.077 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 3.077 * [taylor]: Taking taylor expansion of ky in ky 3.077 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 3.077 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 3.077 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 3.077 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 3.077 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 3.077 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 3.077 * [taylor]: Taking taylor expansion of kx in ky 3.077 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 3.077 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 3.077 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 3.077 * [taylor]: Taking taylor expansion of ky in ky 3.081 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 3.081 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 3.081 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 3.081 * [taylor]: Taking taylor expansion of ky in ky 3.081 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 3.081 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 3.081 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 3.081 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 3.081 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 3.081 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 3.081 * [taylor]: Taking taylor expansion of kx in ky 3.082 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 3.082 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 3.082 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 3.082 * [taylor]: Taking taylor expansion of ky in ky 3.086 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 3.086 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 3.086 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 3.086 * [taylor]: Taking taylor expansion of ky in kx 3.086 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 3.086 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 3.086 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 3.086 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 3.086 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 3.086 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 3.086 * [taylor]: Taking taylor expansion of kx in kx 3.086 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 3.086 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 3.086 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 3.086 * [taylor]: Taking taylor expansion of ky in kx 3.091 * [taylor]: Taking taylor expansion of 0 in kx 3.097 * [taylor]: Taking taylor expansion of 0 in kx 3.110 * [taylor]: Taking taylor expansion of 0 in kx 3.111 * [approximate]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in (ky kx) around 0 3.111 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 3.111 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 3.111 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 3.111 * [taylor]: Taking taylor expansion of -1 in kx 3.111 * [taylor]: Taking taylor expansion of ky in kx 3.111 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 3.111 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 3.111 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 3.111 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 3.111 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 3.111 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 3.111 * [taylor]: Taking taylor expansion of -1 in kx 3.111 * [taylor]: Taking taylor expansion of kx in kx 3.111 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 3.111 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 3.111 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 3.111 * [taylor]: Taking taylor expansion of -1 in kx 3.112 * [taylor]: Taking taylor expansion of ky in kx 3.115 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 3.115 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 3.115 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 3.115 * [taylor]: Taking taylor expansion of -1 in ky 3.115 * [taylor]: Taking taylor expansion of ky in ky 3.118 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 3.118 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 3.118 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 3.118 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 3.118 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 3.118 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 3.118 * [taylor]: Taking taylor expansion of -1 in ky 3.118 * [taylor]: Taking taylor expansion of kx in ky 3.118 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 3.119 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 3.119 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 3.119 * [taylor]: Taking taylor expansion of -1 in ky 3.119 * [taylor]: Taking taylor expansion of ky in ky 3.122 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 3.122 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 3.122 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 3.122 * [taylor]: Taking taylor expansion of -1 in ky 3.122 * [taylor]: Taking taylor expansion of ky in ky 3.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 3.123 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 3.123 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 3.123 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 3.123 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 3.123 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 3.123 * [taylor]: Taking taylor expansion of -1 in ky 3.123 * [taylor]: Taking taylor expansion of kx in ky 3.123 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 3.123 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 3.123 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 3.123 * [taylor]: Taking taylor expansion of -1 in ky 3.123 * [taylor]: Taking taylor expansion of ky in ky 3.127 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 3.127 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 3.127 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 3.127 * [taylor]: Taking taylor expansion of -1 in kx 3.127 * [taylor]: Taking taylor expansion of ky in kx 3.127 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 3.127 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 3.127 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 3.127 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 3.127 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 3.127 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 3.127 * [taylor]: Taking taylor expansion of -1 in kx 3.127 * [taylor]: Taking taylor expansion of kx in kx 3.128 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 3.128 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 3.128 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 3.128 * [taylor]: Taking taylor expansion of -1 in kx 3.128 * [taylor]: Taking taylor expansion of ky in kx 3.132 * [taylor]: Taking taylor expansion of 0 in kx 3.139 * [taylor]: Taking taylor expansion of 0 in kx 3.151 * [taylor]: Taking taylor expansion of 0 in kx 3.152 * * * [progress]: simplifying candidates 3.154 * [simplify]: Simplifying using # : (expm1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (log1p (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (log (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (exp (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (* (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (* (* (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (* (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt 1) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sqrt (pow 1 2.0)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sqrt 1) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3))) (sqrt (+ (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (- (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (* (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)))) (sqrt (- (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (/ 1 2) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (expm1 (pow (sin kx) 2.0)) (log1p (pow (sin kx) 2.0)) (* (log (sin kx)) 2.0) (* (log (sin kx)) 2.0) (* 1 2.0) (pow (sin kx) (* (cbrt 2.0) (cbrt 2.0))) (pow (sin kx) (sqrt 2.0)) (pow (sin kx) 1) (pow (* (cbrt (sin kx)) (cbrt (sin kx))) 2.0) (pow (cbrt (sin kx)) 2.0) (pow (sqrt (sin kx)) 2.0) (pow (sqrt (sin kx)) 2.0) (pow 1 2.0) (pow (sin kx) 2.0) (log (pow (sin kx) 2.0)) (exp (pow (sin kx) 2.0)) (* (cbrt (pow (sin kx) 2.0)) (cbrt (pow (sin kx) 2.0))) (cbrt (pow (sin kx) 2.0)) (* (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (pow (sin kx) 2.0)) (sqrt (pow (sin kx) 2.0)) (sqrt (pow (sin kx) 2.0)) (pow (sin kx) (/ 2.0 2)) (pow (sin kx) (/ 2.0 2)) (expm1 (pow (sin ky) 2.0)) (log1p (pow (sin ky) 2.0)) (* (log (sin ky)) 2.0) (* (log (sin ky)) 2.0) (* 1 2.0) (pow (sin ky) (* (cbrt 2.0) (cbrt 2.0))) (pow (sin ky) (sqrt 2.0)) (pow (sin ky) 1) (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0) (pow (sqrt (sin ky)) 2.0) (pow (sqrt (sin ky)) 2.0) (pow 1 2.0) (pow (sin ky) 2.0) (log (pow (sin ky) 2.0)) (exp (pow (sin ky) 2.0)) (* (cbrt (pow (sin ky) 2.0)) (cbrt (pow (sin ky) 2.0))) (cbrt (pow (sin ky) 2.0)) (* (* (pow (sin ky) 2.0) (pow (sin ky) 2.0)) (pow (sin ky) 2.0)) (sqrt (pow (sin ky) 2.0)) (sqrt (pow (sin ky) 2.0)) (pow (sin ky) (/ 2.0 2)) (pow (sin ky) (/ 2.0 2)) (expm1 (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (log1p (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (- (log (sin ky)) (log (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (log (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (exp (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (* (* (sin ky) (sin ky)) (sin ky)) (* (* (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (* (cbrt (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (cbrt (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (cbrt (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (* (* (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (sqrt (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (- (sin ky)) (- (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (* (cbrt (sin ky)) (cbrt (sin ky))) (* (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (cbrt (sin ky)) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (* (cbrt (sin ky)) (cbrt (sin ky))) (sqrt (* (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (cbrt (sin ky)) (sqrt (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (* (cbrt (sin ky)) (cbrt (sin ky))) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (cbrt (sin ky)) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (* (cbrt (sin ky)) (cbrt (sin ky))) (sqrt 1)) (/ (cbrt (sin ky)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (* (cbrt (sin ky)) (cbrt (sin ky))) (sqrt (pow 1 2.0))) (/ (cbrt (sin ky)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (* (cbrt (sin ky)) (cbrt (sin ky))) (sqrt 1)) (/ (cbrt (sin ky)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (* (cbrt (sin ky)) (cbrt (sin ky))) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (cbrt (sin ky)) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (* (cbrt (sin ky)) (cbrt (sin ky))) 1) (/ (cbrt (sin ky)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sqrt (sin ky)) (* (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (sqrt (sin ky)) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sqrt (sin ky)) (sqrt (* (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (sqrt (sin ky)) (sqrt (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sqrt (sin ky)) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sqrt (sin ky)) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sqrt (sin ky)) (sqrt 1)) (/ (sqrt (sin ky)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sqrt (sin ky)) (sqrt (pow 1 2.0))) (/ (sqrt (sin ky)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sqrt (sin ky)) (sqrt 1)) (/ (sqrt (sin ky)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sqrt (sin ky)) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sqrt (sin ky)) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sqrt (sin ky)) 1) (/ (sqrt (sin ky)) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (* (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (sin ky) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ 1 (sqrt (* (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (sin ky) (sqrt (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ 1 (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ 1 (sqrt 1)) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (sqrt (pow 1 2.0))) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (sqrt 1)) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ 1 1) (/ (sin ky) (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ 1 (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (/ (sin ky) (* (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))) (cbrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (sin ky) (sqrt (* (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (cbrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0)))))) (/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sin ky) (sqrt 1)) (/ (sin ky) (sqrt (pow 1 2.0))) (/ (sin ky) (sqrt 1)) (/ (sin ky) (sqrt (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))))) (/ (sin ky) 1) (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (cbrt (sin ky))) (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sqrt (sin ky))) (/ (sqrt (+ (pow (sin kx) 2.0) (pow (sin ky) 2.0))) (sin ky)) (/ (sin ky) (sqrt (+ (pow (pow (sin kx) 2.0) 3) (pow (pow (sin ky) 2.0) 3)))) (/ (sin ky) (sqrt (- (* (pow (sin kx) 2.0) (pow (sin kx) 2.0)) (* (pow (sin ky) 2.0) (pow (sin ky) 2.0))))) (- (+ ky (* 1/12 (* (pow kx 2) ky))) (* 1/6 (pow ky 3))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (- (+ (pow kx 2) (* 0.04444444444444444 (pow kx 6))) (* 0.3333333333333333 (pow kx 4))) (pow (sin kx) 2.0) (pow (sin kx) 2.0) (- (+ (* 0.04444444444444444 (pow ky 6)) (pow ky 2)) (* 0.3333333333333333 (pow ky 4))) (pow (sin ky) 2.0) (pow (sin ky) 2.0) (* 1/6 (* kx ky)) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) 3.159 * * [simplify]: iteration 0 : 178 enodes (cost 1808 ) 3.189 * * [simplify]: iteration 1 : 349 enodes (cost 1643 ) 3.247 * * [simplify]: iteration 2 : 942 enodes (cost 1563 )