6.342 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.272 * * * [progress]: [2/2] Setting up program. 0.277 * [progress]: [Phase 2 of 3] Improving. 0.278 * [simplify]: Simplifying using # : (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 0.279 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 0.282 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 0.289 * * [simplify]: iteration 2 : 96 enodes (cost 65 ) 0.301 * * [simplify]: iteration 3 : 169 enodes (cost 65 ) 0.331 * * [simplify]: iteration 4 : 310 enodes (cost 65 ) 0.408 * * [simplify]: iteration 5 : 529 enodes (cost 65 ) 0.619 * * [simplify]: iteration 6 : 1411 enodes (cost 65 ) 1.887 * * [simplify]: iteration 7 : 4752 enodes (cost 65 ) 5.652 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 5.652 * [simplify]: Simplified to: (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 5.653 * * [progress]: iteration 1 / 4 5.653 * * * [progress]: picking best candidate 5.658 * * * * [pick]: Picked # 5.658 * * * [progress]: localizing error 5.692 * * * [progress]: generating rewritten candidates 5.693 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 5.698 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 5.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 5.712 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 5.718 * * * [progress]: generating series expansions 5.718 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 5.718 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 5.718 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 5.718 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 5.718 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.718 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 5.718 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.718 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.718 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.719 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.719 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.719 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.719 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.719 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.719 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.719 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.719 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.719 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.719 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.719 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.719 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.719 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.719 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.719 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.723 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 5.723 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.724 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.724 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.724 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.724 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.732 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 5.732 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 5.732 * [taylor]: Taking taylor expansion of 0.125 in lambda2 5.732 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.732 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.732 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.732 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.742 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 5.742 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 5.742 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 5.742 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.742 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.742 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.742 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.744 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 5.744 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.744 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.744 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.745 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.745 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.745 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.745 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.745 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.746 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.746 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.746 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.746 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.746 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.746 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.746 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.746 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.747 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.747 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.747 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.747 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.747 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.747 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.747 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.747 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.748 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.748 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.748 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.748 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.748 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.748 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.748 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.748 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.749 * [taylor]: Taking taylor expansion of 0 in lambda2 5.749 * [taylor]: Taking taylor expansion of 0 in lambda2 5.749 * [taylor]: Taking taylor expansion of 0 in lambda2 5.749 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 5.749 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.749 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.749 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.749 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.750 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.750 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.750 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.750 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.750 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.750 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.750 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.751 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.751 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.751 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.751 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.751 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.752 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.752 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.752 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.752 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.752 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.752 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.752 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.752 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.753 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.753 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.753 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.753 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.753 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.753 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.753 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.753 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.754 * [taylor]: Taking taylor expansion of 0 in lambda2 5.754 * [taylor]: Taking taylor expansion of 0 in lambda2 5.754 * [taylor]: Taking taylor expansion of 0 in lambda2 5.754 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 5.754 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 5.754 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 5.754 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 5.754 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.754 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 5.754 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.754 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.755 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.755 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.755 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.755 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.755 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.755 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.755 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.755 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.755 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.755 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.755 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.755 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.755 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.755 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.760 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 5.760 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.760 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.760 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.760 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.760 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.768 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 5.768 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 5.768 * [taylor]: Taking taylor expansion of 0.125 in lambda2 5.768 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.768 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.768 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.768 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.777 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 5.777 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 5.777 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 5.777 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.777 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.777 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.777 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.780 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 5.780 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.780 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.780 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.780 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.780 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.780 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.780 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.780 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.781 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.781 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.781 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.781 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.781 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.781 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.781 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.781 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.782 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.782 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.782 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.782 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.782 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.782 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.782 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.782 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.783 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.783 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.783 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.783 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.783 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.783 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.783 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.783 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.784 * [taylor]: Taking taylor expansion of 0 in lambda2 5.784 * [taylor]: Taking taylor expansion of 0 in lambda2 5.784 * [taylor]: Taking taylor expansion of 0 in lambda2 5.785 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 5.785 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.785 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.785 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.785 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.785 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.785 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.785 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.785 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.786 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.786 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.786 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.786 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.786 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.786 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.786 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.786 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.787 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.787 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.787 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.787 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.787 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.787 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.787 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.787 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.788 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.788 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.788 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.788 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.788 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.788 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.789 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.789 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.792 * [taylor]: Taking taylor expansion of 0 in lambda2 5.793 * [taylor]: Taking taylor expansion of 0 in lambda2 5.793 * [taylor]: Taking taylor expansion of 0 in lambda2 5.793 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 5.793 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 5.793 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 5.793 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 5.793 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.793 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 5.793 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.793 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.794 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.794 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.794 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.794 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.794 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.794 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.794 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.794 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.794 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.794 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.794 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.794 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.794 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.794 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.794 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.794 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.799 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 5.799 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.799 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.799 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.799 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.799 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.806 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 5.806 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 5.806 * [taylor]: Taking taylor expansion of 0.125 in lambda2 5.806 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.806 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.806 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.806 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.815 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 5.815 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 5.815 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 5.815 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.815 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.815 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.815 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.818 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 5.818 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.818 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.818 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.818 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.818 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.818 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.818 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.818 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.819 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.819 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.819 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.819 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.819 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.819 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.819 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.820 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.820 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.820 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.820 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.820 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.820 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.820 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.821 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.821 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.821 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.821 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.821 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.821 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.821 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.821 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.821 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.821 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.823 * [taylor]: Taking taylor expansion of 0 in lambda2 5.823 * [taylor]: Taking taylor expansion of 0 in lambda2 5.823 * [taylor]: Taking taylor expansion of 0 in lambda2 5.823 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 5.823 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.823 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.823 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.823 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.823 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.823 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.823 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.823 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.824 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.824 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.824 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.824 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.824 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.824 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.824 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.824 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.825 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.825 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.825 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.825 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.825 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.825 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.825 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.825 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.826 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.826 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.826 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.826 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.826 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.826 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.827 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.827 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.827 * [taylor]: Taking taylor expansion of 0 in lambda2 5.827 * [taylor]: Taking taylor expansion of 0 in lambda2 5.827 * [taylor]: Taking taylor expansion of 0 in lambda2 5.828 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 5.828 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 5.828 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 5.828 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 5.828 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.828 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 5.828 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.828 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.828 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.828 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.828 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.828 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.828 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.828 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.828 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.828 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.828 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.828 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.829 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.829 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.829 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.829 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.829 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.829 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.833 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 5.833 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.833 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.833 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.833 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.833 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.841 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 5.841 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 5.841 * [taylor]: Taking taylor expansion of 0.125 in lambda2 5.841 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.841 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.841 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.841 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.850 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 5.850 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 5.850 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 5.850 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.850 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.850 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.850 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.853 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 5.853 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.853 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.853 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.853 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.853 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.853 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.853 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.853 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.854 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.854 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.854 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.855 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.855 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.855 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.855 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.855 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.855 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.856 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.856 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.856 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.856 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.856 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.856 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.856 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.857 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.857 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.857 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.857 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.857 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.857 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.857 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.857 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.858 * [taylor]: Taking taylor expansion of 0 in lambda2 5.858 * [taylor]: Taking taylor expansion of 0 in lambda2 5.858 * [taylor]: Taking taylor expansion of 0 in lambda2 5.858 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 5.858 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.858 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.858 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.858 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.858 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.858 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.858 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.859 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.859 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.859 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.859 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.859 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.859 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.859 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.859 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.859 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.860 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.860 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.860 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.860 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.860 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.860 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.861 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.861 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.862 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.862 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.862 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.862 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.862 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.862 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.862 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.862 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.863 * [taylor]: Taking taylor expansion of 0 in lambda2 5.863 * [taylor]: Taking taylor expansion of 0 in lambda2 5.863 * [taylor]: Taking taylor expansion of 0 in lambda2 5.863 * * * [progress]: simplifying candidates 5.864 * [simplify]: Simplifying using # : (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 5.865 * * [simplify]: iteration 0 : 32 enodes (cost 452 ) 5.870 * * [simplify]: iteration 1 : 55 enodes (cost 452 ) 5.880 * * [simplify]: iteration 2 : 90 enodes (cost 396 ) 5.892 * * [simplify]: iteration 3 : 158 enodes (cost 396 ) 5.918 * * [simplify]: iteration 4 : 304 enodes (cost 396 ) 5.995 * * [simplify]: iteration 5 : 737 enodes (cost 396 ) 6.549 * * [simplify]: iteration 6 : 2890 enodes (cost 396 ) 8.537 * * [simplify]: iteration done : 5000 enodes (cost 396 ) 8.537 * [simplify]: Simplified to: (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 8.538 * * * [progress]: adding candidates to table 8.831 * * [progress]: iteration 2 / 4 8.831 * * * [progress]: picking best candidate 8.906 * * * * [pick]: Picked # 8.906 * * * [progress]: localizing error 8.946 * * * [progress]: generating rewritten candidates 8.946 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.953 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.958 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 8.963 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.969 * * * [progress]: generating series expansions 8.969 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.969 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.969 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.969 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.969 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.969 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.969 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.969 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.970 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.970 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.970 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.970 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.970 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.970 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.970 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.970 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.970 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.970 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.970 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.970 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.971 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.971 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.971 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.971 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.975 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.975 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.975 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.975 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.975 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.975 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.983 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.983 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.983 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.983 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.983 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.983 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.983 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.995 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 8.995 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 8.995 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 8.995 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.995 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.995 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.995 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.998 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.998 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.998 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.998 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.998 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.998 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.998 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.998 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.998 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.999 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.999 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.999 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.999 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.999 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.999 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.999 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.999 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.000 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.000 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.000 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.000 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.000 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.000 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.000 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.000 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.001 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.001 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.001 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.001 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.001 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.001 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.001 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.001 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.002 * [taylor]: Taking taylor expansion of 0 in lambda2 9.002 * [taylor]: Taking taylor expansion of 0 in lambda2 9.002 * [taylor]: Taking taylor expansion of 0 in lambda2 9.003 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.003 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.003 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.003 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.003 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.003 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.003 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.003 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.003 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.004 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.004 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.004 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.004 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.004 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.004 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.004 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.004 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.005 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.005 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.005 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.005 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.005 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.005 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.005 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.005 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.006 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.006 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.006 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.006 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.006 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.006 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.007 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.007 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.007 * [taylor]: Taking taylor expansion of 0 in lambda2 9.007 * [taylor]: Taking taylor expansion of 0 in lambda2 9.007 * [taylor]: Taking taylor expansion of 0 in lambda2 9.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 9.008 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.008 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 9.008 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 9.008 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.008 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.008 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.008 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.008 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.008 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.008 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.008 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.008 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.008 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.008 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.008 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.008 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.008 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.008 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.008 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.009 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.009 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.009 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.009 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.013 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 9.013 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.013 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.013 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.013 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.013 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.021 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 9.021 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 9.021 * [taylor]: Taking taylor expansion of 0.125 in lambda2 9.021 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.021 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.021 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.021 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.030 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 9.030 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 9.030 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 9.030 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.030 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.030 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.030 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.032 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.033 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.033 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.033 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.033 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.033 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.033 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.033 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.033 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.034 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.034 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.034 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.034 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.034 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.034 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.034 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.034 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.035 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.035 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.035 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.035 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.035 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.035 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.035 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.035 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.036 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.036 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.036 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.036 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.036 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.036 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.036 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.036 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.037 * [taylor]: Taking taylor expansion of 0 in lambda2 9.037 * [taylor]: Taking taylor expansion of 0 in lambda2 9.037 * [taylor]: Taking taylor expansion of 0 in lambda2 9.037 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.038 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.038 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.038 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.038 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.038 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.038 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.038 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.038 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.038 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.039 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.039 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.039 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.039 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.039 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.039 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.039 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.040 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.040 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.040 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.040 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.040 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.040 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.040 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.040 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.041 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.041 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.041 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.041 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.041 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.041 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.041 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.041 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.042 * [taylor]: Taking taylor expansion of 0 in lambda2 9.042 * [taylor]: Taking taylor expansion of 0 in lambda2 9.042 * [taylor]: Taking taylor expansion of 0 in lambda2 9.042 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 9.043 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.043 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 9.043 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 9.043 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.043 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.043 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.043 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.043 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.043 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.043 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.043 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.043 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.043 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.043 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.043 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.043 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.043 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.043 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.043 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.044 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.044 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.044 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.044 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.048 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 9.048 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.048 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.048 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.048 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.048 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.055 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 9.056 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 9.056 * [taylor]: Taking taylor expansion of 0.125 in lambda2 9.056 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.056 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.056 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.056 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.064 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 9.064 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 9.064 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 9.064 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.064 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.064 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.064 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.067 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.067 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.067 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.067 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.067 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.067 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.067 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.067 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.067 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.068 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.068 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.068 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.068 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.068 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.068 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.069 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.069 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.069 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.069 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.069 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.069 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.069 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.069 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.070 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.070 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.073 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.073 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.073 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.073 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.073 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.073 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.073 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.073 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.075 * [taylor]: Taking taylor expansion of 0 in lambda2 9.075 * [taylor]: Taking taylor expansion of 0 in lambda2 9.075 * [taylor]: Taking taylor expansion of 0 in lambda2 9.075 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.075 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.075 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.075 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.075 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.075 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.075 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.075 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.075 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.076 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.076 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.076 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.076 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.076 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.076 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.076 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.076 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.077 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.077 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.077 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.077 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.077 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.077 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.077 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.077 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.078 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.078 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.078 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.078 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.078 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.078 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.079 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.079 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.079 * [taylor]: Taking taylor expansion of 0 in lambda2 9.079 * [taylor]: Taking taylor expansion of 0 in lambda2 9.080 * [taylor]: Taking taylor expansion of 0 in lambda2 9.080 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 9.080 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.080 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 9.080 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 9.080 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.080 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.080 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.080 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.080 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.080 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.080 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.080 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.080 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.080 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.081 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.081 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.081 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.081 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.081 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.081 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.081 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.081 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.081 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.081 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.085 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 9.085 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.085 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.085 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.085 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.085 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.093 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 9.093 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 9.093 * [taylor]: Taking taylor expansion of 0.125 in lambda2 9.093 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.093 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.093 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.093 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.102 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 9.102 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 9.102 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 9.102 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.102 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.102 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.102 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.104 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.104 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.104 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.104 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.104 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.104 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.104 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.104 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.106 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.106 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.106 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.106 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.106 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.106 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.106 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.106 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.107 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.107 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.107 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.107 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.107 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.107 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.107 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.107 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.108 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.108 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.108 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.108 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.108 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.108 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.108 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.108 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.109 * [taylor]: Taking taylor expansion of 0 in lambda2 9.109 * [taylor]: Taking taylor expansion of 0 in lambda2 9.109 * [taylor]: Taking taylor expansion of 0 in lambda2 9.109 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.109 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.109 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.109 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.109 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.109 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.109 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.110 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.110 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.110 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.110 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.110 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.110 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.110 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.110 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.110 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.110 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.111 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.111 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.112 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.112 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.112 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.112 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.112 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.112 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.113 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.113 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.113 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.113 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.113 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.113 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.113 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.113 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.114 * [taylor]: Taking taylor expansion of 0 in lambda2 9.114 * [taylor]: Taking taylor expansion of 0 in lambda2 9.114 * [taylor]: Taking taylor expansion of 0 in lambda2 9.114 * * * [progress]: simplifying candidates 9.115 * [simplify]: Simplifying using # : (log (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt 1) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))) (* (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (* (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 9.117 * * [simplify]: iteration 0 : 59 enodes (cost 711 ) 9.127 * * [simplify]: iteration 1 : 106 enodes (cost 574 ) 9.145 * * [simplify]: iteration 2 : 221 enodes (cost 530 ) 9.182 * * [simplify]: iteration 3 : 542 enodes (cost 530 ) 9.354 * * [simplify]: iteration 4 : 1831 enodes (cost 530 ) 10.031 * * [simplify]: iteration done : 5001 enodes (cost 530 ) 10.032 * [simplify]: Simplified to: (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 10.032 * * * [progress]: adding candidates to table 10.391 * * [progress]: iteration 3 / 4 10.391 * * * [progress]: picking best candidate 10.482 * * * * [pick]: Picked # 10.482 * * * [progress]: localizing error 10.531 * * * [progress]: generating rewritten candidates 10.531 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 10.533 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 10.538 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1 2 1) 10.543 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1 1 1 1 1) 10.549 * * * [progress]: generating series expansions 10.549 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 10.549 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 10.549 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 10.549 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 10.549 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.549 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 10.549 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.549 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.550 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 10.550 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 10.550 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.550 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 10.550 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.550 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.550 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 10.550 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 10.550 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.550 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 10.550 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.550 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.551 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 10.551 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.551 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.551 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.555 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 10.555 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.555 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 10.555 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.555 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.555 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.563 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 10.563 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 10.563 * [taylor]: Taking taylor expansion of 0.125 in lambda2 10.563 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 10.563 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.563 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.563 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.572 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 10.572 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 10.572 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 10.572 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 10.572 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.572 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.572 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.580 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 10.580 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 10.580 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 10.580 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.580 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 10.580 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.580 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.580 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.580 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.581 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 10.581 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 10.581 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.581 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 10.581 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.581 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.582 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.582 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.582 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 10.582 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 10.582 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.582 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 10.582 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.582 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.583 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.583 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.583 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 10.583 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 10.583 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.583 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 10.583 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.583 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.584 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.584 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.585 * [taylor]: Taking taylor expansion of 0 in lambda2 10.585 * [taylor]: Taking taylor expansion of 0 in lambda2 10.585 * [taylor]: Taking taylor expansion of 0 in lambda2 10.585 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 10.585 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 10.585 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 10.585 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.585 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 10.585 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.585 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.586 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.586 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.586 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 10.586 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 10.586 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.586 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 10.587 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.587 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.587 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.587 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 10.588 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 10.588 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.588 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 10.588 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.588 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.588 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.588 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 10.589 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 10.589 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.589 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 10.589 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.589 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.589 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.589 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.590 * [taylor]: Taking taylor expansion of 0 in lambda2 10.590 * [taylor]: Taking taylor expansion of 0 in lambda2 10.590 * [taylor]: Taking taylor expansion of 0 in lambda2 10.590 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 10.590 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 10.590 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 10.590 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 10.590 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.590 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 10.590 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.590 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.591 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 10.591 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 10.591 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.591 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 10.591 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.591 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.591 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 10.591 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 10.591 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.591 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 10.591 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.591 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.591 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 10.591 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.591 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.591 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.596 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 10.596 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.596 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 10.596 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.596 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.596 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.604 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 10.604 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 10.604 * [taylor]: Taking taylor expansion of 0.125 in lambda2 10.604 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 10.604 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.604 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.604 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.613 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 10.613 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 10.613 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 10.613 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 10.613 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.613 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.613 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.616 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 10.616 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 10.616 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 10.616 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.616 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 10.616 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.616 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.616 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.616 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.617 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 10.617 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 10.617 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.617 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 10.617 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.617 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.617 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.617 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.618 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 10.618 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 10.618 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.618 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 10.618 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.618 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.618 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.618 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.619 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 10.619 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 10.619 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.619 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 10.619 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.619 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.619 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.619 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.620 * [taylor]: Taking taylor expansion of 0 in lambda2 10.620 * [taylor]: Taking taylor expansion of 0 in lambda2 10.620 * [taylor]: Taking taylor expansion of 0 in lambda2 10.621 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 10.621 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 10.621 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 10.621 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.621 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 10.621 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.621 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.621 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.621 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.622 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 10.622 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 10.622 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.622 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 10.622 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.622 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.622 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.622 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.623 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 10.623 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 10.623 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.623 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 10.623 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.623 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.623 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.623 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.624 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 10.624 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 10.624 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.624 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 10.624 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.624 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.625 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.625 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.625 * [taylor]: Taking taylor expansion of 0 in lambda2 10.625 * [taylor]: Taking taylor expansion of 0 in lambda2 10.625 * [taylor]: Taking taylor expansion of 0 in lambda2 10.626 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1 2 1) 10.626 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 10.626 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 10.626 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 10.626 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.626 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 10.626 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.626 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.626 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 10.626 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 10.626 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.627 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 10.627 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.627 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.627 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 10.627 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 10.627 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.627 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 10.627 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.627 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.627 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 10.627 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.627 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.627 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.631 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 10.632 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.632 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 10.632 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.632 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.632 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.639 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 10.640 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 10.640 * [taylor]: Taking taylor expansion of 0.125 in lambda2 10.640 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 10.640 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.640 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.640 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.649 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 10.649 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 10.649 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 10.649 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 10.649 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.649 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.649 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.652 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 10.652 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 10.652 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 10.652 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.652 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 10.652 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.652 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.652 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.652 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.653 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 10.653 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 10.653 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.653 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 10.653 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.653 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.654 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.654 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.654 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 10.654 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 10.654 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.654 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 10.654 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.654 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.655 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.655 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.655 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 10.655 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 10.655 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.655 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 10.655 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.655 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.655 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.655 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.657 * [taylor]: Taking taylor expansion of 0 in lambda2 10.657 * [taylor]: Taking taylor expansion of 0 in lambda2 10.657 * [taylor]: Taking taylor expansion of 0 in lambda2 10.657 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 10.657 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 10.657 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 10.657 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.657 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 10.657 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.657 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.657 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.657 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.658 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 10.658 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 10.658 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.658 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 10.658 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.658 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.658 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.658 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.659 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 10.659 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 10.659 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.659 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 10.659 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.659 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.659 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.659 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.661 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 10.661 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 10.661 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.661 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 10.661 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.661 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.661 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.661 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.662 * [taylor]: Taking taylor expansion of 0 in lambda2 10.662 * [taylor]: Taking taylor expansion of 0 in lambda2 10.662 * [taylor]: Taking taylor expansion of 0 in lambda2 10.662 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1 1 1 1 1) 10.662 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 10.662 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 10.662 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 10.662 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.662 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 10.662 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.662 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.663 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 10.663 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 10.663 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.663 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 10.663 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.663 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.663 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 10.663 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 10.663 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.663 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 10.663 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.663 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.663 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 10.663 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.663 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.663 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.671 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 10.671 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.671 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 10.671 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.671 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.671 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.679 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 10.679 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 10.679 * [taylor]: Taking taylor expansion of 0.125 in lambda2 10.679 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 10.679 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.679 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.679 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.688 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 10.688 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 10.688 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 10.688 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 10.688 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 10.688 * [taylor]: Taking taylor expansion of -0.5 in lambda2 10.688 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.690 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 10.690 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 10.690 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 10.690 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.691 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 10.691 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.691 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.691 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.691 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.692 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 10.692 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 10.692 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.692 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 10.692 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.692 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.692 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.692 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.693 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 10.693 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 10.693 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.693 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 10.693 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.693 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.693 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.693 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.694 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 10.694 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 10.694 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.694 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 10.694 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.694 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.694 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.694 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.695 * [taylor]: Taking taylor expansion of 0 in lambda2 10.695 * [taylor]: Taking taylor expansion of 0 in lambda2 10.695 * [taylor]: Taking taylor expansion of 0 in lambda2 10.695 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 10.695 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 10.695 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 10.695 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.695 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 10.695 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.695 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.696 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.696 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.696 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 10.696 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 10.696 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.696 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 10.696 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.696 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.697 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.697 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.698 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 10.698 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 10.698 * [taylor]: Taking taylor expansion of 0.5 in lambda1 10.698 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 10.698 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 10.698 * [taylor]: Taking taylor expansion of lambda2 in lambda1 10.698 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 10.698 * [taylor]: Taking taylor expansion of lambda1 in lambda1 10.699 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 10.699 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 10.699 * [taylor]: Taking taylor expansion of 0.5 in lambda2 10.699 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 10.699 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 10.699 * [taylor]: Taking taylor expansion of lambda2 in lambda2 10.699 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 10.699 * [taylor]: Taking taylor expansion of lambda1 in lambda2 10.700 * [taylor]: Taking taylor expansion of 0 in lambda2 10.700 * [taylor]: Taking taylor expansion of 0 in lambda2 10.700 * [taylor]: Taking taylor expansion of 0 in lambda2 10.701 * * * [progress]: simplifying candidates 10.701 * [simplify]: Simplifying using # : (log (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (exp (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (* (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (sqrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (sqrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt 1) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (/ 3 2))) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (/ 3 2))) (* (cbrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (* (* (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (sqrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (sqrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 10.704 * * [simplify]: iteration 0 : 61 enodes (cost 923 ) 10.713 * * [simplify]: iteration 1 : 109 enodes (cost 785 ) 10.730 * * [simplify]: iteration 2 : 255 enodes (cost 577 ) 10.786 * * [simplify]: iteration 3 : 567 enodes (cost 508 ) 10.967 * * [simplify]: iteration 4 : 1518 enodes (cost 488 ) 11.793 * * [simplify]: iteration 5 : 4952 enodes (cost 479 ) 13.639 * * [simplify]: iteration done : 5000 enodes (cost 479 ) 13.640 * [simplify]: Simplified to: (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 13.640 * * * [progress]: adding candidates to table 14.056 * * [progress]: iteration 4 / 4 14.056 * * * [progress]: picking best candidate 14.186 * * * * [pick]: Picked # 14.186 * * * [progress]: localizing error 14.249 * * * [progress]: generating rewritten candidates 14.249 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 14.254 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 14.259 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1 2 1) 14.264 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 14.270 * * * [progress]: generating series expansions 14.270 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 14.270 * [approximate]: Taking taylor expansion of (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) in (lambda1 lambda2) around 0 14.270 * [taylor]: Taking taylor expansion of (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) in lambda2 14.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))))) in lambda2 14.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)))) in lambda2 14.270 * [taylor]: Taking taylor expansion of 1/3 in lambda2 14.270 * [taylor]: Taking taylor expansion of (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) in lambda2 14.271 * [taylor]: Taking taylor expansion of (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) in lambda2 14.271 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.271 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.271 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.271 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.271 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.271 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.271 * [taylor]: Taking taylor expansion of (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2) in lambda2 14.271 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) in lambda2 14.271 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) in lambda2 14.271 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda2 14.271 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.271 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.271 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.273 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda1)) in lambda2 14.273 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda2 14.273 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.273 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.273 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2))) in lambda2 14.273 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda1)) in lambda2 14.273 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda2 14.273 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.273 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.273 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 14.273 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.273 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.273 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.276 * [taylor]: Taking taylor expansion of (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) in lambda1 14.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))))) in lambda1 14.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)))) in lambda1 14.276 * [taylor]: Taking taylor expansion of 1/3 in lambda1 14.276 * [taylor]: Taking taylor expansion of (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) in lambda1 14.276 * [taylor]: Taking taylor expansion of (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) in lambda1 14.276 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.276 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.276 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.276 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.276 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.276 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.276 * [taylor]: Taking taylor expansion of (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2) in lambda1 14.276 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) in lambda1 14.276 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) in lambda1 14.276 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda1 14.276 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda1 14.276 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.276 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.276 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda1)) in lambda1 14.276 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda1 14.276 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.276 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.277 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2))) in lambda1 14.277 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda1)) in lambda1 14.277 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda1 14.277 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.277 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.278 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda1 14.278 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda1 14.279 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.279 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.280 * [taylor]: Taking taylor expansion of (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) in lambda1 14.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))))) in lambda1 14.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)))) in lambda1 14.280 * [taylor]: Taking taylor expansion of 1/3 in lambda1 14.280 * [taylor]: Taking taylor expansion of (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) in lambda1 14.280 * [taylor]: Taking taylor expansion of (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) in lambda1 14.280 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.280 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.280 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.280 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.280 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.280 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.280 * [taylor]: Taking taylor expansion of (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2) in lambda1 14.280 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) in lambda1 14.280 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) in lambda1 14.280 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda1 14.280 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda1 14.280 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.280 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.280 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda1)) in lambda1 14.280 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda1 14.280 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.280 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.282 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2))) in lambda1 14.282 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda1)) in lambda1 14.282 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda1 14.282 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.282 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.283 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda1 14.283 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda1 14.283 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.283 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.284 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3) in lambda2 14.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))))) in lambda2 14.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))))) in lambda2 14.284 * [taylor]: Taking taylor expansion of 1/3 in lambda2 14.284 * [taylor]: Taking taylor expansion of (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))) in lambda2 14.284 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) in lambda2 14.284 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 lambda2)) 2) in lambda2 14.284 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 14.284 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.284 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.284 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.287 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.287 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.287 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.287 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.308 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3) (- (* 0.16666666666666666 (/ (cos (* -0.5 lambda2)) (sin (* -0.5 lambda2)))) (* 0.3333333333333333 (/ (cos (* 0.5 lambda2)) (sin (* 0.5 lambda2)))))) in lambda2 14.308 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3) in lambda2 14.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))))) in lambda2 14.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))))) in lambda2 14.308 * [taylor]: Taking taylor expansion of 1/3 in lambda2 14.308 * [taylor]: Taking taylor expansion of (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))) in lambda2 14.308 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) in lambda2 14.308 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 lambda2)) 2) in lambda2 14.308 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 14.308 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.308 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.308 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.310 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.310 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.311 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.311 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.319 * [taylor]: Taking taylor expansion of (- (* 0.16666666666666666 (/ (cos (* -0.5 lambda2)) (sin (* -0.5 lambda2)))) (* 0.3333333333333333 (/ (cos (* 0.5 lambda2)) (sin (* 0.5 lambda2))))) in lambda2 14.319 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (cos (* -0.5 lambda2)) (sin (* -0.5 lambda2)))) in lambda2 14.319 * [taylor]: Taking taylor expansion of 0.16666666666666666 in lambda2 14.319 * [taylor]: Taking taylor expansion of (/ (cos (* -0.5 lambda2)) (sin (* -0.5 lambda2))) in lambda2 14.319 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.319 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.319 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.319 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.320 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.320 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.320 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.320 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.324 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (cos (* 0.5 lambda2)) (sin (* 0.5 lambda2)))) in lambda2 14.324 * [taylor]: Taking taylor expansion of 0.3333333333333333 in lambda2 14.324 * [taylor]: Taking taylor expansion of (/ (cos (* 0.5 lambda2)) (sin (* 0.5 lambda2))) in lambda2 14.324 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda2 14.324 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.324 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.324 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.325 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 14.325 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.325 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.325 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.378 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 0.027777777777777776 (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2))) (+ (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125))) (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3))) in lambda2 14.378 * [taylor]: Taking taylor expansion of -1 in lambda2 14.378 * [taylor]: Taking taylor expansion of (* (+ (* 0.027777777777777776 (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2))) (+ (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125))) (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3)) in lambda2 14.378 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2))) (+ (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125))) in lambda2 14.378 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2))) in lambda2 14.378 * [taylor]: Taking taylor expansion of 0.027777777777777776 in lambda2 14.378 * [taylor]: Taking taylor expansion of (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2)) in lambda2 14.378 * [taylor]: Taking taylor expansion of (pow (cos (* 0.5 lambda2)) 2) in lambda2 14.378 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda2 14.378 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.378 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.378 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.379 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 lambda2)) 2) in lambda2 14.379 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 14.379 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.379 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.379 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.383 * [taylor]: Taking taylor expansion of (+ (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125)) in lambda2 14.383 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) in lambda2 14.383 * [taylor]: Taking taylor expansion of 0.05555555555555555 in lambda2 14.383 * [taylor]: Taking taylor expansion of (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2)))) in lambda2 14.383 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) in lambda2 14.383 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda2 14.383 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.383 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.383 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.384 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.384 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.384 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.384 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.385 * [taylor]: Taking taylor expansion of (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))) in lambda2 14.385 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.385 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.385 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.385 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.386 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 14.386 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.386 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.386 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.396 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125) in lambda2 14.396 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) in lambda2 14.396 * [taylor]: Taking taylor expansion of 0.027777777777777776 in lambda2 14.396 * [taylor]: Taking taylor expansion of (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2)) in lambda2 14.396 * [taylor]: Taking taylor expansion of (pow (cos (* -0.5 lambda2)) 2) in lambda2 14.396 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.396 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.396 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.396 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.398 * [taylor]: Taking taylor expansion of (pow (sin (* -0.5 lambda2)) 2) in lambda2 14.398 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.398 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.398 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.398 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.402 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.402 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3) in lambda2 14.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))))) in lambda2 14.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))))) in lambda2 14.402 * [taylor]: Taking taylor expansion of 1/3 in lambda2 14.402 * [taylor]: Taking taylor expansion of (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))) in lambda2 14.402 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) in lambda2 14.402 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 lambda2)) 2) in lambda2 14.402 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 14.402 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 14.402 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.402 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.405 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.405 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.405 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.405 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.567 * [approximate]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in (lambda1 lambda2) around 0 14.567 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in lambda2 14.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))))) in lambda2 14.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 14.567 * [taylor]: Taking taylor expansion of 1/3 in lambda2 14.567 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda2 14.567 * [taylor]: Taking taylor expansion of (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda2 14.567 * [taylor]: Taking taylor expansion of (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) in lambda2 14.567 * [taylor]: Taking taylor expansion of (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) in lambda2 14.567 * [taylor]: Taking taylor expansion of (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) in lambda2 14.567 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda1)) in lambda2 14.567 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda2 14.567 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.567 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.567 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda2)) in lambda2 14.567 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda2 14.567 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.567 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.567 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2))) in lambda2 14.568 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda1)) in lambda2 14.568 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda2 14.568 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.568 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.568 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda2)) in lambda2 14.568 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda2 14.568 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.568 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.569 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.569 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.569 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.569 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.569 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.569 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.569 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.569 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.577 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in lambda1 14.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))))) in lambda1 14.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 14.577 * [taylor]: Taking taylor expansion of 1/3 in lambda1 14.577 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda1 14.577 * [taylor]: Taking taylor expansion of (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda1 14.577 * [taylor]: Taking taylor expansion of (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) in lambda1 14.577 * [taylor]: Taking taylor expansion of (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) in lambda1 14.577 * [taylor]: Taking taylor expansion of (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) in lambda1 14.577 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda1)) in lambda1 14.577 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda1 14.577 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.577 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.578 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda2)) in lambda1 14.578 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda1 14.578 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.578 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.578 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2))) in lambda1 14.578 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda1)) in lambda1 14.578 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda1 14.578 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.578 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.578 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda2)) in lambda1 14.578 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda1 14.578 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.578 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.579 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.579 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.579 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.579 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.579 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.579 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.580 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.580 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.582 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in lambda1 14.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))))) in lambda1 14.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 14.582 * [taylor]: Taking taylor expansion of 1/3 in lambda1 14.582 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda1 14.582 * [taylor]: Taking taylor expansion of (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda1 14.582 * [taylor]: Taking taylor expansion of (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) in lambda1 14.582 * [taylor]: Taking taylor expansion of (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) in lambda1 14.582 * [taylor]: Taking taylor expansion of (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) in lambda1 14.582 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda1)) in lambda1 14.582 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda1 14.582 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.582 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.582 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda2)) in lambda1 14.582 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda1 14.582 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.582 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.582 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2))) in lambda1 14.582 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda1)) in lambda1 14.583 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda1 14.583 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.583 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.583 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda2)) in lambda1 14.583 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda1 14.583 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.583 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.584 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.584 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.584 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.584 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.584 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.584 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.584 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.584 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.587 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in lambda2 14.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))))) in lambda2 14.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 14.587 * [taylor]: Taking taylor expansion of 1/3 in lambda2 14.587 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda2 14.587 * [taylor]: Taking taylor expansion of (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda2 14.587 * [taylor]: Taking taylor expansion of (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) in lambda2 14.587 * [taylor]: Taking taylor expansion of (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) in lambda2 14.587 * [taylor]: Taking taylor expansion of (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) in lambda2 14.587 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda1)) in lambda2 14.587 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda2 14.587 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.587 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.587 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda2)) in lambda2 14.587 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda2 14.587 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.587 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.587 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2))) in lambda2 14.587 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda1)) in lambda2 14.587 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda2 14.587 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.587 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.587 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda2)) in lambda2 14.588 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda2 14.588 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.588 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.589 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.589 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.589 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.589 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.589 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.589 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.589 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.598 * [taylor]: Taking taylor expansion of 0 in lambda2 14.615 * [taylor]: Taking taylor expansion of 0 in lambda2 14.639 * [taylor]: Taking taylor expansion of 0 in lambda2 14.640 * [approximate]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in (lambda1 lambda2) around 0 14.640 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in lambda2 14.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))))) in lambda2 14.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda2 14.640 * [taylor]: Taking taylor expansion of 1/3 in lambda2 14.640 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda2 14.640 * [taylor]: Taking taylor expansion of (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 14.640 * [taylor]: Taking taylor expansion of (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) in lambda2 14.640 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) in lambda2 14.640 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) in lambda2 14.640 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda2)) in lambda2 14.640 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda2 14.640 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.640 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.641 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda1)) in lambda2 14.641 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda2 14.641 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.641 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.641 * [taylor]: Taking taylor expansion of (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1))) in lambda2 14.641 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda2)) in lambda2 14.641 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda2 14.641 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.641 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.641 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda1)) in lambda2 14.641 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda2 14.641 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.641 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.642 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.642 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.642 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.642 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.642 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.642 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.643 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.643 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.645 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in lambda1 14.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))))) in lambda1 14.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda1 14.645 * [taylor]: Taking taylor expansion of 1/3 in lambda1 14.645 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda1 14.645 * [taylor]: Taking taylor expansion of (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 14.645 * [taylor]: Taking taylor expansion of (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) in lambda1 14.645 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) in lambda1 14.645 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) in lambda1 14.645 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda2)) in lambda1 14.645 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda1 14.645 * [taylor]: Taking taylor expansion of -0.5 in lambda1 14.645 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.645 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda1)) in lambda1 14.645 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda1 14.645 * [taylor]: Taking taylor expansion of -0.5 in lambda1 14.645 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.645 * [taylor]: Taking taylor expansion of (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1))) in lambda1 14.645 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda2)) in lambda1 14.646 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda1 14.646 * [taylor]: Taking taylor expansion of -0.5 in lambda1 14.646 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.646 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda1)) in lambda1 14.646 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda1 14.646 * [taylor]: Taking taylor expansion of -0.5 in lambda1 14.646 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.647 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.647 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.647 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.647 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.647 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.647 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.647 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.647 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.649 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in lambda1 14.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))))) in lambda1 14.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda1 14.650 * [taylor]: Taking taylor expansion of 1/3 in lambda1 14.650 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda1 14.650 * [taylor]: Taking taylor expansion of (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 14.650 * [taylor]: Taking taylor expansion of (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) in lambda1 14.650 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) in lambda1 14.650 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) in lambda1 14.650 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda2)) in lambda1 14.650 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda1 14.650 * [taylor]: Taking taylor expansion of -0.5 in lambda1 14.650 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.650 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda1)) in lambda1 14.650 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda1 14.650 * [taylor]: Taking taylor expansion of -0.5 in lambda1 14.650 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.650 * [taylor]: Taking taylor expansion of (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1))) in lambda1 14.650 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda2)) in lambda1 14.650 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda1 14.650 * [taylor]: Taking taylor expansion of -0.5 in lambda1 14.650 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.650 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda1)) in lambda1 14.650 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda1 14.650 * [taylor]: Taking taylor expansion of -0.5 in lambda1 14.650 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.652 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.652 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.652 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.652 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.652 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.652 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.652 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.652 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.654 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in lambda2 14.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))))) in lambda2 14.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda2 14.654 * [taylor]: Taking taylor expansion of 1/3 in lambda2 14.654 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda2 14.654 * [taylor]: Taking taylor expansion of (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 14.654 * [taylor]: Taking taylor expansion of (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) in lambda2 14.654 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) in lambda2 14.655 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) in lambda2 14.655 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda2)) in lambda2 14.655 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda2 14.655 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.655 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.655 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda1)) in lambda2 14.655 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda2 14.655 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.655 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.655 * [taylor]: Taking taylor expansion of (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1))) in lambda2 14.655 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda2)) in lambda2 14.655 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda2 14.655 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.655 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.655 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda1)) in lambda2 14.655 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda2 14.656 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.656 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.656 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.656 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.656 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.656 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.656 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.657 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.657 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.657 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.670 * [taylor]: Taking taylor expansion of 0 in lambda2 14.687 * [taylor]: Taking taylor expansion of 0 in lambda2 14.711 * [taylor]: Taking taylor expansion of 0 in lambda2 14.711 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 14.711 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.711 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.711 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.711 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.711 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.711 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.711 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.712 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.712 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.712 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.712 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.712 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.712 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.712 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.712 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.712 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.712 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.712 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.712 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.712 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.712 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.712 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.712 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.716 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.717 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.717 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.717 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.717 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.717 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.724 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.724 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.724 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.724 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.724 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.724 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.724 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.733 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.733 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.733 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.733 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.733 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.733 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.733 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.736 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.736 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.736 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.736 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.736 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.736 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.736 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.736 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.736 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.737 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.737 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.737 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.737 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.737 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.737 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.738 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.738 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.738 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.738 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.738 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.738 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.738 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.738 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.739 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.739 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.739 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.739 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.739 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.739 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.739 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.739 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.739 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.739 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.741 * [taylor]: Taking taylor expansion of 0 in lambda2 14.741 * [taylor]: Taking taylor expansion of 0 in lambda2 14.741 * [taylor]: Taking taylor expansion of 0 in lambda2 14.741 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.741 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.741 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.741 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.741 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.741 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.741 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.741 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.741 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.742 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.742 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.742 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.742 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.742 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.742 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.742 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.742 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.743 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.743 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.743 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.743 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.743 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.743 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.743 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.743 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.744 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.744 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.744 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.744 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.745 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.745 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.745 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.745 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.746 * [taylor]: Taking taylor expansion of 0 in lambda2 14.746 * [taylor]: Taking taylor expansion of 0 in lambda2 14.746 * [taylor]: Taking taylor expansion of 0 in lambda2 14.746 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1 2 1) 14.746 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.746 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.746 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.746 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.746 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.746 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.746 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.746 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.746 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.746 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.746 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.746 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.746 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.747 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.747 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.747 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.747 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.747 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.747 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.747 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.747 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.747 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.747 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.756 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.756 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.756 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.756 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.756 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.756 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.764 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.764 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.764 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.764 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.764 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.764 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.764 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.773 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.773 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.773 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.773 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.773 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.773 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.773 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.776 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.776 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.776 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.776 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.776 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.776 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.776 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.776 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.776 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.777 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.777 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.777 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.777 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.777 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.777 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.778 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.778 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.778 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.778 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.778 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.778 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.778 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.778 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.779 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.779 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.779 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.779 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.779 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.779 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.779 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.779 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.779 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.779 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.781 * [taylor]: Taking taylor expansion of 0 in lambda2 14.781 * [taylor]: Taking taylor expansion of 0 in lambda2 14.781 * [taylor]: Taking taylor expansion of 0 in lambda2 14.781 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.781 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.781 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.781 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.781 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.781 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.781 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.781 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.781 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.782 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.782 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.782 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.782 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.782 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.782 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.782 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.782 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.783 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.783 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.783 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.783 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.783 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.783 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.783 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.783 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.785 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.785 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.785 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.785 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.785 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.785 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.785 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.785 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.786 * [taylor]: Taking taylor expansion of 0 in lambda2 14.786 * [taylor]: Taking taylor expansion of 0 in lambda2 14.786 * [taylor]: Taking taylor expansion of 0 in lambda2 14.786 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 14.786 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.786 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.786 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.786 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.786 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.786 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.786 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.787 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.787 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.787 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.787 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.787 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.787 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.787 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.787 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.787 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.787 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.787 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.787 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.787 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.787 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.787 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.787 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.791 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.792 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.792 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.792 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.792 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.792 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.799 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.799 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.799 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.799 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.799 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.799 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.799 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.808 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.808 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.808 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.808 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.808 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.808 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.808 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.811 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.811 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.811 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.811 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.811 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.811 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.811 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.811 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.811 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.812 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.812 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.812 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.812 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.812 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.812 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.813 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.813 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.813 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.813 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.813 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.813 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.813 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.813 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.814 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.814 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.814 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.814 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.815 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.815 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.815 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.815 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.815 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.815 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.816 * [taylor]: Taking taylor expansion of 0 in lambda2 14.816 * [taylor]: Taking taylor expansion of 0 in lambda2 14.816 * [taylor]: Taking taylor expansion of 0 in lambda2 14.816 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.816 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.816 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.816 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.816 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.816 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.816 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.816 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.816 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.817 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.817 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.817 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.817 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.817 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.817 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.817 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.817 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.818 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.818 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.818 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.818 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.818 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.818 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.818 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.819 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.820 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.820 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.820 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.820 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.820 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.820 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.820 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.820 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.821 * [taylor]: Taking taylor expansion of 0 in lambda2 14.821 * [taylor]: Taking taylor expansion of 0 in lambda2 14.821 * [taylor]: Taking taylor expansion of 0 in lambda2 14.821 * * * [progress]: simplifying candidates 14.822 * [simplify]: Simplifying using # : (log (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (exp (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (* (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (sqrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (sqrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt 1) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (/ 3 2))) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (/ 3 2))) (* (cbrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (* (* (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (sqrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (sqrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (+ (exp (* 1/3 (+ (* 3 (log lambda2)) (log (- 0.125))))) (* 0.125 (* (exp (* 1/3 (+ (* 3 (log lambda2)) (log (- 0.125))))) (* lambda2 lambda1)))) (* 0.125 (* (exp (* 1/3 (+ (* 3 (log lambda2)) (log (- 0.125))))) (pow lambda1 2)))) (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 14.826 * * [simplify]: iteration 0 : 90 enodes (cost 1343 ) 14.845 * * [simplify]: iteration 1 : 182 enodes (cost 1189 ) 14.877 * * [simplify]: iteration 2 : 457 enodes (cost 1133 ) 14.965 * * [simplify]: iteration 3 : 1203 enodes (cost 1125 ) 15.456 * * [simplify]: iteration 4 : 4378 enodes (cost 1119 ) 16.572 * * [simplify]: iteration done : 5000 enodes (cost 1119 ) 16.572 * [simplify]: Simplified to: (log (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (exp (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (sqrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (sqrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) 1 (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (pow (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) 3/2)) (cbrt (pow (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) 3/2)) (* (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (+ (* (cbrt (- 0.125)) lambda2) (* (* (* lambda1 (- lambda2 lambda1)) (* 0.125 lambda2)) (cbrt (- 0.125)))) (cbrt (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) (cbrt (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 16.573 * * * [progress]: adding candidates to table 17.158 * [progress]: [Phase 3 of 3] Extracting. 17.158 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # #) 17.218 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 17.218 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # # # # # #) 17.405 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # #) 17.457 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # # # #) 17.640 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # #) 17.692 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # # # #) 17.880 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # #) 17.937 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # #) 18.330 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # #) 18.514 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # #) 18.700 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # #) 18.885 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # #) 19.071 * * * [regime]: Found split indices: #