13.068 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.501 * * * [progress]: [2/2] Setting up program. 1.505 * [progress]: [Phase 2 of 3] Improving. 1.505 * [simplify]: Simplifying using # : (*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sin.f64 th)) 1.576 * * [simplify]: iteration 0 : 4766 enodes (cost 16 ) 1.576 * * [simplify]: iteration 1 : 4766 enodes (cost 16 ) 1.577 * [simplify]: Simplified to: (*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sin.f64 th)) 1.577 * * [progress]: iteration 1 / 4 1.577 * * * [progress]: picking best candidate 1.580 * * * * [pick]: Picked # 1.580 * * * [progress]: localizing error 1.595 * * * [progress]: generating rewritten candidates 1.595 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.607 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 1.610 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 1.612 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.627 * * * [progress]: generating series expansions 1.627 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.628 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 1.628 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.628 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.628 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.628 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.628 * [taylor]: Taking taylor expansion of kx in ky 1.628 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.628 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.628 * [taylor]: Taking taylor expansion of ky in ky 1.629 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.629 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.629 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.629 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.629 * [taylor]: Taking taylor expansion of kx in kx 1.629 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.629 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.629 * [taylor]: Taking taylor expansion of ky in kx 1.630 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.630 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.630 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.630 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.630 * [taylor]: Taking taylor expansion of kx in kx 1.630 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.630 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.630 * [taylor]: Taking taylor expansion of ky in kx 1.631 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.631 * [taylor]: Taking taylor expansion of ky in ky 1.631 * [taylor]: Taking taylor expansion of 0 in ky 1.631 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 1.631 * [taylor]: Taking taylor expansion of 1/2 in ky 1.631 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.631 * [taylor]: Taking taylor expansion of ky in ky 1.632 * [taylor]: Taking taylor expansion of 0 in ky 1.633 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 1.633 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.633 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.633 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.633 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.633 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.633 * [taylor]: Taking taylor expansion of kx in ky 1.633 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.633 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.633 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.633 * [taylor]: Taking taylor expansion of ky in ky 1.634 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.634 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.635 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.635 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.635 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.635 * [taylor]: Taking taylor expansion of kx in kx 1.635 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.635 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.635 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.635 * [taylor]: Taking taylor expansion of ky in kx 1.636 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.636 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.636 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.636 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.636 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.636 * [taylor]: Taking taylor expansion of kx in kx 1.636 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.636 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.636 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.636 * [taylor]: Taking taylor expansion of ky in kx 1.637 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.637 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.637 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.637 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.637 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.637 * [taylor]: Taking taylor expansion of kx in ky 1.638 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.638 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.638 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.638 * [taylor]: Taking taylor expansion of ky in ky 1.639 * [taylor]: Taking taylor expansion of 0 in ky 1.640 * [taylor]: Taking taylor expansion of 0 in ky 1.641 * [taylor]: Taking taylor expansion of 0 in ky 1.642 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 1.642 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.642 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.642 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.642 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.642 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.642 * [taylor]: Taking taylor expansion of -1 in ky 1.642 * [taylor]: Taking taylor expansion of kx in ky 1.642 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.642 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.642 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.642 * [taylor]: Taking taylor expansion of -1 in ky 1.642 * [taylor]: Taking taylor expansion of ky in ky 1.643 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.643 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.643 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.643 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.643 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.643 * [taylor]: Taking taylor expansion of -1 in kx 1.643 * [taylor]: Taking taylor expansion of kx in kx 1.644 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.644 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.644 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.644 * [taylor]: Taking taylor expansion of -1 in kx 1.644 * [taylor]: Taking taylor expansion of ky in kx 1.645 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.645 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.645 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.645 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.645 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.645 * [taylor]: Taking taylor expansion of -1 in kx 1.645 * [taylor]: Taking taylor expansion of kx in kx 1.645 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.645 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.645 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.645 * [taylor]: Taking taylor expansion of -1 in kx 1.645 * [taylor]: Taking taylor expansion of ky in kx 1.646 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.646 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.646 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.646 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.646 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.646 * [taylor]: Taking taylor expansion of -1 in ky 1.646 * [taylor]: Taking taylor expansion of kx in ky 1.647 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.647 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.647 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.647 * [taylor]: Taking taylor expansion of -1 in ky 1.647 * [taylor]: Taking taylor expansion of ky in ky 1.648 * [taylor]: Taking taylor expansion of 0 in ky 1.649 * [taylor]: Taking taylor expansion of 0 in ky 1.650 * [taylor]: Taking taylor expansion of 0 in ky 1.651 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 1.651 * [approximate]: Taking taylor expansion of (pow (sin kx) 2.0) in (kx) around 0 1.651 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 1.651 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 1.651 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 1.651 * [taylor]: Taking taylor expansion of 2.0 in kx 1.651 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 1.651 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.651 * [taylor]: Taking taylor expansion of kx in kx 1.651 * [taylor]: Taking taylor expansion of (pow (sin kx) 2.0) in kx 1.651 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin kx)))) in kx 1.651 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin kx))) in kx 1.651 * [taylor]: Taking taylor expansion of 2.0 in kx 1.651 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 1.651 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.651 * [taylor]: Taking taylor expansion of kx in kx 1.655 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in (kx) around 0 1.655 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 1.655 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 1.655 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 1.655 * [taylor]: Taking taylor expansion of 2.0 in kx 1.655 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 1.655 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.655 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.655 * [taylor]: Taking taylor expansion of kx in kx 1.655 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2.0) in kx 1.655 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 kx))))) in kx 1.655 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 kx)))) in kx 1.655 * [taylor]: Taking taylor expansion of 2.0 in kx 1.655 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 1.655 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.655 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.655 * [taylor]: Taking taylor expansion of kx in kx 1.661 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in (kx) around 0 1.662 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 1.662 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 1.662 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 1.662 * [taylor]: Taking taylor expansion of 2.0 in kx 1.662 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 1.662 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.662 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.662 * [taylor]: Taking taylor expansion of -1 in kx 1.662 * [taylor]: Taking taylor expansion of kx in kx 1.662 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2.0) in kx 1.662 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 kx))))) in kx 1.662 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 kx)))) in kx 1.662 * [taylor]: Taking taylor expansion of 2.0 in kx 1.662 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 1.662 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.662 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.662 * [taylor]: Taking taylor expansion of -1 in kx 1.662 * [taylor]: Taking taylor expansion of kx in kx 1.668 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 1.668 * [approximate]: Taking taylor expansion of (pow (sin ky) 2.0) in (ky) around 0 1.668 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 1.668 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 1.668 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 1.668 * [taylor]: Taking taylor expansion of 2.0 in ky 1.669 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 1.669 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.669 * [taylor]: Taking taylor expansion of ky in ky 1.669 * [taylor]: Taking taylor expansion of (pow (sin ky) 2.0) in ky 1.669 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin ky)))) in ky 1.669 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin ky))) in ky 1.669 * [taylor]: Taking taylor expansion of 2.0 in ky 1.669 * [taylor]: Taking taylor expansion of (log (sin ky)) in ky 1.669 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.669 * [taylor]: Taking taylor expansion of ky in ky 1.672 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in (ky) around 0 1.672 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 1.672 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 1.672 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 1.672 * [taylor]: Taking taylor expansion of 2.0 in ky 1.672 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 1.672 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.672 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.672 * [taylor]: Taking taylor expansion of ky in ky 1.672 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2.0) in ky 1.672 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ 1 ky))))) in ky 1.672 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ 1 ky)))) in ky 1.673 * [taylor]: Taking taylor expansion of 2.0 in ky 1.673 * [taylor]: Taking taylor expansion of (log (sin (/ 1 ky))) in ky 1.673 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.673 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.673 * [taylor]: Taking taylor expansion of ky in ky 1.679 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in (ky) around 0 1.679 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 1.679 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 1.679 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 1.679 * [taylor]: Taking taylor expansion of 2.0 in ky 1.679 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 1.679 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.679 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.679 * [taylor]: Taking taylor expansion of -1 in ky 1.679 * [taylor]: Taking taylor expansion of ky in ky 1.679 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2.0) in ky 1.679 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (sin (/ -1 ky))))) in ky 1.680 * [taylor]: Taking taylor expansion of (* 2.0 (log (sin (/ -1 ky)))) in ky 1.680 * [taylor]: Taking taylor expansion of 2.0 in ky 1.680 * [taylor]: Taking taylor expansion of (log (sin (/ -1 ky))) in ky 1.680 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.680 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.680 * [taylor]: Taking taylor expansion of -1 in ky 1.680 * [taylor]: Taking taylor expansion of ky in ky 1.686 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.686 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in (ky kx) around 0 1.686 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in kx 1.686 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 1.686 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.686 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.686 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.686 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.687 * [taylor]: Taking taylor expansion of kx in kx 1.687 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.687 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.687 * [taylor]: Taking taylor expansion of ky in kx 1.687 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.688 * [taylor]: Taking taylor expansion of ky in kx 1.688 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 1.688 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 1.688 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.688 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.688 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.688 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.688 * [taylor]: Taking taylor expansion of kx in ky 1.688 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.688 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.688 * [taylor]: Taking taylor expansion of ky in ky 1.689 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.689 * [taylor]: Taking taylor expansion of ky in ky 1.689 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 1.689 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 1.689 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.689 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.689 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.689 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.689 * [taylor]: Taking taylor expansion of kx in ky 1.689 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.689 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.689 * [taylor]: Taking taylor expansion of ky in ky 1.690 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.690 * [taylor]: Taking taylor expansion of ky in ky 1.690 * [taylor]: Taking taylor expansion of 0 in kx 1.690 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 1.690 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.690 * [taylor]: Taking taylor expansion of kx in kx 1.691 * [taylor]: Taking taylor expansion of 0 in kx 1.693 * [taylor]: Taking taylor expansion of (neg (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3))))) in kx 1.693 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3)))) in kx 1.693 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (sin kx))) in kx 1.693 * [taylor]: Taking taylor expansion of 1/6 in kx 1.693 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 1.693 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.693 * [taylor]: Taking taylor expansion of kx in kx 1.693 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow (sin kx) 3))) in kx 1.693 * [taylor]: Taking taylor expansion of 1/2 in kx 1.693 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin kx) 3)) in kx 1.693 * [taylor]: Taking taylor expansion of (pow (sin kx) 3) in kx 1.693 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.693 * [taylor]: Taking taylor expansion of kx in kx 1.699 * [taylor]: Taking taylor expansion of 0 in kx 1.699 * [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 1.699 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 1.699 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.699 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.699 * [taylor]: Taking taylor expansion of ky in kx 1.700 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 1.700 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.700 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.700 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.700 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.700 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.700 * [taylor]: Taking taylor expansion of kx in kx 1.700 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.700 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.700 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.700 * [taylor]: Taking taylor expansion of ky in kx 1.702 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 1.702 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.702 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.702 * [taylor]: Taking taylor expansion of ky in ky 1.702 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 1.702 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.702 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.702 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.702 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.702 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.702 * [taylor]: Taking taylor expansion of kx in ky 1.702 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.702 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.702 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.702 * [taylor]: Taking taylor expansion of ky in ky 1.704 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 1.704 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.704 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.704 * [taylor]: Taking taylor expansion of ky in ky 1.704 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 1.704 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.704 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.704 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.704 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.704 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.704 * [taylor]: Taking taylor expansion of kx in ky 1.704 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.704 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.704 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.704 * [taylor]: Taking taylor expansion of ky in ky 1.706 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 1.706 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.706 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.706 * [taylor]: Taking taylor expansion of ky in kx 1.706 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 1.706 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.706 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.706 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.706 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.706 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.706 * [taylor]: Taking taylor expansion of kx in kx 1.706 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.706 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.706 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.706 * [taylor]: Taking taylor expansion of ky in kx 1.709 * [taylor]: Taking taylor expansion of 0 in kx 1.711 * [taylor]: Taking taylor expansion of 0 in kx 1.715 * [taylor]: Taking taylor expansion of 0 in kx 1.715 * [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 1.715 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 1.715 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.715 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.715 * [taylor]: Taking taylor expansion of -1 in kx 1.715 * [taylor]: Taking taylor expansion of ky in kx 1.716 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 1.716 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.716 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.716 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.716 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.716 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.716 * [taylor]: Taking taylor expansion of -1 in kx 1.716 * [taylor]: Taking taylor expansion of kx in kx 1.716 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.716 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.716 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.716 * [taylor]: Taking taylor expansion of -1 in kx 1.716 * [taylor]: Taking taylor expansion of ky in kx 1.718 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 1.718 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.718 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.718 * [taylor]: Taking taylor expansion of -1 in ky 1.718 * [taylor]: Taking taylor expansion of ky in ky 1.718 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 1.718 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.718 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.718 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.718 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.718 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.718 * [taylor]: Taking taylor expansion of -1 in ky 1.718 * [taylor]: Taking taylor expansion of kx in ky 1.718 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.718 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.718 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.718 * [taylor]: Taking taylor expansion of -1 in ky 1.718 * [taylor]: Taking taylor expansion of ky in ky 1.720 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 1.720 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.720 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.720 * [taylor]: Taking taylor expansion of -1 in ky 1.720 * [taylor]: Taking taylor expansion of ky in ky 1.720 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 1.720 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.720 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.720 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.720 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.720 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.720 * [taylor]: Taking taylor expansion of -1 in ky 1.720 * [taylor]: Taking taylor expansion of kx in ky 1.720 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.720 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.720 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.720 * [taylor]: Taking taylor expansion of -1 in ky 1.720 * [taylor]: Taking taylor expansion of ky in ky 1.722 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 1.722 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.722 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.722 * [taylor]: Taking taylor expansion of -1 in kx 1.722 * [taylor]: Taking taylor expansion of ky in kx 1.722 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 1.722 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.722 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.722 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.722 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.723 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.723 * [taylor]: Taking taylor expansion of -1 in kx 1.723 * [taylor]: Taking taylor expansion of kx in kx 1.723 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.723 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.723 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.723 * [taylor]: Taking taylor expansion of -1 in kx 1.723 * [taylor]: Taking taylor expansion of ky in kx 1.725 * [taylor]: Taking taylor expansion of 0 in kx 1.727 * [taylor]: Taking taylor expansion of 0 in kx 1.731 * [taylor]: Taking taylor expansion of 0 in kx 1.731 * * * [progress]: simplifying candidates 1.733 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (pow.f64 1 2.0)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2.0) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2.0) 3))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 kx) 2.0)) (-.f64 (*.f64 (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 ky) 2.0)) (*.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 kx) 2.0)) (*.f64 (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (log.f64 (sin.f64 kx)) 2.0) (*.f64 (log.f64 (sin.f64 kx)) 2.0) (*.f64 1 2.0) (pow.f64 (sin.f64 kx) (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0))) (pow.f64 (sin.f64 kx) (sqrt.f64 2.0)) (pow.f64 (sin.f64 kx) 1) (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0) (pow.f64 (sqrt.f64 (sin.f64 kx)) 2.0) (pow.f64 (sqrt.f64 (sin.f64 kx)) 2.0) (pow.f64 1 2.0) (pow.f64 (sin.f64 kx) 2.0) (log.f64 (pow.f64 (sin.f64 kx) 2.0)) (exp.f64 (pow.f64 (sin.f64 kx) 2.0)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2.0)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2.0))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2.0)) (*.f64 (*.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 kx) 2.0)) (pow.f64 (sin.f64 kx) 2.0)) (sqrt.f64 (pow.f64 (sin.f64 kx) 2.0)) (sqrt.f64 (pow.f64 (sin.f64 kx) 2.0)) (pow.f64 (sin.f64 kx) (/.f64 2.0 2)) (pow.f64 (sin.f64 kx) (/.f64 2.0 2)) (*.f64 (log.f64 (sin.f64 ky)) 2.0) (*.f64 (log.f64 (sin.f64 ky)) 2.0) (*.f64 1 2.0) (pow.f64 (sin.f64 ky) (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0))) (pow.f64 (sin.f64 ky) (sqrt.f64 2.0)) (pow.f64 (sin.f64 ky) 1) (pow.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2.0) (pow.f64 (sqrt.f64 (sin.f64 ky)) 2.0) (pow.f64 (sqrt.f64 (sin.f64 ky)) 2.0) (pow.f64 1 2.0) (pow.f64 (sin.f64 ky) 2.0) (log.f64 (pow.f64 (sin.f64 ky) 2.0)) (exp.f64 (pow.f64 (sin.f64 ky) 2.0)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2.0)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (pow.f64 (sin.f64 ky) 2.0)) (*.f64 (*.f64 (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 ky) 2.0)) (pow.f64 (sin.f64 ky) 2.0)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2.0)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2.0)) (pow.f64 (sin.f64 ky) (/.f64 2.0 2)) (pow.f64 (sin.f64 ky) (/.f64 2.0 2)) (-.f64 (log.f64 (sin.f64 ky)) (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (exp.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (*.f64 (*.f64 (sin.f64 ky) (sin.f64 ky)) (sin.f64 ky)) (*.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (*.f64 (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (*.f64 (*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (neg.f64 (sin.f64 ky)) (neg.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 1)) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (pow.f64 1 2.0))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 1)) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) 1) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 1)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (pow.f64 1 2.0))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 1)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) 1) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sin.f64 ky) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 1 (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 1 (sqrt.f64 (pow.f64 1 2.0))) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 1 (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 1 1) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (pow.f64 1 2.0))) (/.f64 (sin.f64 ky) (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) 1) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2.0) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2.0) 3)))) (/.f64 (sin.f64 ky) (sqrt.f64 (-.f64 (*.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 kx) 2.0)) (*.f64 (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (-.f64 (+.f64 ky (*.f64 1/12 (*.f64 (pow.f64 kx 2) ky))) (*.f64 1/6 (pow.f64 ky 3))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (-.f64 (+.f64 (pow.f64 kx 2) (*.f64 0.04444444444444444 (pow.f64 kx 6))) (*.f64 0.3333333333333333 (pow.f64 kx 4))) (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 kx) 2.0) (-.f64 (+.f64 (*.f64 0.04444444444444444 (pow.f64 ky 6)) (pow.f64 ky 2)) (*.f64 0.3333333333333333 (pow.f64 ky 4))) (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 ky) 2.0) (*.f64 1/6 (*.f64 kx ky)) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) 1.789 * * [simplify]: iteration 0 : 4925 enodes (cost 1503 ) 1.789 * * [simplify]: iteration 1 : 4925 enodes (cost 1503 ) 1.795 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) 3) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2.0) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2.0) 3))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) (*.f64 2.0 2)) (*.f64 (pow.f64 (sin.f64 ky) 2.0) (-.f64 (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 kx) 2.0))))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) (*.f64 2.0 2)) (pow.f64 (sin.f64 ky) (*.f64 2.0 2)))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 2.0 (log.f64 (sin.f64 kx))) (*.f64 2.0 (log.f64 (sin.f64 kx))) 2.0 (pow.f64 (sin.f64 kx) (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0))) (pow.f64 (sin.f64 kx) (sqrt.f64 2.0)) (sin.f64 kx) (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0) (pow.f64 (sqrt.f64 (sin.f64 kx)) 2.0) (pow.f64 (sqrt.f64 (sin.f64 kx)) 2.0) 1 (pow.f64 (sin.f64 kx) 2.0) (*.f64 2.0 (log.f64 (sin.f64 kx))) (exp.f64 (pow.f64 (sin.f64 kx) 2.0)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2.0)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2.0))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2.0)) (pow.f64 (pow.f64 (sin.f64 kx) 2.0) 3) (sqrt.f64 (pow.f64 (sin.f64 kx) 2.0)) (sqrt.f64 (pow.f64 (sin.f64 kx) 2.0)) (pow.f64 (sin.f64 kx) (*.f64 1/2 2.0)) (pow.f64 (sin.f64 kx) (*.f64 1/2 2.0)) (*.f64 2.0 (log.f64 (sin.f64 ky))) (*.f64 2.0 (log.f64 (sin.f64 ky))) 2.0 (pow.f64 (sin.f64 ky) (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0))) (pow.f64 (sin.f64 ky) (sqrt.f64 2.0)) (sin.f64 ky) (pow.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2.0) (pow.f64 (sqrt.f64 (sin.f64 ky)) 2.0) (pow.f64 (sqrt.f64 (sin.f64 ky)) 2.0) 1 (pow.f64 (sin.f64 ky) 2.0) (*.f64 2.0 (log.f64 (sin.f64 ky))) (exp.f64 (pow.f64 (sin.f64 ky) 2.0)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2.0)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (pow.f64 (sin.f64 ky) 2.0)) (pow.f64 (pow.f64 (sin.f64 ky) 2.0) 3) (sqrt.f64 (pow.f64 (sin.f64 ky) 2.0)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2.0)) (pow.f64 (sin.f64 ky) (*.f64 1/2 2.0)) (pow.f64 (sin.f64 ky) (*.f64 1/2 2.0)) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (exp.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) 3) (*.f64 (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) 3) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (neg.f64 (sin.f64 ky)) (neg.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sin.f64 ky) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))))) (/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sin.f64 ky) (sin.f64 ky) (sin.f64 ky) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))))) (sin.f64 ky) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2.0) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2.0) 3)))) (/.f64 (sin.f64 ky) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) (*.f64 2.0 2)) (pow.f64 (sin.f64 ky) (*.f64 2.0 2))))) (-.f64 (+.f64 ky (*.f64 1/12 (*.f64 ky (*.f64 kx kx)))) (*.f64 1/6 (pow.f64 ky 3))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (-.f64 (+.f64 (*.f64 kx kx) (*.f64 0.04444444444444444 (pow.f64 kx 6))) (*.f64 0.3333333333333333 (pow.f64 kx 4))) (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 kx) 2.0) (-.f64 (+.f64 (*.f64 0.04444444444444444 (pow.f64 ky 6)) (*.f64 ky ky)) (*.f64 0.3333333333333333 (pow.f64 ky 4))) (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 ky) 2.0) (*.f64 1/6 (*.f64 kx ky)) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) 1.796 * * * [progress]: adding candidates to table 1.911 * * [progress]: iteration 2 / 4 1.912 * * * [progress]: picking best candidate 1.946 * * * * [pick]: Picked # 1.946 * * * [progress]: localizing error 1.962 * * * [progress]: generating rewritten candidates 1.962 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.993 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2) 1.996 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1) 2.003 * * * [progress]: generating series expansions 2.003 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.003 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in (ky kx) around 0 2.003 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 2.003 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.003 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.003 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.003 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.003 * [taylor]: Taking taylor expansion of kx in kx 2.003 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.003 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.003 * [taylor]: Taking taylor expansion of ky in kx 2.004 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.004 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.004 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.004 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.004 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.004 * [taylor]: Taking taylor expansion of kx in ky 2.004 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.004 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.004 * [taylor]: Taking taylor expansion of ky in ky 2.005 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.005 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.005 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.005 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.005 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.005 * [taylor]: Taking taylor expansion of kx in ky 2.005 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.005 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.005 * [taylor]: Taking taylor expansion of ky in ky 2.006 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 2.006 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.006 * [taylor]: Taking taylor expansion of kx in kx 2.006 * [taylor]: Taking taylor expansion of 0 in kx 2.007 * [taylor]: Taking taylor expansion of (/ -1/2 (pow (sin kx) 3)) in kx 2.007 * [taylor]: Taking taylor expansion of -1/2 in kx 2.007 * [taylor]: Taking taylor expansion of (pow (sin kx) 3) in kx 2.007 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.007 * [taylor]: Taking taylor expansion of kx in kx 2.009 * [taylor]: Taking taylor expansion of 0 in kx 2.011 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in (ky kx) around 0 2.011 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in kx 2.011 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in kx 2.011 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in kx 2.011 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.011 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.011 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.011 * [taylor]: Taking taylor expansion of ky in kx 2.011 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.011 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.011 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.011 * [taylor]: Taking taylor expansion of kx in kx 2.013 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in ky 2.013 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in ky 2.013 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in ky 2.013 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.013 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.013 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.013 * [taylor]: Taking taylor expansion of ky in ky 2.013 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.013 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.013 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.013 * [taylor]: Taking taylor expansion of kx in ky 2.015 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in ky 2.015 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in ky 2.015 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in ky 2.015 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.015 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.015 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.015 * [taylor]: Taking taylor expansion of ky in ky 2.015 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.015 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.015 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.015 * [taylor]: Taking taylor expansion of kx in ky 2.017 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in kx 2.017 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in kx 2.017 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in kx 2.017 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.017 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.017 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.017 * [taylor]: Taking taylor expansion of ky in kx 2.017 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.017 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.017 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.017 * [taylor]: Taking taylor expansion of kx in kx 2.019 * [taylor]: Taking taylor expansion of 0 in kx 2.020 * [taylor]: Taking taylor expansion of 0 in kx 2.023 * [taylor]: Taking taylor expansion of 0 in kx 2.024 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in (ky kx) around 0 2.024 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.024 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.024 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.024 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.024 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.024 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.024 * [taylor]: Taking taylor expansion of -1 in kx 2.024 * [taylor]: Taking taylor expansion of kx in kx 2.024 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.024 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.024 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.024 * [taylor]: Taking taylor expansion of -1 in kx 2.024 * [taylor]: Taking taylor expansion of ky in kx 2.026 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.026 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.026 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.026 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.026 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.026 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.026 * [taylor]: Taking taylor expansion of -1 in ky 2.026 * [taylor]: Taking taylor expansion of kx in ky 2.026 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.026 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.026 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.026 * [taylor]: Taking taylor expansion of -1 in ky 2.026 * [taylor]: Taking taylor expansion of ky in ky 2.028 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.028 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.028 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.028 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.028 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.028 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.028 * [taylor]: Taking taylor expansion of -1 in ky 2.028 * [taylor]: Taking taylor expansion of kx in ky 2.028 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.028 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.028 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.028 * [taylor]: Taking taylor expansion of -1 in ky 2.028 * [taylor]: Taking taylor expansion of ky in ky 2.030 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.030 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.030 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.030 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.030 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.030 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.030 * [taylor]: Taking taylor expansion of -1 in kx 2.030 * [taylor]: Taking taylor expansion of kx in kx 2.030 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.030 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.030 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.030 * [taylor]: Taking taylor expansion of -1 in kx 2.030 * [taylor]: Taking taylor expansion of ky in kx 2.032 * [taylor]: Taking taylor expansion of 0 in kx 2.033 * [taylor]: Taking taylor expansion of 0 in kx 2.036 * [taylor]: Taking taylor expansion of 0 in kx 2.037 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 2.037 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in (ky kx) around 0 2.037 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in kx 2.037 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 2.037 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.037 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.037 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.037 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.037 * [taylor]: Taking taylor expansion of kx in kx 2.037 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.037 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.037 * [taylor]: Taking taylor expansion of ky in kx 2.038 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.038 * [taylor]: Taking taylor expansion of ky in kx 2.038 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 2.038 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.038 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.038 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.038 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.038 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.038 * [taylor]: Taking taylor expansion of kx in ky 2.038 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.038 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.038 * [taylor]: Taking taylor expansion of ky in ky 2.039 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.039 * [taylor]: Taking taylor expansion of ky in ky 2.039 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 2.039 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.039 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.039 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.039 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.039 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.039 * [taylor]: Taking taylor expansion of kx in ky 2.040 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.040 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.040 * [taylor]: Taking taylor expansion of ky in ky 2.040 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.040 * [taylor]: Taking taylor expansion of ky in ky 2.041 * [taylor]: Taking taylor expansion of 0 in kx 2.041 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 2.041 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.041 * [taylor]: Taking taylor expansion of kx in kx 2.042 * [taylor]: Taking taylor expansion of 0 in kx 2.043 * [taylor]: Taking taylor expansion of (neg (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3))))) in kx 2.043 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3)))) in kx 2.043 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (sin kx))) in kx 2.043 * [taylor]: Taking taylor expansion of 1/6 in kx 2.043 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 2.043 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.043 * [taylor]: Taking taylor expansion of kx in kx 2.044 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow (sin kx) 3))) in kx 2.044 * [taylor]: Taking taylor expansion of 1/2 in kx 2.044 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin kx) 3)) in kx 2.044 * [taylor]: Taking taylor expansion of (pow (sin kx) 3) in kx 2.044 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.044 * [taylor]: Taking taylor expansion of kx in kx 2.047 * [taylor]: Taking taylor expansion of 0 in kx 2.047 * [approximate]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in (ky kx) around 0 2.047 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in kx 2.047 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.047 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.047 * [taylor]: Taking taylor expansion of ky in kx 2.047 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in kx 2.047 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in kx 2.047 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in kx 2.047 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.047 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.047 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.047 * [taylor]: Taking taylor expansion of ky in kx 2.048 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.048 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.048 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.048 * [taylor]: Taking taylor expansion of kx in kx 2.049 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in ky 2.049 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.049 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.049 * [taylor]: Taking taylor expansion of ky in ky 2.049 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in ky 2.049 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in ky 2.050 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in ky 2.050 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.050 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.050 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.050 * [taylor]: Taking taylor expansion of ky in ky 2.050 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.050 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.050 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.050 * [taylor]: Taking taylor expansion of kx in ky 2.051 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in ky 2.052 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.052 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.052 * [taylor]: Taking taylor expansion of ky in ky 2.052 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in ky 2.052 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in ky 2.052 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in ky 2.052 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.052 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.052 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.052 * [taylor]: Taking taylor expansion of ky in ky 2.052 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.052 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.052 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.052 * [taylor]: Taking taylor expansion of kx in ky 2.054 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in kx 2.054 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.054 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.054 * [taylor]: Taking taylor expansion of ky in kx 2.054 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in kx 2.054 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in kx 2.054 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in kx 2.054 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.054 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.054 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.054 * [taylor]: Taking taylor expansion of ky in kx 2.054 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.054 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.054 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.054 * [taylor]: Taking taylor expansion of kx in kx 2.057 * [taylor]: Taking taylor expansion of 0 in kx 2.059 * [taylor]: Taking taylor expansion of 0 in kx 2.065 * [taylor]: Taking taylor expansion of 0 in kx 2.066 * [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 2.066 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.066 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.066 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.066 * [taylor]: Taking taylor expansion of -1 in kx 2.066 * [taylor]: Taking taylor expansion of ky in kx 2.066 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.066 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.066 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.066 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.066 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.066 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.066 * [taylor]: Taking taylor expansion of -1 in kx 2.066 * [taylor]: Taking taylor expansion of kx in kx 2.067 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.067 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.067 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.067 * [taylor]: Taking taylor expansion of -1 in kx 2.067 * [taylor]: Taking taylor expansion of ky in kx 2.068 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.069 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.069 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.069 * [taylor]: Taking taylor expansion of -1 in ky 2.069 * [taylor]: Taking taylor expansion of ky in ky 2.069 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.069 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.069 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.069 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.069 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.069 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.069 * [taylor]: Taking taylor expansion of -1 in ky 2.069 * [taylor]: Taking taylor expansion of kx in ky 2.069 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.069 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.069 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.069 * [taylor]: Taking taylor expansion of -1 in ky 2.069 * [taylor]: Taking taylor expansion of ky in ky 2.071 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.071 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.071 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.071 * [taylor]: Taking taylor expansion of -1 in ky 2.071 * [taylor]: Taking taylor expansion of ky in ky 2.071 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.071 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.071 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.071 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.071 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.071 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.071 * [taylor]: Taking taylor expansion of -1 in ky 2.071 * [taylor]: Taking taylor expansion of kx in ky 2.071 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.071 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.071 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.071 * [taylor]: Taking taylor expansion of -1 in ky 2.071 * [taylor]: Taking taylor expansion of ky in ky 2.073 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.073 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.073 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.073 * [taylor]: Taking taylor expansion of -1 in kx 2.073 * [taylor]: Taking taylor expansion of ky in kx 2.073 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.073 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.073 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.073 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.073 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.073 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.074 * [taylor]: Taking taylor expansion of -1 in kx 2.074 * [taylor]: Taking taylor expansion of kx in kx 2.074 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.074 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.074 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.074 * [taylor]: Taking taylor expansion of -1 in kx 2.074 * [taylor]: Taking taylor expansion of ky in kx 2.076 * [taylor]: Taking taylor expansion of 0 in kx 2.078 * [taylor]: Taking taylor expansion of 0 in kx 2.082 * [taylor]: Taking taylor expansion of 0 in kx 2.083 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2) 2.083 * [approximate]: Taking taylor expansion of (pow (sin kx) 2) in (kx) around 0 2.083 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.083 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.083 * [taylor]: Taking taylor expansion of kx in kx 2.083 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.083 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.083 * [taylor]: Taking taylor expansion of kx in kx 2.084 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in (kx) around 0 2.084 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.084 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.084 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.084 * [taylor]: Taking taylor expansion of kx in kx 2.084 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.084 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.084 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.084 * [taylor]: Taking taylor expansion of kx in kx 2.085 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in (kx) around 0 2.085 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.085 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.085 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.085 * [taylor]: Taking taylor expansion of -1 in kx 2.085 * [taylor]: Taking taylor expansion of kx in kx 2.085 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.085 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.085 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.086 * [taylor]: Taking taylor expansion of -1 in kx 2.086 * [taylor]: Taking taylor expansion of kx in kx 2.087 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1) 2.087 * [approximate]: Taking taylor expansion of (pow (sin ky) 2) in (ky) around 0 2.087 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.087 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.087 * [taylor]: Taking taylor expansion of ky in ky 2.087 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.087 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.087 * [taylor]: Taking taylor expansion of ky in ky 2.088 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in (ky) around 0 2.088 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.088 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.088 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.088 * [taylor]: Taking taylor expansion of ky in ky 2.088 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.088 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.088 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.088 * [taylor]: Taking taylor expansion of ky in ky 2.089 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in (ky) around 0 2.089 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.089 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.089 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.089 * [taylor]: Taking taylor expansion of -1 in ky 2.089 * [taylor]: Taking taylor expansion of ky in ky 2.089 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.089 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.090 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.090 * [taylor]: Taking taylor expansion of -1 in ky 2.090 * [taylor]: Taking taylor expansion of ky in ky 2.091 * * * [progress]: simplifying candidates 2.093 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (exp.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (cbrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)) (sqrt.f64 (/.f64 (cbrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 1 2))) (sqrt.f64 (/.f64 (cbrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)) (sqrt.f64 (/.f64 (cbrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (sqrt.f64 1) 1)) (sqrt.f64 (/.f64 (sqrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 (sqrt.f64 1) (pow.f64 1 2))) (sqrt.f64 (/.f64 (sqrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 (sqrt.f64 1) 1)) (sqrt.f64 (/.f64 (sqrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (/.f64 1 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 1)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 1 2))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 1)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 1) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 1) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (pow.f64 (sin.f64 ky) 2) 3) (pow.f64 (pow.f64 (sin.f64 kx) 2) 3)))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (-.f64 (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (-.f64 (*.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (/.f64 -1 2) (/.f64 (neg.f64 1) 2) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (+.f64 (log.f64 (sin.f64 ky)) (log.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (log.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (exp.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (*.f64 (*.f64 (sin.f64 ky) (sin.f64 ky)) (sin.f64 ky)) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (cbrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (cbrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (cbrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (*.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (*.f64 (sin.f64 ky) (sqrt.f64 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (*.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 1 2)))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (sqrt.f64 1) 1))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (sqrt.f64 1) (pow.f64 1 2)))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (sqrt.f64 1) 1))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 1))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (pow.f64 1 2)))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 1))) (*.f64 (sin.f64 ky) (sqrt.f64 1)) (*.f64 (sin.f64 ky) (sqrt.f64 1)) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (pow.f64 (sin.f64 ky) 2) 3) (pow.f64 (pow.f64 (sin.f64 kx) 2) 3))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (-.f64 (*.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) 1) (*.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 1)) (*.f64 (log.f64 (sin.f64 kx)) 2) (*.f64 (log.f64 (sin.f64 kx)) 2) (*.f64 1 2) (pow.f64 (sin.f64 kx) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (sin.f64 kx) (sqrt.f64 2)) (pow.f64 (sin.f64 kx) 1) (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2) (pow.f64 (sqrt.f64 (sin.f64 kx)) 2) (pow.f64 (sqrt.f64 (sin.f64 kx)) 2) (pow.f64 1 2) (pow.f64 (sin.f64 kx) 2) (log.f64 (pow.f64 (sin.f64 kx) 2)) (exp.f64 (pow.f64 (sin.f64 kx) 2)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (*.f64 (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (sin.f64 kx) 2)) (sqrt.f64 (pow.f64 (sin.f64 kx) 2)) (sqrt.f64 (pow.f64 (sin.f64 kx) 2)) (pow.f64 (sin.f64 kx) (/.f64 2 2)) (pow.f64 (sin.f64 kx) (/.f64 2 2)) (*.f64 (log.f64 (sin.f64 ky)) 2) (*.f64 (log.f64 (sin.f64 ky)) 2) (*.f64 1 2) (pow.f64 (sin.f64 ky) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (sin.f64 ky) (sqrt.f64 2)) (pow.f64 (sin.f64 ky) 1) (pow.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) 2) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (pow.f64 (sqrt.f64 (sin.f64 ky)) 2) (pow.f64 (sqrt.f64 (sin.f64 ky)) 2) (pow.f64 1 2) (pow.f64 (sin.f64 ky) 2) (log.f64 (pow.f64 (sin.f64 ky) 2)) (exp.f64 (pow.f64 (sin.f64 ky) 2)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (*.f64 (*.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 (sin.f64 ky) 2)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2)) (pow.f64 (sin.f64 ky) (/.f64 2 2)) (pow.f64 (sin.f64 ky) (/.f64 2 2)) (-.f64 (+.f64 (*.f64 1/6 kx) (*.f64 7/360 (pow.f64 kx 3))) (*.f64 17/240 (*.f64 kx (pow.f64 ky 2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 1/6 (*.f64 kx ky)) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (-.f64 (+.f64 (pow.f64 kx 2) (*.f64 2/45 (pow.f64 kx 6))) (*.f64 1/3 (pow.f64 kx 4))) (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2) (-.f64 (+.f64 (*.f64 2/45 (pow.f64 ky 6)) (pow.f64 ky 2)) (*.f64 1/3 (pow.f64 ky 4))) (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2) 2.138 * * [simplify]: iteration 0 : 5041 enodes (cost 1483 ) 2.144 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (exp.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (pow.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) 3) (fabs.f64 (cbrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (cbrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (fabs.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (fabs.f64 (cbrt.f64 1)) (sqrt.f64 (/.f64 (cbrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (fabs.f64 (cbrt.f64 1)) (sqrt.f64 (/.f64 (cbrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (fabs.f64 (cbrt.f64 1)) (sqrt.f64 (/.f64 (cbrt.f64 1) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (/.f64 1 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) 1 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) 1 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) 1 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (/.f64 1 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) 1 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) 1 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) 1 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) 1 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) 1 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 6) (pow.f64 (sin.f64 kx) 6)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 4) (-.f64 (pow.f64 (sin.f64 kx) 4) (*.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (/.f64 1 (-.f64 (pow.f64 (sin.f64 ky) 4) (pow.f64 (sin.f64 kx) 4)))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2 -1/2 1/2 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (log.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (log.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (pow.f64 (exp.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sin.f64 ky)) (pow.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) 3) (*.f64 (cbrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (cbrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (cbrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (pow.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) 3) (sqrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sqrt.f64 (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (*.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (fabs.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (*.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 1))) (*.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 1))) (*.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 1))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sin.f64 ky) (sin.f64 ky) (sin.f64 ky) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sin.f64 ky) (sin.f64 ky) (sin.f64 ky) (sin.f64 ky) (sin.f64 ky) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 6) (pow.f64 (sin.f64 kx) 6))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (-.f64 (pow.f64 (sin.f64 ky) 4) (pow.f64 (sin.f64 kx) 4))))) (*.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))))) (sin.f64 ky) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (sin.f64 ky))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (sin.f64 ky) (*.f64 2 (log.f64 (sin.f64 kx))) (*.f64 2 (log.f64 (sin.f64 kx))) 2 (pow.f64 (sin.f64 kx) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (sin.f64 kx) (sqrt.f64 2)) (sin.f64 kx) (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2) (sin.f64 kx) (sin.f64 kx) 1 (pow.f64 (sin.f64 kx) 2) (*.f64 2 (log.f64 (sin.f64 kx))) (exp.f64 (pow.f64 (sin.f64 kx) 2)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (pow.f64 (sin.f64 kx) 6) (fabs.f64 (sin.f64 kx)) (fabs.f64 (sin.f64 kx)) (sin.f64 kx) (sin.f64 kx) (*.f64 2 (log.f64 (sin.f64 ky))) (*.f64 2 (log.f64 (sin.f64 ky))) 2 (pow.f64 (sin.f64 ky) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (sin.f64 ky) (sqrt.f64 2)) (sin.f64 ky) (pow.f64 (cbrt.f64 (sin.f64 ky)) 4) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (sin.f64 ky) (sin.f64 ky) 1 (pow.f64 (sin.f64 ky) 2) (*.f64 2 (log.f64 (sin.f64 ky))) (exp.f64 (pow.f64 (sin.f64 ky) 2)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (pow.f64 (sin.f64 ky) 6) (fabs.f64 (sin.f64 ky)) (fabs.f64 (sin.f64 ky)) (sin.f64 ky) (sin.f64 ky) (*.f64 kx (+.f64 1/6 (+.f64 (*.f64 7/360 (*.f64 kx kx)) (*.f64 (*.f64 ky ky) -17/240)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) (*.f64 ky (*.f64 kx 1/6)) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (-.f64 (+.f64 (*.f64 kx kx) (*.f64 2/45 (pow.f64 kx 6))) (*.f64 1/3 (pow.f64 kx 4))) (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2) (-.f64 (+.f64 (*.f64 ky ky) (*.f64 2/45 (pow.f64 ky 6))) (*.f64 1/3 (pow.f64 ky 4))) (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2) 2.145 * * * [progress]: adding candidates to table 2.301 * * [progress]: iteration 3 / 4 2.301 * * * [progress]: picking best candidate 2.338 * * * * [pick]: Picked # 2.338 * * * [progress]: localizing error 2.357 * * * [progress]: generating rewritten candidates 2.357 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.366 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 2.380 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 2.383 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 2.388 * * * [progress]: generating series expansions 2.388 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.389 * [approximate]: Taking taylor expansion of (pow (+ (pow (sin kx) 2) (pow (sin ky) 2)) -1/2) in (ky kx) around 0 2.389 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin kx) 2) (pow (sin ky) 2)) -1/2) in kx 2.389 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin kx) 2) (pow (sin ky) 2))))) in kx 2.389 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 2.389 * [taylor]: Taking taylor expansion of -1/2 in kx 2.389 * [taylor]: Taking taylor expansion of (log (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.389 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.389 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.389 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.389 * [taylor]: Taking taylor expansion of kx in kx 2.389 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.389 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.389 * [taylor]: Taking taylor expansion of ky in kx 2.390 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin kx) 2) (pow (sin ky) 2)) -1/2) in ky 2.390 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin kx) 2) (pow (sin ky) 2))))) in ky 2.390 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.390 * [taylor]: Taking taylor expansion of -1/2 in ky 2.390 * [taylor]: Taking taylor expansion of (log (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.390 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.390 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.390 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.390 * [taylor]: Taking taylor expansion of kx in ky 2.390 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.390 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.390 * [taylor]: Taking taylor expansion of ky in ky 2.390 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin kx) 2) (pow (sin ky) 2)) -1/2) in ky 2.390 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin kx) 2) (pow (sin ky) 2))))) in ky 2.390 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.390 * [taylor]: Taking taylor expansion of -1/2 in ky 2.390 * [taylor]: Taking taylor expansion of (log (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.390 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.390 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.390 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.390 * [taylor]: Taking taylor expansion of kx in ky 2.391 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.391 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.391 * [taylor]: Taking taylor expansion of ky in ky 2.391 * [taylor]: Taking taylor expansion of (pow (pow (sin kx) 2) -1/2) in kx 2.391 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (pow (sin kx) 2)))) in kx 2.391 * [taylor]: Taking taylor expansion of (* -1/2 (log (pow (sin kx) 2))) in kx 2.391 * [taylor]: Taking taylor expansion of -1/2 in kx 2.391 * [taylor]: Taking taylor expansion of (log (pow (sin kx) 2)) in kx 2.391 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.391 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.391 * [taylor]: Taking taylor expansion of kx in kx 2.392 * [taylor]: Taking taylor expansion of 0 in kx 2.394 * [taylor]: Taking taylor expansion of (/ -1/2 (pow (sin kx) 3)) in kx 2.394 * [taylor]: Taking taylor expansion of -1/2 in kx 2.394 * [taylor]: Taking taylor expansion of (pow (sin kx) 3) in kx 2.394 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.394 * [taylor]: Taking taylor expansion of kx in kx 2.397 * [taylor]: Taking taylor expansion of 0 in kx 2.398 * [approximate]: Taking taylor expansion of (pow (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) -1/2) in (ky kx) around 0 2.398 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) -1/2) in kx 2.398 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in kx 2.398 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in kx 2.398 * [taylor]: Taking taylor expansion of -1/2 in kx 2.398 * [taylor]: Taking taylor expansion of (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in kx 2.398 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in kx 2.398 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.398 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.398 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.398 * [taylor]: Taking taylor expansion of ky in kx 2.398 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.398 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.398 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.398 * [taylor]: Taking taylor expansion of kx in kx 2.400 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) -1/2) in ky 2.400 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in ky 2.400 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in ky 2.400 * [taylor]: Taking taylor expansion of -1/2 in ky 2.400 * [taylor]: Taking taylor expansion of (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in ky 2.400 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in ky 2.400 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.400 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.400 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.400 * [taylor]: Taking taylor expansion of ky in ky 2.400 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.400 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.400 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.400 * [taylor]: Taking taylor expansion of kx in ky 2.401 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) -1/2) in ky 2.401 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in ky 2.401 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in ky 2.401 * [taylor]: Taking taylor expansion of -1/2 in ky 2.401 * [taylor]: Taking taylor expansion of (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in ky 2.401 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in ky 2.401 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.401 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.401 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.401 * [taylor]: Taking taylor expansion of ky in ky 2.401 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.401 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.401 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.401 * [taylor]: Taking taylor expansion of kx in ky 2.403 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) -1/2) in kx 2.403 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in kx 2.403 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in kx 2.403 * [taylor]: Taking taylor expansion of -1/2 in kx 2.403 * [taylor]: Taking taylor expansion of (log (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in kx 2.403 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in kx 2.403 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.403 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.403 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.403 * [taylor]: Taking taylor expansion of ky in kx 2.403 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.403 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.403 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.403 * [taylor]: Taking taylor expansion of kx in kx 2.405 * [taylor]: Taking taylor expansion of 0 in kx 2.408 * [taylor]: Taking taylor expansion of 0 in kx 2.414 * [taylor]: Taking taylor expansion of 0 in kx 2.414 * [approximate]: Taking taylor expansion of (pow (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) -1/2) in (ky kx) around 0 2.414 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) -1/2) in kx 2.414 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.414 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.414 * [taylor]: Taking taylor expansion of -1/2 in kx 2.414 * [taylor]: Taking taylor expansion of (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.414 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.414 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.414 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.414 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.414 * [taylor]: Taking taylor expansion of -1 in kx 2.414 * [taylor]: Taking taylor expansion of kx in kx 2.415 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.415 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.415 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.415 * [taylor]: Taking taylor expansion of -1 in kx 2.415 * [taylor]: Taking taylor expansion of ky in kx 2.416 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) -1/2) in ky 2.416 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.416 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.416 * [taylor]: Taking taylor expansion of -1/2 in ky 2.416 * [taylor]: Taking taylor expansion of (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.416 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.416 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.416 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.416 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.416 * [taylor]: Taking taylor expansion of -1 in ky 2.416 * [taylor]: Taking taylor expansion of kx in ky 2.416 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.416 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.416 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.416 * [taylor]: Taking taylor expansion of -1 in ky 2.416 * [taylor]: Taking taylor expansion of ky in ky 2.417 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) -1/2) in ky 2.417 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.417 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.417 * [taylor]: Taking taylor expansion of -1/2 in ky 2.417 * [taylor]: Taking taylor expansion of (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.417 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.417 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.417 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.417 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.417 * [taylor]: Taking taylor expansion of -1 in ky 2.417 * [taylor]: Taking taylor expansion of kx in ky 2.417 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.417 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.417 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.417 * [taylor]: Taking taylor expansion of -1 in ky 2.417 * [taylor]: Taking taylor expansion of ky in ky 2.418 * [taylor]: Taking taylor expansion of (pow (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) -1/2) in kx 2.418 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.418 * [taylor]: Taking taylor expansion of (* -1/2 (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.418 * [taylor]: Taking taylor expansion of -1/2 in kx 2.418 * [taylor]: Taking taylor expansion of (log (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.419 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.419 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.419 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.419 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.419 * [taylor]: Taking taylor expansion of -1 in kx 2.419 * [taylor]: Taking taylor expansion of kx in kx 2.419 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.419 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.419 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.419 * [taylor]: Taking taylor expansion of -1 in kx 2.419 * [taylor]: Taking taylor expansion of ky in kx 2.421 * [taylor]: Taking taylor expansion of 0 in kx 2.424 * [taylor]: Taking taylor expansion of 0 in kx 2.427 * [taylor]: Taking taylor expansion of 0 in kx 2.428 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 2.428 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in (ky kx) around 0 2.428 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in kx 2.428 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 2.428 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.428 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.428 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.428 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.428 * [taylor]: Taking taylor expansion of kx in kx 2.428 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.428 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.428 * [taylor]: Taking taylor expansion of ky in kx 2.429 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.429 * [taylor]: Taking taylor expansion of ky in kx 2.429 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 2.429 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.429 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.429 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.429 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.429 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.429 * [taylor]: Taking taylor expansion of kx in ky 2.429 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.429 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.429 * [taylor]: Taking taylor expansion of ky in ky 2.430 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.430 * [taylor]: Taking taylor expansion of ky in ky 2.430 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 2.430 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.430 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.430 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.430 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.430 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.430 * [taylor]: Taking taylor expansion of kx in ky 2.430 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.431 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.431 * [taylor]: Taking taylor expansion of ky in ky 2.431 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.431 * [taylor]: Taking taylor expansion of ky in ky 2.431 * [taylor]: Taking taylor expansion of 0 in kx 2.432 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 2.432 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.432 * [taylor]: Taking taylor expansion of kx in kx 2.433 * [taylor]: Taking taylor expansion of 0 in kx 2.434 * [taylor]: Taking taylor expansion of (neg (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3))))) in kx 2.434 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3)))) in kx 2.434 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (sin kx))) in kx 2.434 * [taylor]: Taking taylor expansion of 1/6 in kx 2.434 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 2.434 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.434 * [taylor]: Taking taylor expansion of kx in kx 2.434 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow (sin kx) 3))) in kx 2.434 * [taylor]: Taking taylor expansion of 1/2 in kx 2.434 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin kx) 3)) in kx 2.434 * [taylor]: Taking taylor expansion of (pow (sin kx) 3) in kx 2.434 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.435 * [taylor]: Taking taylor expansion of kx in kx 2.438 * [taylor]: Taking taylor expansion of 0 in kx 2.438 * [approximate]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in (ky kx) around 0 2.438 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in kx 2.438 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.438 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.438 * [taylor]: Taking taylor expansion of ky in kx 2.438 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in kx 2.438 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in kx 2.438 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in kx 2.438 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.438 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.438 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.438 * [taylor]: Taking taylor expansion of ky in kx 2.439 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.439 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.439 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.439 * [taylor]: Taking taylor expansion of kx in kx 2.440 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in ky 2.440 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.440 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.440 * [taylor]: Taking taylor expansion of ky in ky 2.440 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in ky 2.440 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in ky 2.440 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in ky 2.440 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.441 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.441 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.441 * [taylor]: Taking taylor expansion of ky in ky 2.441 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.441 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.441 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.441 * [taylor]: Taking taylor expansion of kx in ky 2.442 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in ky 2.442 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.442 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.443 * [taylor]: Taking taylor expansion of ky in ky 2.443 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in ky 2.443 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in ky 2.443 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in ky 2.443 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.443 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.443 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.443 * [taylor]: Taking taylor expansion of ky in ky 2.443 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.443 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.443 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.443 * [taylor]: Taking taylor expansion of kx in ky 2.445 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))))) in kx 2.445 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.445 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.445 * [taylor]: Taking taylor expansion of ky in kx 2.445 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)))) in kx 2.445 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2))) in kx 2.445 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 ky)) 2) (pow (sin (/ 1 kx)) 2)) in kx 2.445 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.445 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.445 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.445 * [taylor]: Taking taylor expansion of ky in kx 2.445 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.445 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.445 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.445 * [taylor]: Taking taylor expansion of kx in kx 2.448 * [taylor]: Taking taylor expansion of 0 in kx 2.450 * [taylor]: Taking taylor expansion of 0 in kx 2.454 * [taylor]: Taking taylor expansion of 0 in kx 2.455 * [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 2.455 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.455 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.455 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.455 * [taylor]: Taking taylor expansion of -1 in kx 2.455 * [taylor]: Taking taylor expansion of ky in kx 2.455 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.455 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.455 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.455 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.455 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.455 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.455 * [taylor]: Taking taylor expansion of -1 in kx 2.455 * [taylor]: Taking taylor expansion of kx in kx 2.455 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.455 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.455 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.455 * [taylor]: Taking taylor expansion of -1 in kx 2.455 * [taylor]: Taking taylor expansion of ky in kx 2.457 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.457 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.457 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.457 * [taylor]: Taking taylor expansion of -1 in ky 2.457 * [taylor]: Taking taylor expansion of ky in ky 2.457 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.458 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.458 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.458 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.458 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.458 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.458 * [taylor]: Taking taylor expansion of -1 in ky 2.458 * [taylor]: Taking taylor expansion of kx in ky 2.458 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.458 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.458 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.458 * [taylor]: Taking taylor expansion of -1 in ky 2.458 * [taylor]: Taking taylor expansion of ky in ky 2.460 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.460 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.460 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.460 * [taylor]: Taking taylor expansion of -1 in ky 2.460 * [taylor]: Taking taylor expansion of ky in ky 2.460 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.460 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.460 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.460 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.460 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.460 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.460 * [taylor]: Taking taylor expansion of -1 in ky 2.460 * [taylor]: Taking taylor expansion of kx in ky 2.460 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.460 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.460 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.460 * [taylor]: Taking taylor expansion of -1 in ky 2.460 * [taylor]: Taking taylor expansion of ky in ky 2.462 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.462 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.462 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.462 * [taylor]: Taking taylor expansion of -1 in kx 2.462 * [taylor]: Taking taylor expansion of ky in kx 2.462 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.462 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.462 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.462 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.462 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.462 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.462 * [taylor]: Taking taylor expansion of -1 in kx 2.462 * [taylor]: Taking taylor expansion of kx in kx 2.462 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.462 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.462 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.462 * [taylor]: Taking taylor expansion of -1 in kx 2.462 * [taylor]: Taking taylor expansion of ky in kx 2.465 * [taylor]: Taking taylor expansion of 0 in kx 2.467 * [taylor]: Taking taylor expansion of 0 in kx 2.471 * [taylor]: Taking taylor expansion of 0 in kx 2.471 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 2.471 * [approximate]: Taking taylor expansion of (pow (sin kx) 2) in (kx) around 0 2.471 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.471 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.471 * [taylor]: Taking taylor expansion of kx in kx 2.471 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.471 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.472 * [taylor]: Taking taylor expansion of kx in kx 2.473 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in (kx) around 0 2.473 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.473 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.473 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.473 * [taylor]: Taking taylor expansion of kx in kx 2.473 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.473 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.473 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.473 * [taylor]: Taking taylor expansion of kx in kx 2.474 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in (kx) around 0 2.474 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.474 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.474 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.474 * [taylor]: Taking taylor expansion of -1 in kx 2.474 * [taylor]: Taking taylor expansion of kx in kx 2.474 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.474 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.474 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.474 * [taylor]: Taking taylor expansion of -1 in kx 2.474 * [taylor]: Taking taylor expansion of kx in kx 2.475 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 2.475 * [approximate]: Taking taylor expansion of (pow (sin ky) 2) in (ky) around 0 2.475 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.475 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.475 * [taylor]: Taking taylor expansion of ky in ky 2.475 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.475 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.476 * [taylor]: Taking taylor expansion of ky in ky 2.477 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in (ky) around 0 2.477 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.477 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.477 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.477 * [taylor]: Taking taylor expansion of ky in ky 2.477 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.477 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.477 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.477 * [taylor]: Taking taylor expansion of ky in ky 2.478 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in (ky) around 0 2.478 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.478 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.478 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.478 * [taylor]: Taking taylor expansion of -1 in ky 2.478 * [taylor]: Taking taylor expansion of ky in ky 2.478 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.478 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.478 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.478 * [taylor]: Taking taylor expansion of -1 in ky 2.478 * [taylor]: Taking taylor expansion of ky in ky 2.479 * * * [progress]: simplifying candidates 2.481 * [simplify]: Simplifying using # : (*.f64 (log.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (*.f64 (log.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (*.f64 1 -1/2) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 (cbrt.f64 -1/2) (cbrt.f64 -1/2))) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (sqrt.f64 -1/2)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) 1) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) -1/2) (pow.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (pow.f64 1 -1/2) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (pow.f64 (pow.f64 1 2) -1/2) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (pow.f64 1 -1/2) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (log.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (exp.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (*.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (/.f64 -1/2 2)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (/.f64 -1/2 2)) (+.f64 (log.f64 (sin.f64 ky)) (*.f64 (log.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2)) (+.f64 (log.f64 (sin.f64 ky)) (*.f64 (log.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2)) (+.f64 (log.f64 (sin.f64 ky)) (log.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (log.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (exp.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (*.f64 (*.f64 (sin.f64 ky) (sin.f64 ky)) (sin.f64 ky)) (*.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (cbrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (cbrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)))) (cbrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (*.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (sqrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (sqrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (sqrt.f64 (sin.f64 ky)) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2)) (*.f64 (sqrt.f64 (sin.f64 ky)) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2)) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (sqrt.f64 (sin.f64 ky)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (/.f64 -1/2 2))) (*.f64 (sqrt.f64 (sin.f64 ky)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (/.f64 -1/2 2))) (*.f64 (sin.f64 ky) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) -1/2)) (*.f64 (sin.f64 ky) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2)) (*.f64 (sin.f64 ky) (pow.f64 1 -1/2)) (*.f64 (sin.f64 ky) (pow.f64 (pow.f64 1 2) -1/2)) (*.f64 (sin.f64 ky) (pow.f64 1 -1/2)) (*.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)))) (*.f64 (sin.f64 ky) (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (sin.f64 ky) 1) (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (/.f64 -1/2 2))) (*.f64 (cbrt.f64 (sin.f64 ky)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (*.f64 (sqrt.f64 (sin.f64 ky)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (*.f64 (log.f64 (sin.f64 kx)) 2) (*.f64 (log.f64 (sin.f64 kx)) 2) (*.f64 1 2) (pow.f64 (sin.f64 kx) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (sin.f64 kx) (sqrt.f64 2)) (pow.f64 (sin.f64 kx) 1) (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2) (pow.f64 (sqrt.f64 (sin.f64 kx)) 2) (pow.f64 (sqrt.f64 (sin.f64 kx)) 2) (pow.f64 1 2) (pow.f64 (sin.f64 kx) 2) (log.f64 (pow.f64 (sin.f64 kx) 2)) (exp.f64 (pow.f64 (sin.f64 kx) 2)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (*.f64 (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (sin.f64 kx) 2)) (sqrt.f64 (pow.f64 (sin.f64 kx) 2)) (sqrt.f64 (pow.f64 (sin.f64 kx) 2)) (pow.f64 (sin.f64 kx) (/.f64 2 2)) (pow.f64 (sin.f64 kx) (/.f64 2 2)) (*.f64 (log.f64 (sin.f64 ky)) 2) (*.f64 (log.f64 (sin.f64 ky)) 2) (*.f64 1 2) (pow.f64 (sin.f64 ky) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (sin.f64 ky) (sqrt.f64 2)) (pow.f64 (sin.f64 ky) 1) (pow.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) 2) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (pow.f64 (sqrt.f64 (sin.f64 ky)) 2) (pow.f64 (sqrt.f64 (sin.f64 ky)) 2) (pow.f64 1 2) (pow.f64 (sin.f64 ky) 2) (log.f64 (pow.f64 (sin.f64 ky) 2)) (exp.f64 (pow.f64 (sin.f64 ky) 2)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (*.f64 (*.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)) (pow.f64 (sin.f64 ky) 2)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2)) (sqrt.f64 (pow.f64 (sin.f64 ky) 2)) (pow.f64 (sin.f64 ky) (/.f64 2 2)) (pow.f64 (sin.f64 ky) (/.f64 2 2)) (-.f64 (+.f64 (pow.f64 kx -1) (*.f64 1/6 kx)) (*.f64 17/240 (*.f64 kx (pow.f64 ky 2)))) (pow.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) -1/2) (pow.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)) -1/2) (*.f64 1/6 (*.f64 kx ky)) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (-.f64 (+.f64 (pow.f64 kx 2) (*.f64 2/45 (pow.f64 kx 6))) (*.f64 1/3 (pow.f64 kx 4))) (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2) (-.f64 (+.f64 (*.f64 2/45 (pow.f64 ky 6)) (pow.f64 ky 2)) (*.f64 1/3 (pow.f64 ky 4))) (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2) 2.514 * * [simplify]: iteration 0 : 4956 enodes (cost 989 ) 2.514 * * [simplify]: iteration 1 : 4956 enodes (cost 989 ) 2.519 * [simplify]: Simplified to: (*.f64 (log.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (*.f64 (log.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) -1/2 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (*.f64 (cbrt.f64 -1/2) (cbrt.f64 -1/2))) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (sqrt.f64 -1/2)) (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) -1/2) (pow.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (*.f64 (log.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (exp.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (pow.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) 3) (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/4) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/4) (log.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (log.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (log.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (log.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (pow.f64 (exp.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (sin.f64 ky)) (pow.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) 3) (*.f64 (cbrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (cbrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)))) (cbrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (pow.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) 3) (sqrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (sqrt.f64 (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (*.f64 (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (sqrt.f64 (sin.f64 ky))) (*.f64 (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (sqrt.f64 (sin.f64 ky))) (*.f64 (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (sqrt.f64 (sin.f64 ky))) (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/4) (sqrt.f64 (sin.f64 ky))) (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/4) (sqrt.f64 (sin.f64 ky))) (*.f64 (sin.f64 ky) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)))) -1/2)) (*.f64 (sin.f64 ky) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))) -1/2)) (sin.f64 ky) (sin.f64 ky) (sin.f64 ky) (*.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)))) (*.f64 (sin.f64 ky) (sqrt.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2))) (sin.f64 ky) (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/4)) (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (cbrt.f64 (sin.f64 ky))) (*.f64 (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (sqrt.f64 (sin.f64 ky))) (*.f64 (sin.f64 ky) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2)) (*.f64 2 (log.f64 (sin.f64 kx))) (*.f64 2 (log.f64 (sin.f64 kx))) 2 (pow.f64 (sin.f64 kx) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (sin.f64 kx) (sqrt.f64 2)) (sin.f64 kx) (pow.f64 (cbrt.f64 (sin.f64 kx)) 4) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2) (sin.f64 kx) (sin.f64 kx) 1 (pow.f64 (sin.f64 kx) 2) (*.f64 2 (log.f64 (sin.f64 kx))) (exp.f64 (pow.f64 (sin.f64 kx) 2)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (pow.f64 (sin.f64 kx) 6) (fabs.f64 (sin.f64 kx)) (fabs.f64 (sin.f64 kx)) (sin.f64 kx) (sin.f64 kx) (*.f64 2 (log.f64 (sin.f64 ky))) (*.f64 2 (log.f64 (sin.f64 ky))) 2 (pow.f64 (sin.f64 ky) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (sin.f64 ky) (sqrt.f64 2)) (sin.f64 ky) (pow.f64 (cbrt.f64 (sin.f64 ky)) 4) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (sin.f64 ky) (sin.f64 ky) 1 (pow.f64 (sin.f64 ky) 2) (*.f64 2 (log.f64 (sin.f64 ky))) (exp.f64 (pow.f64 (sin.f64 ky) 2)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (cbrt.f64 (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (pow.f64 (sin.f64 ky) 2)) (pow.f64 (sin.f64 ky) 6) (fabs.f64 (sin.f64 ky)) (fabs.f64 (sin.f64 ky)) (sin.f64 ky) (sin.f64 ky) (+.f64 (/.f64 1 kx) (*.f64 kx (+.f64 1/6 (*.f64 (*.f64 ky ky) -17/240)))) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (pow.f64 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2)) -1/2) (*.f64 ky (*.f64 kx 1/6)) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 kx) 2))))) (-.f64 (+.f64 (*.f64 kx kx) (*.f64 2/45 (pow.f64 kx 6))) (*.f64 1/3 (pow.f64 kx 4))) (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2) (-.f64 (+.f64 (*.f64 ky ky) (*.f64 2/45 (pow.f64 ky 6))) (*.f64 1/3 (pow.f64 ky 4))) (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2) 2.520 * * * [progress]: adding candidates to table 2.601 * * [progress]: iteration 4 / 4 2.601 * * * [progress]: picking best candidate 2.641 * * * * [pick]: Picked # 2.641 * * * [progress]: localizing error 2.661 * * * [progress]: generating rewritten candidates 2.661 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.671 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1) 2.673 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 2) 2.675 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 2.677 * * * [progress]: generating series expansions 2.678 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.678 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 2.678 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.678 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.678 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.678 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.678 * [taylor]: Taking taylor expansion of kx in ky 2.678 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.678 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.678 * [taylor]: Taking taylor expansion of ky in ky 2.679 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.679 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.679 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.679 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.679 * [taylor]: Taking taylor expansion of kx in kx 2.679 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.679 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.679 * [taylor]: Taking taylor expansion of ky in kx 2.680 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.680 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.680 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.680 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.680 * [taylor]: Taking taylor expansion of kx in kx 2.680 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.680 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.680 * [taylor]: Taking taylor expansion of ky in kx 2.681 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.681 * [taylor]: Taking taylor expansion of ky in ky 2.681 * [taylor]: Taking taylor expansion of 0 in ky 2.681 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 2.681 * [taylor]: Taking taylor expansion of 1/2 in ky 2.681 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.681 * [taylor]: Taking taylor expansion of ky in ky 2.682 * [taylor]: Taking taylor expansion of 0 in ky 2.683 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 2.683 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.683 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.683 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.683 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.683 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.683 * [taylor]: Taking taylor expansion of kx in ky 2.683 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.683 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.683 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.683 * [taylor]: Taking taylor expansion of ky in ky 2.685 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.685 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.685 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.685 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.685 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.685 * [taylor]: Taking taylor expansion of kx in kx 2.685 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.685 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.685 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.685 * [taylor]: Taking taylor expansion of ky in kx 2.686 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.686 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.686 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.686 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.686 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.686 * [taylor]: Taking taylor expansion of kx in kx 2.686 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.686 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.686 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.686 * [taylor]: Taking taylor expansion of ky in kx 2.688 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.688 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.688 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.688 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.688 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.688 * [taylor]: Taking taylor expansion of kx in ky 2.688 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.688 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.688 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.688 * [taylor]: Taking taylor expansion of ky in ky 2.689 * [taylor]: Taking taylor expansion of 0 in ky 2.690 * [taylor]: Taking taylor expansion of 0 in ky 2.692 * [taylor]: Taking taylor expansion of 0 in ky 2.692 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 2.692 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.692 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.692 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.693 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.693 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.693 * [taylor]: Taking taylor expansion of -1 in ky 2.693 * [taylor]: Taking taylor expansion of kx in ky 2.693 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.693 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.693 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.693 * [taylor]: Taking taylor expansion of -1 in ky 2.693 * [taylor]: Taking taylor expansion of ky in ky 2.694 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.694 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.694 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.694 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.694 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.694 * [taylor]: Taking taylor expansion of -1 in kx 2.694 * [taylor]: Taking taylor expansion of kx in kx 2.694 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.694 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.694 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.694 * [taylor]: Taking taylor expansion of -1 in kx 2.694 * [taylor]: Taking taylor expansion of ky in kx 2.695 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.696 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.696 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.696 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.696 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.696 * [taylor]: Taking taylor expansion of -1 in kx 2.696 * [taylor]: Taking taylor expansion of kx in kx 2.696 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.696 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.696 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.696 * [taylor]: Taking taylor expansion of -1 in kx 2.696 * [taylor]: Taking taylor expansion of ky in kx 2.697 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.697 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.697 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.697 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.697 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.697 * [taylor]: Taking taylor expansion of -1 in ky 2.697 * [taylor]: Taking taylor expansion of kx in ky 2.697 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.697 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.697 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.697 * [taylor]: Taking taylor expansion of -1 in ky 2.697 * [taylor]: Taking taylor expansion of ky in ky 2.699 * [taylor]: Taking taylor expansion of 0 in ky 2.699 * [taylor]: Taking taylor expansion of 0 in ky 2.701 * [taylor]: Taking taylor expansion of 0 in ky 2.701 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1) 2.701 * [approximate]: Taking taylor expansion of (pow (sin kx) 1/3) in (kx) around 0 2.701 * [taylor]: Taking taylor expansion of (pow (sin kx) 1/3) in kx 2.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin kx)))) in kx 2.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin kx))) in kx 2.702 * [taylor]: Taking taylor expansion of 1/3 in kx 2.702 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.702 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.702 * [taylor]: Taking taylor expansion of kx in kx 2.702 * [taylor]: Taking taylor expansion of (pow (sin kx) 1/3) in kx 2.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin kx)))) in kx 2.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin kx))) in kx 2.702 * [taylor]: Taking taylor expansion of 1/3 in kx 2.702 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.702 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.702 * [taylor]: Taking taylor expansion of kx in kx 2.705 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in (kx) around 0 2.705 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in kx 2.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 kx))))) in kx 2.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 kx)))) in kx 2.705 * [taylor]: Taking taylor expansion of 1/3 in kx 2.705 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.705 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.705 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.705 * [taylor]: Taking taylor expansion of kx in kx 2.705 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in kx 2.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 kx))))) in kx 2.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 kx)))) in kx 2.705 * [taylor]: Taking taylor expansion of 1/3 in kx 2.705 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.705 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.705 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.705 * [taylor]: Taking taylor expansion of kx in kx 2.712 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in (kx) around 0 2.712 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in kx 2.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 kx))))) in kx 2.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 kx)))) in kx 2.712 * [taylor]: Taking taylor expansion of 1/3 in kx 2.712 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.712 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.712 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.712 * [taylor]: Taking taylor expansion of -1 in kx 2.712 * [taylor]: Taking taylor expansion of kx in kx 2.712 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in kx 2.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 kx))))) in kx 2.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 kx)))) in kx 2.712 * [taylor]: Taking taylor expansion of 1/3 in kx 2.712 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.712 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.712 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.712 * [taylor]: Taking taylor expansion of -1 in kx 2.712 * [taylor]: Taking taylor expansion of kx in kx 2.721 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 2) 2.721 * [approximate]: Taking taylor expansion of (pow (sin kx) 1/3) in (kx) around 0 2.721 * [taylor]: Taking taylor expansion of (pow (sin kx) 1/3) in kx 2.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin kx)))) in kx 2.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin kx))) in kx 2.721 * [taylor]: Taking taylor expansion of 1/3 in kx 2.721 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.721 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.721 * [taylor]: Taking taylor expansion of kx in kx 2.721 * [taylor]: Taking taylor expansion of (pow (sin kx) 1/3) in kx 2.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin kx)))) in kx 2.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin kx))) in kx 2.721 * [taylor]: Taking taylor expansion of 1/3 in kx 2.721 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.721 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.721 * [taylor]: Taking taylor expansion of kx in kx 2.724 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in (kx) around 0 2.724 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in kx 2.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 kx))))) in kx 2.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 kx)))) in kx 2.724 * [taylor]: Taking taylor expansion of 1/3 in kx 2.724 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.724 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.724 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.724 * [taylor]: Taking taylor expansion of kx in kx 2.725 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in kx 2.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 kx))))) in kx 2.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 kx)))) in kx 2.725 * [taylor]: Taking taylor expansion of 1/3 in kx 2.725 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.725 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.725 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.725 * [taylor]: Taking taylor expansion of kx in kx 2.731 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in (kx) around 0 2.731 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in kx 2.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 kx))))) in kx 2.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 kx)))) in kx 2.731 * [taylor]: Taking taylor expansion of 1/3 in kx 2.731 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.731 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.731 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.731 * [taylor]: Taking taylor expansion of -1 in kx 2.731 * [taylor]: Taking taylor expansion of kx in kx 2.731 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in kx 2.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 kx))))) in kx 2.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 kx)))) in kx 2.731 * [taylor]: Taking taylor expansion of 1/3 in kx 2.731 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.731 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.731 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.732 * [taylor]: Taking taylor expansion of -1 in kx 2.732 * [taylor]: Taking taylor expansion of kx in kx 2.738 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1) 2.738 * [approximate]: Taking taylor expansion of (pow (sin kx) 1/3) in (kx) around 0 2.738 * [taylor]: Taking taylor expansion of (pow (sin kx) 1/3) in kx 2.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin kx)))) in kx 2.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin kx))) in kx 2.738 * [taylor]: Taking taylor expansion of 1/3 in kx 2.738 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.738 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.738 * [taylor]: Taking taylor expansion of kx in kx 2.738 * [taylor]: Taking taylor expansion of (pow (sin kx) 1/3) in kx 2.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin kx)))) in kx 2.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin kx))) in kx 2.738 * [taylor]: Taking taylor expansion of 1/3 in kx 2.738 * [taylor]: Taking taylor expansion of (log (sin kx)) in kx 2.738 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.738 * [taylor]: Taking taylor expansion of kx in kx 2.741 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in (kx) around 0 2.741 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in kx 2.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 kx))))) in kx 2.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 kx)))) in kx 2.741 * [taylor]: Taking taylor expansion of 1/3 in kx 2.741 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.741 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.741 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.741 * [taylor]: Taking taylor expansion of kx in kx 2.741 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 1/3) in kx 2.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 kx))))) in kx 2.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 kx)))) in kx 2.741 * [taylor]: Taking taylor expansion of 1/3 in kx 2.741 * [taylor]: Taking taylor expansion of (log (sin (/ 1 kx))) in kx 2.741 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.741 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.742 * [taylor]: Taking taylor expansion of kx in kx 2.748 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in (kx) around 0 2.748 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in kx 2.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 kx))))) in kx 2.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 kx)))) in kx 2.748 * [taylor]: Taking taylor expansion of 1/3 in kx 2.748 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.748 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.748 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.748 * [taylor]: Taking taylor expansion of -1 in kx 2.748 * [taylor]: Taking taylor expansion of kx in kx 2.748 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 1/3) in kx 2.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 kx))))) in kx 2.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 kx)))) in kx 2.748 * [taylor]: Taking taylor expansion of 1/3 in kx 2.748 * [taylor]: Taking taylor expansion of (log (sin (/ -1 kx))) in kx 2.748 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.748 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.748 * [taylor]: Taking taylor expansion of -1 in kx 2.748 * [taylor]: Taking taylor expansion of kx in kx 2.754 * * * [progress]: simplifying candidates 2.755 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))) (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2.0) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0))) (-.f64 (*.f64 (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 ky) 2.0)) (*.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0))) (*.f64 (pow.f64 (sin.f64 ky) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (-.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (log.f64 (cbrt.f64 (sin.f64 kx))) (exp.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (log.f64 (cbrt.f64 (sin.f64 kx))) (exp.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (log.f64 (cbrt.f64 (sin.f64 kx))) (exp.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (-.f64 (+.f64 ky (*.f64 1/12 (*.f64 (pow.f64 kx 2) ky))) (*.f64 1/6 (pow.f64 ky 3))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (-.f64 (pow.f64 kx 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 kx 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 kx 7) 1/3)))) (pow.f64 (sin.f64 kx) 1/3) (pow.f64 (sin.f64 kx) 1/3) (-.f64 (pow.f64 kx 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 kx 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 kx 7) 1/3)))) (pow.f64 (sin.f64 kx) 1/3) (pow.f64 (sin.f64 kx) 1/3) (-.f64 (pow.f64 kx 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 kx 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 kx 7) 1/3)))) (pow.f64 (sin.f64 kx) 1/3) (pow.f64 (sin.f64 kx) 1/3) 2.790 * * [simplify]: iteration 0 : 4883 enodes (cost 612 ) 2.790 * * [simplify]: iteration 1 : 4883 enodes (cost 612 ) 2.793 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (pow.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))) 3) (fabs.f64 (cbrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) 1 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2.0) 3))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 ky) (*.f64 2.0 2)) (*.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (-.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))))) (sqrt.f64 (-.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) (*.f64 2.0 2)) (pow.f64 (cbrt.f64 (sin.f64 kx)) (*.f64 2.0 2))) (pow.f64 (sin.f64 ky) (*.f64 2.0 2)))) (sqrt.f64 (-.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2/3) 2.0) (pow.f64 (cbrt.f64 (sin.f64 kx)) 2.0)) (pow.f64 (sin.f64 ky) 2.0)))) (log.f64 (cbrt.f64 (sin.f64 kx))) (exp.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (sin.f64 kx) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (log.f64 (cbrt.f64 (sin.f64 kx))) (exp.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (sin.f64 kx) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (log.f64 (cbrt.f64 (sin.f64 kx))) (exp.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2/3)) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 (sqrt.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (cbrt.f64 (cbrt.f64 (sin.f64 kx)))) (cbrt.f64 (cbrt.f64 (sin.f64 kx))) (sin.f64 kx) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (sqrt.f64 (cbrt.f64 (sin.f64 kx))) (-.f64 (+.f64 ky (*.f64 1/12 (*.f64 ky (*.f64 kx kx)))) (*.f64 1/6 (pow.f64 ky 3))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (-.f64 (cbrt.f64 kx) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 kx 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 kx 7))))) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (-.f64 (cbrt.f64 kx) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 kx 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 kx 7))))) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (-.f64 (cbrt.f64 kx) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 kx 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 kx 7))))) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) 2.793 * * * [progress]: adding candidates to table 2.858 * [progress]: [Phase 3 of 3] Extracting. 2.859 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # #) 2.863 * * * [regime-changes]: Trying 8 branch expressions: ((sin.f64 th) (sin.f64 kx) (pow.f64 (sin.f64 kx) 2.0) (sin.f64 ky) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) th ky kx) 2.863 * * * * [regimes]: Trying to branch on (sin.f64 th) from (# # # # # # # # # # # #) 2.947 * * * * [regimes]: Trying to branch on (sin.f64 kx) from (# # # # # # # # # # # #) 3.029 * * * * [regimes]: Trying to branch on (pow.f64 (sin.f64 kx) 2.0) from (# # # # # # # # # # # #) 3.110 * * * * [regimes]: Trying to branch on (pow.f64 (sin.f64 kx) 2.0) from (# # # #) 3.162 * * * * [regimes]: Trying to branch on (sin.f64 ky) from (# # # # # # # # # # # #) 3.244 * * * * [regimes]: Trying to branch on (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) from (# # # # # # # # # # # #) 3.335 * * * * [regimes]: Trying to branch on (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2.0) (pow.f64 (sin.f64 ky) 2.0)))) from (# #) 3.382 * * * * [regimes]: Trying to branch on th from (# # # # # # # # # # # #) 3.465 * * * * [regimes]: Trying to branch on ky from (# # # # # # # # # # # #) 3.547 * * * * [regimes]: Trying to branch on kx from (# # # # # # # # # # # #) 3.629 * * * [regime]: Found split indices: #