10.173 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.312 * * * [progress]: [2/2] Setting up program. 0.318 * [progress]: [Phase 2 of 3] Improving. 0.319 * [simplify]: Simplifying using # : (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 0.321 * * [simplify]: iteration 0 : 56 enodes (cost 38 ) 0.323 * * [simplify]: iteration 1 : 102 enodes (cost 38 ) 0.325 * * [simplify]: iteration 2 : 191 enodes (cost 38 ) 0.329 * * [simplify]: iteration 3 : 377 enodes (cost 38 ) 0.336 * * [simplify]: iteration 4 : 776 enodes (cost 38 ) 0.353 * * [simplify]: iteration 5 : 2500 enodes (cost 38 ) 0.399 * * [simplify]: iteration 6 : 5002 enodes (cost 38 ) 0.400 * [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))))))))) 0.400 * * [progress]: iteration 1 / 4 0.400 * * * [progress]: picking best candidate 0.405 * * * * [pick]: Picked # 0.405 * * * [progress]: localizing error 0.440 * * * [progress]: generating rewritten candidates 0.440 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 0.640 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 0.645 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 0.651 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 0.656 * * * [progress]: generating series expansions 0.656 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 0.656 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 0.657 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 0.657 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 0.657 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.657 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 0.657 * [taylor]: Taking taylor expansion of phi1 in phi2 0.657 * [taylor]: Taking taylor expansion of phi2 in phi2 0.657 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 0.657 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 0.657 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.657 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 0.658 * [taylor]: Taking taylor expansion of phi1 in phi1 0.658 * [taylor]: Taking taylor expansion of phi2 in phi1 0.658 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 0.658 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 0.658 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.658 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 0.658 * [taylor]: Taking taylor expansion of phi1 in phi1 0.658 * [taylor]: Taking taylor expansion of phi2 in phi1 0.658 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 0.658 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 0.658 * [taylor]: Taking taylor expansion of -0.5 in phi2 0.658 * [taylor]: Taking taylor expansion of phi2 in phi2 0.663 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 0.663 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.663 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 0.663 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 0.663 * [taylor]: Taking taylor expansion of -0.5 in phi2 0.663 * [taylor]: Taking taylor expansion of phi2 in phi2 0.671 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 0.671 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 0.671 * [taylor]: Taking taylor expansion of 0.125 in phi2 0.671 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 0.671 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 0.671 * [taylor]: Taking taylor expansion of -0.5 in phi2 0.671 * [taylor]: Taking taylor expansion of phi2 in phi2 0.680 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 0.680 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 0.680 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 0.680 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 0.680 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 0.680 * [taylor]: Taking taylor expansion of -0.5 in phi2 0.680 * [taylor]: Taking taylor expansion of phi2 in phi2 0.683 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 0.683 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 0.683 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 0.683 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.683 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 0.683 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.683 * [taylor]: Taking taylor expansion of phi1 in phi2 0.683 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.683 * [taylor]: Taking taylor expansion of phi2 in phi2 0.684 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 0.684 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 0.684 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.684 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 0.684 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.684 * [taylor]: Taking taylor expansion of phi1 in phi1 0.684 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.684 * [taylor]: Taking taylor expansion of phi2 in phi1 0.685 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 0.685 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 0.685 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.685 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 0.685 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.685 * [taylor]: Taking taylor expansion of phi1 in phi1 0.685 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.685 * [taylor]: Taking taylor expansion of phi2 in phi1 0.686 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 0.686 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 0.686 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.686 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 0.686 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.686 * [taylor]: Taking taylor expansion of phi1 in phi2 0.686 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.686 * [taylor]: Taking taylor expansion of phi2 in phi2 0.688 * [taylor]: Taking taylor expansion of 0 in phi2 0.688 * [taylor]: Taking taylor expansion of 0 in phi2 0.688 * [taylor]: Taking taylor expansion of 0 in phi2 0.688 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 0.688 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 0.688 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 0.688 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.688 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 0.688 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.688 * [taylor]: Taking taylor expansion of phi2 in phi2 0.688 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.688 * [taylor]: Taking taylor expansion of phi1 in phi2 0.689 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 0.689 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 0.689 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.689 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 0.689 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.689 * [taylor]: Taking taylor expansion of phi2 in phi1 0.689 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.689 * [taylor]: Taking taylor expansion of phi1 in phi1 0.690 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 0.690 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 0.690 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.690 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 0.690 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.690 * [taylor]: Taking taylor expansion of phi2 in phi1 0.690 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.690 * [taylor]: Taking taylor expansion of phi1 in phi1 0.691 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 0.691 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 0.691 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.691 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 0.691 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.691 * [taylor]: Taking taylor expansion of phi2 in phi2 0.692 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.692 * [taylor]: Taking taylor expansion of phi1 in phi2 0.692 * [taylor]: Taking taylor expansion of 0 in phi2 0.692 * [taylor]: Taking taylor expansion of 0 in phi2 0.692 * [taylor]: Taking taylor expansion of 0 in phi2 0.693 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 0.693 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 0.693 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 0.693 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 0.693 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.693 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 0.693 * [taylor]: Taking taylor expansion of phi1 in phi2 0.693 * [taylor]: Taking taylor expansion of phi2 in phi2 0.693 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 0.693 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 0.693 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.693 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 0.693 * [taylor]: Taking taylor expansion of phi1 in phi1 0.693 * [taylor]: Taking taylor expansion of phi2 in phi1 0.693 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 0.693 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 0.693 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.693 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 0.693 * [taylor]: Taking taylor expansion of phi1 in phi1 0.693 * [taylor]: Taking taylor expansion of phi2 in phi1 0.694 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 0.694 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 0.694 * [taylor]: Taking taylor expansion of -0.5 in phi2 0.694 * [taylor]: Taking taylor expansion of phi2 in phi2 0.698 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 0.698 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.698 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 0.698 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 0.698 * [taylor]: Taking taylor expansion of -0.5 in phi2 0.698 * [taylor]: Taking taylor expansion of phi2 in phi2 0.706 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 0.706 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 0.706 * [taylor]: Taking taylor expansion of 0.125 in phi2 0.706 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 0.706 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 0.706 * [taylor]: Taking taylor expansion of -0.5 in phi2 0.706 * [taylor]: Taking taylor expansion of phi2 in phi2 0.715 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 0.715 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 0.715 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 0.715 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 0.715 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 0.715 * [taylor]: Taking taylor expansion of -0.5 in phi2 0.715 * [taylor]: Taking taylor expansion of phi2 in phi2 0.721 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 0.721 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 0.721 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 0.721 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.721 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 0.721 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.721 * [taylor]: Taking taylor expansion of phi1 in phi2 0.721 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.721 * [taylor]: Taking taylor expansion of phi2 in phi2 0.722 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 0.722 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 0.722 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.722 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 0.722 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.723 * [taylor]: Taking taylor expansion of phi1 in phi1 0.723 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.723 * [taylor]: Taking taylor expansion of phi2 in phi1 0.723 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 0.723 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 0.723 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.723 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 0.723 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.724 * [taylor]: Taking taylor expansion of phi1 in phi1 0.724 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.724 * [taylor]: Taking taylor expansion of phi2 in phi1 0.724 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 0.724 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 0.725 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.725 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 0.725 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.725 * [taylor]: Taking taylor expansion of phi1 in phi2 0.725 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.725 * [taylor]: Taking taylor expansion of phi2 in phi2 0.726 * [taylor]: Taking taylor expansion of 0 in phi2 0.726 * [taylor]: Taking taylor expansion of 0 in phi2 0.726 * [taylor]: Taking taylor expansion of 0 in phi2 0.726 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 0.726 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 0.726 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 0.726 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.726 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 0.726 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.726 * [taylor]: Taking taylor expansion of phi2 in phi2 0.726 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.726 * [taylor]: Taking taylor expansion of phi1 in phi2 0.727 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 0.727 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 0.727 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.727 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 0.727 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.727 * [taylor]: Taking taylor expansion of phi2 in phi1 0.727 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.727 * [taylor]: Taking taylor expansion of phi1 in phi1 0.728 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 0.728 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 0.728 * [taylor]: Taking taylor expansion of 0.5 in phi1 0.728 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 0.728 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.728 * [taylor]: Taking taylor expansion of phi2 in phi1 0.728 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.729 * [taylor]: Taking taylor expansion of phi1 in phi1 0.730 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 0.730 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 0.730 * [taylor]: Taking taylor expansion of 0.5 in phi2 0.730 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 0.730 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.730 * [taylor]: Taking taylor expansion of phi2 in phi2 0.730 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.730 * [taylor]: Taking taylor expansion of phi1 in phi2 0.731 * [taylor]: Taking taylor expansion of 0 in phi2 0.731 * [taylor]: Taking taylor expansion of 0 in phi2 0.731 * [taylor]: Taking taylor expansion of 0 in phi2 0.731 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 0.731 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 0.731 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 0.731 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 0.731 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.731 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 0.731 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.731 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.731 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.731 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.732 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.732 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.732 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.732 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.732 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.732 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.732 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.732 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.732 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.732 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.732 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.732 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.732 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.732 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.736 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 0.736 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.736 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.736 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.736 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.736 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.744 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 0.744 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 0.744 * [taylor]: Taking taylor expansion of 0.125 in lambda2 0.744 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.744 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.744 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.744 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.754 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 0.754 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 0.754 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 0.754 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.754 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.754 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.754 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.757 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 0.757 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.757 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.757 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.757 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.757 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.757 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.757 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.757 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.758 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.758 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.758 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.758 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.758 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.758 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.759 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.759 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.759 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.759 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.759 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.759 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.759 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.760 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.760 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.760 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.760 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.761 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.761 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.761 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.761 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.761 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.761 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.761 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.762 * [taylor]: Taking taylor expansion of 0 in lambda2 0.762 * [taylor]: Taking taylor expansion of 0 in lambda2 0.762 * [taylor]: Taking taylor expansion of 0 in lambda2 0.762 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 0.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.762 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.762 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.763 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.763 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.763 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.763 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.763 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.763 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.763 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.763 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.763 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.764 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.764 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.764 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.764 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.764 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.764 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.764 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.765 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.766 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.766 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.766 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.766 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.766 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.766 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.766 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.766 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.767 * [taylor]: Taking taylor expansion of 0 in lambda2 0.767 * [taylor]: Taking taylor expansion of 0 in lambda2 0.767 * [taylor]: Taking taylor expansion of 0 in lambda2 0.767 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 0.767 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 0.767 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 0.767 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 0.767 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.767 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 0.767 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.767 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.768 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.768 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.768 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.768 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.768 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.768 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.768 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.768 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.768 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.768 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.768 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.768 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.768 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.768 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.768 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.768 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.772 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 0.772 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.772 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.772 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.772 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.773 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.780 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 0.780 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 0.780 * [taylor]: Taking taylor expansion of 0.125 in lambda2 0.780 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.780 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.780 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.780 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.789 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 0.790 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 0.790 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 0.790 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.790 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.790 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.790 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.792 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 0.792 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.792 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.792 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.792 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.792 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.792 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.792 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.792 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.793 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.794 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.794 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.794 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.794 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.794 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.794 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.794 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.794 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.795 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.795 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.795 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.795 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.795 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.795 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.795 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.796 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.796 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.796 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.796 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.796 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.796 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.796 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.796 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.797 * [taylor]: Taking taylor expansion of 0 in lambda2 0.797 * [taylor]: Taking taylor expansion of 0 in lambda2 0.797 * [taylor]: Taking taylor expansion of 0 in lambda2 0.797 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 0.797 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.797 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.797 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.797 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.797 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.797 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.798 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.798 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.799 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.799 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.799 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.799 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.799 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.799 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.799 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.799 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.800 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.800 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.800 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.800 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.800 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.800 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.800 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.800 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.801 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.801 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.801 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.801 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.801 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.801 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.801 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.801 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.802 * [taylor]: Taking taylor expansion of 0 in lambda2 0.802 * [taylor]: Taking taylor expansion of 0 in lambda2 0.802 * [taylor]: Taking taylor expansion of 0 in lambda2 0.802 * * * [progress]: simplifying candidates 0.803 * [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))) 0.810 * * [simplify]: iteration 0 : 110 enodes (cost 276 ) 0.812 * * [simplify]: iteration 1 : 190 enodes (cost 248 ) 0.815 * * [simplify]: iteration 2 : 404 enodes (cost 248 ) 0.822 * * [simplify]: iteration 3 : 880 enodes (cost 248 ) 0.840 * * [simplify]: iteration 4 : 2552 enodes (cost 248 ) 0.892 * * [simplify]: iteration 5 : 5001 enodes (cost 248 ) 0.894 * [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))) 0.894 * * * [progress]: adding candidates to table 1.252 * * [progress]: iteration 2 / 4 1.252 * * * [progress]: picking best candidate 1.368 * * * * [pick]: Picked # 1.369 * * * [progress]: localizing error 1.425 * * * [progress]: generating rewritten candidates 1.425 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1 1) 1.430 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 1.436 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 1.441 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 1.447 * * * [progress]: generating series expansions 1.447 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1 1) 1.447 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 1.447 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 1.447 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 1.447 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.447 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 1.448 * [taylor]: Taking taylor expansion of phi1 in phi2 1.448 * [taylor]: Taking taylor expansion of phi2 in phi2 1.448 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 1.448 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 1.448 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.448 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 1.448 * [taylor]: Taking taylor expansion of phi1 in phi1 1.448 * [taylor]: Taking taylor expansion of phi2 in phi1 1.448 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 1.448 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 1.448 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.448 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 1.448 * [taylor]: Taking taylor expansion of phi1 in phi1 1.448 * [taylor]: Taking taylor expansion of phi2 in phi1 1.449 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 1.449 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.449 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.449 * [taylor]: Taking taylor expansion of phi2 in phi2 1.453 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 1.453 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.453 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 1.454 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.454 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.454 * [taylor]: Taking taylor expansion of phi2 in phi2 1.461 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 phi2)))) in phi2 1.462 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 1.462 * [taylor]: Taking taylor expansion of 0.125 in phi2 1.462 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 1.462 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.462 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.462 * [taylor]: Taking taylor expansion of phi2 in phi2 1.471 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 1.471 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 1.471 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 1.471 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 1.471 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 1.471 * [taylor]: Taking taylor expansion of -0.5 in phi2 1.471 * [taylor]: Taking taylor expansion of phi2 in phi2 1.474 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 1.474 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 1.474 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 1.474 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.474 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 1.474 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.474 * [taylor]: Taking taylor expansion of phi1 in phi2 1.474 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.474 * [taylor]: Taking taylor expansion of phi2 in phi2 1.475 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 1.475 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 1.475 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.475 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 1.475 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.475 * [taylor]: Taking taylor expansion of phi1 in phi1 1.476 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.476 * [taylor]: Taking taylor expansion of phi2 in phi1 1.476 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 1.476 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 1.476 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.476 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 1.476 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.476 * [taylor]: Taking taylor expansion of phi1 in phi1 1.477 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.477 * [taylor]: Taking taylor expansion of phi2 in phi1 1.477 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 1.477 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 1.477 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.477 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 1.477 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.477 * [taylor]: Taking taylor expansion of phi1 in phi2 1.477 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.477 * [taylor]: Taking taylor expansion of phi2 in phi2 1.479 * [taylor]: Taking taylor expansion of 0 in phi2 1.479 * [taylor]: Taking taylor expansion of 0 in phi2 1.479 * [taylor]: Taking taylor expansion of 0 in phi2 1.479 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 1.479 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 1.479 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 1.479 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.479 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 1.479 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.479 * [taylor]: Taking taylor expansion of phi2 in phi2 1.479 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.479 * [taylor]: Taking taylor expansion of phi1 in phi2 1.480 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 1.480 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 1.480 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.480 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 1.480 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.480 * [taylor]: Taking taylor expansion of phi2 in phi1 1.480 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.480 * [taylor]: Taking taylor expansion of phi1 in phi1 1.481 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 1.481 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 1.481 * [taylor]: Taking taylor expansion of 0.5 in phi1 1.481 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 1.481 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.481 * [taylor]: Taking taylor expansion of phi2 in phi1 1.481 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.481 * [taylor]: Taking taylor expansion of phi1 in phi1 1.482 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 1.482 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 1.482 * [taylor]: Taking taylor expansion of 0.5 in phi2 1.482 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 1.483 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.483 * [taylor]: Taking taylor expansion of phi2 in phi2 1.483 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.483 * [taylor]: Taking taylor expansion of phi1 in phi2 1.484 * [taylor]: Taking taylor expansion of 0 in phi2 1.484 * [taylor]: Taking taylor expansion of 0 in phi2 1.484 * [taylor]: Taking taylor expansion of 0 in phi2 1.484 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 1.484 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.484 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.484 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.484 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.484 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.484 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.484 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.484 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.484 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.484 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.484 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.484 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.484 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.485 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.485 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.485 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.485 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.485 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.485 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.485 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.485 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.485 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.485 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.489 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.489 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.489 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.489 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.489 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.489 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.502 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.502 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.502 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.502 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.502 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.502 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.503 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.512 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.512 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.512 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.512 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.512 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.512 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.512 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.514 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.514 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.514 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.515 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.515 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.515 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.515 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.515 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.515 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.516 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.516 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.516 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.516 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.516 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.516 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.516 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.516 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.517 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.517 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.517 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.517 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.517 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.517 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.517 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.517 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.518 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.518 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.518 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.518 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.518 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.518 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.518 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.518 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.520 * [taylor]: Taking taylor expansion of 0 in lambda2 1.520 * [taylor]: Taking taylor expansion of 0 in lambda2 1.520 * [taylor]: Taking taylor expansion of 0 in lambda2 1.520 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.520 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.520 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.520 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.520 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.520 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.520 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.520 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.520 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.521 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.521 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.521 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.521 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.521 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.521 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.521 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.521 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.522 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.522 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.522 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.522 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.522 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.522 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.522 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.522 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.523 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.523 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.523 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.523 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.523 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.524 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.524 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.524 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.525 * [taylor]: Taking taylor expansion of 0 in lambda2 1.525 * [taylor]: Taking taylor expansion of 0 in lambda2 1.525 * [taylor]: Taking taylor expansion of 0 in lambda2 1.525 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 1.525 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.525 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.525 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.525 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.525 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.525 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.525 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.525 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.525 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.525 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.525 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.525 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.525 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.526 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.526 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.526 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.526 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.526 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.526 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.526 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.526 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.526 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.526 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.530 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.530 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.530 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.530 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.530 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.530 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.538 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.538 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.538 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.538 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.538 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.538 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.538 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.547 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.547 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.547 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.547 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.547 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.547 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.547 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.550 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.550 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.550 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.550 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.550 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.550 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.550 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.550 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.550 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.551 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.551 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.551 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.551 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.551 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.551 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.551 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.551 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.552 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.552 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.552 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.552 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.552 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.552 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.552 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.552 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.553 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.553 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.553 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.553 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.553 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.553 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.553 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.553 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.554 * [taylor]: Taking taylor expansion of 0 in lambda2 1.554 * [taylor]: Taking taylor expansion of 0 in lambda2 1.554 * [taylor]: Taking taylor expansion of 0 in lambda2 1.555 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.555 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.555 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.555 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.555 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.555 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.555 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.555 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.555 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.556 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.556 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.556 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.556 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.556 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.556 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.556 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.556 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.557 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.557 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.557 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.557 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.557 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.557 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.557 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.557 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.558 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.558 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.558 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.558 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.558 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.558 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.558 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.558 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.559 * [taylor]: Taking taylor expansion of 0 in lambda2 1.559 * [taylor]: Taking taylor expansion of 0 in lambda2 1.559 * [taylor]: Taking taylor expansion of 0 in lambda2 1.559 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 1.560 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.560 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.560 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.560 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.560 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.560 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.560 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.560 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.560 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.560 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.560 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.560 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.560 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.560 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.560 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.560 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.560 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.560 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.560 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.561 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.561 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.561 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.561 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.565 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.565 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.565 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.565 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.565 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.565 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.573 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.573 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.573 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.573 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.573 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.573 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.573 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.587 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.587 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.587 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.588 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.588 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.588 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.588 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.591 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.591 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.591 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.591 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.591 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.591 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.591 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.591 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.591 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.592 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.592 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.592 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.592 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.592 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.592 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.592 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.592 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.593 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.593 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.593 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.593 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.593 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.593 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.593 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.593 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.594 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.594 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.594 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.594 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.594 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.594 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.594 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.594 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.595 * [taylor]: Taking taylor expansion of 0 in lambda2 1.595 * [taylor]: Taking taylor expansion of 0 in lambda2 1.595 * [taylor]: Taking taylor expansion of 0 in lambda2 1.595 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.596 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.596 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.596 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.596 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.596 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.596 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.596 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.596 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.597 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.597 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.597 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.597 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.597 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.597 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.597 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.598 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.598 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.598 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.598 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.598 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.598 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.598 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.598 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.599 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.599 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.599 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.599 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.599 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.599 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.599 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.599 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.600 * [taylor]: Taking taylor expansion of 0 in lambda2 1.600 * [taylor]: Taking taylor expansion of 0 in lambda2 1.600 * [taylor]: Taking taylor expansion of 0 in lambda2 1.600 * * * [progress]: simplifying candidates 1.601 * [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))) 1.605 * * [simplify]: iteration 0 : 110 enodes (cost 276 ) 1.607 * * [simplify]: iteration 1 : 190 enodes (cost 248 ) 1.610 * * [simplify]: iteration 2 : 404 enodes (cost 248 ) 1.617 * * [simplify]: iteration 3 : 880 enodes (cost 248 ) 1.635 * * [simplify]: iteration 4 : 2552 enodes (cost 248 ) 1.687 * * [simplify]: iteration 5 : 5001 enodes (cost 248 ) 1.689 * [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))) 1.689 * * * [progress]: adding candidates to table 2.187 * * [progress]: iteration 3 / 4 2.187 * * * [progress]: picking best candidate 2.390 * * * * [pick]: Picked # 2.390 * * * [progress]: localizing error 2.434 * * * [progress]: generating rewritten candidates 2.434 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 2.440 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 2.445 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 2.450 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 2.456 * * * [progress]: generating series expansions 2.456 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 2.456 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.456 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.456 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.456 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.456 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.456 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.456 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.457 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.457 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.457 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.457 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.457 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.457 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.457 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.457 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.457 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.457 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.457 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.457 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.458 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.458 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.458 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.458 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.462 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.463 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.463 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.463 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.463 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.463 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.470 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.470 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.470 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.470 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.470 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.470 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.470 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.483 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.483 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.483 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.483 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.483 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.483 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.483 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.486 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.486 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.486 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.486 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.486 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.486 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.486 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.486 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.486 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.487 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.487 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.487 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.487 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.487 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.487 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.488 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.488 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.488 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.488 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.488 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.488 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.488 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.488 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.489 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.489 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.489 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.489 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.489 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.489 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.489 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.489 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.489 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.489 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.491 * [taylor]: Taking taylor expansion of 0 in lambda2 2.491 * [taylor]: Taking taylor expansion of 0 in lambda2 2.491 * [taylor]: Taking taylor expansion of 0 in lambda2 2.491 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.491 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.491 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.491 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.491 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.491 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.491 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.491 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.491 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.492 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.492 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.492 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.492 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.492 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.492 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.492 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.492 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.493 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.493 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.493 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.493 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.493 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.493 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.493 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.493 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.494 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.494 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.494 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.494 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.494 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.494 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.495 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.495 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.495 * [taylor]: Taking taylor expansion of 0 in lambda2 2.496 * [taylor]: Taking taylor expansion of 0 in lambda2 2.496 * [taylor]: Taking taylor expansion of 0 in lambda2 2.496 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 2.496 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.496 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.496 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.496 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.496 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.496 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.496 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.496 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.496 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.496 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.496 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.496 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.496 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.497 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.497 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.497 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.497 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.497 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.497 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.497 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.497 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.497 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.497 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.501 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.501 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.501 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.501 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.501 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.501 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.509 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.509 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.509 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.509 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.509 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.509 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.509 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.518 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.518 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.518 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.518 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.518 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.518 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.518 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.521 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.521 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.521 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.521 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.521 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.521 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.521 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.521 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.521 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.522 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.522 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.522 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.522 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.522 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.522 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.522 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.522 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.523 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.523 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.523 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.523 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.523 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.523 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.523 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.523 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.524 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.524 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.524 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.524 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.524 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.524 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.524 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.524 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.525 * [taylor]: Taking taylor expansion of 0 in lambda2 2.525 * [taylor]: Taking taylor expansion of 0 in lambda2 2.525 * [taylor]: Taking taylor expansion of 0 in lambda2 2.526 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.526 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.526 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.526 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.526 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.526 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.526 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.526 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.526 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.527 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.527 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.527 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.527 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.527 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.527 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.527 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.527 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.528 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.528 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.528 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.528 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.528 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.528 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.528 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.528 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.529 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.529 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.529 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.529 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.529 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.529 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.529 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.529 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.530 * [taylor]: Taking taylor expansion of 0 in lambda2 2.530 * [taylor]: Taking taylor expansion of 0 in lambda2 2.530 * [taylor]: Taking taylor expansion of 0 in lambda2 2.530 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 2.531 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.531 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.531 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.531 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.531 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.531 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.531 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.531 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.531 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.531 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.531 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.531 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.531 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.531 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.531 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.531 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.531 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.531 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.531 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.532 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.532 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.532 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.532 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.536 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.536 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.536 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.536 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.536 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.536 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.544 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.544 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.544 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.544 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.544 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.544 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.544 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.553 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.553 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.553 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.553 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.553 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.553 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.553 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.555 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.555 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.556 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.556 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.556 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.556 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.556 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.556 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.556 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.557 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.557 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.557 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.557 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.557 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.557 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.557 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.557 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.558 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.558 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.558 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.558 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.558 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.558 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.558 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.558 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.559 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.559 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.559 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.559 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.559 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.559 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.559 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.559 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.560 * [taylor]: Taking taylor expansion of 0 in lambda2 2.560 * [taylor]: Taking taylor expansion of 0 in lambda2 2.560 * [taylor]: Taking taylor expansion of 0 in lambda2 2.560 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.560 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.560 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.560 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.560 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.560 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.560 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.561 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.561 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.561 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.561 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.561 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.561 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.561 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.561 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.561 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.561 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.563 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.563 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.563 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.563 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.563 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.563 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.563 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.563 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.569 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.569 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.569 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.569 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.569 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.569 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.569 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.569 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.570 * [taylor]: Taking taylor expansion of 0 in lambda2 2.570 * [taylor]: Taking taylor expansion of 0 in lambda2 2.570 * [taylor]: Taking taylor expansion of 0 in lambda2 2.570 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 2.570 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.570 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.570 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.570 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.570 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.570 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.570 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.571 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.571 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.571 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.571 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.571 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.571 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.571 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.571 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.571 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.571 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.571 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.571 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.571 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.571 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.571 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.571 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.576 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.576 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.576 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.576 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.576 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.576 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.584 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.584 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.584 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.584 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.584 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.584 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.584 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.592 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.592 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.593 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.593 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.593 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.593 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.593 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.595 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.595 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.595 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.595 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.595 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.595 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.595 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.595 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.595 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.596 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.596 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.596 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.596 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.596 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.596 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.597 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.597 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.597 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.597 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.597 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.597 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.597 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.598 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.598 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.598 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.598 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.598 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.598 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.598 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.598 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.599 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.599 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.600 * [taylor]: Taking taylor expansion of 0 in lambda2 2.600 * [taylor]: Taking taylor expansion of 0 in lambda2 2.600 * [taylor]: Taking taylor expansion of 0 in lambda2 2.600 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.600 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.600 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.600 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.600 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.600 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.600 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.600 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.600 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.601 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.601 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.601 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.601 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.601 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.601 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.601 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.601 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.602 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.602 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.602 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.602 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.602 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.602 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.602 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.602 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.603 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.603 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.603 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.603 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.603 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.603 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.604 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.604 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.604 * [taylor]: Taking taylor expansion of 0 in lambda2 2.605 * [taylor]: Taking taylor expansion of 0 in lambda2 2.605 * [taylor]: Taking taylor expansion of 0 in lambda2 2.605 * * * [progress]: simplifying candidates 2.605 * [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))) 2.609 * * [simplify]: iteration 0 : 58 enodes (cost 276 ) 2.610 * * [simplify]: iteration 1 : 99 enodes (cost 248 ) 2.613 * * [simplify]: iteration 2 : 212 enodes (cost 248 ) 2.617 * * [simplify]: iteration 3 : 467 enodes (cost 248 ) 2.627 * * [simplify]: iteration 4 : 1459 enodes (cost 248 ) 2.668 * * [simplify]: iteration 5 : 5002 enodes (cost 248 ) 2.669 * [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))) 2.669 * * * [progress]: adding candidates to table 3.131 * * [progress]: iteration 4 / 4 3.131 * * * [progress]: picking best candidate 3.336 * * * * [pick]: Picked # 3.336 * * * [progress]: localizing error 3.391 * * * [progress]: generating rewritten candidates 3.392 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 3.398 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 3.403 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 3.408 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 3.414 * * * [progress]: generating series expansions 3.414 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 3.414 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 3.414 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 3.414 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 3.414 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.414 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 3.414 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.414 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.415 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.415 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.415 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.415 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.415 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.415 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.415 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.415 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.415 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.415 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.415 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.415 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.416 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.416 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.416 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.416 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.420 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 3.420 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.420 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.420 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.420 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.420 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.428 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 3.428 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 3.428 * [taylor]: Taking taylor expansion of 0.125 in lambda2 3.428 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.428 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.428 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.428 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.437 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 3.437 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 3.437 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 3.437 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.437 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.437 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.437 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.446 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.446 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.446 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.446 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.446 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.446 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.446 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.446 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.446 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.447 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.447 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.447 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.447 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.447 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.447 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.447 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.447 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.448 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.448 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.448 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.448 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.448 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.448 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.448 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.448 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.449 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.449 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.449 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.449 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.449 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.449 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.449 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.449 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.450 * [taylor]: Taking taylor expansion of 0 in lambda2 3.451 * [taylor]: Taking taylor expansion of 0 in lambda2 3.451 * [taylor]: Taking taylor expansion of 0 in lambda2 3.451 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 3.451 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.451 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.451 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.451 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.451 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.451 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.451 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.451 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.452 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.452 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.452 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.452 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.452 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.452 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.452 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.452 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.453 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.453 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.453 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.453 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.453 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.453 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.453 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.453 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.454 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.454 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.454 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.454 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.454 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.454 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.455 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.455 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.455 * [taylor]: Taking taylor expansion of 0 in lambda2 3.455 * [taylor]: Taking taylor expansion of 0 in lambda2 3.455 * [taylor]: Taking taylor expansion of 0 in lambda2 3.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 3.456 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 3.456 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 3.456 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 3.456 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.456 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 3.456 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.456 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.456 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.456 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.456 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.456 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.456 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.456 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.456 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.456 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.456 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.456 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.456 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.457 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.457 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.457 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.457 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.457 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.461 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 3.461 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.461 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.461 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.461 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.461 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.469 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 3.469 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 3.469 * [taylor]: Taking taylor expansion of 0.125 in lambda2 3.469 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.469 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.469 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.469 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.478 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 3.478 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 3.478 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 3.478 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.478 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.478 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.478 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.481 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.481 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.481 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.481 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.481 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.481 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.481 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.481 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.481 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.482 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.482 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.482 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.482 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.482 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.483 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.483 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.483 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.483 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.483 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.483 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.483 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.484 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.484 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.484 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.484 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.484 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.485 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.485 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.485 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.485 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.485 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.485 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.485 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.486 * [taylor]: Taking taylor expansion of 0 in lambda2 3.486 * [taylor]: Taking taylor expansion of 0 in lambda2 3.486 * [taylor]: Taking taylor expansion of 0 in lambda2 3.486 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 3.486 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.486 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.486 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.486 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.486 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.486 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.486 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.486 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.487 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.487 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.487 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.487 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.487 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.487 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.487 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.487 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.488 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.488 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.488 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.488 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.489 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.489 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.489 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.489 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.490 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.490 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.490 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.490 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.490 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.490 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.490 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.490 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.491 * [taylor]: Taking taylor expansion of 0 in lambda2 3.491 * [taylor]: Taking taylor expansion of 0 in lambda2 3.491 * [taylor]: Taking taylor expansion of 0 in lambda2 3.491 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 3.491 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 3.491 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 3.491 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 3.491 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.491 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 3.491 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.491 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.492 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.492 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.492 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.492 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.492 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.492 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.492 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.492 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.492 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.492 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.492 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.492 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.492 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.492 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.492 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.492 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.496 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 3.496 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.496 * [taylor]: Taking taylor expansion of (cos (* -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.504 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 3.504 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 3.504 * [taylor]: Taking taylor expansion of 0.125 in lambda2 3.504 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.504 * [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.513 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 3.513 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 3.513 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 3.513 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.513 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.514 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.514 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.516 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.516 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.516 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.516 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.516 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.516 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.516 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.516 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.516 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.517 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.517 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.517 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.517 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.518 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.518 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.518 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.518 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.518 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.518 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.519 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.519 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.519 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.519 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.519 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.519 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.520 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.520 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.520 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.520 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.520 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.520 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.520 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.520 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.521 * [taylor]: Taking taylor expansion of 0 in lambda2 3.521 * [taylor]: Taking taylor expansion of 0 in lambda2 3.521 * [taylor]: Taking taylor expansion of 0 in lambda2 3.521 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 3.521 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.521 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.521 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.521 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.521 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.521 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.522 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.522 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.522 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.522 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.522 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.522 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.522 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.522 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.522 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.522 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.523 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.523 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.523 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.523 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.524 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.524 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.524 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.524 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.525 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.525 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.525 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.525 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.525 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.525 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.525 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.525 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.526 * [taylor]: Taking taylor expansion of 0 in lambda2 3.526 * [taylor]: Taking taylor expansion of 0 in lambda2 3.526 * [taylor]: Taking taylor expansion of 0 in lambda2 3.526 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 3.526 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 3.526 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 3.526 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 3.526 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.526 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 3.526 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.526 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.527 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.527 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.527 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.527 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.527 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.527 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.527 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 3.527 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 3.527 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.527 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 3.527 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.527 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.527 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.527 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.527 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.527 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.536 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 3.537 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.537 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.537 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.537 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.537 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.544 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 3.544 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 3.544 * [taylor]: Taking taylor expansion of 0.125 in lambda2 3.544 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 3.544 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.544 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.544 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.553 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 3.554 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 3.554 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 3.554 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 3.554 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 3.554 * [taylor]: Taking taylor expansion of -0.5 in lambda2 3.554 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.556 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.556 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.556 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.556 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.556 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.556 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.556 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.556 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.556 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.557 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.558 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.558 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.558 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.558 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.558 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.558 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.558 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.558 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 3.559 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 3.559 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.559 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 3.559 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.559 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.559 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.559 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.560 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 3.560 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 3.560 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.560 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 3.560 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.560 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.560 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.560 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.561 * [taylor]: Taking taylor expansion of 0 in lambda2 3.561 * [taylor]: Taking taylor expansion of 0 in lambda2 3.561 * [taylor]: Taking taylor expansion of 0 in lambda2 3.561 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 3.561 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.561 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.561 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.561 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.561 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.561 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.562 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.562 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.562 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.562 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.562 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.562 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.562 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.562 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.562 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.562 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.563 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 3.563 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 3.563 * [taylor]: Taking taylor expansion of 0.5 in lambda1 3.563 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 3.564 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.564 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.564 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.564 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.565 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 3.565 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 3.565 * [taylor]: Taking taylor expansion of 0.5 in lambda2 3.565 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 3.565 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.565 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.565 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.565 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.566 * [taylor]: Taking taylor expansion of 0 in lambda2 3.566 * [taylor]: Taking taylor expansion of 0 in lambda2 3.566 * [taylor]: Taking taylor expansion of 0 in lambda2 3.566 * * * [progress]: simplifying candidates 3.567 * [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.570 * * [simplify]: iteration 0 : 58 enodes (cost 276 ) 3.572 * * [simplify]: iteration 1 : 99 enodes (cost 248 ) 3.574 * * [simplify]: iteration 2 : 212 enodes (cost 248 ) 3.579 * * [simplify]: iteration 3 : 467 enodes (cost 248 ) 3.589 * * [simplify]: iteration 4 : 1459 enodes (cost 248 ) 3.629 * * [simplify]: iteration 5 : 5002 enodes (cost 248 ) 3.631 * [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.631 * * * [progress]: adding candidates to table 4.132 * [progress]: [Phase 3 of 3] Extracting. 4.133 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # # # # #) 4.206 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 4.206 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # # # # # #) 4.442 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # # # # # # # # # # #) 4.678 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # # # # # # # # # # #) 4.918 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # # # # # #) 5.155 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # # # # # #) 5.395 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # # # # # #) 5.637 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # # # # # #) 5.870 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # # # # # #) 6.106 * * * [regime]: Found split indices: #