11.676 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.265 * * * [progress]: [2/2] Setting up program. 0.271 * [progress]: [Phase 2 of 3] Improving. 0.271 * [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.272 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 0.276 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 0.283 * * [simplify]: iteration 2 : 96 enodes (cost 65 ) 0.297 * * [simplify]: iteration 3 : 169 enodes (cost 65 ) 0.336 * * [simplify]: iteration 4 : 310 enodes (cost 65 ) 0.416 * * [simplify]: iteration 5 : 529 enodes (cost 65 ) 0.750 * * [simplify]: iteration 6 : 1411 enodes (cost 65 ) 3.041 * * [simplify]: iteration 7 : 4708 enodes (cost 65 ) 4.736 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 4.736 * [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))))))))) 4.738 * * [progress]: iteration 1 / 4 4.738 * * * [progress]: picking best candidate 4.743 * * * * [pick]: Picked # 4.743 * * * [progress]: localizing error 4.778 * * * [progress]: generating rewritten candidates 4.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 4.783 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 4.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 4.798 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 4.803 * * * [progress]: generating series expansions 4.803 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 4.804 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 4.804 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 4.804 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 4.804 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.804 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 4.804 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.804 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.804 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.804 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.804 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.804 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.804 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.804 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.804 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.804 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.805 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.805 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.805 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.805 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.805 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.805 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.805 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.805 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.809 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 4.809 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.809 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.809 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.809 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.809 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.817 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 4.817 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 4.817 * [taylor]: Taking taylor expansion of 0.125 in lambda2 4.817 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.817 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.817 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.817 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.827 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 4.827 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 4.827 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 4.827 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.827 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.827 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.827 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.830 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.830 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.830 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.830 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.830 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.830 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.830 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.830 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.830 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.831 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.831 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.831 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.831 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.831 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.831 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.832 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.832 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.832 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.832 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.832 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.832 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.832 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.832 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.833 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.833 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.833 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.833 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.833 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.833 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.833 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.833 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.833 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.833 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.835 * [taylor]: Taking taylor expansion of 0 in lambda2 4.835 * [taylor]: Taking taylor expansion of 0 in lambda2 4.835 * [taylor]: Taking taylor expansion of 0 in lambda2 4.835 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 4.835 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.835 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.835 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.835 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.835 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.835 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.835 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.835 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.836 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.836 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.836 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.836 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.836 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.836 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.836 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.836 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.837 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.837 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.837 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.837 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.837 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.837 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.838 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.838 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.838 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.838 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.838 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.839 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.839 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.839 * [taylor]: Taking taylor expansion of 0 in lambda2 4.840 * [taylor]: Taking taylor expansion of 0 in lambda2 4.840 * [taylor]: Taking taylor expansion of 0 in lambda2 4.840 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 4.840 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 4.840 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 4.840 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 4.840 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.840 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 4.840 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.840 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.840 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.840 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.840 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.840 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.840 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.840 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.841 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.841 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.841 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.841 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.841 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.841 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.841 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.841 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.841 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.841 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.845 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 4.845 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.845 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.845 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.845 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.845 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.853 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 4.853 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 4.853 * [taylor]: Taking taylor expansion of 0.125 in lambda2 4.853 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.853 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.853 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.853 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.862 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 4.862 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 4.862 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 4.862 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.862 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.862 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.862 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.865 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.865 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.865 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.865 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.865 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.865 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.865 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.865 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.865 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.866 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.866 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.866 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.866 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.866 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.866 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.866 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.866 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.867 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.867 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.867 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.867 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.867 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.867 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.867 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.867 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.868 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.868 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.868 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.868 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.868 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.868 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.868 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.868 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.869 * [taylor]: Taking taylor expansion of 0 in lambda2 4.869 * [taylor]: Taking taylor expansion of 0 in lambda2 4.869 * [taylor]: Taking taylor expansion of 0 in lambda2 4.870 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 4.870 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.870 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.870 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.870 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.870 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.870 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.870 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.870 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.875 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.875 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.875 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.875 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.875 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.875 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.875 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.875 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.877 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.877 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.877 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.877 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.877 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.877 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.877 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.877 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.879 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.879 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.879 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.879 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.879 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.879 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.879 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.879 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.880 * [taylor]: Taking taylor expansion of 0 in lambda2 4.880 * [taylor]: Taking taylor expansion of 0 in lambda2 4.880 * [taylor]: Taking taylor expansion of 0 in lambda2 4.880 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 4.880 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 4.880 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 4.880 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 4.880 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.880 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 4.880 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.880 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.881 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.881 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.881 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.881 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.881 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.881 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.881 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.881 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.881 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.881 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.881 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.881 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.881 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.881 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.881 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.881 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.885 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 4.885 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.885 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.885 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.886 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.886 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.894 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 4.894 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 4.894 * [taylor]: Taking taylor expansion of 0.125 in lambda2 4.894 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.894 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.894 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.894 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.903 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 4.903 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 4.903 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 4.903 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.903 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.903 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.903 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.905 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.905 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.905 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.905 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.905 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.905 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.905 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.906 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.906 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.907 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.907 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.907 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.907 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.907 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.907 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.907 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.907 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.908 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.908 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.908 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.908 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.908 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.908 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.908 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.908 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.909 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.909 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.909 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.909 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.909 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.909 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.909 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.909 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.910 * [taylor]: Taking taylor expansion of 0 in lambda2 4.910 * [taylor]: Taking taylor expansion of 0 in lambda2 4.910 * [taylor]: Taking taylor expansion of 0 in lambda2 4.910 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 4.910 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.910 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.910 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.910 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.910 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.910 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.911 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.911 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.911 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.911 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.911 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.911 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.911 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.913 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.913 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.913 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.913 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.913 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.913 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.913 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.913 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.914 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.914 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.914 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.914 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.914 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.914 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.914 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.914 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.915 * [taylor]: Taking taylor expansion of 0 in lambda2 4.915 * [taylor]: Taking taylor expansion of 0 in lambda2 4.915 * [taylor]: Taking taylor expansion of 0 in lambda2 4.915 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 4.915 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 4.915 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 4.915 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 4.915 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.915 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 4.915 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.915 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.916 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.916 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.916 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.916 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.916 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.916 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.916 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.916 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.916 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.916 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.916 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.916 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.916 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.916 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.916 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.916 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.920 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 4.921 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.921 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.921 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.921 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.929 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 4.929 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 4.929 * [taylor]: Taking taylor expansion of 0.125 in lambda2 4.929 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.929 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.929 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.929 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.938 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 4.938 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 4.938 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 4.938 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.938 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.938 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.938 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.941 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.941 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.941 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.941 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.941 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.941 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.941 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.941 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.941 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.942 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.942 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.942 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.942 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.942 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.942 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.942 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.942 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.943 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.943 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.943 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.943 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.943 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.943 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.943 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.943 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.944 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.944 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.944 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.944 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.944 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.944 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.944 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.944 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.945 * [taylor]: Taking taylor expansion of 0 in lambda2 4.945 * [taylor]: Taking taylor expansion of 0 in lambda2 4.945 * [taylor]: Taking taylor expansion of 0 in lambda2 4.945 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 4.945 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.945 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.945 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.945 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.945 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.946 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.946 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.946 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.946 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.946 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.946 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.946 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.946 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.947 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.947 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.947 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.948 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.948 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.948 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.948 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.948 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.948 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.948 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.948 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.949 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.949 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.949 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.949 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.949 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.949 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.949 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.949 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.950 * [taylor]: Taking taylor expansion of 0 in lambda2 4.950 * [taylor]: Taking taylor expansion of 0 in lambda2 4.950 * [taylor]: Taking taylor expansion of 0 in lambda2 4.950 * * * [progress]: simplifying candidates 4.951 * [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))) 4.953 * * [simplify]: iteration 0 : 32 enodes (cost 452 ) 4.957 * * [simplify]: iteration 1 : 55 enodes (cost 452 ) 4.969 * * [simplify]: iteration 2 : 90 enodes (cost 396 ) 4.984 * * [simplify]: iteration 3 : 158 enodes (cost 396 ) 5.021 * * [simplify]: iteration 4 : 304 enodes (cost 396 ) 5.135 * * [simplify]: iteration 5 : 737 enodes (cost 396 ) 6.515 * * [simplify]: iteration 6 : 2897 enodes (cost 396 ) 8.875 * * [simplify]: iteration done : 5000 enodes (cost 396 ) 8.876 * [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.876 * * * [progress]: adding candidates to table 9.184 * * [progress]: iteration 2 / 4 9.184 * * * [progress]: picking best candidate 9.255 * * * * [pick]: Picked # 9.255 * * * [progress]: localizing error 9.294 * * * [progress]: generating rewritten candidates 9.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 9.310 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 9.315 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 9.323 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 9.329 * * * [progress]: generating series expansions 9.329 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 9.329 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.329 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 9.329 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 9.329 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.329 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.329 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.329 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.330 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.330 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.330 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.330 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.330 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.330 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.330 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.330 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.330 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.330 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.330 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.330 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.330 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.330 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.330 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.330 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.335 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 9.335 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.335 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.335 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.335 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.335 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.342 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 9.343 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 9.343 * [taylor]: Taking taylor expansion of 0.125 in lambda2 9.343 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.343 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.343 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.343 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.352 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 9.352 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 9.352 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 9.352 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.352 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.352 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.352 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.354 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.355 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.355 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.355 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.355 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.355 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.355 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.355 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.355 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.356 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.356 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.356 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.356 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.356 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.356 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.356 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.356 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.357 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.357 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.357 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.357 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.357 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.357 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.357 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.357 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.358 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.358 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.358 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.358 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.358 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.358 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.358 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.358 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.359 * [taylor]: Taking taylor expansion of 0 in lambda2 9.359 * [taylor]: Taking taylor expansion of 0 in lambda2 9.359 * [taylor]: Taking taylor expansion of 0 in lambda2 9.359 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.359 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.359 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.359 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.360 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.360 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.360 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.360 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.360 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.360 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.360 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.360 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.361 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.361 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.361 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.361 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.361 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.362 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.362 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.362 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.362 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.362 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.362 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.362 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.362 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.363 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.363 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.363 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.363 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.363 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.363 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.363 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.363 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.364 * [taylor]: Taking taylor expansion of 0 in lambda2 9.364 * [taylor]: Taking taylor expansion of 0 in lambda2 9.364 * [taylor]: Taking taylor expansion of 0 in lambda2 9.364 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 9.364 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.364 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 9.364 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 9.364 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.364 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.364 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.364 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.365 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.365 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.365 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.365 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.365 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.365 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.365 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.365 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.365 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.365 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.365 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.365 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.365 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.365 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.365 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.365 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.369 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 9.370 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.370 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.370 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.370 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.370 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.377 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 9.377 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 9.377 * [taylor]: Taking taylor expansion of 0.125 in lambda2 9.377 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.377 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.377 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.377 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.386 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 9.386 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 9.386 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 9.386 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.386 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.386 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.386 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.389 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.389 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.389 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.389 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.389 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.389 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.389 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.389 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.389 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.390 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.390 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.390 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.390 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.390 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.390 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.390 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.390 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.391 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.391 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.391 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.391 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.391 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.391 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.391 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.391 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.392 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.392 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.392 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.392 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.392 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.392 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.392 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.392 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.394 * [taylor]: Taking taylor expansion of 0 in lambda2 9.394 * [taylor]: Taking taylor expansion of 0 in lambda2 9.394 * [taylor]: Taking taylor expansion of 0 in lambda2 9.394 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.394 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.394 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.394 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.394 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.394 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.394 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.395 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.395 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.395 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.395 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.395 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.395 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.395 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.395 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.395 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.395 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.397 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.397 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.397 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.397 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.397 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.397 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.397 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.397 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.398 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.398 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.398 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.398 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.398 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.398 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.398 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.398 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.399 * [taylor]: Taking taylor expansion of 0 in lambda2 9.399 * [taylor]: Taking taylor expansion of 0 in lambda2 9.399 * [taylor]: Taking taylor expansion of 0 in lambda2 9.399 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 9.399 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.400 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 9.400 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 9.400 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.400 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.400 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.400 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.400 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.400 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.400 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.400 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.400 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.400 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.400 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.400 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.400 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.400 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.400 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.400 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.400 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.401 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.401 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.401 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.409 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 9.409 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.409 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.409 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.409 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.409 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.417 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 9.417 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 9.417 * [taylor]: Taking taylor expansion of 0.125 in lambda2 9.417 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.417 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.417 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.417 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.426 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 9.426 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 9.426 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 9.426 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.426 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.426 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.426 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.429 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.429 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.429 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.429 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.429 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.429 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.429 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.429 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.429 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.430 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.430 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.430 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.430 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.430 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.430 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.431 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.431 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.431 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.431 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.431 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.431 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.431 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.431 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.432 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.432 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.432 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.432 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.432 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.432 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.432 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.432 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.432 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.432 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.433 * [taylor]: Taking taylor expansion of 0 in lambda2 9.434 * [taylor]: Taking taylor expansion of 0 in lambda2 9.434 * [taylor]: Taking taylor expansion of 0 in lambda2 9.434 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.434 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.434 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.434 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.434 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.434 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.434 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.434 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.434 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.435 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.435 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.435 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.435 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.435 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.435 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.435 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.435 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.436 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.436 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.436 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.436 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.436 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.436 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.436 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.436 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.437 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.437 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.437 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.437 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.437 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.437 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.438 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.438 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.438 * [taylor]: Taking taylor expansion of 0 in lambda2 9.438 * [taylor]: Taking taylor expansion of 0 in lambda2 9.438 * [taylor]: Taking taylor expansion of 0 in lambda2 9.439 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 9.439 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.439 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 9.439 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 9.439 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.439 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.439 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.439 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.439 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.439 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.439 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.439 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.439 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.439 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.439 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 9.439 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 9.439 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.439 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.439 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.439 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.440 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.440 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.440 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.440 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.444 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 9.444 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.444 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.444 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.444 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.444 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.452 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 9.452 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 9.452 * [taylor]: Taking taylor expansion of 0.125 in lambda2 9.452 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 9.452 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.452 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.452 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.460 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 9.460 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 9.461 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 9.461 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 9.461 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 9.461 * [taylor]: Taking taylor expansion of -0.5 in lambda2 9.461 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.463 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.463 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.463 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.463 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.463 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.463 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.463 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.463 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.463 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.464 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.464 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.464 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.464 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.464 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.464 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.465 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.465 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.465 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.465 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.465 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.465 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.465 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.465 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.466 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.466 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.466 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.466 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.466 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.466 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.466 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.466 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.466 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.466 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.468 * [taylor]: Taking taylor expansion of 0 in lambda2 9.468 * [taylor]: Taking taylor expansion of 0 in lambda2 9.468 * [taylor]: Taking taylor expansion of 0 in lambda2 9.468 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.468 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.468 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.468 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.468 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.468 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.468 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.468 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.468 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.469 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.469 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.469 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.469 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.469 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.469 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.469 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.469 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.470 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.470 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.470 * [taylor]: Taking taylor expansion of 0.5 in lambda1 9.470 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.470 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.470 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.470 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.470 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.471 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.471 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.471 * [taylor]: Taking taylor expansion of 0.5 in lambda2 9.471 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.471 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.471 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.472 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.472 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.472 * [taylor]: Taking taylor expansion of 0 in lambda2 9.472 * [taylor]: Taking taylor expansion of 0 in lambda2 9.472 * [taylor]: Taking taylor expansion of 0 in lambda2 9.473 * * * [progress]: simplifying candidates 9.473 * [simplify]: Simplifying using # : (log (* (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log 1) (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))))) (log (exp (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (log (exp (sqrt (sin (/ (- lambda1 lambda2) 2.0))))) (log (exp 1)) (log (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (exp (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (* (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (* (* (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (log (exp (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))) 9.475 * * [simplify]: iteration 0 : 58 enodes (cost 568 ) 9.483 * * [simplify]: iteration 1 : 92 enodes (cost 533 ) 9.498 * * [simplify]: iteration 2 : 147 enodes (cost 470 ) 9.517 * * [simplify]: iteration 3 : 256 enodes (cost 470 ) 9.565 * * [simplify]: iteration 4 : 494 enodes (cost 470 ) 9.703 * * [simplify]: iteration 5 : 1155 enodes (cost 470 ) 11.493 * * [simplify]: iteration 6 : 4006 enodes (cost 470 ) 12.754 * * [simplify]: iteration done : 5000 enodes (cost 470 ) 12.755 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) 0 (sin (/ (- lambda1 lambda2) 2.0)) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (sin (/ lambda2 2.0)) (cos (/ lambda1 2.0))) (sin (/ (- lambda1 lambda2) 2.0)) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (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))) (* (sin (/ lambda2 2.0)) (cos (/ lambda1 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))) (* (sin (/ lambda2 2.0)) (cos (/ lambda1 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))) (* (sin (/ lambda2 2.0)) (cos (/ lambda1 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))) 12.755 * * * [progress]: adding candidates to table 13.119 * * [progress]: iteration 3 / 4 13.120 * * * [progress]: picking best candidate 13.223 * * * * [pick]: Picked # 13.223 * * * [progress]: localizing error 13.267 * * * [progress]: generating rewritten candidates 13.267 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 13.273 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 13.299 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1 1 1) 13.304 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 13.311 * * * [progress]: generating series expansions 13.311 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 13.311 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 13.311 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 13.311 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 13.311 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.311 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.311 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.311 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.312 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.312 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.312 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.312 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.312 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.312 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.312 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.312 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.312 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.312 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.312 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.312 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.313 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.313 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.313 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.313 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.317 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 13.317 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.317 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.317 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.317 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.317 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.325 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 13.325 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 13.325 * [taylor]: Taking taylor expansion of 0.125 in lambda2 13.325 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.325 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.325 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.325 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.333 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 13.334 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 13.334 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 13.334 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.334 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.334 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.334 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.336 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 13.336 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.336 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.336 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.336 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.336 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.336 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.336 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.336 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.337 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.337 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.337 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.338 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.338 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.338 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.338 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.338 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.338 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.339 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.339 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.339 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.339 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.339 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.339 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.339 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.340 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.340 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.340 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.340 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.340 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.340 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.340 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.340 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.341 * [taylor]: Taking taylor expansion of 0 in lambda2 13.341 * [taylor]: Taking taylor expansion of 0 in lambda2 13.341 * [taylor]: Taking taylor expansion of 0 in lambda2 13.342 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 13.342 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.342 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.342 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.342 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.342 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.342 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.342 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.342 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.343 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.343 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.343 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.343 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.343 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.343 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.343 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.343 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.344 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.344 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.344 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.344 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.345 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.345 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.345 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.345 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.346 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.346 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.346 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.346 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.346 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.346 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.346 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.346 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.347 * [taylor]: Taking taylor expansion of 0 in lambda2 13.347 * [taylor]: Taking taylor expansion of 0 in lambda2 13.347 * [taylor]: Taking taylor expansion of 0 in lambda2 13.347 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 13.347 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 13.347 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 13.347 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 13.347 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.347 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.347 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.347 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.348 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.348 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.348 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.348 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.348 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.348 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.348 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.348 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.348 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.348 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.348 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.348 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.348 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.348 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.348 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.348 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.353 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 13.353 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.353 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.353 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.353 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.353 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.360 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 13.360 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 13.360 * [taylor]: Taking taylor expansion of 0.125 in lambda2 13.360 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.360 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.360 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.360 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.373 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 13.373 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 13.373 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 13.373 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.373 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.373 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.373 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.376 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 13.376 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.376 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.376 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.376 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.376 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.376 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.376 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.376 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.377 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.377 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.377 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.377 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.377 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.377 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.377 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.377 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.378 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.378 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.378 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.378 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.378 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.378 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.378 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.378 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.379 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.379 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.379 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.379 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.379 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.379 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.379 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.379 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.380 * [taylor]: Taking taylor expansion of 0 in lambda2 13.380 * [taylor]: Taking taylor expansion of 0 in lambda2 13.380 * [taylor]: Taking taylor expansion of 0 in lambda2 13.381 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 13.381 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.381 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.381 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.381 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.381 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.381 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.381 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.381 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.382 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.382 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.382 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.382 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.382 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.382 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.382 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.382 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.383 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.383 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.383 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.383 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.383 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.383 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.383 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.383 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.384 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.384 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.384 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.384 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.384 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.384 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.385 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.385 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.385 * [taylor]: Taking taylor expansion of 0 in lambda2 13.385 * [taylor]: Taking taylor expansion of 0 in lambda2 13.385 * [taylor]: Taking taylor expansion of 0 in lambda2 13.386 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1 1 1) 13.386 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 13.386 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 13.386 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 13.386 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.386 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.386 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.386 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.386 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.386 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.386 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.386 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.386 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.386 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.386 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.386 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.386 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.386 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.386 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.386 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.387 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.387 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.387 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.387 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.392 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 13.392 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.392 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.392 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.392 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.392 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.400 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 13.400 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 13.400 * [taylor]: Taking taylor expansion of 0.125 in lambda2 13.400 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.400 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.400 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.400 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.409 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 13.409 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 13.409 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 13.409 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.409 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.409 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.409 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.412 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 13.412 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.412 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.412 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.412 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.412 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.412 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.412 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.412 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.413 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.413 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.413 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.413 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.413 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.413 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.413 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.413 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.414 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.414 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.414 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.414 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.414 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.414 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.414 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.414 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.415 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.415 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.415 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.415 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.415 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.415 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.415 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.415 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.416 * [taylor]: Taking taylor expansion of 0 in lambda2 13.416 * [taylor]: Taking taylor expansion of 0 in lambda2 13.416 * [taylor]: Taking taylor expansion of 0 in lambda2 13.417 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 13.417 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.417 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.417 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.417 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.417 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.417 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.417 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.417 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.418 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.418 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.418 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.418 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.418 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.418 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.418 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.418 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.419 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.419 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.419 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.419 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.419 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.419 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.419 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.419 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.420 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.420 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.420 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.420 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.420 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.420 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.420 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.420 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.421 * [taylor]: Taking taylor expansion of 0 in lambda2 13.421 * [taylor]: Taking taylor expansion of 0 in lambda2 13.421 * [taylor]: Taking taylor expansion of 0 in lambda2 13.421 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 13.422 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 13.422 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 13.422 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 13.422 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.422 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.422 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.422 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.422 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.422 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.422 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.422 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.422 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.422 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.422 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.422 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.422 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.422 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.422 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.422 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.423 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.423 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.423 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.423 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.427 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 13.427 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.427 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.427 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.427 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.427 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.434 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 13.434 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 13.434 * [taylor]: Taking taylor expansion of 0.125 in lambda2 13.435 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.435 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.435 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.435 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.444 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 13.444 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 13.444 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 13.444 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.444 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.444 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.444 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.447 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 13.447 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.447 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.447 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.447 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.447 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.447 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.447 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.447 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.448 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.448 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.448 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.448 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.448 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.448 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.448 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.448 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.449 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.449 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.449 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.449 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.449 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.449 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.449 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.449 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.450 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.450 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.450 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.450 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.450 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.450 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.450 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.450 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.452 * [taylor]: Taking taylor expansion of 0 in lambda2 13.452 * [taylor]: Taking taylor expansion of 0 in lambda2 13.452 * [taylor]: Taking taylor expansion of 0 in lambda2 13.452 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 13.452 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.452 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.452 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.452 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.452 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.452 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.452 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.452 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.453 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.453 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.453 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.453 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.453 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.453 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.453 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.453 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.454 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 13.454 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 13.454 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.454 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 13.454 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.454 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.454 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.454 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.455 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.455 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.455 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.455 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.455 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.455 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.456 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.456 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.456 * [taylor]: Taking taylor expansion of 0 in lambda2 13.456 * [taylor]: Taking taylor expansion of 0 in lambda2 13.457 * [taylor]: Taking taylor expansion of 0 in lambda2 13.462 * * * [progress]: simplifying candidates 13.463 * [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))) (log (* (cbrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))))) (log (cbrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (sqrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (sqrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log 1) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (log (exp (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (log (exp (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)))) (log (exp (cbrt (pow 1 3)))) (log (exp (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))))) (log (exp (cbrt (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))))) (log (exp (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (log (exp (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)))) (log (exp (cbrt (pow 1 3)))) (log (exp (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (log (exp (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (exp (cbrt 1))) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))))) (log (exp (* (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))))) (log (exp (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (exp 1)) (log (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (exp (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (* (cbrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (cbrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))))) (cbrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (* (* (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (sqrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (sqrt (log (exp (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))) (- (* 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))) 13.466 * * [simplify]: iteration 0 : 98 enodes (cost 1017 ) 13.481 * * [simplify]: iteration 1 : 149 enodes (cost 735 ) 13.502 * * [simplify]: iteration 2 : 266 enodes (cost 664 ) 13.557 * * [simplify]: iteration 3 : 605 enodes (cost 664 ) 13.932 * * [simplify]: iteration 4 : 2005 enodes (cost 664 ) 15.206 * * [simplify]: iteration done : 5000 enodes (cost 664 ) 15.206 * [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))) (* 2 (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) 0 (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) 1 (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (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))) 15.207 * * * [progress]: adding candidates to table 15.669 * * [progress]: iteration 4 / 4 15.670 * * * [progress]: picking best candidate 15.790 * * * * [pick]: Picked # 15.790 * * * [progress]: localizing error 15.838 * * * [progress]: generating rewritten candidates 15.838 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 15.844 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 15.870 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 15.885 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1 1 1) 15.892 * * * [progress]: generating series expansions 15.892 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 15.893 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 15.893 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 15.893 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 15.893 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.893 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 15.893 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.893 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.893 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 15.893 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 15.893 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.893 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 15.893 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.893 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.894 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 15.894 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 15.894 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.894 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 15.894 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.894 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.894 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 15.894 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.894 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.894 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.898 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 15.899 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.899 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 15.899 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.899 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.899 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.906 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 15.906 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 15.906 * [taylor]: Taking taylor expansion of 0.125 in lambda2 15.907 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 15.907 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.907 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.907 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.915 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 15.915 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 15.915 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 15.915 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 15.915 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.915 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.915 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.918 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 15.918 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 15.918 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 15.918 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.918 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 15.918 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.918 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.918 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.918 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.919 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 15.919 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 15.919 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.919 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 15.919 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.919 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.920 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.920 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.920 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 15.920 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 15.920 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.920 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 15.920 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.920 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.921 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.921 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.921 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 15.921 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 15.921 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.922 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 15.922 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.922 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.922 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.922 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.923 * [taylor]: Taking taylor expansion of 0 in lambda2 15.923 * [taylor]: Taking taylor expansion of 0 in lambda2 15.923 * [taylor]: Taking taylor expansion of 0 in lambda2 15.923 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 15.923 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 15.923 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 15.923 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.923 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 15.923 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.923 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.924 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.924 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.924 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 15.924 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 15.924 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.924 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 15.924 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.924 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.924 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.924 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.926 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 15.926 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 15.926 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.926 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 15.926 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.926 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.926 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.926 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.931 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 15.932 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 15.932 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.932 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 15.932 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.932 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.932 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.932 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.933 * [taylor]: Taking taylor expansion of 0 in lambda2 15.933 * [taylor]: Taking taylor expansion of 0 in lambda2 15.933 * [taylor]: Taking taylor expansion of 0 in lambda2 15.933 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 15.933 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 15.933 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 15.933 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 15.933 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.933 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 15.933 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.933 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.934 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 15.934 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 15.934 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.934 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 15.934 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.934 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.934 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 15.934 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 15.934 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.934 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 15.934 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.934 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.934 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 15.934 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.934 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.934 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.938 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 15.938 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.938 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 15.938 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.938 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.938 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.946 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 15.946 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 15.946 * [taylor]: Taking taylor expansion of 0.125 in lambda2 15.946 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 15.946 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.946 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.946 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.955 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 15.955 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 15.955 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 15.955 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 15.955 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.955 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.955 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.958 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 15.958 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 15.958 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 15.958 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.958 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 15.958 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.958 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.958 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.958 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.959 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 15.959 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 15.959 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.959 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 15.959 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.959 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.960 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.960 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.960 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 15.960 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 15.960 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.960 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 15.960 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.960 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.961 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.961 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.961 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 15.961 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 15.961 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.961 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 15.961 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.961 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.961 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.961 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.962 * [taylor]: Taking taylor expansion of 0 in lambda2 15.963 * [taylor]: Taking taylor expansion of 0 in lambda2 15.963 * [taylor]: Taking taylor expansion of 0 in lambda2 15.963 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 15.963 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 15.963 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 15.963 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.963 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 15.963 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.963 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.963 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.963 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.964 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 15.964 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 15.964 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 15.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.964 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.964 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.965 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 15.965 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 15.965 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.965 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 15.965 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.965 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.965 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.965 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.966 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 15.966 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 15.966 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.966 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 15.966 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.966 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.967 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.967 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.967 * [taylor]: Taking taylor expansion of 0 in lambda2 15.967 * [taylor]: Taking taylor expansion of 0 in lambda2 15.968 * [taylor]: Taking taylor expansion of 0 in lambda2 15.968 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 15.968 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 15.968 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 15.968 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 15.968 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.968 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 15.968 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.968 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.968 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 15.968 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 15.968 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.968 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 15.968 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.968 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.968 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 15.969 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 15.969 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.969 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 15.969 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.969 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.969 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 15.969 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.969 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.969 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.973 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 15.973 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.973 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 15.973 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.973 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.973 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.981 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 15.981 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 15.981 * [taylor]: Taking taylor expansion of 0.125 in lambda2 15.981 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 15.981 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.981 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.981 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.989 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 15.989 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 15.989 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 15.989 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 15.989 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 15.989 * [taylor]: Taking taylor expansion of -0.5 in lambda2 15.989 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.992 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 15.992 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 15.992 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 15.992 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.992 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 15.992 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.992 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.992 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.992 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.993 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 15.993 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 15.993 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.993 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 15.993 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.993 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.994 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.994 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.994 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 15.994 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 15.994 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.994 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 15.994 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.994 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.995 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.995 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.995 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 15.995 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 15.995 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.995 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 15.995 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.995 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.995 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.995 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.997 * [taylor]: Taking taylor expansion of 0 in lambda2 15.997 * [taylor]: Taking taylor expansion of 0 in lambda2 15.997 * [taylor]: Taking taylor expansion of 0 in lambda2 15.997 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 15.997 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 15.997 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 15.997 * [taylor]: Taking taylor expansion of 0.5 in lambda2 15.997 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 15.997 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 15.997 * [taylor]: Taking taylor expansion of lambda2 in lambda2 15.997 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 15.997 * [taylor]: Taking taylor expansion of lambda1 in lambda2 15.998 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 15.998 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 15.998 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.998 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 15.998 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.998 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.998 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.998 * [taylor]: Taking taylor expansion of lambda1 in lambda1 15.999 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 15.999 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 15.999 * [taylor]: Taking taylor expansion of 0.5 in lambda1 15.999 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 15.999 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 15.999 * [taylor]: Taking taylor expansion of lambda2 in lambda1 15.999 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 15.999 * [taylor]: Taking taylor expansion of lambda1 in lambda1 16.000 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 16.000 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 16.000 * [taylor]: Taking taylor expansion of 0.5 in lambda2 16.000 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 16.000 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 16.000 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.001 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 16.001 * [taylor]: Taking taylor expansion of lambda1 in lambda2 16.001 * [taylor]: Taking taylor expansion of 0 in lambda2 16.001 * [taylor]: Taking taylor expansion of 0 in lambda2 16.001 * [taylor]: Taking taylor expansion of 0 in lambda2 16.002 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1 1 1) 16.002 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 16.002 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 16.002 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 16.002 * [taylor]: Taking taylor expansion of 0.5 in lambda2 16.002 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 16.002 * [taylor]: Taking taylor expansion of lambda1 in lambda2 16.002 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.002 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 16.002 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 16.002 * [taylor]: Taking taylor expansion of 0.5 in lambda1 16.002 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 16.002 * [taylor]: Taking taylor expansion of lambda1 in lambda1 16.002 * [taylor]: Taking taylor expansion of lambda2 in lambda1 16.002 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 16.002 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 16.002 * [taylor]: Taking taylor expansion of 0.5 in lambda1 16.002 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 16.002 * [taylor]: Taking taylor expansion of lambda1 in lambda1 16.002 * [taylor]: Taking taylor expansion of lambda2 in lambda1 16.003 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 16.003 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 16.003 * [taylor]: Taking taylor expansion of -0.5 in lambda2 16.003 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.007 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 16.007 * [taylor]: Taking taylor expansion of 0.5 in lambda2 16.007 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 16.007 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 16.007 * [taylor]: Taking taylor expansion of -0.5 in lambda2 16.007 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.020 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 16.020 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 16.020 * [taylor]: Taking taylor expansion of 0.125 in lambda2 16.020 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 16.020 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 16.020 * [taylor]: Taking taylor expansion of -0.5 in lambda2 16.020 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.029 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 16.029 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 16.029 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 16.029 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 16.029 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 16.029 * [taylor]: Taking taylor expansion of -0.5 in lambda2 16.029 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.031 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 16.031 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 16.031 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 16.031 * [taylor]: Taking taylor expansion of 0.5 in lambda2 16.031 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 16.031 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 16.031 * [taylor]: Taking taylor expansion of lambda1 in lambda2 16.031 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 16.031 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.033 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 16.033 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 16.033 * [taylor]: Taking taylor expansion of 0.5 in lambda1 16.033 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 16.033 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 16.033 * [taylor]: Taking taylor expansion of lambda1 in lambda1 16.033 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 16.033 * [taylor]: Taking taylor expansion of lambda2 in lambda1 16.033 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 16.034 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 16.034 * [taylor]: Taking taylor expansion of 0.5 in lambda1 16.034 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 16.034 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 16.034 * [taylor]: Taking taylor expansion of lambda1 in lambda1 16.034 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 16.034 * [taylor]: Taking taylor expansion of lambda2 in lambda1 16.035 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 16.035 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 16.035 * [taylor]: Taking taylor expansion of 0.5 in lambda2 16.035 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 16.035 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 16.035 * [taylor]: Taking taylor expansion of lambda1 in lambda2 16.035 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 16.035 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.036 * [taylor]: Taking taylor expansion of 0 in lambda2 16.036 * [taylor]: Taking taylor expansion of 0 in lambda2 16.036 * [taylor]: Taking taylor expansion of 0 in lambda2 16.036 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 16.036 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 16.036 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 16.036 * [taylor]: Taking taylor expansion of 0.5 in lambda2 16.036 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 16.036 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 16.036 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.036 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 16.037 * [taylor]: Taking taylor expansion of lambda1 in lambda2 16.037 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 16.037 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 16.037 * [taylor]: Taking taylor expansion of 0.5 in lambda1 16.037 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 16.037 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 16.037 * [taylor]: Taking taylor expansion of lambda2 in lambda1 16.037 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 16.037 * [taylor]: Taking taylor expansion of lambda1 in lambda1 16.038 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 16.038 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 16.038 * [taylor]: Taking taylor expansion of 0.5 in lambda1 16.038 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 16.038 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 16.038 * [taylor]: Taking taylor expansion of lambda2 in lambda1 16.038 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 16.038 * [taylor]: Taking taylor expansion of lambda1 in lambda1 16.040 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 16.040 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 16.040 * [taylor]: Taking taylor expansion of 0.5 in lambda2 16.040 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 16.040 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 16.040 * [taylor]: Taking taylor expansion of lambda2 in lambda2 16.040 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 16.040 * [taylor]: Taking taylor expansion of lambda1 in lambda2 16.041 * [taylor]: Taking taylor expansion of 0 in lambda2 16.041 * [taylor]: Taking taylor expansion of 0 in lambda2 16.041 * [taylor]: Taking taylor expansion of 0 in lambda2 16.041 * * * [progress]: simplifying candidates 16.042 * [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))) (log (* (cbrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))))) (log (cbrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (sqrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (sqrt (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log 1) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (log (exp (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (log (exp (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)))) (log (exp (cbrt (pow 1 3)))) (log (exp (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))))) (log (exp (cbrt (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))))) (log (exp (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (log (exp (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)))) (log (exp (cbrt (pow 1 3)))) (log (exp (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (log (exp (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (exp (cbrt 1))) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))))) (log (exp (* (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))))) (log (exp (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (exp 1)) (log (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (exp (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (* (cbrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (cbrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))))) (cbrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (* (* (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (sqrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (sqrt (log (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))))) (log (* (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log 1) (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))))) (log (exp (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (log (exp (sqrt (sin (/ (- lambda1 lambda2) 2.0))))) (log (exp 1)) (log (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (exp (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (* (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (* (* (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (log (exp (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))) 16.046 * * [simplify]: iteration 0 : 120 enodes (cost 1133 ) 16.062 * * [simplify]: iteration 1 : 177 enodes (cost 815 ) 16.087 * * [simplify]: iteration 2 : 307 enodes (cost 733 ) 16.142 * * [simplify]: iteration 3 : 656 enodes (cost 733 ) 16.535 * * [simplify]: iteration 4 : 2143 enodes (cost 733 ) 17.558 * * [simplify]: iteration done : 5000 enodes (cost 733 ) 17.559 * [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))) (* 2 (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) 0 (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) 1 (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (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))) (* 2 (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) 0 (sin (/ (- lambda1 lambda2) 2.0)) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (sin (/ lambda2 2.0)) (cos (/ lambda1 2.0))) (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (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))) (* (sin (/ lambda2 2.0)) (cos (/ lambda1 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))) 17.560 * * * [progress]: adding candidates to table 18.126 * [progress]: [Phase 3 of 3] Extracting. 18.126 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 18.165 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 18.165 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # # # #) 18.304 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # #) 18.443 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # #) 18.588 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # #) 18.730 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # #) 18.868 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # #) 19.009 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # #) 19.147 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # #) 19.289 * * * [regime]: Found split indices: #