0.373 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.263 * * * [progress]: [2/2] Setting up program. 0.269 * [progress]: [Phase 2 of 3] Improving. 0.269 * [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.271 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 0.274 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 0.281 * * [simplify]: iteration 2 : 100 enodes (cost 63 ) 0.294 * * [simplify]: iteration 3 : 178 enodes (cost 63 ) 0.327 * * [simplify]: iteration 4 : 378 enodes (cost 63 ) 0.408 * * [simplify]: iteration 5 : 713 enodes (cost 63 ) 0.621 * * [simplify]: iteration 6 : 1827 enodes (cost 63 ) 1.746 * * [simplify]: iteration done : 5000 enodes (cost 63 ) 1.747 * [simplify]: Simplified to: (* 2.0 (* (atan2 (sqrt (fma (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 2.0))) (sqrt (- 1.0 (fma (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 2.0))))) R)) 1.753 * * [progress]: iteration 1 / 4 1.753 * * * [progress]: picking best candidate 1.764 * * * * [pick]: Picked # 1.764 * * * [progress]: localizing error 1.798 * * * [progress]: generating rewritten candidates 1.798 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 1.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 1.812 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 1.818 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 1.824 * * * [progress]: generating series expansions 1.824 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 1.824 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.824 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.824 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.824 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.824 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.824 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.824 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.825 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.825 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.825 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.825 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.825 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.825 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.825 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.825 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.825 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.825 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.825 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.825 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.825 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.825 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.826 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.826 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.830 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.830 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.830 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.830 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.830 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.830 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.838 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.838 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.838 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.838 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.838 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.838 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.847 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.848 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.848 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.848 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.848 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.848 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.848 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.850 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.850 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.850 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.850 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.850 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.850 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.850 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.850 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.850 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.851 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.852 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.852 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.852 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.852 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.852 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.852 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.852 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.853 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.853 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.853 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.853 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.853 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.853 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.853 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.853 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.854 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.854 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.854 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.854 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.854 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.854 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.854 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.854 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.855 * [taylor]: Taking taylor expansion of 0 in lambda2 1.855 * [taylor]: Taking taylor expansion of 0 in lambda2 1.855 * [taylor]: Taking taylor expansion of 0 in lambda2 1.855 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.855 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.855 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.855 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.855 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.855 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.855 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.856 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.856 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.856 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.856 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.856 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.856 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.856 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.856 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.856 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.856 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.857 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.857 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.858 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.858 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.858 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.858 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.858 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.858 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.859 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.859 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.859 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.859 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.859 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.859 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.859 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.859 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.860 * [taylor]: Taking taylor expansion of 0 in lambda2 1.860 * [taylor]: Taking taylor expansion of 0 in lambda2 1.860 * [taylor]: Taking taylor expansion of 0 in lambda2 1.860 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 1.860 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.860 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.860 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.860 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.860 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.860 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.860 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.861 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.861 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.861 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.861 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.861 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.861 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.861 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.861 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.861 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.861 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.861 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.861 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.861 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.861 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.861 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.861 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.866 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.866 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.866 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.866 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.866 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.866 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.874 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.874 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.874 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.874 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.874 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.874 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.874 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.883 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.883 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.883 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.883 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.883 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.883 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.883 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.886 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.886 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.886 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.886 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.886 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.886 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.886 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.886 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.886 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.887 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.887 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.887 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.887 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.887 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.887 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.888 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.888 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.891 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.891 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.891 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.891 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.891 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.891 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.892 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.892 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.892 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.892 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.892 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.892 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.893 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.893 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.893 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.893 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.894 * [taylor]: Taking taylor expansion of 0 in lambda2 1.894 * [taylor]: Taking taylor expansion of 0 in lambda2 1.894 * [taylor]: Taking taylor expansion of 0 in lambda2 1.894 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.894 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.894 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.894 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.894 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.894 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.894 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.894 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.894 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.895 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.895 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.895 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.895 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.895 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.895 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.895 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.895 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.896 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.896 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.896 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.896 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.896 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.896 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.896 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.896 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.898 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.898 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.898 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.898 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.898 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.898 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.898 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.898 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.899 * [taylor]: Taking taylor expansion of 0 in lambda2 1.899 * [taylor]: Taking taylor expansion of 0 in lambda2 1.899 * [taylor]: Taking taylor expansion of 0 in lambda2 1.899 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 1.899 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.899 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.899 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.899 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.899 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.899 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.899 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.900 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.900 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.900 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.900 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.900 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.900 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.900 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.900 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.900 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.900 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.900 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.900 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.900 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.900 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.900 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.900 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.904 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.904 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.904 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.904 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.904 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.904 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.912 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.912 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.912 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.912 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.912 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.912 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.912 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.921 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.921 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.921 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.921 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.921 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.921 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.924 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.924 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.924 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.924 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.924 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.924 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.924 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.924 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.924 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.925 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.925 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.925 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.925 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.925 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.925 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.926 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.926 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.926 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.926 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.926 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.926 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.926 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.926 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.927 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.927 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.927 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.927 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.927 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.927 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.927 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.927 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.928 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.928 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.929 * [taylor]: Taking taylor expansion of 0 in lambda2 1.929 * [taylor]: Taking taylor expansion of 0 in lambda2 1.929 * [taylor]: Taking taylor expansion of 0 in lambda2 1.929 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.929 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.929 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.929 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.929 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.929 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.929 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.929 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.929 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.930 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.930 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.930 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.930 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.930 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.930 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.930 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.930 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.931 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.931 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.931 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.931 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.931 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.931 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.931 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.931 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.932 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.932 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.933 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.933 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.933 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.933 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.933 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.933 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.934 * [taylor]: Taking taylor expansion of 0 in lambda2 1.934 * [taylor]: Taking taylor expansion of 0 in lambda2 1.934 * [taylor]: Taking taylor expansion of 0 in lambda2 1.934 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 1.934 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.934 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.934 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.934 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.934 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.934 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.934 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.935 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.935 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.935 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.935 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.935 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.935 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.935 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.935 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.935 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.935 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.935 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.935 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.935 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.935 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.935 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.935 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.939 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.939 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.939 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.939 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.939 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.939 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.947 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.947 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.947 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.947 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.947 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.947 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.947 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.956 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.956 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.956 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.956 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.956 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.956 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.956 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.959 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.959 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.959 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.959 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.959 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.959 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.959 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.959 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.959 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.960 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.960 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.960 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.960 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.960 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.960 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.960 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.961 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.961 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.961 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.961 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.961 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.961 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.961 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.961 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.962 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.962 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.962 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.962 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.962 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.962 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.962 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.962 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.962 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.964 * [taylor]: Taking taylor expansion of 0 in lambda2 1.964 * [taylor]: Taking taylor expansion of 0 in lambda2 1.964 * [taylor]: Taking taylor expansion of 0 in lambda2 1.964 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.964 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.964 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.964 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.964 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.964 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.965 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.965 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.965 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.965 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.965 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.965 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.965 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.965 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.966 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.966 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.966 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.966 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.966 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.966 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.966 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.966 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.967 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.967 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.967 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.967 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.967 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.967 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.968 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.968 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.968 * [taylor]: Taking taylor expansion of 0 in lambda2 1.968 * [taylor]: Taking taylor expansion of 0 in lambda2 1.969 * [taylor]: Taking taylor expansion of 0 in lambda2 1.969 * * * [progress]: simplifying candidates 1.969 * [simplify]: Simplifying using # : (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (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))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (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))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (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))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (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))) 1.971 * * [simplify]: iteration 0 : 34 enodes (cost 508 ) 1.979 * * [simplify]: iteration 1 : 59 enodes (cost 504 ) 1.987 * * [simplify]: iteration 2 : 100 enodes (cost 452 ) 2.000 * * [simplify]: iteration 3 : 184 enodes (cost 452 ) 2.034 * * [simplify]: iteration 4 : 404 enodes (cost 452 ) 2.127 * * [simplify]: iteration 5 : 930 enodes (cost 452 )