11.576 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.461 * * * [progress]: [2/2] Setting up program. 1.464 * [progress]: [Phase 2 of 3] Improving. 1.464 * [simplify]: Simplifying using # : (*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th)) 1.532 * * [simplify]: iteration 0 : 5114 enodes (cost 16 ) 1.533 * [simplify]: Simplified to: (*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 th)) 1.533 * * [progress]: iteration 1 / 4 1.533 * * * [progress]: picking best candidate 1.535 * * * * [pick]: Picked # 1.535 * * * [progress]: localizing error 1.550 * * * [progress]: generating rewritten candidates 1.550 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.559 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 1.562 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 1.565 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.581 * * * [progress]: generating series expansions 1.581 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.581 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 1.581 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.581 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.581 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.581 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.581 * [taylor]: Taking taylor expansion of kx in ky 1.581 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.581 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.582 * [taylor]: Taking taylor expansion of ky in ky 1.582 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.582 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.582 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.583 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.583 * [taylor]: Taking taylor expansion of kx in kx 1.583 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.583 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.583 * [taylor]: Taking taylor expansion of ky in kx 1.583 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.583 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.583 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.583 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.583 * [taylor]: Taking taylor expansion of kx in kx 1.583 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.583 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.583 * [taylor]: Taking taylor expansion of ky in kx 1.584 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.584 * [taylor]: Taking taylor expansion of ky in ky 1.584 * [taylor]: Taking taylor expansion of 0 in ky 1.589 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 1.589 * [taylor]: Taking taylor expansion of 1/2 in ky 1.589 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.589 * [taylor]: Taking taylor expansion of ky in ky 1.590 * [taylor]: Taking taylor expansion of 0 in ky 1.591 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 1.591 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.591 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.591 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.591 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.591 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.591 * [taylor]: Taking taylor expansion of kx in ky 1.591 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.591 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.591 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.591 * [taylor]: Taking taylor expansion of ky in ky 1.593 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.593 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.593 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.593 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.593 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.593 * [taylor]: Taking taylor expansion of kx in kx 1.593 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.593 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.593 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.593 * [taylor]: Taking taylor expansion of ky in kx 1.594 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.594 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.594 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.594 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.594 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.594 * [taylor]: Taking taylor expansion of kx in kx 1.594 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.594 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.594 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.594 * [taylor]: Taking taylor expansion of ky in kx 1.595 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.595 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.595 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.596 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.596 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.596 * [taylor]: Taking taylor expansion of kx in ky 1.596 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.596 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.596 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.596 * [taylor]: Taking taylor expansion of ky in ky 1.597 * [taylor]: Taking taylor expansion of 0 in ky 1.598 * [taylor]: Taking taylor expansion of 0 in ky 1.599 * [taylor]: Taking taylor expansion of 0 in ky 1.600 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 1.600 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.600 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.600 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.600 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.600 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.600 * [taylor]: Taking taylor expansion of -1 in ky 1.600 * [taylor]: Taking taylor expansion of kx in ky 1.600 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.600 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.600 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.600 * [taylor]: Taking taylor expansion of -1 in ky 1.600 * [taylor]: Taking taylor expansion of ky in ky 1.601 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.601 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.601 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.601 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.601 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.601 * [taylor]: Taking taylor expansion of -1 in kx 1.601 * [taylor]: Taking taylor expansion of kx in kx 1.601 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.601 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.601 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.601 * [taylor]: Taking taylor expansion of -1 in kx 1.601 * [taylor]: Taking taylor expansion of ky in kx 1.602 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.602 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.602 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.602 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.602 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.602 * [taylor]: Taking taylor expansion of -1 in kx 1.602 * [taylor]: Taking taylor expansion of kx in kx 1.602 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.602 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.603 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.603 * [taylor]: Taking taylor expansion of -1 in kx 1.603 * [taylor]: Taking taylor expansion of ky in kx 1.604 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.604 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.604 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.604 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.604 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.604 * [taylor]: Taking taylor expansion of -1 in ky 1.604 * [taylor]: Taking taylor expansion of kx in ky 1.604 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.604 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.604 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.604 * [taylor]: Taking taylor expansion of -1 in ky 1.604 * [taylor]: Taking taylor expansion of ky in ky 1.605 * [taylor]: Taking taylor expansion of 0 in ky 1.606 * [taylor]: Taking taylor expansion of 0 in ky 1.607 * [taylor]: Taking taylor expansion of 0 in ky 1.608 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 1.608 * [approximate]: Taking taylor expansion of (pow (sin kx) 2) in (kx) around 0 1.608 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.608 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.608 * [taylor]: Taking taylor expansion of kx in kx 1.608 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.608 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.608 * [taylor]: Taking taylor expansion of kx in kx 1.609 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in (kx) around 0 1.609 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.609 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.609 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.609 * [taylor]: Taking taylor expansion of kx in kx 1.609 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.609 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.609 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.609 * [taylor]: Taking taylor expansion of kx in kx 1.610 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in (kx) around 0 1.610 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.610 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.610 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.610 * [taylor]: Taking taylor expansion of -1 in kx 1.610 * [taylor]: Taking taylor expansion of kx in kx 1.610 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.610 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.610 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.610 * [taylor]: Taking taylor expansion of -1 in kx 1.610 * [taylor]: Taking taylor expansion of kx in kx 1.611 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 1.611 * [approximate]: Taking taylor expansion of (pow (sin ky) 2) in (ky) around 0 1.611 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.611 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.611 * [taylor]: Taking taylor expansion of ky in ky 1.612 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.612 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.612 * [taylor]: Taking taylor expansion of ky in ky 1.613 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in (ky) around 0 1.613 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.613 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.613 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.613 * [taylor]: Taking taylor expansion of ky in ky 1.613 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.613 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.613 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.613 * [taylor]: Taking taylor expansion of ky in ky 1.614 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in (ky) around 0 1.614 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.614 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.614 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.614 * [taylor]: Taking taylor expansion of -1 in ky 1.614 * [taylor]: Taking taylor expansion of ky in ky 1.614 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.614 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.614 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.614 * [taylor]: Taking taylor expansion of -1 in ky 1.614 * [taylor]: Taking taylor expansion of ky in ky 1.615 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.615 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in (ky kx) around 0 1.615 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in kx 1.615 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 1.615 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.615 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.615 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.615 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.615 * [taylor]: Taking taylor expansion of kx in kx 1.615 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.615 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.615 * [taylor]: Taking taylor expansion of ky in kx 1.616 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.616 * [taylor]: Taking taylor expansion of ky in kx 1.616 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 1.616 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 1.616 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.616 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.616 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.616 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.616 * [taylor]: Taking taylor expansion of kx in ky 1.616 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.616 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.616 * [taylor]: Taking taylor expansion of ky in ky 1.617 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.617 * [taylor]: Taking taylor expansion of ky in ky 1.617 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky)) in ky 1.617 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 1.617 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.617 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.617 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.617 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.617 * [taylor]: Taking taylor expansion of kx in ky 1.617 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.618 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.618 * [taylor]: Taking taylor expansion of ky in ky 1.618 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.618 * [taylor]: Taking taylor expansion of ky in ky 1.618 * [taylor]: Taking taylor expansion of 0 in kx 1.618 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 1.619 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.619 * [taylor]: Taking taylor expansion of kx in kx 1.619 * [taylor]: Taking taylor expansion of 0 in kx 1.621 * [taylor]: Taking taylor expansion of (neg (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3))))) in kx 1.621 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (sin kx))) (* 1/2 (/ 1 (pow (sin kx) 3)))) in kx 1.621 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (sin kx))) in kx 1.621 * [taylor]: Taking taylor expansion of 1/6 in kx 1.621 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 1.621 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.621 * [taylor]: Taking taylor expansion of kx in kx 1.621 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow (sin kx) 3))) in kx 1.621 * [taylor]: Taking taylor expansion of 1/2 in kx 1.621 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin kx) 3)) in kx 1.621 * [taylor]: Taking taylor expansion of (pow (sin kx) 3) in kx 1.621 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.621 * [taylor]: Taking taylor expansion of kx in kx 1.624 * [taylor]: Taking taylor expansion of 0 in kx 1.624 * [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.624 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 1.624 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.624 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.624 * [taylor]: Taking taylor expansion of ky in kx 1.624 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 1.625 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.625 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.625 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.625 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.625 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.625 * [taylor]: Taking taylor expansion of kx in kx 1.625 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.625 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.625 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.625 * [taylor]: Taking taylor expansion of ky in kx 1.626 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 1.626 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.626 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.626 * [taylor]: Taking taylor expansion of ky in ky 1.626 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 1.626 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.626 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.627 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.627 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.627 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.627 * [taylor]: Taking taylor expansion of kx in ky 1.627 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.627 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.627 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.627 * [taylor]: Taking taylor expansion of ky in ky 1.628 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 1.628 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.628 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.628 * [taylor]: Taking taylor expansion of ky in ky 1.628 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 1.628 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.628 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.628 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.629 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.629 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.629 * [taylor]: Taking taylor expansion of kx in ky 1.629 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.629 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.629 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.629 * [taylor]: Taking taylor expansion of ky in ky 1.630 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 1.631 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.631 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.631 * [taylor]: Taking taylor expansion of ky in kx 1.631 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 1.631 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.631 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.631 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.631 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.631 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.631 * [taylor]: Taking taylor expansion of kx in kx 1.631 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.631 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.631 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.631 * [taylor]: Taking taylor expansion of ky in kx 1.634 * [taylor]: Taking taylor expansion of 0 in kx 1.635 * [taylor]: Taking taylor expansion of 0 in kx 1.639 * [taylor]: Taking taylor expansion of 0 in kx 1.639 * [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.639 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 1.639 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.639 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.639 * [taylor]: Taking taylor expansion of -1 in kx 1.639 * [taylor]: Taking taylor expansion of ky in kx 1.639 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 1.640 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.640 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.640 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.640 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.640 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.640 * [taylor]: Taking taylor expansion of -1 in kx 1.640 * [taylor]: Taking taylor expansion of kx in kx 1.640 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.640 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.640 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.640 * [taylor]: Taking taylor expansion of -1 in kx 1.640 * [taylor]: Taking taylor expansion of ky in kx 1.642 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (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.642 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 1.642 * [taylor]: Taking taylor expansion of (/ 1 (+ (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.644 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 1.644 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.644 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.644 * [taylor]: Taking taylor expansion of -1 in ky 1.644 * [taylor]: Taking taylor expansion of ky in ky 1.644 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 1.644 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.644 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.644 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.644 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.644 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.644 * [taylor]: Taking taylor expansion of -1 in ky 1.644 * [taylor]: Taking taylor expansion of kx in ky 1.644 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.644 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.644 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.644 * [taylor]: Taking taylor expansion of -1 in ky 1.644 * [taylor]: Taking taylor expansion of ky in ky 1.646 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 1.646 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.646 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.646 * [taylor]: Taking taylor expansion of -1 in kx 1.646 * [taylor]: Taking taylor expansion of ky in kx 1.646 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 1.646 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.646 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.646 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.646 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.646 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.646 * [taylor]: Taking taylor expansion of -1 in kx 1.646 * [taylor]: Taking taylor expansion of kx in kx 1.646 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.646 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.646 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.646 * [taylor]: Taking taylor expansion of -1 in kx 1.646 * [taylor]: Taking taylor expansion of ky in kx 1.649 * [taylor]: Taking taylor expansion of 0 in kx 1.650 * [taylor]: Taking taylor expansion of 0 in kx 1.654 * [taylor]: Taking taylor expansion of 0 in kx 1.654 * * * [progress]: simplifying candidates 1.656 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (*.f64 (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)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (pow.f64 1 2)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2) 3))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.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 ky) 2))))) (sqrt.f64 (-.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 ky) 2)))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 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 (log.f64 (sin.f64 ky)) (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (exp.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (*.f64 (sin.f64 ky) (sin.f64 ky)) (sin.f64 ky)) (*.f64 (*.f64 (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)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (*.f64 (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (*.f64 (*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (neg.f64 (sin.f64 ky)) (neg.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.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) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (pow.f64 1 2))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.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) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.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) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 1)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (pow.f64 1 2))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 1)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) 1) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 1 (sqrt.f64 (pow.f64 1 2))) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 1 (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 1) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (pow.f64 1 2))) (/.f64 (sin.f64 ky) (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) 1) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2) 3)))) (/.f64 (sin.f64 ky) (sqrt.f64 (-.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 ky) 2))))) (-.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 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) (*.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.684 * * [simplify]: iteration 0 : 5455 enodes (cost 1421 ) 1.690 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 3) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 4) (-.f64 (pow.f64 (sin.f64 ky) 4) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 4) (pow.f64 (sin.f64 ky) 4))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 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) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (exp.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 3) (*.f64 (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 3) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (neg.f64 (sin.f64 ky)) (neg.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (pow.f64 (cbrt.f64 (sin.f64 ky)) 2) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 ky) (sin.f64 ky) (sin.f64 ky) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sin.f64 ky) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6)))) (/.f64 (sin.f64 ky) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 4) (pow.f64 (sin.f64 ky) 4)))) (-.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 (+.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 2/45 (pow.f64 ky 6)) (*.f64 ky ky)) (*.f64 1/3 (pow.f64 ky 4))) (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2) (*.f64 1/6 (*.f64 kx ky)) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (*.f64 (sin.f64 ky) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) 1.691 * * * [progress]: adding candidates to table 1.778 * * [progress]: iteration 2 / 4 1.779 * * * [progress]: picking best candidate 1.803 * * * * [pick]: Picked # 1.803 * * * [progress]: localizing error 1.822 * * * [progress]: generating rewritten candidates 1.822 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 2) 1.824 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 2) 1.827 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1) 1.830 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.848 * * * [progress]: generating series expansions 1.848 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 2) 1.848 * [approximate]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in (kx) around 0 1.848 * [taylor]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in kx 1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin kx) 2)))) in kx 1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin kx) 2))) in kx 1.848 * [taylor]: Taking taylor expansion of 1/3 in kx 1.848 * [taylor]: Taking taylor expansion of (log (pow (sin kx) 2)) in kx 1.848 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.848 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.848 * [taylor]: Taking taylor expansion of kx in kx 1.848 * [taylor]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in kx 1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin kx) 2)))) in kx 1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin kx) 2))) in kx 1.848 * [taylor]: Taking taylor expansion of 1/3 in kx 1.848 * [taylor]: Taking taylor expansion of (log (pow (sin kx) 2)) in kx 1.848 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.848 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.848 * [taylor]: Taking taylor expansion of kx in kx 1.851 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in (kx) around 0 1.851 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in kx 1.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 kx)) 2)))) in kx 1.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 kx)) 2))) in kx 1.851 * [taylor]: Taking taylor expansion of 1/3 in kx 1.851 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 kx)) 2)) in kx 1.851 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.851 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.851 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.851 * [taylor]: Taking taylor expansion of kx in kx 1.852 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in kx 1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 kx)) 2)))) in kx 1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 kx)) 2))) in kx 1.852 * [taylor]: Taking taylor expansion of 1/3 in kx 1.852 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 kx)) 2)) in kx 1.852 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.852 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.852 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.852 * [taylor]: Taking taylor expansion of kx in kx 1.859 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in (kx) around 0 1.859 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in kx 1.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 kx)) 2)))) in kx 1.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 kx)) 2))) in kx 1.860 * [taylor]: Taking taylor expansion of 1/3 in kx 1.860 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 kx)) 2)) in kx 1.860 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.860 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.860 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.860 * [taylor]: Taking taylor expansion of -1 in kx 1.860 * [taylor]: Taking taylor expansion of kx in kx 1.860 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in kx 1.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 kx)) 2)))) in kx 1.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 kx)) 2))) in kx 1.860 * [taylor]: Taking taylor expansion of 1/3 in kx 1.860 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 kx)) 2)) in kx 1.860 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.860 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.860 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.860 * [taylor]: Taking taylor expansion of -1 in kx 1.860 * [taylor]: Taking taylor expansion of kx in kx 1.870 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 2) 1.870 * [approximate]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in (kx) around 0 1.870 * [taylor]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in kx 1.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin kx) 2)))) in kx 1.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin kx) 2))) in kx 1.870 * [taylor]: Taking taylor expansion of 1/3 in kx 1.870 * [taylor]: Taking taylor expansion of (log (pow (sin kx) 2)) in kx 1.870 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.870 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.870 * [taylor]: Taking taylor expansion of kx in kx 1.870 * [taylor]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in kx 1.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin kx) 2)))) in kx 1.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin kx) 2))) in kx 1.870 * [taylor]: Taking taylor expansion of 1/3 in kx 1.870 * [taylor]: Taking taylor expansion of (log (pow (sin kx) 2)) in kx 1.870 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.870 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.870 * [taylor]: Taking taylor expansion of kx in kx 1.873 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in (kx) around 0 1.873 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in kx 1.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 kx)) 2)))) in kx 1.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 kx)) 2))) in kx 1.873 * [taylor]: Taking taylor expansion of 1/3 in kx 1.873 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 kx)) 2)) in kx 1.873 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.873 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.873 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.873 * [taylor]: Taking taylor expansion of kx in kx 1.874 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in kx 1.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 kx)) 2)))) in kx 1.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 kx)) 2))) in kx 1.874 * [taylor]: Taking taylor expansion of 1/3 in kx 1.874 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 kx)) 2)) in kx 1.874 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.874 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.874 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.874 * [taylor]: Taking taylor expansion of kx in kx 1.881 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in (kx) around 0 1.881 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in kx 1.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 kx)) 2)))) in kx 1.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 kx)) 2))) in kx 1.881 * [taylor]: Taking taylor expansion of 1/3 in kx 1.881 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 kx)) 2)) in kx 1.881 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.881 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.881 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.881 * [taylor]: Taking taylor expansion of -1 in kx 1.881 * [taylor]: Taking taylor expansion of kx in kx 1.882 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in kx 1.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 kx)) 2)))) in kx 1.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 kx)) 2))) in kx 1.882 * [taylor]: Taking taylor expansion of 1/3 in kx 1.882 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 kx)) 2)) in kx 1.882 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.882 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.882 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.882 * [taylor]: Taking taylor expansion of -1 in kx 1.882 * [taylor]: Taking taylor expansion of kx in kx 1.889 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1) 1.890 * [approximate]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in (kx) around 0 1.890 * [taylor]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in kx 1.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin kx) 2)))) in kx 1.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin kx) 2))) in kx 1.890 * [taylor]: Taking taylor expansion of 1/3 in kx 1.890 * [taylor]: Taking taylor expansion of (log (pow (sin kx) 2)) in kx 1.890 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.890 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.890 * [taylor]: Taking taylor expansion of kx in kx 1.890 * [taylor]: Taking taylor expansion of (pow (pow (sin kx) 2) 1/3) in kx 1.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin kx) 2)))) in kx 1.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin kx) 2))) in kx 1.890 * [taylor]: Taking taylor expansion of 1/3 in kx 1.890 * [taylor]: Taking taylor expansion of (log (pow (sin kx) 2)) in kx 1.890 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.890 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.890 * [taylor]: Taking taylor expansion of kx in kx 1.893 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in (kx) around 0 1.893 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in kx 1.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 kx)) 2)))) in kx 1.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 kx)) 2))) in kx 1.893 * [taylor]: Taking taylor expansion of 1/3 in kx 1.893 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 kx)) 2)) in kx 1.893 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.893 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.893 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.893 * [taylor]: Taking taylor expansion of kx in kx 1.893 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 kx)) 2) 1/3) in kx 1.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 kx)) 2)))) in kx 1.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 kx)) 2))) in kx 1.893 * [taylor]: Taking taylor expansion of 1/3 in kx 1.893 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 kx)) 2)) in kx 1.893 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.893 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.893 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.893 * [taylor]: Taking taylor expansion of kx in kx 1.901 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in (kx) around 0 1.901 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in kx 1.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 kx)) 2)))) in kx 1.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 kx)) 2))) in kx 1.901 * [taylor]: Taking taylor expansion of 1/3 in kx 1.901 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 kx)) 2)) in kx 1.901 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.901 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.901 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.901 * [taylor]: Taking taylor expansion of -1 in kx 1.901 * [taylor]: Taking taylor expansion of kx in kx 1.901 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 kx)) 2) 1/3) in kx 1.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 kx)) 2)))) in kx 1.902 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 kx)) 2))) in kx 1.902 * [taylor]: Taking taylor expansion of 1/3 in kx 1.902 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 kx)) 2)) in kx 1.902 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.902 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.902 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.902 * [taylor]: Taking taylor expansion of -1 in kx 1.902 * [taylor]: Taking taylor expansion of kx in kx 1.909 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.909 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 1.910 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 1.910 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 1.910 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 1.910 * [taylor]: Taking taylor expansion of (sin kx) in ky 1.910 * [taylor]: Taking taylor expansion of kx in ky 1.910 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 1.910 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.910 * [taylor]: Taking taylor expansion of ky in ky 1.910 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.910 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.910 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.910 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.910 * [taylor]: Taking taylor expansion of kx in kx 1.910 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.910 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.910 * [taylor]: Taking taylor expansion of ky in kx 1.911 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 1.911 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 1.911 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 1.911 * [taylor]: Taking taylor expansion of (sin kx) in kx 1.911 * [taylor]: Taking taylor expansion of kx in kx 1.911 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 1.911 * [taylor]: Taking taylor expansion of (sin ky) in kx 1.911 * [taylor]: Taking taylor expansion of ky in kx 1.912 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.912 * [taylor]: Taking taylor expansion of ky in ky 1.912 * [taylor]: Taking taylor expansion of 0 in ky 1.912 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 1.912 * [taylor]: Taking taylor expansion of 1/2 in ky 1.912 * [taylor]: Taking taylor expansion of (sin ky) in ky 1.912 * [taylor]: Taking taylor expansion of ky in ky 1.913 * [taylor]: Taking taylor expansion of 0 in ky 1.914 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 1.914 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.914 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.914 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.914 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.914 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.914 * [taylor]: Taking taylor expansion of kx in ky 1.914 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.914 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.914 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.914 * [taylor]: Taking taylor expansion of ky in ky 1.915 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.915 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.915 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.915 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.915 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.915 * [taylor]: Taking taylor expansion of kx in kx 1.915 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.915 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.915 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.915 * [taylor]: Taking taylor expansion of ky in kx 1.916 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 1.916 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 1.916 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 1.916 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 1.916 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 1.917 * [taylor]: Taking taylor expansion of kx in kx 1.917 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 1.917 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 1.917 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 1.917 * [taylor]: Taking taylor expansion of ky in kx 1.918 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 1.918 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 1.918 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 1.918 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 1.918 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 1.918 * [taylor]: Taking taylor expansion of kx in ky 1.918 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 1.918 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 1.918 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 1.918 * [taylor]: Taking taylor expansion of ky in ky 1.919 * [taylor]: Taking taylor expansion of 0 in ky 1.920 * [taylor]: Taking taylor expansion of 0 in ky 1.921 * [taylor]: Taking taylor expansion of 0 in ky 1.922 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 1.922 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.922 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.922 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.922 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.922 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.922 * [taylor]: Taking taylor expansion of -1 in ky 1.922 * [taylor]: Taking taylor expansion of kx in ky 1.922 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.922 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.922 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.922 * [taylor]: Taking taylor expansion of -1 in ky 1.922 * [taylor]: Taking taylor expansion of ky in ky 1.923 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.923 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.923 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.924 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.924 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.924 * [taylor]: Taking taylor expansion of -1 in kx 1.924 * [taylor]: Taking taylor expansion of kx in kx 1.924 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.924 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.924 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.924 * [taylor]: Taking taylor expansion of -1 in kx 1.924 * [taylor]: Taking taylor expansion of ky in kx 1.925 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 1.925 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 1.925 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 1.925 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 1.925 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 1.925 * [taylor]: Taking taylor expansion of -1 in kx 1.925 * [taylor]: Taking taylor expansion of kx in kx 1.925 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 1.925 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 1.925 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 1.925 * [taylor]: Taking taylor expansion of -1 in kx 1.925 * [taylor]: Taking taylor expansion of ky in kx 1.926 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 1.926 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 1.926 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 1.926 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 1.926 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 1.926 * [taylor]: Taking taylor expansion of -1 in ky 1.926 * [taylor]: Taking taylor expansion of kx in ky 1.926 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 1.927 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 1.927 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 1.927 * [taylor]: Taking taylor expansion of -1 in ky 1.927 * [taylor]: Taking taylor expansion of ky in ky 1.928 * [taylor]: Taking taylor expansion of 0 in ky 1.928 * [taylor]: Taking taylor expansion of 0 in ky 1.930 * [taylor]: Taking taylor expansion of 0 in ky 1.930 * * * [progress]: simplifying candidates 1.931 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 1 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) (/.f64 2 2))) (cbrt.f64 (pow.f64 (sin.f64 kx) (/.f64 2 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (*.f64 (*.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))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (log.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 1 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) (/.f64 2 2))) (cbrt.f64 (pow.f64 (sin.f64 kx) (/.f64 2 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (*.f64 (*.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))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (log.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (pow.f64 1 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) (/.f64 2 2))) (cbrt.f64 (pow.f64 (sin.f64 kx) (/.f64 2 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (*.f64 (*.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))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (log.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2))) (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.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 ky) 2))) (cbrt.f64 (+.f64 (*.f64 (*.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 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (*.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))) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 (*.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 (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 ky) 2) (pow.f64 (sin.f64 ky) 2)) (*.f64 (*.f64 (*.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 ky) 2))))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (*.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 (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 (pow.f64 (sin.f64 ky) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (-.f64 (*.f64 (*.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 ky) 2))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.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 ky) 2)))) (-.f64 (+.f64 (*.f64 1/405 (pow.f64 (pow.f64 kx 14) 1/3)) (pow.f64 kx 2/3)) (*.f64 1/9 (pow.f64 (pow.f64 kx 8) 1/3))) (pow.f64 (pow.f64 (sin.f64 kx) 2) 1/3) (pow.f64 (pow.f64 (sin.f64 kx) 2) 1/3) (-.f64 (+.f64 (*.f64 1/405 (pow.f64 (pow.f64 kx 14) 1/3)) (pow.f64 kx 2/3)) (*.f64 1/9 (pow.f64 (pow.f64 kx 8) 1/3))) (pow.f64 (pow.f64 (sin.f64 kx) 2) 1/3) (pow.f64 (pow.f64 (sin.f64 kx) 2) 1/3) (-.f64 (+.f64 (*.f64 1/405 (pow.f64 (pow.f64 kx 14) 1/3)) (pow.f64 kx 2/3)) (*.f64 1/9 (pow.f64 (pow.f64 kx 8) 1/3))) (pow.f64 (pow.f64 (sin.f64 kx) 2) 1/3) (pow.f64 (pow.f64 (sin.f64 kx) 2) 1/3) (-.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))) 1.985 * * [simplify]: iteration 0 : 4887 enodes (cost 648 ) 1.985 * * [simplify]: iteration 1 : 4887 enodes (cost 648 ) 1.989 * [simplify]: Simplified to: (log.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 2/3)) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (fabs.f64 (sin.f64 kx))) (cbrt.f64 (fabs.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (pow.f64 (sin.f64 kx) 2) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (log.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 2/3)) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (fabs.f64 (sin.f64 kx))) (cbrt.f64 (fabs.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (pow.f64 (sin.f64 kx) 2) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (log.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 kx)) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 2/3)) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (fabs.f64 (sin.f64 kx))) (cbrt.f64 (fabs.f64 (sin.f64 kx))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (sin.f64 kx)) (cbrt.f64 (sin.f64 kx)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (pow.f64 (sin.f64 kx) 2) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 kx) 2))) (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 3) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 4) (-.f64 (pow.f64 (sin.f64 ky) 4) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 4) (pow.f64 (sin.f64 ky) 4))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (-.f64 (+.f64 (*.f64 1/405 (cbrt.f64 (pow.f64 kx 14))) (pow.f64 kx 2/3)) (*.f64 1/9 (cbrt.f64 (pow.f64 kx 8)))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (-.f64 (+.f64 (*.f64 1/405 (cbrt.f64 (pow.f64 kx 14))) (pow.f64 kx 2/3)) (*.f64 1/9 (cbrt.f64 (pow.f64 kx 8)))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (-.f64 (+.f64 (*.f64 1/405 (cbrt.f64 (pow.f64 kx 14))) (pow.f64 kx 2/3)) (*.f64 1/9 (cbrt.f64 (pow.f64 kx 8)))) (cbrt.f64 (pow.f64 (sin.f64 kx) 2)) (cbrt.f64 (pow.f64 (sin.f64 kx) 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 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1.989 * * * [progress]: adding candidates to table 2.046 * * [progress]: iteration 3 / 4 2.046 * * * [progress]: picking best candidate 2.067 * * * * [pick]: Picked # 2.067 * * * [progress]: localizing error 2.084 * * * [progress]: generating rewritten candidates 2.084 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 2.093 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 2.101 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 2.116 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 2.124 * * * [progress]: generating series expansions 2.124 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 2.125 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 2.125 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.125 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.125 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.125 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.125 * [taylor]: Taking taylor expansion of kx in ky 2.125 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.125 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.125 * [taylor]: Taking taylor expansion of ky in ky 2.126 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.126 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.126 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.126 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.126 * [taylor]: Taking taylor expansion of kx in kx 2.126 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.126 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.126 * [taylor]: Taking taylor expansion of ky in kx 2.126 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.126 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.126 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.126 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.126 * [taylor]: Taking taylor expansion of kx in kx 2.126 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.126 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.127 * [taylor]: Taking taylor expansion of ky in kx 2.127 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.127 * [taylor]: Taking taylor expansion of ky in ky 2.127 * [taylor]: Taking taylor expansion of 0 in ky 2.128 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 2.128 * [taylor]: Taking taylor expansion of 1/2 in ky 2.128 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.128 * [taylor]: Taking taylor expansion of ky in ky 2.128 * [taylor]: Taking taylor expansion of 0 in ky 2.129 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 2.129 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.129 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.129 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.129 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.129 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.129 * [taylor]: Taking taylor expansion of kx in ky 2.129 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.129 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.129 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.129 * [taylor]: Taking taylor expansion of ky in ky 2.130 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.130 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.130 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.130 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.130 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.130 * [taylor]: Taking taylor expansion of kx in kx 2.130 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.130 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.130 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.130 * [taylor]: Taking taylor expansion of ky in kx 2.132 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.132 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.132 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.132 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.132 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.132 * [taylor]: Taking taylor expansion of kx in kx 2.132 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.132 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.132 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.132 * [taylor]: Taking taylor expansion of ky in kx 2.133 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.133 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.133 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.133 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.133 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.133 * [taylor]: Taking taylor expansion of kx in ky 2.133 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.133 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.133 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.133 * [taylor]: Taking taylor expansion of ky in ky 2.134 * [taylor]: Taking taylor expansion of 0 in ky 2.135 * [taylor]: Taking taylor expansion of 0 in ky 2.137 * [taylor]: Taking taylor expansion of 0 in ky 2.137 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 2.137 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.137 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.137 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.137 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.137 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.137 * [taylor]: Taking taylor expansion of -1 in ky 2.137 * [taylor]: Taking taylor expansion of kx in ky 2.138 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.138 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.138 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.138 * [taylor]: Taking taylor expansion of -1 in ky 2.138 * [taylor]: Taking taylor expansion of ky in ky 2.139 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.139 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.139 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.139 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.139 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.139 * [taylor]: Taking taylor expansion of -1 in kx 2.139 * [taylor]: Taking taylor expansion of kx in kx 2.139 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.139 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.139 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.139 * [taylor]: Taking taylor expansion of -1 in kx 2.139 * [taylor]: Taking taylor expansion of ky in kx 2.140 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.140 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.140 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.140 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.140 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.140 * [taylor]: Taking taylor expansion of -1 in kx 2.140 * [taylor]: Taking taylor expansion of kx in kx 2.140 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.140 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.140 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.140 * [taylor]: Taking taylor expansion of -1 in kx 2.140 * [taylor]: Taking taylor expansion of ky in kx 2.141 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.142 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.142 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.142 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.142 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.142 * [taylor]: Taking taylor expansion of -1 in ky 2.142 * [taylor]: Taking taylor expansion of kx in ky 2.142 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.142 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.142 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.142 * [taylor]: Taking taylor expansion of -1 in ky 2.142 * [taylor]: Taking taylor expansion of ky in ky 2.143 * [taylor]: Taking taylor expansion of 0 in ky 2.144 * [taylor]: Taking taylor expansion of 0 in ky 2.145 * [taylor]: Taking taylor expansion of 0 in ky 2.145 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 2.146 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 2.146 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.146 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.146 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.146 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.146 * [taylor]: Taking taylor expansion of kx in ky 2.146 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.146 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.146 * [taylor]: Taking taylor expansion of ky in ky 2.146 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.146 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.146 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.146 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.146 * [taylor]: Taking taylor expansion of kx in kx 2.147 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.147 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.147 * [taylor]: Taking taylor expansion of ky in kx 2.147 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.147 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.147 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.147 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.147 * [taylor]: Taking taylor expansion of kx in kx 2.147 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.147 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.147 * [taylor]: Taking taylor expansion of ky in kx 2.148 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.148 * [taylor]: Taking taylor expansion of ky in ky 2.148 * [taylor]: Taking taylor expansion of 0 in ky 2.148 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 2.148 * [taylor]: Taking taylor expansion of 1/2 in ky 2.148 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.148 * [taylor]: Taking taylor expansion of ky in ky 2.149 * [taylor]: Taking taylor expansion of 0 in ky 2.150 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 2.150 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.150 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.150 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.150 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.150 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.150 * [taylor]: Taking taylor expansion of kx in ky 2.150 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.150 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.150 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.150 * [taylor]: Taking taylor expansion of ky in ky 2.151 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.151 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.151 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.151 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.151 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.151 * [taylor]: Taking taylor expansion of kx in kx 2.151 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.151 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.151 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.151 * [taylor]: Taking taylor expansion of ky in kx 2.152 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.152 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.152 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.152 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.152 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.152 * [taylor]: Taking taylor expansion of kx in kx 2.152 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.152 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.152 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.152 * [taylor]: Taking taylor expansion of ky in kx 2.154 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.154 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.154 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.154 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.154 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.154 * [taylor]: Taking taylor expansion of kx in ky 2.154 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.154 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.154 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.154 * [taylor]: Taking taylor expansion of ky in ky 2.155 * [taylor]: Taking taylor expansion of 0 in ky 2.156 * [taylor]: Taking taylor expansion of 0 in ky 2.157 * [taylor]: Taking taylor expansion of 0 in ky 2.158 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 2.158 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.158 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.158 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.158 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.158 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.158 * [taylor]: Taking taylor expansion of -1 in ky 2.158 * [taylor]: Taking taylor expansion of kx in ky 2.158 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.158 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.158 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.158 * [taylor]: Taking taylor expansion of -1 in ky 2.158 * [taylor]: Taking taylor expansion of ky in ky 2.159 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.159 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.159 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.159 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.159 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.159 * [taylor]: Taking taylor expansion of -1 in kx 2.159 * [taylor]: Taking taylor expansion of kx in kx 2.159 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.159 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.159 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.159 * [taylor]: Taking taylor expansion of -1 in kx 2.159 * [taylor]: Taking taylor expansion of ky in kx 2.160 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.160 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.160 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.160 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.160 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.160 * [taylor]: Taking taylor expansion of -1 in kx 2.160 * [taylor]: Taking taylor expansion of kx in kx 2.161 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.161 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.161 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.161 * [taylor]: Taking taylor expansion of -1 in kx 2.161 * [taylor]: Taking taylor expansion of ky in kx 2.162 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.162 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.162 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.162 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.162 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.162 * [taylor]: Taking taylor expansion of -1 in ky 2.162 * [taylor]: Taking taylor expansion of kx in ky 2.162 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.162 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.162 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.162 * [taylor]: Taking taylor expansion of -1 in ky 2.162 * [taylor]: Taking taylor expansion of ky in ky 2.163 * [taylor]: Taking taylor expansion of 0 in ky 2.164 * [taylor]: Taking taylor expansion of 0 in ky 2.165 * [taylor]: Taking taylor expansion of 0 in ky 2.166 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 2.166 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) 1/4) (sin ky)) in (ky kx) around 0 2.166 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) 1/4) (sin ky)) in kx 2.166 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) 1/4) in kx 2.166 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) in kx 2.166 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))))) in kx 2.166 * [taylor]: Taking taylor expansion of 1/4 in kx 2.166 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in kx 2.166 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.166 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.166 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.166 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.166 * [taylor]: Taking taylor expansion of kx in kx 2.166 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.166 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.166 * [taylor]: Taking taylor expansion of ky in kx 2.167 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.167 * [taylor]: Taking taylor expansion of ky in kx 2.167 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) 1/4) (sin ky)) in ky 2.167 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) 1/4) in ky 2.167 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) in ky 2.167 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))))) in ky 2.167 * [taylor]: Taking taylor expansion of 1/4 in ky 2.167 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.167 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.167 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.167 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.167 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.167 * [taylor]: Taking taylor expansion of kx in ky 2.167 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.167 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.167 * [taylor]: Taking taylor expansion of ky in ky 2.168 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.168 * [taylor]: Taking taylor expansion of ky in ky 2.168 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) 1/4) (sin ky)) in ky 2.168 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) 1/4) in ky 2.168 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) in ky 2.168 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))))) in ky 2.168 * [taylor]: Taking taylor expansion of 1/4 in ky 2.168 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))) in ky 2.168 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.168 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.168 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.168 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.168 * [taylor]: Taking taylor expansion of kx in ky 2.168 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.168 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.168 * [taylor]: Taking taylor expansion of ky in ky 2.169 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.169 * [taylor]: Taking taylor expansion of ky in ky 2.169 * [taylor]: Taking taylor expansion of 0 in kx 2.170 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sin kx))) in kx 2.170 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 2.170 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.170 * [taylor]: Taking taylor expansion of kx in kx 2.172 * [taylor]: Taking taylor expansion of 0 in kx 2.175 * [taylor]: Taking taylor expansion of (neg (+ (* 1/4 (sqrt (/ 1 (pow (sin kx) 5)))) (* 1/6 (sqrt (/ 1 (sin kx)))))) in kx 2.175 * [taylor]: Taking taylor expansion of (+ (* 1/4 (sqrt (/ 1 (pow (sin kx) 5)))) (* 1/6 (sqrt (/ 1 (sin kx))))) in kx 2.175 * [taylor]: Taking taylor expansion of (* 1/4 (sqrt (/ 1 (pow (sin kx) 5)))) in kx 2.175 * [taylor]: Taking taylor expansion of 1/4 in kx 2.175 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (sin kx) 5))) in kx 2.175 * [taylor]: Taking taylor expansion of (/ 1 (pow (sin kx) 5)) in kx 2.175 * [taylor]: Taking taylor expansion of (pow (sin kx) 5) in kx 2.175 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.175 * [taylor]: Taking taylor expansion of kx in kx 2.175 * [taylor]: Taking taylor expansion of (* 1/6 (sqrt (/ 1 (sin kx)))) in kx 2.175 * [taylor]: Taking taylor expansion of 1/6 in kx 2.175 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (sin kx))) in kx 2.175 * [taylor]: Taking taylor expansion of (/ 1 (sin kx)) in kx 2.175 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.175 * [taylor]: Taking taylor expansion of kx in kx 2.177 * [approximate]: Taking taylor expansion of (* (sin (/ 1 ky)) (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4)) in (ky kx) around 0 2.177 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4)) in kx 2.177 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.177 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.177 * [taylor]: Taking taylor expansion of ky in kx 2.177 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4) in kx 2.177 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))))) in kx 2.177 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 2.177 * [taylor]: Taking taylor expansion of 1/4 in kx 2.177 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 2.177 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.177 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.177 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.177 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.177 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.177 * [taylor]: Taking taylor expansion of kx in kx 2.177 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.177 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.177 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.177 * [taylor]: Taking taylor expansion of ky in kx 2.179 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4)) in ky 2.179 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.179 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.179 * [taylor]: Taking taylor expansion of ky in ky 2.179 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4) in ky 2.179 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))))) in ky 2.179 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 2.179 * [taylor]: Taking taylor expansion of 1/4 in ky 2.179 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 2.179 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.179 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.179 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.179 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.179 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.179 * [taylor]: Taking taylor expansion of kx in ky 2.179 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.179 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.179 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.179 * [taylor]: Taking taylor expansion of ky in ky 2.180 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4)) in ky 2.180 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.180 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.180 * [taylor]: Taking taylor expansion of ky in ky 2.180 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4) in ky 2.180 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))))) in ky 2.180 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in ky 2.180 * [taylor]: Taking taylor expansion of 1/4 in ky 2.180 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in ky 2.180 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.180 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.180 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.180 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.180 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.180 * [taylor]: Taking taylor expansion of kx in ky 2.181 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.181 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.181 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.181 * [taylor]: Taking taylor expansion of ky in ky 2.182 * [taylor]: Taking taylor expansion of (* (sin (/ 1 ky)) (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4)) in kx 2.182 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.182 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.182 * [taylor]: Taking taylor expansion of ky in kx 2.182 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) 1/4) in kx 2.182 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))))) in kx 2.182 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))))) in kx 2.182 * [taylor]: Taking taylor expansion of 1/4 in kx 2.182 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)))) in kx 2.182 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.182 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.182 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.182 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.182 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.182 * [taylor]: Taking taylor expansion of kx in kx 2.182 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.182 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.182 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.182 * [taylor]: Taking taylor expansion of ky in kx 2.186 * [taylor]: Taking taylor expansion of 0 in kx 2.190 * [taylor]: Taking taylor expansion of 0 in kx 2.195 * [taylor]: Taking taylor expansion of 0 in kx 2.196 * [approximate]: Taking taylor expansion of (* (sin (/ -1 ky)) (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4)) in (ky kx) around 0 2.196 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4)) in kx 2.196 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.196 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.196 * [taylor]: Taking taylor expansion of -1 in kx 2.196 * [taylor]: Taking taylor expansion of ky in kx 2.196 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4) in kx 2.196 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))))) in kx 2.196 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.196 * [taylor]: Taking taylor expansion of 1/4 in kx 2.196 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.196 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.196 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.196 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.196 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.196 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.196 * [taylor]: Taking taylor expansion of -1 in kx 2.197 * [taylor]: Taking taylor expansion of kx in kx 2.197 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.197 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.197 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.197 * [taylor]: Taking taylor expansion of -1 in kx 2.197 * [taylor]: Taking taylor expansion of ky in kx 2.198 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4)) in ky 2.198 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.198 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.198 * [taylor]: Taking taylor expansion of -1 in ky 2.198 * [taylor]: Taking taylor expansion of ky in ky 2.198 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4) in ky 2.198 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))))) in ky 2.198 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.198 * [taylor]: Taking taylor expansion of 1/4 in ky 2.198 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.198 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.198 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.198 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.198 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.198 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.198 * [taylor]: Taking taylor expansion of -1 in ky 2.198 * [taylor]: Taking taylor expansion of kx in ky 2.198 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.198 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.198 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.198 * [taylor]: Taking taylor expansion of -1 in ky 2.198 * [taylor]: Taking taylor expansion of ky in ky 2.199 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4)) in ky 2.199 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.199 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.199 * [taylor]: Taking taylor expansion of -1 in ky 2.199 * [taylor]: Taking taylor expansion of ky in ky 2.200 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4) in ky 2.200 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))))) in ky 2.200 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in ky 2.200 * [taylor]: Taking taylor expansion of 1/4 in ky 2.200 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in ky 2.200 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.200 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.200 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.200 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.200 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.200 * [taylor]: Taking taylor expansion of -1 in ky 2.200 * [taylor]: Taking taylor expansion of kx in ky 2.200 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.200 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.200 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.200 * [taylor]: Taking taylor expansion of -1 in ky 2.200 * [taylor]: Taking taylor expansion of ky in ky 2.201 * [taylor]: Taking taylor expansion of (* (sin (/ -1 ky)) (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4)) in kx 2.201 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.201 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.201 * [taylor]: Taking taylor expansion of -1 in kx 2.201 * [taylor]: Taking taylor expansion of ky in kx 2.201 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) 1/4) in kx 2.201 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))))) in kx 2.201 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))))) in kx 2.202 * [taylor]: Taking taylor expansion of 1/4 in kx 2.202 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)))) in kx 2.202 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.202 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.202 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.202 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.202 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.202 * [taylor]: Taking taylor expansion of -1 in kx 2.202 * [taylor]: Taking taylor expansion of kx in kx 2.202 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.202 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.202 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.202 * [taylor]: Taking taylor expansion of -1 in kx 2.202 * [taylor]: Taking taylor expansion of ky in kx 2.205 * [taylor]: Taking taylor expansion of 0 in kx 2.209 * [taylor]: Taking taylor expansion of 0 in kx 2.214 * [taylor]: Taking taylor expansion of 0 in kx 2.215 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 2.215 * [approximate]: Taking taylor expansion of (pow (sin kx) 2) in (kx) around 0 2.215 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.215 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.215 * [taylor]: Taking taylor expansion of kx in kx 2.215 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.215 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.215 * [taylor]: Taking taylor expansion of kx in kx 2.216 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in (kx) around 0 2.216 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.216 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.216 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.216 * [taylor]: Taking taylor expansion of kx in kx 2.216 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.216 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.216 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.216 * [taylor]: Taking taylor expansion of kx in kx 2.217 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in (kx) around 0 2.217 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.217 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.217 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.217 * [taylor]: Taking taylor expansion of -1 in kx 2.217 * [taylor]: Taking taylor expansion of kx in kx 2.217 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.217 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.217 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.217 * [taylor]: Taking taylor expansion of -1 in kx 2.217 * [taylor]: Taking taylor expansion of kx in kx 2.218 * * * [progress]: simplifying candidates 2.222 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (*.f64 (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)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (pow.f64 1 2)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2) 3))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.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 ky) 2))))) (sqrt.f64 (-.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 ky) 2)))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (*.f64 (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)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (pow.f64 1 2)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2) 3))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.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 ky) 2))))) (sqrt.f64 (-.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 ky) 2)))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (-.f64 (log.f64 (sin.f64 ky)) (log.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (exp.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (*.f64 (sin.f64 ky) (sin.f64 ky)) (sin.f64 ky)) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (*.f64 (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (*.f64 (*.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (neg.f64 (sin.f64 ky)) (neg.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 1))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (pow.f64 1 2)))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 1))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 1)) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) 1) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 1))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (pow.f64 1 2)))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 1))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 1)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) 1) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sin.f64 ky) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 (sqrt.f64 (sqrt.f64 1))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (pow.f64 1 2)))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 1))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 1) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sin.f64 ky) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 1))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (pow.f64 1 2)))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 1))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 1)) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) 1) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2) 3))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (-.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 ky) 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 (+.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 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 (*.f64 (pow.f64 NAN.f64 3) (*.f64 kx ky)) (+.f64 (*.f64 NAN.f64 ky) (*.f64 1/2 (*.f64 (pow.f64 NAN.f64 5) (pow.f64 ky 3))))) (*.f64 3/8 (*.f64 NAN.f64 (pow.f64 ky 3)))) (*.f64 (pow.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/4) (sin.f64 ky)) (*.f64 (pow.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/4) (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) 2.266 * * [simplify]: iteration 0 : 4991 enodes (cost 1945 ) 2.267 * * [simplify]: iteration 1 : 4991 enodes (cost 1945 ) 2.274 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 3) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 4) (-.f64 (pow.f64 (sin.f64 ky) 4) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 4) (pow.f64 (sin.f64 ky) 4))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 3) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 4) (-.f64 (pow.f64 (sin.f64 ky) 4) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 4) (pow.f64 (sin.f64 ky) 4))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (log.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (exp.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) 3) (*.f64 (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (cbrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (pow.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) 3) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sqrt.f64 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (neg.f64 (sin.f64 ky)) (neg.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (fabs.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (*.f64 (cbrt.f64 (sin.f64 ky)) (cbrt.f64 (sin.f64 ky))) (/.f64 (cbrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (fabs.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sqrt.f64 (sin.f64 ky)) (/.f64 (sqrt.f64 (sin.f64 ky)) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sin.f64 ky) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 (fabs.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 (sqrt.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) 1 (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))) (/.f64 (sin.f64 ky) (fabs.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 ky) (sin.f64 ky) (sin.f64 ky) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 ky) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))) (sin.f64 ky) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sin.f64 ky))) (/.f64 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sin.f64 ky)) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6))))) (/.f64 (sin.f64 ky) (sqrt.f64 (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 4) (pow.f64 (sin.f64 ky) 4))))) (*.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 (+.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 (+.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 ky (+.f64 (+.f64 NAN.f64 (*.f64 kx (pow.f64 NAN.f64 3))) (*.f64 (*.f64 ky ky) (+.f64 (*.f64 1/2 (pow.f64 NAN.f64 5)) (*.f64 NAN.f64 -3/8))))) (*.f64 (sin.f64 ky) (pow.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/4)) (*.f64 (sin.f64 ky) (pow.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/4)) (-.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) 2.275 * * * [progress]: adding candidates to table 2.371 * * [progress]: iteration 4 / 4 2.371 * * * [progress]: picking best candidate 2.393 * * * * [pick]: Picked # 2.393 * * * [progress]: localizing error 2.411 * * * [progress]: generating rewritten candidates 2.411 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 2.422 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 2.431 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 2.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1 1) 2.439 * * * [progress]: generating series expansions 2.439 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 2.439 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 2.439 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.439 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.439 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.439 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.439 * [taylor]: Taking taylor expansion of kx in ky 2.439 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.439 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.439 * [taylor]: Taking taylor expansion of ky in ky 2.440 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.440 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.440 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.440 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.440 * [taylor]: Taking taylor expansion of kx in kx 2.440 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.440 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.440 * [taylor]: Taking taylor expansion of ky in kx 2.441 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.441 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.441 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.441 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.441 * [taylor]: Taking taylor expansion of kx in kx 2.441 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.441 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.441 * [taylor]: Taking taylor expansion of ky in kx 2.441 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.441 * [taylor]: Taking taylor expansion of ky in ky 2.441 * [taylor]: Taking taylor expansion of 0 in ky 2.442 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 2.442 * [taylor]: Taking taylor expansion of 1/2 in ky 2.442 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.442 * [taylor]: Taking taylor expansion of ky in ky 2.442 * [taylor]: Taking taylor expansion of 0 in ky 2.443 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 2.443 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.443 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) 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.444 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.444 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.444 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.444 * [taylor]: Taking taylor expansion of ky in ky 2.445 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.445 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) 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.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.446 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.446 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.446 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.446 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.446 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.446 * [taylor]: Taking taylor expansion of kx in kx 2.446 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.446 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.446 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.446 * [taylor]: Taking taylor expansion of ky in kx 2.447 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.447 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.447 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.447 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.448 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.448 * [taylor]: Taking taylor expansion of kx in ky 2.448 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.448 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.448 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.448 * [taylor]: Taking taylor expansion of ky in ky 2.449 * [taylor]: Taking taylor expansion of 0 in ky 2.450 * [taylor]: Taking taylor expansion of 0 in ky 2.451 * [taylor]: Taking taylor expansion of 0 in ky 2.452 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 2.452 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.452 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.452 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.452 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.452 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.452 * [taylor]: Taking taylor expansion of -1 in ky 2.452 * [taylor]: Taking taylor expansion of kx in ky 2.452 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.452 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.452 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.452 * [taylor]: Taking taylor expansion of -1 in ky 2.452 * [taylor]: Taking taylor expansion of ky in ky 2.453 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.453 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.453 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.453 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.453 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.453 * [taylor]: Taking taylor expansion of -1 in kx 2.453 * [taylor]: Taking taylor expansion of kx in kx 2.453 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.453 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.453 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.453 * [taylor]: Taking taylor expansion of -1 in kx 2.453 * [taylor]: Taking taylor expansion of ky in kx 2.454 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.454 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.454 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.454 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.454 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.454 * [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.456 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.456 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.456 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.456 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.456 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.456 * [taylor]: Taking taylor expansion of -1 in ky 2.456 * [taylor]: Taking taylor expansion of kx in ky 2.456 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.456 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.456 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.456 * [taylor]: Taking taylor expansion of -1 in ky 2.456 * [taylor]: Taking taylor expansion of ky in ky 2.457 * [taylor]: Taking taylor expansion of 0 in ky 2.458 * [taylor]: Taking taylor expansion of 0 in ky 2.460 * [taylor]: Taking taylor expansion of 0 in ky 2.460 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 2.460 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in (kx ky) around 0 2.460 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in ky 2.460 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in ky 2.460 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in ky 2.460 * [taylor]: Taking taylor expansion of (sin kx) in ky 2.460 * [taylor]: Taking taylor expansion of kx in ky 2.461 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in ky 2.461 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.461 * [taylor]: Taking taylor expansion of ky in ky 2.461 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.461 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.461 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.461 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.461 * [taylor]: Taking taylor expansion of kx in kx 2.461 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.461 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.461 * [taylor]: Taking taylor expansion of ky in kx 2.462 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) in kx 2.462 * [taylor]: Taking taylor expansion of (+ (pow (sin kx) 2) (pow (sin ky) 2)) in kx 2.462 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.462 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.462 * [taylor]: Taking taylor expansion of kx in kx 2.462 * [taylor]: Taking taylor expansion of (pow (sin ky) 2) in kx 2.462 * [taylor]: Taking taylor expansion of (sin ky) in kx 2.462 * [taylor]: Taking taylor expansion of ky in kx 2.463 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.463 * [taylor]: Taking taylor expansion of ky in ky 2.463 * [taylor]: Taking taylor expansion of 0 in ky 2.463 * [taylor]: Taking taylor expansion of (/ 1/2 (sin ky)) in ky 2.463 * [taylor]: Taking taylor expansion of 1/2 in ky 2.463 * [taylor]: Taking taylor expansion of (sin ky) in ky 2.463 * [taylor]: Taking taylor expansion of ky in ky 2.464 * [taylor]: Taking taylor expansion of 0 in ky 2.464 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in (kx ky) around 0 2.464 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.464 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.464 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.464 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.464 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.465 * [taylor]: Taking taylor expansion of kx in ky 2.465 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.465 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.465 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.465 * [taylor]: Taking taylor expansion of ky in ky 2.466 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.466 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.466 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.466 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.466 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.466 * [taylor]: Taking taylor expansion of kx in kx 2.466 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.466 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.466 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.466 * [taylor]: Taking taylor expansion of ky in kx 2.467 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in kx 2.467 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in kx 2.467 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.467 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.467 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.467 * [taylor]: Taking taylor expansion of kx in kx 2.467 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in kx 2.468 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in kx 2.468 * [taylor]: Taking taylor expansion of (/ 1 ky) in kx 2.468 * [taylor]: Taking taylor expansion of ky in kx 2.469 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2))) in ky 2.469 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ 1 kx)) 2) (pow (sin (/ 1 ky)) 2)) in ky 2.469 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in ky 2.469 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in ky 2.469 * [taylor]: Taking taylor expansion of (/ 1 kx) in ky 2.469 * [taylor]: Taking taylor expansion of kx in ky 2.469 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 ky)) 2) in ky 2.469 * [taylor]: Taking taylor expansion of (sin (/ 1 ky)) in ky 2.469 * [taylor]: Taking taylor expansion of (/ 1 ky) in ky 2.469 * [taylor]: Taking taylor expansion of ky in ky 2.470 * [taylor]: Taking taylor expansion of 0 in ky 2.471 * [taylor]: Taking taylor expansion of 0 in ky 2.472 * [taylor]: Taking taylor expansion of 0 in ky 2.473 * [approximate]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in (kx ky) around 0 2.473 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.473 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.473 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.473 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.473 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.473 * [taylor]: Taking taylor expansion of -1 in ky 2.473 * [taylor]: Taking taylor expansion of kx in ky 2.473 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in ky 2.473 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in ky 2.473 * [taylor]: Taking taylor expansion of (/ -1 ky) in ky 2.473 * [taylor]: Taking taylor expansion of -1 in ky 2.473 * [taylor]: Taking taylor expansion of ky in ky 2.474 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.474 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) 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.474 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.474 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.474 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.474 * [taylor]: Taking taylor expansion of -1 in kx 2.474 * [taylor]: Taking taylor expansion of ky in kx 2.475 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in kx 2.476 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in kx 2.476 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.476 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.476 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.476 * [taylor]: Taking taylor expansion of -1 in kx 2.476 * [taylor]: Taking taylor expansion of kx in kx 2.476 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 ky)) 2) in kx 2.476 * [taylor]: Taking taylor expansion of (sin (/ -1 ky)) in kx 2.476 * [taylor]: Taking taylor expansion of (/ -1 ky) in kx 2.476 * [taylor]: Taking taylor expansion of -1 in kx 2.476 * [taylor]: Taking taylor expansion of ky in kx 2.477 * [taylor]: Taking taylor expansion of (sqrt (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2))) in ky 2.477 * [taylor]: Taking taylor expansion of (+ (pow (sin (/ -1 kx)) 2) (pow (sin (/ -1 ky)) 2)) in ky 2.477 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in ky 2.477 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in ky 2.477 * [taylor]: Taking taylor expansion of (/ -1 kx) in ky 2.477 * [taylor]: Taking taylor expansion of -1 in ky 2.477 * [taylor]: Taking taylor expansion of kx 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 -1 in ky 2.477 * [taylor]: Taking taylor expansion of ky in ky 2.478 * [taylor]: Taking taylor expansion of 0 in ky 2.479 * [taylor]: Taking taylor expansion of 0 in ky 2.481 * [taylor]: Taking taylor expansion of 0 in ky 2.481 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 2.481 * [approximate]: Taking taylor expansion of (pow (sin kx) 2) in (kx) around 0 2.481 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.481 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.481 * [taylor]: Taking taylor expansion of kx in kx 2.481 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.481 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.481 * [taylor]: Taking taylor expansion of kx in kx 2.482 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in (kx) around 0 2.482 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.482 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.482 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.482 * [taylor]: Taking taylor expansion of kx in kx 2.482 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.482 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.482 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.482 * [taylor]: Taking taylor expansion of kx in kx 2.483 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in (kx) around 0 2.483 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.483 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.483 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.483 * [taylor]: Taking taylor expansion of -1 in kx 2.483 * [taylor]: Taking taylor expansion of kx in kx 2.483 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.483 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.484 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.484 * [taylor]: Taking taylor expansion of -1 in kx 2.484 * [taylor]: Taking taylor expansion of kx in kx 2.484 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1 1) 2.485 * [approximate]: Taking taylor expansion of (pow (sin kx) 2) in (kx) around 0 2.485 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.485 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.485 * [taylor]: Taking taylor expansion of kx in kx 2.485 * [taylor]: Taking taylor expansion of (pow (sin kx) 2) in kx 2.485 * [taylor]: Taking taylor expansion of (sin kx) in kx 2.485 * [taylor]: Taking taylor expansion of kx in kx 2.486 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in (kx) around 0 2.486 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.486 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.486 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.486 * [taylor]: Taking taylor expansion of kx in kx 2.486 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 kx)) 2) in kx 2.486 * [taylor]: Taking taylor expansion of (sin (/ 1 kx)) in kx 2.486 * [taylor]: Taking taylor expansion of (/ 1 kx) in kx 2.486 * [taylor]: Taking taylor expansion of kx in kx 2.487 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in (kx) around 0 2.487 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.487 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.487 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.487 * [taylor]: Taking taylor expansion of -1 in kx 2.487 * [taylor]: Taking taylor expansion of kx in kx 2.487 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 kx)) 2) in kx 2.487 * [taylor]: Taking taylor expansion of (sin (/ -1 kx)) in kx 2.487 * [taylor]: Taking taylor expansion of (/ -1 kx) in kx 2.487 * [taylor]: Taking taylor expansion of -1 in kx 2.487 * [taylor]: Taking taylor expansion of kx in kx 2.488 * * * [progress]: simplifying candidates 2.489 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (*.f64 (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)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (pow.f64 1 2)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2) 3))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.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 ky) 2))))) (sqrt.f64 (-.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 ky) 2)))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (*.f64 (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)))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (pow.f64 1 2)) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 1) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (sin.f64 kx) 2) 3) (pow.f64 (pow.f64 (sin.f64 ky) 2) 3))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 kx) 2)) (-.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 ky) 2))))) (sqrt.f64 (-.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 ky) 2)))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 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 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 (+.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 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 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 (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) 2.548 * * [simplify]: iteration 0 : 4927 enodes (cost 722 ) 2.548 * * [simplify]: iteration 1 : 4927 enodes (cost 722 ) 2.552 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 3) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 4) (-.f64 (pow.f64 (sin.f64 ky) 4) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 4) (pow.f64 (sin.f64 ky) 4))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (log.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (exp.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (pow.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 3) (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 6) (pow.f64 (sin.f64 ky) 6))) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 4) (-.f64 (pow.f64 (sin.f64 ky) 4) (*.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 4) (pow.f64 (sin.f64 ky) 4))) (sqrt.f64 (-.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))) (sqrt.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 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 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 (+.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 (+.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 (+.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 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) 2.552 * * * [progress]: adding candidates to table 2.614 * [progress]: [Phase 3 of 3] Extracting. 2.614 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 2.617 * * * [regime-changes]: Trying 7 branch expressions: ((sin.f64 th) (sin.f64 kx) (pow.f64 (sin.f64 kx) 2) (sin.f64 ky) th ky kx) 2.617 * * * * [regimes]: Trying to branch on (sin.f64 th) from (# # # # # # # # # #) 2.671 * * * * [regimes]: Trying to branch on (sin.f64 kx) from (# # # # # # # # # #) 2.723 * * * * [regimes]: Trying to branch on (pow.f64 (sin.f64 kx) 2) from (# # # # # # # # # #) 2.776 * * * * [regimes]: Trying to branch on (sin.f64 ky) from (# # # # # # # # # #) 2.828 * * * * [regimes]: Trying to branch on th from (# # # # # # # # # #) 2.879 * * * * [regimes]: Trying to branch on ky from (# # # # # # # # # #) 2.930 * * * * [regimes]: Trying to branch on kx from (# # # # # # # # # #) 2.981 * * * [regime]: Found split indices: #