4.498 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.611 * * * [progress]: [2/2] Setting up program. 1.616 * [progress]: [Phase 2 of 3] Improving. 1.617 * [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))))))))) 1.619 * * [simplify]: iteration 0 : 56 enodes (cost 38 ) 1.621 * * [simplify]: iteration 1 : 102 enodes (cost 38 ) 1.623 * * [simplify]: iteration 2 : 191 enodes (cost 38 ) 1.627 * * [simplify]: iteration 3 : 377 enodes (cost 38 ) 1.633 * * [simplify]: iteration 4 : 776 enodes (cost 38 ) 1.649 * * [simplify]: iteration 5 : 2500 enodes (cost 38 ) 1.695 * * [simplify]: iteration 6 : 5002 enodes (cost 38 ) 1.695 * [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))))))))) 1.696 * * [progress]: iteration 1 / 4 1.696 * * * [progress]: picking best candidate 1.701 * * * * [pick]: Picked # 1.701 * * * [progress]: localizing error 1.734 * * * [progress]: generating rewritten candidates 1.734 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 1.739 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 1.744 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 1.750 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 1.755 * * * [progress]: generating series expansions 1.756 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 1.756 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 1.756 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 1.756 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 1.756 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.756 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 1.756 * [taylor]: Taking taylor expansion of phi1 in phi2 1.756 * [taylor]: Taking taylor expansion of phi2 in phi2 1.756 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 1.756 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 1.756 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.756 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 1.756 * [taylor]: Taking taylor expansion of phi1 in phi1 1.756 * [taylor]: Taking taylor expansion of phi2 in phi1 1.757 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 1.757 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 1.757 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.757 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 1.757 * [taylor]: Taking taylor expansion of phi1 in phi1 1.757 * [taylor]: Taking taylor expansion of phi2 in phi1 1.757 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 1.757 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.757 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.757 * [taylor]: Taking taylor expansion of phi2 in phi2 1.764 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 1.765 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.765 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 1.765 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.765 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.765 * [taylor]: Taking taylor expansion of phi2 in phi2 1.773 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 1.773 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 1.773 * [taylor]: Taking taylor expansion of 0.125 in phi2 1.773 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 1.773 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.773 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.773 * [taylor]: Taking taylor expansion of phi2 in phi2 1.782 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 1.782 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 1.782 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 1.782 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 1.782 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.782 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.782 * [taylor]: Taking taylor expansion of phi2 in phi2 1.785 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 1.785 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 1.785 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 1.785 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.785 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 1.785 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.785 * [taylor]: Taking taylor expansion of phi1 in phi2 1.785 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.785 * [taylor]: Taking taylor expansion of phi2 in phi2 1.786 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 1.786 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 1.786 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.786 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 1.786 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.786 * [taylor]: Taking taylor expansion of phi1 in phi1 1.787 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.787 * [taylor]: Taking taylor expansion of phi2 in phi1 1.788 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 1.788 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 1.788 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.788 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 1.788 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.788 * [taylor]: Taking taylor expansion of phi1 in phi1 1.788 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.788 * [taylor]: Taking taylor expansion of phi2 in phi1 1.789 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 1.789 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 1.789 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.789 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 1.789 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.789 * [taylor]: Taking taylor expansion of phi1 in phi2 1.789 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.789 * [taylor]: Taking taylor expansion of phi2 in phi2 1.790 * [taylor]: Taking taylor expansion of 0 in phi2 1.790 * [taylor]: Taking taylor expansion of 0 in phi2 1.790 * [taylor]: Taking taylor expansion of 0 in phi2 1.790 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 1.790 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 1.790 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 1.790 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.791 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 1.791 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.791 * [taylor]: Taking taylor expansion of phi2 in phi2 1.791 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.791 * [taylor]: Taking taylor expansion of phi1 in phi2 1.791 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 1.792 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 1.792 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.792 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 1.792 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.792 * [taylor]: Taking taylor expansion of phi2 in phi1 1.792 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.792 * [taylor]: Taking taylor expansion of phi1 in phi1 1.793 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 1.793 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 1.793 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.793 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 1.793 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.793 * [taylor]: Taking taylor expansion of phi2 in phi1 1.793 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.793 * [taylor]: Taking taylor expansion of phi1 in phi1 1.794 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 1.794 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 1.794 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.794 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 1.794 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.794 * [taylor]: Taking taylor expansion of phi2 in phi2 1.794 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.794 * [taylor]: Taking taylor expansion of phi1 in phi2 1.795 * [taylor]: Taking taylor expansion of 0 in phi2 1.795 * [taylor]: Taking taylor expansion of 0 in phi2 1.795 * [taylor]: Taking taylor expansion of 0 in phi2 1.796 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 1.796 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 1.796 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 1.796 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 1.796 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.796 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 1.796 * [taylor]: Taking taylor expansion of phi1 in phi2 1.796 * [taylor]: Taking taylor expansion of phi2 in phi2 1.796 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 1.796 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 1.796 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.796 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 1.796 * [taylor]: Taking taylor expansion of phi1 in phi1 1.796 * [taylor]: Taking taylor expansion of phi2 in phi1 1.796 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 1.796 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 1.796 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.796 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 1.797 * [taylor]: Taking taylor expansion of phi1 in phi1 1.797 * [taylor]: Taking taylor expansion of phi2 in phi1 1.797 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 1.797 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.797 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.797 * [taylor]: Taking taylor expansion of phi2 in phi2 1.801 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 1.801 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.801 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 1.801 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.801 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.801 * [taylor]: Taking taylor expansion of phi2 in phi2 1.809 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 1.809 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 1.809 * [taylor]: Taking taylor expansion of 0.125 in phi2 1.809 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 1.809 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.809 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.809 * [taylor]: Taking taylor expansion of phi2 in phi2 1.819 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 1.819 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 1.819 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 1.819 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 1.819 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.819 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.819 * [taylor]: Taking taylor expansion of phi2 in phi2 1.821 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 1.821 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 1.821 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 1.821 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.822 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 1.822 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.822 * [taylor]: Taking taylor expansion of phi1 in phi2 1.822 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.822 * [taylor]: Taking taylor expansion of phi2 in phi2 1.823 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 1.823 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 1.823 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.823 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 1.823 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.823 * [taylor]: Taking taylor expansion of phi1 in phi1 1.823 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.823 * [taylor]: Taking taylor expansion of phi2 in phi1 1.824 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 1.824 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 1.824 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.824 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 1.824 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.824 * [taylor]: Taking taylor expansion of phi1 in phi1 1.824 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.824 * [taylor]: Taking taylor expansion of phi2 in phi1 1.825 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 1.825 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 1.825 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.825 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 1.825 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.825 * [taylor]: Taking taylor expansion of phi1 in phi2 1.825 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.825 * [taylor]: Taking taylor expansion of phi2 in phi2 1.826 * [taylor]: Taking taylor expansion of 0 in phi2 1.826 * [taylor]: Taking taylor expansion of 0 in phi2 1.826 * [taylor]: Taking taylor expansion of 0 in phi2 1.826 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 1.826 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 1.826 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 1.827 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.827 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 1.827 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.827 * [taylor]: Taking taylor expansion of phi2 in phi2 1.827 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.827 * [taylor]: Taking taylor expansion of phi1 in phi2 1.828 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 1.828 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 1.828 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.828 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 1.828 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.828 * [taylor]: Taking taylor expansion of phi2 in phi1 1.828 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.828 * [taylor]: Taking taylor expansion of phi1 in phi1 1.829 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 1.829 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 1.829 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.829 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 1.829 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.829 * [taylor]: Taking taylor expansion of phi2 in phi1 1.829 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.829 * [taylor]: Taking taylor expansion of phi1 in phi1 1.830 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 1.830 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 1.830 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.830 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 1.830 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.830 * [taylor]: Taking taylor expansion of phi2 in phi2 1.830 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.830 * [taylor]: Taking taylor expansion of phi1 in phi2 1.831 * [taylor]: Taking taylor expansion of 0 in phi2 1.831 * [taylor]: Taking taylor expansion of 0 in phi2 1.831 * [taylor]: Taking taylor expansion of 0 in phi2 1.831 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 1.832 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.832 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.832 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.832 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.832 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.832 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.832 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.832 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.832 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.832 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.832 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.832 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.832 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.832 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.832 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.832 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.832 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.832 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.832 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.833 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.833 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.833 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.833 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.837 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.837 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.837 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.837 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.837 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.837 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.845 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.845 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.845 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.845 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.845 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.845 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.845 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.857 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.857 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.858 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.858 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.858 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.858 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.858 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.860 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.860 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.860 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.860 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.860 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.860 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.860 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.860 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.860 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.862 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.862 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.862 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.862 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.862 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.862 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.862 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.862 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.863 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.863 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.863 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.863 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.863 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.863 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.863 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.863 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.864 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.864 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.864 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.864 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.864 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.864 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.864 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.864 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.865 * [taylor]: Taking taylor expansion of 0 in lambda2 1.865 * [taylor]: Taking taylor expansion of 0 in lambda2 1.865 * [taylor]: Taking taylor expansion of 0 in lambda2 1.865 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.865 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.865 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.865 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.865 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.865 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.865 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.866 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.866 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.866 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.866 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.866 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.867 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.867 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.867 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.867 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.867 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.868 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.868 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.868 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.868 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.868 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.868 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.868 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.868 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.869 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.869 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.869 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.869 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.869 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.869 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.869 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.869 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.870 * [taylor]: Taking taylor expansion of 0 in lambda2 1.870 * [taylor]: Taking taylor expansion of 0 in lambda2 1.870 * [taylor]: Taking taylor expansion of 0 in lambda2 1.870 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 1.870 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.870 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.870 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.871 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.871 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.871 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.871 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.871 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.871 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.871 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.871 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.871 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.871 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.871 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.871 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.871 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.871 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.871 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.871 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.871 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.871 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.872 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.872 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.876 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.876 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.876 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.876 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.876 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.876 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.884 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.884 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.884 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.884 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.884 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.884 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.884 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.894 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.894 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.894 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.894 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.894 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.894 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.894 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.897 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.897 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.897 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.897 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.897 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.897 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.897 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.897 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.897 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.898 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.898 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.898 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.898 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.898 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.898 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.898 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.899 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.899 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.899 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.899 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.899 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.899 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.899 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.900 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.900 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.900 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.900 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.900 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.900 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.900 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.901 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.901 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.901 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.902 * [taylor]: Taking taylor expansion of 0 in lambda2 1.902 * [taylor]: Taking taylor expansion of 0 in lambda2 1.902 * [taylor]: Taking taylor expansion of 0 in lambda2 1.902 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.902 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.902 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.902 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.902 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.902 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.902 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.902 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.903 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.903 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.903 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.903 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.903 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.903 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.903 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.903 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.903 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.904 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.904 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.905 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.905 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.905 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.905 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.905 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.905 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.906 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.906 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.906 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.906 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.906 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.906 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.906 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.906 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.907 * [taylor]: Taking taylor expansion of 0 in lambda2 1.907 * [taylor]: Taking taylor expansion of 0 in lambda2 1.907 * [taylor]: Taking taylor expansion of 0 in lambda2 1.907 * * * [progress]: simplifying candidates 1.908 * [simplify]: Simplifying using # : (expm1 (sin (/ (- phi1 phi2) 2.0))) (log1p (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (* (* (sin (/ (- phi1 phi2) 2.0)) (sin (/ (- phi1 phi2) 2.0))) (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (expm1 (sin (/ (- phi1 phi2) 2.0))) (log1p (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (* (* (sin (/ (- phi1 phi2) 2.0)) (sin (/ (- phi1 phi2) 2.0))) (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 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 phi1) (+ (* 0.5 phi2) (* 0.020833333333333332 (pow phi1 3)))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 phi1) (+ (* 0.5 phi2) (* 0.020833333333333332 (pow phi1 3)))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 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.912 * * [simplify]: iteration 0 : 110 enodes (cost 276 ) 1.914 * * [simplify]: iteration 1 : 190 enodes (cost 248 ) 1.917 * * [simplify]: iteration 2 : 404 enodes (cost 248 ) 1.924 * * [simplify]: iteration 3 : 880 enodes (cost 248 ) 1.940 * * [simplify]: iteration 4 : 2552 enodes (cost 248 ) 1.989 * * [simplify]: iteration 5 : 5001 enodes (cost 248 ) 1.991 * [simplify]: Simplified to: (expm1 (sin (/ (- phi1 phi2) 2.0))) (log1p (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 3) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (expm1 (sin (/ (- phi1 phi2) 2.0))) (log1p (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 3) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (fma 0.5 phi1 (- (fma 0.5 phi2 (* 0.020833333333333332 (pow phi1 3))))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (fma 0.5 phi1 (- (fma 0.5 phi2 (* 0.020833333333333332 (pow phi1 3))))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 1.991 * * * [progress]: adding candidates to table 2.356 * * [progress]: iteration 2 / 4 2.356 * * * [progress]: picking best candidate 2.462 * * * * [pick]: Picked # 2.462 * * * [progress]: localizing error 2.511 * * * [progress]: generating rewritten candidates 2.511 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1 1) 2.517 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 2.522 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 2.527 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 2.535 * * * [progress]: generating series expansions 2.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1 1) 2.535 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 2.535 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 2.535 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 2.535 * [taylor]: Taking taylor expansion of 0.5 in phi2 2.535 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 2.535 * [taylor]: Taking taylor expansion of phi1 in phi2 2.535 * [taylor]: Taking taylor expansion of phi2 in phi2 2.536 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 2.536 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 2.536 * [taylor]: Taking taylor expansion of 0.5 in phi1 2.536 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 2.536 * [taylor]: Taking taylor expansion of phi1 in phi1 2.536 * [taylor]: Taking taylor expansion of phi2 in phi1 2.536 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 2.536 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 2.536 * [taylor]: Taking taylor expansion of 0.5 in phi1 2.536 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 2.536 * [taylor]: Taking taylor expansion of phi1 in phi1 2.536 * [taylor]: Taking taylor expansion of phi2 in phi1 2.536 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 2.536 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 2.536 * [taylor]: Taking taylor expansion of -0.5 in phi2 2.536 * [taylor]: Taking taylor expansion of phi2 in phi2 2.541 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 2.541 * [taylor]: Taking taylor expansion of 0.5 in phi2 2.541 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 2.541 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 2.541 * [taylor]: Taking taylor expansion of -0.5 in phi2 2.541 * [taylor]: Taking taylor expansion of phi2 in phi2 2.550 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 2.550 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 2.550 * [taylor]: Taking taylor expansion of 0.125 in phi2 2.550 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 2.550 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 2.550 * [taylor]: Taking taylor expansion of -0.5 in phi2 2.550 * [taylor]: Taking taylor expansion of phi2 in phi2 2.560 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 2.560 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 2.560 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 2.560 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 2.560 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 2.560 * [taylor]: Taking taylor expansion of -0.5 in phi2 2.560 * [taylor]: Taking taylor expansion of phi2 in phi2 2.563 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 2.563 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 2.563 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 2.563 * [taylor]: Taking taylor expansion of 0.5 in phi2 2.563 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 2.563 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 2.563 * [taylor]: Taking taylor expansion of phi1 in phi2 2.563 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 2.563 * [taylor]: Taking taylor expansion of phi2 in phi2 2.565 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 2.565 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 2.565 * [taylor]: Taking taylor expansion of 0.5 in phi1 2.565 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 2.565 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 2.565 * [taylor]: Taking taylor expansion of phi1 in phi1 2.565 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 2.565 * [taylor]: Taking taylor expansion of phi2 in phi1 2.566 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 2.566 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 2.566 * [taylor]: Taking taylor expansion of 0.5 in phi1 2.566 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 2.566 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 2.566 * [taylor]: Taking taylor expansion of phi1 in phi1 2.566 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 2.566 * [taylor]: Taking taylor expansion of phi2 in phi1 2.567 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 2.567 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 2.567 * [taylor]: Taking taylor expansion of 0.5 in phi2 2.567 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 2.567 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 2.567 * [taylor]: Taking taylor expansion of phi1 in phi2 2.567 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 2.567 * [taylor]: Taking taylor expansion of phi2 in phi2 2.568 * [taylor]: Taking taylor expansion of 0 in phi2 2.568 * [taylor]: Taking taylor expansion of 0 in phi2 2.568 * [taylor]: Taking taylor expansion of 0 in phi2 2.569 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 2.569 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 2.569 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 2.569 * [taylor]: Taking taylor expansion of 0.5 in phi2 2.569 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 2.569 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 2.569 * [taylor]: Taking taylor expansion of phi2 in phi2 2.569 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 2.569 * [taylor]: Taking taylor expansion of phi1 in phi2 2.570 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 2.570 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 2.570 * [taylor]: Taking taylor expansion of 0.5 in phi1 2.570 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 2.570 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 2.570 * [taylor]: Taking taylor expansion of phi2 in phi1 2.570 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 2.570 * [taylor]: Taking taylor expansion of phi1 in phi1 2.571 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 2.571 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 2.571 * [taylor]: Taking taylor expansion of 0.5 in phi1 2.571 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 2.571 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 2.571 * [taylor]: Taking taylor expansion of phi2 in phi1 2.571 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 2.571 * [taylor]: Taking taylor expansion of phi1 in phi1 2.572 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 2.572 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 2.572 * [taylor]: Taking taylor expansion of 0.5 in phi2 2.572 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 2.572 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 2.572 * [taylor]: Taking taylor expansion of phi2 in phi2 2.573 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 2.573 * [taylor]: Taking taylor expansion of phi1 in phi2 2.574 * [taylor]: Taking taylor expansion of 0 in phi2 2.574 * [taylor]: Taking taylor expansion of 0 in phi2 2.574 * [taylor]: Taking taylor expansion of 0 in phi2 2.574 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 2.574 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.574 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.574 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.574 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.574 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.574 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.574 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.574 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.574 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.574 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.575 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.575 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.575 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.575 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.575 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.575 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.575 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.575 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.575 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.575 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.575 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.575 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.575 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.580 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.580 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.580 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.580 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.580 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.580 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.589 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.589 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.589 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.589 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.589 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.589 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.589 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.599 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.599 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.599 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.599 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.599 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.599 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.599 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.602 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.602 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.602 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.602 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.602 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.602 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.602 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.602 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.602 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.603 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.603 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.603 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.603 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.603 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.603 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.603 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.603 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.604 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.604 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.604 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.604 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.604 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.604 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.604 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.604 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.605 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.605 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.605 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.605 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.605 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.605 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.605 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.605 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.607 * [taylor]: Taking taylor expansion of 0 in lambda2 2.607 * [taylor]: Taking taylor expansion of 0 in lambda2 2.607 * [taylor]: Taking taylor expansion of 0 in lambda2 2.607 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.607 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.607 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.607 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.607 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.607 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.607 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.607 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.607 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.608 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.608 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.608 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.608 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.608 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.608 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.608 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.608 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.609 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.609 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.609 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.609 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.609 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.609 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.609 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.609 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.611 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.611 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.611 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.611 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.611 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.611 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.611 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.611 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.612 * [taylor]: Taking taylor expansion of 0 in lambda2 2.612 * [taylor]: Taking taylor expansion of 0 in lambda2 2.612 * [taylor]: Taking taylor expansion of 0 in lambda2 2.612 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 2.612 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.612 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.612 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.612 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.612 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.612 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.612 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.613 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.613 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.613 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.613 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.613 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.613 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.613 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.613 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.613 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.613 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.613 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.613 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.613 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.613 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.613 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.613 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.618 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.618 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.618 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.618 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.618 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.618 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.630 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.630 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.630 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.630 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.630 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.630 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.630 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.639 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.639 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.639 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.639 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.639 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.639 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.639 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.642 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.642 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.642 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.642 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.642 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.642 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.642 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.642 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.642 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.644 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.644 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.644 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.644 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.644 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.644 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.644 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.644 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.645 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.645 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.645 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.645 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.645 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.645 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.645 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.645 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.646 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.646 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.646 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.646 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.646 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.646 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.646 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.646 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.647 * [taylor]: Taking taylor expansion of 0 in lambda2 2.647 * [taylor]: Taking taylor expansion of 0 in lambda2 2.647 * [taylor]: Taking taylor expansion of 0 in lambda2 2.648 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.648 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.648 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.648 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.648 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.648 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.648 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.648 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.648 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.649 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.649 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.649 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.649 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.649 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.649 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.649 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.649 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.650 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.650 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.650 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.650 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.650 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.650 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.650 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.650 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.651 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.651 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.651 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.651 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.651 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.651 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.652 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.652 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.653 * [taylor]: Taking taylor expansion of 0 in lambda2 2.653 * [taylor]: Taking taylor expansion of 0 in lambda2 2.653 * [taylor]: Taking taylor expansion of 0 in lambda2 2.653 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 2.653 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.653 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.653 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.653 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.653 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.653 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.653 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.653 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.653 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.653 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.653 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.653 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.654 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.654 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.654 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.654 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.654 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.654 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.654 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.654 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.654 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.654 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.654 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.658 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.658 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.659 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.659 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.659 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.659 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.667 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.667 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.667 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.667 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.667 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.667 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.667 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.676 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.676 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.676 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.676 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.676 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.676 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.676 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.679 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.679 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.679 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.679 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.679 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.679 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.679 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.679 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.679 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.680 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.680 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.680 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.680 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.680 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.680 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.681 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.681 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.681 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.681 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.681 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.681 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.681 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.681 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.682 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.682 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.682 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.682 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.682 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.682 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.682 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.682 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.682 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.683 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.684 * [taylor]: Taking taylor expansion of 0 in lambda2 2.684 * [taylor]: Taking taylor expansion of 0 in lambda2 2.684 * [taylor]: Taking taylor expansion of 0 in lambda2 2.684 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.684 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.684 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.684 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.684 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.684 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.684 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.684 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.684 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.685 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.685 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.685 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.685 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.685 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.685 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.685 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.685 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.686 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.686 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.686 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.686 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.686 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.686 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.686 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.686 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.688 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.688 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.688 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.688 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.688 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.688 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.688 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.688 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.689 * [taylor]: Taking taylor expansion of 0 in lambda2 2.689 * [taylor]: Taking taylor expansion of 0 in lambda2 2.689 * [taylor]: Taking taylor expansion of 0 in lambda2 2.689 * * * [progress]: simplifying candidates 2.690 * [simplify]: Simplifying using # : (expm1 (sin (/ (- phi1 phi2) 2.0))) (log1p (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (* (* (sin (/ (- phi1 phi2) 2.0)) (sin (/ (- phi1 phi2) 2.0))) (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 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 phi1) (+ (* 0.5 phi2) (* 0.020833333333333332 (pow phi1 3)))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 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))) 2.693 * * [simplify]: iteration 0 : 110 enodes (cost 276 ) 2.696 * * [simplify]: iteration 1 : 190 enodes (cost 248 ) 2.699 * * [simplify]: iteration 2 : 404 enodes (cost 248 ) 2.705 * * [simplify]: iteration 3 : 880 enodes (cost 248 ) 2.721 * * [simplify]: iteration 4 : 2552 enodes (cost 248 ) 2.771 * * [simplify]: iteration 5 : 5001 enodes (cost 248 ) 2.772 * [simplify]: Simplified to: (expm1 (sin (/ (- phi1 phi2) 2.0))) (log1p (sin (/ (- phi1 phi2) 2.0))) (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ phi2 2.0))) (log (sin (/ (- phi1 phi2) 2.0))) (exp (sin (/ (- phi1 phi2) 2.0))) (* (cbrt (sin (/ (- phi1 phi2) 2.0))) (cbrt (sin (/ (- phi1 phi2) 2.0)))) (cbrt (sin (/ (- phi1 phi2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 3) (sqrt (sin (/ (- phi1 phi2) 2.0))) (sqrt (sin (/ (- phi1 phi2) 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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (fma 0.5 phi1 (- (fma 0.5 phi2 (* 0.020833333333333332 (pow phi1 3))))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 2.773 * * * [progress]: adding candidates to table 3.248 * * [progress]: iteration 3 / 4 3.248 * * * [progress]: picking best candidate 3.415 * * * * [pick]: Picked # 3.415 * * * [progress]: localizing error 3.457 * * * [progress]: generating rewritten candidates 3.457 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 3.462 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 3.468 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 3.473 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 3.479 * * * [progress]: generating series expansions 3.479 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 3.479 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 3.479 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 3.479 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 3.479 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.479 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 3.479 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.479 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.479 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.479 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.479 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.480 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.480 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.480 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.480 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.480 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.480 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.480 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.480 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.480 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.480 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.480 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.480 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.480 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.485 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 3.485 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.485 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.485 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.485 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.485 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.495 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 3.496 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 3.496 * [taylor]: Taking taylor expansion of 0.125 in lambda2 3.496 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.496 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.496 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.496 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.505 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 3.505 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 3.505 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 3.505 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.505 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.505 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.505 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.508 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.508 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.508 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.508 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.508 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.508 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.508 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.509 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.509 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.510 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.510 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.510 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.510 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.510 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.510 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.510 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.510 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.511 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.511 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.511 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.511 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.511 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.511 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.511 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.511 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.512 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.512 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.512 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.512 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.512 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.512 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.512 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.512 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.513 * [taylor]: Taking taylor expansion of 0 in lambda2 3.513 * [taylor]: Taking taylor expansion of 0 in lambda2 3.513 * [taylor]: Taking taylor expansion of 0 in lambda2 3.513 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 3.513 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.513 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.514 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.514 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.514 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.514 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.514 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.514 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.515 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.515 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.515 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.515 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.515 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.515 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.515 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.515 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.516 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.516 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.516 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.516 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.516 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.516 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.516 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.516 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.517 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.517 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.517 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.517 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.517 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.517 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.517 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.517 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.518 * [taylor]: Taking taylor expansion of 0 in lambda2 3.518 * [taylor]: Taking taylor expansion of 0 in lambda2 3.518 * [taylor]: Taking taylor expansion of 0 in lambda2 3.518 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 3.519 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 3.519 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 3.519 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 3.519 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.519 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 3.519 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.519 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.519 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.519 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.519 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.519 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.519 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.519 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.519 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.519 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.519 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.519 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.519 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.519 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.520 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.520 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.520 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.520 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.524 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 3.524 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.524 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.524 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.524 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.524 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.533 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 3.533 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 3.533 * [taylor]: Taking taylor expansion of 0.125 in lambda2 3.533 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.533 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.533 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.533 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.542 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 3.542 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 3.542 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 3.542 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.543 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.543 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.543 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.545 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.545 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.545 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.545 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.545 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.545 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.545 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.545 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.545 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.547 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.547 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.547 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.547 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.547 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.547 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.547 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.547 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.548 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.548 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.548 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.548 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.548 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.548 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.548 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.548 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.549 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.549 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.549 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.549 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.549 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.549 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.549 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.549 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.550 * [taylor]: Taking taylor expansion of 0 in lambda2 3.550 * [taylor]: Taking taylor expansion of 0 in lambda2 3.550 * [taylor]: Taking taylor expansion of 0 in lambda2 3.550 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 3.551 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.551 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.551 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.551 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.551 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.551 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.551 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.551 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.552 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.552 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.552 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.552 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.552 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.552 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.552 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.552 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.553 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.553 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.553 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.553 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.553 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.553 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.553 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.553 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.554 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.554 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.554 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.554 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.554 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.554 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.555 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.555 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.555 * [taylor]: Taking taylor expansion of 0 in lambda2 3.555 * [taylor]: Taking taylor expansion of 0 in lambda2 3.555 * [taylor]: Taking taylor expansion of 0 in lambda2 3.556 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 3.556 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 3.556 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 3.556 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 3.556 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.556 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 3.556 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.556 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.556 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.556 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.556 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.556 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.556 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.556 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.556 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.556 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.556 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.556 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.556 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.556 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.557 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.557 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.557 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.557 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.561 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 3.561 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.561 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.561 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.561 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.561 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.569 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 3.570 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 3.570 * [taylor]: Taking taylor expansion of 0.125 in lambda2 3.570 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.570 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.570 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.570 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.583 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 3.583 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 3.583 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 3.583 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.583 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.583 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.583 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.586 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.586 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.586 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.586 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.586 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.586 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.586 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.586 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.586 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.588 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.588 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.588 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.588 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.588 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.588 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.588 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.589 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.589 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.589 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.589 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.589 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.589 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.589 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.590 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.590 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.590 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.590 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.590 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.590 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.590 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.590 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.591 * [taylor]: Taking taylor expansion of 0 in lambda2 3.591 * [taylor]: Taking taylor expansion of 0 in lambda2 3.591 * [taylor]: Taking taylor expansion of 0 in lambda2 3.592 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 3.592 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.592 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.592 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.592 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.592 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.592 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.592 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.592 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.593 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.593 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.593 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.593 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.593 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.593 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.593 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.593 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.594 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.594 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.594 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.594 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.594 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.594 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.594 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.594 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.595 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.595 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.595 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.595 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.595 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.595 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.596 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.596 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.596 * [taylor]: Taking taylor expansion of 0 in lambda2 3.597 * [taylor]: Taking taylor expansion of 0 in lambda2 3.597 * [taylor]: Taking taylor expansion of 0 in lambda2 3.597 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 3.597 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 3.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 3.597 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 3.597 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.597 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 3.597 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.597 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.597 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.597 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.597 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.597 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.597 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.598 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.598 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.598 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.598 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.598 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.598 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.598 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.598 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.598 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.598 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.602 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 3.602 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.603 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.603 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.603 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.603 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.611 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 3.611 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 3.611 * [taylor]: Taking taylor expansion of 0.125 in lambda2 3.611 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.611 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.611 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.611 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.620 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 3.621 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 3.621 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 3.621 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.621 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.621 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.621 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.623 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.623 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.623 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.623 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.623 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.624 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.624 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.624 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.624 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.625 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.625 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.625 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.625 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.625 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.625 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.625 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.625 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.626 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.626 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.626 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.626 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.626 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.626 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.626 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.626 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.627 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.627 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.627 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.627 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.627 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.627 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.627 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.627 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.628 * [taylor]: Taking taylor expansion of 0 in lambda2 3.628 * [taylor]: Taking taylor expansion of 0 in lambda2 3.629 * [taylor]: Taking taylor expansion of 0 in lambda2 3.629 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 3.629 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.629 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.629 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.629 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.629 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.629 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.629 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.629 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.630 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.630 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.630 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.630 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.630 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.630 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.630 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.630 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.631 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.631 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.631 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.631 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.631 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.631 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.631 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.631 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.632 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.632 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.632 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.632 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.632 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.632 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.633 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.633 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.634 * [taylor]: Taking taylor expansion of 0 in lambda2 3.634 * [taylor]: Taking taylor expansion of 0 in lambda2 3.634 * [taylor]: Taking taylor expansion of 0 in lambda2 3.634 * * * [progress]: simplifying candidates 3.635 * [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))) 3.638 * * [simplify]: iteration 0 : 58 enodes (cost 276 ) 3.640 * * [simplify]: iteration 1 : 99 enodes (cost 248 ) 3.642 * * [simplify]: iteration 2 : 212 enodes (cost 248 ) 3.647 * * [simplify]: iteration 3 : 467 enodes (cost 248 ) 3.658 * * [simplify]: iteration 4 : 1459 enodes (cost 248 ) 3.698 * * [simplify]: iteration 5 : 5002 enodes (cost 248 ) 3.699 * [simplify]: Simplified to: (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 3.700 * * * [progress]: adding candidates to table 4.152 * * [progress]: iteration 4 / 4 4.152 * * * [progress]: picking best candidate 4.327 * * * * [pick]: Picked # 4.327 * * * [progress]: localizing error 4.379 * * * [progress]: generating rewritten candidates 4.379 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 4.384 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 4.390 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 4.395 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2 1 1) 4.401 * * * [progress]: generating series expansions 4.401 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 4.401 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 4.401 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 4.401 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 4.401 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.401 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 4.401 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.401 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.402 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.402 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.402 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.402 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.402 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.402 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.402 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.402 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.402 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.402 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.402 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.402 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.402 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.402 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.402 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.402 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.407 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 4.407 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.407 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.407 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.407 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.407 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.415 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 4.415 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 4.415 * [taylor]: Taking taylor expansion of 0.125 in lambda2 4.415 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.415 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.415 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.415 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.425 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 4.425 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 4.425 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 4.425 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.425 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.425 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.425 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.428 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.428 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.428 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.428 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.428 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.428 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.428 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.428 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.428 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.429 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.429 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.429 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.429 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.429 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.429 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.430 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.430 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.430 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.430 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.430 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.430 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.430 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.430 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.431 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.431 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.431 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.431 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.431 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.432 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.432 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.432 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.432 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.432 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.433 * [taylor]: Taking taylor expansion of 0 in lambda2 4.433 * [taylor]: Taking taylor expansion of 0 in lambda2 4.433 * [taylor]: Taking taylor expansion of 0 in lambda2 4.433 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 4.433 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.433 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.433 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.433 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.433 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.433 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.434 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.434 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.434 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.434 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.434 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.434 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.434 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.434 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.434 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.434 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.435 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.435 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.435 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.436 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.436 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.436 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.436 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.436 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.437 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.437 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.437 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.437 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.437 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.437 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.437 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.437 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.438 * [taylor]: Taking taylor expansion of 0 in lambda2 4.438 * [taylor]: Taking taylor expansion of 0 in lambda2 4.438 * [taylor]: Taking taylor expansion of 0 in lambda2 4.438 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 4.438 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 4.438 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 4.438 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 4.438 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.438 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 4.438 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.438 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.439 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.439 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.439 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.439 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.439 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.439 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.439 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.439 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.439 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.439 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.439 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.439 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.439 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.439 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.439 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.439 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.444 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 4.444 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.444 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.444 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.444 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.444 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.452 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 4.452 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 4.452 * [taylor]: Taking taylor expansion of 0.125 in lambda2 4.452 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.452 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.452 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.452 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.465 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 4.465 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 4.465 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 4.465 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.465 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.465 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.465 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.468 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.468 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.468 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.468 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.468 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.468 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.468 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.468 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.468 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.469 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.469 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.469 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.469 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.469 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.469 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.470 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.470 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.470 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.470 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.470 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.470 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.470 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.471 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.471 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.471 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.472 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.472 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.472 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.472 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.472 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.472 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.472 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.472 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.473 * [taylor]: Taking taylor expansion of 0 in lambda2 4.473 * [taylor]: Taking taylor expansion of 0 in lambda2 4.473 * [taylor]: Taking taylor expansion of 0 in lambda2 4.473 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 4.473 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.473 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.473 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.473 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.473 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.473 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.474 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.474 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.474 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.474 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.474 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.474 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.474 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.474 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.474 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.474 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.476 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.476 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.476 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.476 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.476 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.476 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.476 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.476 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.477 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.477 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.477 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.477 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.477 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.477 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.477 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.477 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.478 * [taylor]: Taking taylor expansion of 0 in lambda2 4.478 * [taylor]: Taking taylor expansion of 0 in lambda2 4.478 * [taylor]: Taking taylor expansion of 0 in lambda2 4.478 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 4.478 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 4.478 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 4.478 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 4.478 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.479 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 4.479 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.479 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.479 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.479 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.479 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.479 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.479 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.479 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.479 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.479 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.479 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.479 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.479 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.479 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.479 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.480 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.480 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.480 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.484 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 4.484 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.484 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.484 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.484 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.484 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.492 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 4.493 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 4.493 * [taylor]: Taking taylor expansion of 0.125 in lambda2 4.493 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.493 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.493 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.493 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.502 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 4.502 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 4.502 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 4.502 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.502 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.502 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.502 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.505 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.505 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.505 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.505 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.505 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.505 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.505 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.505 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.505 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.506 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.506 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.506 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.506 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.506 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.506 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.507 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.507 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.507 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.507 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.507 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.507 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.507 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.507 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.508 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.508 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.509 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.509 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.509 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.509 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.509 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.509 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.509 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.509 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.510 * [taylor]: Taking taylor expansion of 0 in lambda2 4.510 * [taylor]: Taking taylor expansion of 0 in lambda2 4.510 * [taylor]: Taking taylor expansion of 0 in lambda2 4.510 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 4.510 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.510 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.510 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.510 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.510 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.510 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.511 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.511 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.511 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.511 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.511 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.511 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.511 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.511 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.511 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.511 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.513 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.513 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.513 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.513 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.513 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.513 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.513 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.513 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.514 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.514 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.514 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.514 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.514 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.514 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.514 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.514 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.515 * [taylor]: Taking taylor expansion of 0 in lambda2 4.515 * [taylor]: Taking taylor expansion of 0 in lambda2 4.515 * [taylor]: Taking taylor expansion of 0 in lambda2 4.516 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2 1 1) 4.516 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 4.516 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 4.516 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 4.516 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.516 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 4.516 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.516 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.516 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.516 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.516 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.516 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.516 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.516 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.516 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 4.516 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 4.516 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.516 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 4.516 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.516 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.517 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.517 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.517 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.517 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.521 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 4.521 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.521 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.521 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.521 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.521 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.530 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 4.530 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 4.530 * [taylor]: Taking taylor expansion of 0.125 in lambda2 4.530 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 4.530 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.530 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.530 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.540 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 4.540 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 4.540 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 4.540 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 4.540 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 4.540 * [taylor]: Taking taylor expansion of -0.5 in lambda2 4.540 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.543 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.543 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.543 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.543 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.543 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.543 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.543 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.543 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.543 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.544 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.544 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.544 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.544 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.544 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.544 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.544 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.544 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.545 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 4.545 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 4.545 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.545 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 4.545 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.545 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.545 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.545 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.546 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 4.546 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 4.546 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.546 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 4.546 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.546 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.546 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.546 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.550 * [taylor]: Taking taylor expansion of 0 in lambda2 4.550 * [taylor]: Taking taylor expansion of 0 in lambda2 4.550 * [taylor]: Taking taylor expansion of 0 in lambda2 4.551 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 4.551 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.551 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.551 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.551 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.551 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.551 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.551 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.551 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.552 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.552 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.552 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.552 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.552 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.552 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.552 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.552 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.553 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 4.553 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 4.553 * [taylor]: Taking taylor expansion of 0.5 in lambda1 4.553 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 4.553 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.553 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.553 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.553 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.554 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 4.554 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 4.554 * [taylor]: Taking taylor expansion of 0.5 in lambda2 4.554 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 4.554 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.554 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.555 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.555 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.556 * [taylor]: Taking taylor expansion of 0 in lambda2 4.556 * [taylor]: Taking taylor expansion of 0 in lambda2 4.556 * [taylor]: Taking taylor expansion of 0 in lambda2 4.556 * * * [progress]: simplifying candidates 4.557 * [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))) 4.560 * * [simplify]: iteration 0 : 58 enodes (cost 276 ) 4.562 * * [simplify]: iteration 1 : 99 enodes (cost 248 ) 4.564 * * [simplify]: iteration 2 : 212 enodes (cost 248 ) 4.568 * * [simplify]: iteration 3 : 467 enodes (cost 248 ) 4.579 * * [simplify]: iteration 4 : 1459 enodes (cost 248 ) 4.621 * * [simplify]: iteration 5 : 5002 enodes (cost 248 ) 4.623 * [simplify]: Simplified to: (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (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))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 4.623 * * * [progress]: adding candidates to table 5.117 * [progress]: [Phase 3 of 3] Extracting. 5.117 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # #) 5.183 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 5.183 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # # #) 5.395 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # # # # # # # #) 5.600 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # # # # # # # #) 5.815 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # # #) 6.026 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # # #) 6.233 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # # #) 6.444 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # # #) 6.648 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # # #) 6.856 * * * [regime]: Found split indices: #