3.666 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 24.924 * * * [progress]: [2/2] Setting up program. 24.933 * [progress]: [Phase 2 of 3] Improving. 24.933 * [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))))))))) 24.935 * * [simplify]: iteration 0 : 56 enodes (cost 38 ) 24.937 * * [simplify]: iteration 1 : 98 enodes (cost 38 ) 24.938 * * [simplify]: iteration 2 : 182 enodes (cost 38 ) 24.942 * * [simplify]: iteration 3 : 309 enodes (cost 38 ) 24.948 * * [simplify]: iteration 4 : 609 enodes (cost 38 ) 24.963 * * [simplify]: iteration 5 : 2169 enodes (cost 38 ) 25.011 * * [simplify]: iteration 6 : 5001 enodes (cost 38 ) 25.011 * [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))))))))) 25.012 * * [progress]: iteration 1 / 4 25.012 * * * [progress]: picking best candidate 25.020 * * * * [pick]: Picked # 25.020 * * * [progress]: localizing error 25.061 * * * [progress]: generating rewritten candidates 25.061 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 25.066 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 25.070 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 25.075 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 25.080 * * * [progress]: generating series expansions 25.080 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 25.081 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 25.081 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 25.081 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 25.081 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.081 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 25.081 * [taylor]: Taking taylor expansion of phi1 in phi2 25.081 * [taylor]: Taking taylor expansion of phi2 in phi2 25.081 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 25.081 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 25.081 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.081 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 25.081 * [taylor]: Taking taylor expansion of phi1 in phi1 25.081 * [taylor]: Taking taylor expansion of phi2 in phi1 25.081 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 25.081 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 25.081 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.081 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 25.081 * [taylor]: Taking taylor expansion of phi1 in phi1 25.081 * [taylor]: Taking taylor expansion of phi2 in phi1 25.082 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 25.082 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.082 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.082 * [taylor]: Taking taylor expansion of phi2 in phi2 25.082 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 25.082 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.082 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 25.082 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.082 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.082 * [taylor]: Taking taylor expansion of phi2 in phi2 25.083 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 25.083 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 25.083 * [taylor]: Taking taylor expansion of 0.125 in phi2 25.083 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 25.083 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.083 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.083 * [taylor]: Taking taylor expansion of phi2 in phi2 25.084 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 25.084 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 25.084 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 25.084 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 25.084 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.084 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.084 * [taylor]: Taking taylor expansion of phi2 in phi2 25.084 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 25.084 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 25.084 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 25.084 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.084 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 25.084 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.084 * [taylor]: Taking taylor expansion of phi1 in phi2 25.084 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.084 * [taylor]: Taking taylor expansion of phi2 in phi2 25.084 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 25.084 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 25.084 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.084 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 25.084 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.084 * [taylor]: Taking taylor expansion of phi1 in phi1 25.084 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.084 * [taylor]: Taking taylor expansion of phi2 in phi1 25.084 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 25.084 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 25.085 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.085 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 25.085 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.085 * [taylor]: Taking taylor expansion of phi1 in phi1 25.085 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.085 * [taylor]: Taking taylor expansion of phi2 in phi1 25.085 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 25.085 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 25.085 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.085 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 25.085 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.085 * [taylor]: Taking taylor expansion of phi1 in phi2 25.085 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.085 * [taylor]: Taking taylor expansion of phi2 in phi2 25.085 * [taylor]: Taking taylor expansion of 0 in phi2 25.085 * [taylor]: Taking taylor expansion of 0 in phi2 25.085 * [taylor]: Taking taylor expansion of 0 in phi2 25.085 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 25.085 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 25.085 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 25.085 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.085 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 25.085 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.085 * [taylor]: Taking taylor expansion of phi2 in phi2 25.085 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.085 * [taylor]: Taking taylor expansion of phi1 in phi2 25.086 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 25.086 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 25.086 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.086 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 25.086 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.086 * [taylor]: Taking taylor expansion of phi2 in phi1 25.086 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.086 * [taylor]: Taking taylor expansion of phi1 in phi1 25.086 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 25.086 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 25.086 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.086 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 25.086 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.086 * [taylor]: Taking taylor expansion of phi2 in phi1 25.086 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.086 * [taylor]: Taking taylor expansion of phi1 in phi1 25.086 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 25.086 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 25.086 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.086 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 25.086 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.086 * [taylor]: Taking taylor expansion of phi2 in phi2 25.086 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.086 * [taylor]: Taking taylor expansion of phi1 in phi2 25.086 * [taylor]: Taking taylor expansion of 0 in phi2 25.086 * [taylor]: Taking taylor expansion of 0 in phi2 25.086 * [taylor]: Taking taylor expansion of 0 in phi2 25.087 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 25.087 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 25.087 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 25.087 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 25.087 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.087 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 25.087 * [taylor]: Taking taylor expansion of phi1 in phi2 25.087 * [taylor]: Taking taylor expansion of phi2 in phi2 25.087 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 25.087 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 25.087 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.087 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 25.087 * [taylor]: Taking taylor expansion of phi1 in phi1 25.087 * [taylor]: Taking taylor expansion of phi2 in phi1 25.087 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 25.087 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 25.087 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.087 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 25.087 * [taylor]: Taking taylor expansion of phi1 in phi1 25.087 * [taylor]: Taking taylor expansion of phi2 in phi1 25.087 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 25.087 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.087 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.087 * [taylor]: Taking taylor expansion of phi2 in phi2 25.088 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 25.088 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.088 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 25.088 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.088 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.088 * [taylor]: Taking taylor expansion of phi2 in phi2 25.088 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 25.088 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 25.088 * [taylor]: Taking taylor expansion of 0.125 in phi2 25.088 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 25.088 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.088 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.088 * [taylor]: Taking taylor expansion of phi2 in phi2 25.089 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 25.089 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 25.089 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 25.089 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 25.089 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.089 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.089 * [taylor]: Taking taylor expansion of phi2 in phi2 25.089 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 25.089 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 25.089 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 25.090 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.090 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 25.090 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.090 * [taylor]: Taking taylor expansion of phi1 in phi2 25.090 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.090 * [taylor]: Taking taylor expansion of phi2 in phi2 25.090 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 25.090 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 25.090 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.090 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 25.090 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.090 * [taylor]: Taking taylor expansion of phi1 in phi1 25.090 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.090 * [taylor]: Taking taylor expansion of phi2 in phi1 25.090 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 25.090 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 25.090 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.090 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 25.090 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.090 * [taylor]: Taking taylor expansion of phi1 in phi1 25.090 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.090 * [taylor]: Taking taylor expansion of phi2 in phi1 25.090 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 25.090 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 25.090 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.090 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 25.090 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.090 * [taylor]: Taking taylor expansion of phi1 in phi2 25.090 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.090 * [taylor]: Taking taylor expansion of phi2 in phi2 25.091 * [taylor]: Taking taylor expansion of 0 in phi2 25.091 * [taylor]: Taking taylor expansion of 0 in phi2 25.091 * [taylor]: Taking taylor expansion of 0 in phi2 25.091 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 25.091 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 25.091 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 25.091 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.091 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 25.091 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.091 * [taylor]: Taking taylor expansion of phi2 in phi2 25.091 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.091 * [taylor]: Taking taylor expansion of phi1 in phi2 25.091 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 25.091 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 25.091 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.091 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 25.091 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.091 * [taylor]: Taking taylor expansion of phi2 in phi1 25.091 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.091 * [taylor]: Taking taylor expansion of phi1 in phi1 25.091 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 25.091 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 25.091 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.091 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 25.091 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.091 * [taylor]: Taking taylor expansion of phi2 in phi1 25.091 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.091 * [taylor]: Taking taylor expansion of phi1 in phi1 25.092 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 25.092 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 25.092 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.092 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 25.092 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.092 * [taylor]: Taking taylor expansion of phi2 in phi2 25.092 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.092 * [taylor]: Taking taylor expansion of phi1 in phi2 25.092 * [taylor]: Taking taylor expansion of 0 in phi2 25.092 * [taylor]: Taking taylor expansion of 0 in phi2 25.092 * [taylor]: Taking taylor expansion of 0 in phi2 25.092 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 25.092 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.092 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.092 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.092 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.092 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.092 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.092 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.092 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.092 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.092 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.092 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.092 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.092 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.093 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.093 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.093 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.093 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.093 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.093 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.093 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.093 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.093 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.093 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.093 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.093 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.093 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.093 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.093 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.093 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.094 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 25.094 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.094 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.094 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.094 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.094 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.094 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.095 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.095 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.095 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.095 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.095 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.095 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.095 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.095 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 25.095 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.095 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.095 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.095 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.095 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.095 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.095 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.095 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.095 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.095 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.095 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.095 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.095 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.095 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.095 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.095 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.095 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.095 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.095 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.096 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.096 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.096 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.096 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.096 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.096 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.096 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.096 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.096 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.096 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.096 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.096 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.096 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.096 * [taylor]: Taking taylor expansion of 0 in lambda2 25.096 * [taylor]: Taking taylor expansion of 0 in lambda2 25.096 * [taylor]: Taking taylor expansion of 0 in lambda2 25.096 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 25.096 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.096 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.096 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.096 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.096 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.096 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.096 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.096 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.097 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.097 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.097 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.097 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.097 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.097 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.097 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.097 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.097 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.097 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.097 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.097 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.097 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.097 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.097 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.097 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.097 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.097 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.097 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.097 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.097 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.097 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.097 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.097 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.097 * [taylor]: Taking taylor expansion of 0 in lambda2 25.097 * [taylor]: Taking taylor expansion of 0 in lambda2 25.097 * [taylor]: Taking taylor expansion of 0 in lambda2 25.098 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 25.098 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.098 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.098 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.098 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.098 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.098 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.098 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.098 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.098 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.098 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.098 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.098 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.098 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.098 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.098 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.098 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.098 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.098 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.098 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.098 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.098 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.098 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.098 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.099 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.099 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.099 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.099 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.099 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.099 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.099 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 25.099 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.099 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.099 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.099 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.099 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.099 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.100 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.100 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.100 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.100 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.100 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.100 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.100 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.100 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 25.101 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.101 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.101 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.101 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.101 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.101 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.101 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.101 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.101 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.101 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.101 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.101 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.101 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.101 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.101 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.101 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.101 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.101 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.101 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.101 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.101 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.101 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.101 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.101 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.101 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.101 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.101 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.101 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.101 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.101 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.101 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.101 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.102 * [taylor]: Taking taylor expansion of 0 in lambda2 25.102 * [taylor]: Taking taylor expansion of 0 in lambda2 25.102 * [taylor]: Taking taylor expansion of 0 in lambda2 25.102 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 25.102 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.102 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.102 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.102 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.102 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.102 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.102 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.102 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.102 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.102 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.102 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.102 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.102 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.102 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.102 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.102 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.102 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.102 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.102 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.102 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.102 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.103 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.103 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.103 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.103 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.103 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.103 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.103 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.103 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.103 * [taylor]: Taking taylor expansion of 0 in lambda2 25.103 * [taylor]: Taking taylor expansion of 0 in lambda2 25.103 * [taylor]: Taking taylor expansion of 0 in lambda2 25.103 * * * [progress]: simplifying candidates 25.104 * [simplify]: Simplifying using # : (* (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))) (* (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))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 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))) 25.107 * * [simplify]: iteration 0 : 102 enodes (cost 248 ) 25.109 * * [simplify]: iteration 1 : 170 enodes (cost 216 ) 25.112 * * [simplify]: iteration 2 : 356 enodes (cost 216 ) 25.117 * * [simplify]: iteration 3 : 692 enodes (cost 216 ) 25.133 * * [simplify]: iteration 4 : 2118 enodes (cost 216 ) 25.181 * * [simplify]: iteration 5 : 5001 enodes (cost 216 ) 25.183 * [simplify]: Simplified to: (* (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))) (* (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))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- phi1 phi2)) (* 0.020833333333333332 (pow phi1 3))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 (- phi1 phi2)) (* 0.020833333333333332 (pow phi1 3))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 25.183 * * * [progress]: adding candidates to table 25.398 * * [progress]: iteration 2 / 4 25.398 * * * [progress]: picking best candidate 25.515 * * * * [pick]: Picked # 25.515 * * * [progress]: localizing error 25.567 * * * [progress]: generating rewritten candidates 25.567 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1 1) 25.573 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 25.578 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 25.583 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 25.588 * * * [progress]: generating series expansions 25.588 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1 1) 25.588 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 25.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 25.588 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 25.588 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.588 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 25.588 * [taylor]: Taking taylor expansion of phi1 in phi2 25.588 * [taylor]: Taking taylor expansion of phi2 in phi2 25.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 25.588 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 25.588 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.588 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 25.588 * [taylor]: Taking taylor expansion of phi1 in phi1 25.588 * [taylor]: Taking taylor expansion of phi2 in phi1 25.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 25.589 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 25.589 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.589 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 25.589 * [taylor]: Taking taylor expansion of phi1 in phi1 25.589 * [taylor]: Taking taylor expansion of phi2 in phi1 25.589 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 25.589 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.589 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.589 * [taylor]: Taking taylor expansion of phi2 in phi2 25.589 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 25.589 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.589 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 25.589 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.589 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.589 * [taylor]: Taking taylor expansion of phi2 in phi2 25.590 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 25.590 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 25.590 * [taylor]: Taking taylor expansion of 0.125 in phi2 25.590 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 25.590 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.590 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.590 * [taylor]: Taking taylor expansion of phi2 in phi2 25.591 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 25.591 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 25.591 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 25.591 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 25.591 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 25.591 * [taylor]: Taking taylor expansion of -0.5 in phi2 25.591 * [taylor]: Taking taylor expansion of phi2 in phi2 25.591 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 25.591 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 25.591 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 25.591 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.591 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 25.591 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.591 * [taylor]: Taking taylor expansion of phi1 in phi2 25.591 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.591 * [taylor]: Taking taylor expansion of phi2 in phi2 25.591 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 25.591 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 25.591 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.591 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 25.591 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.591 * [taylor]: Taking taylor expansion of phi1 in phi1 25.591 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.591 * [taylor]: Taking taylor expansion of phi2 in phi1 25.592 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 25.592 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 25.592 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.592 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 25.592 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.592 * [taylor]: Taking taylor expansion of phi1 in phi1 25.592 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.592 * [taylor]: Taking taylor expansion of phi2 in phi1 25.592 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 25.592 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 25.592 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.592 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 25.592 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.592 * [taylor]: Taking taylor expansion of phi1 in phi2 25.592 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.592 * [taylor]: Taking taylor expansion of phi2 in phi2 25.592 * [taylor]: Taking taylor expansion of 0 in phi2 25.592 * [taylor]: Taking taylor expansion of 0 in phi2 25.592 * [taylor]: Taking taylor expansion of 0 in phi2 25.592 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 25.592 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 25.592 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 25.592 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.592 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 25.592 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.592 * [taylor]: Taking taylor expansion of phi2 in phi2 25.592 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.593 * [taylor]: Taking taylor expansion of phi1 in phi2 25.593 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 25.593 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 25.593 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.593 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 25.593 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.593 * [taylor]: Taking taylor expansion of phi2 in phi1 25.593 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.593 * [taylor]: Taking taylor expansion of phi1 in phi1 25.593 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 25.593 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 25.593 * [taylor]: Taking taylor expansion of 0.5 in phi1 25.593 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 25.593 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 25.593 * [taylor]: Taking taylor expansion of phi2 in phi1 25.593 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 25.593 * [taylor]: Taking taylor expansion of phi1 in phi1 25.593 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 25.593 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 25.593 * [taylor]: Taking taylor expansion of 0.5 in phi2 25.593 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 25.593 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 25.593 * [taylor]: Taking taylor expansion of phi2 in phi2 25.593 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 25.593 * [taylor]: Taking taylor expansion of phi1 in phi2 25.593 * [taylor]: Taking taylor expansion of 0 in phi2 25.594 * [taylor]: Taking taylor expansion of 0 in phi2 25.594 * [taylor]: Taking taylor expansion of 0 in phi2 25.594 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 25.594 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.594 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.594 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.594 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.594 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.594 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.594 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.594 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.594 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.594 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.594 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.594 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.594 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.594 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.594 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.594 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.594 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.594 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.594 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.594 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.594 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.594 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.594 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.595 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.595 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.595 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.595 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.595 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.595 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.595 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 25.595 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.595 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.595 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.595 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.595 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.595 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.596 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.596 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.596 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.596 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.596 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.596 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.596 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.597 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 25.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.597 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.597 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.597 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.597 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.597 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.597 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.597 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.597 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.597 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.597 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.597 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.597 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.597 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.597 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.597 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.597 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.597 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.597 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.597 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.597 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.597 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.597 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.597 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.597 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.597 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.597 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.597 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.597 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.598 * [taylor]: Taking taylor expansion of 0 in lambda2 25.598 * [taylor]: Taking taylor expansion of 0 in lambda2 25.598 * [taylor]: Taking taylor expansion of 0 in lambda2 25.598 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 25.598 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.598 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.598 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.598 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.598 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.598 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.598 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.598 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.598 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.598 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.598 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.598 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.598 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.598 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.598 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.598 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.598 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.598 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.598 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.598 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.598 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.598 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.598 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.599 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.599 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.599 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.599 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.599 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.599 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.599 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.599 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.599 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.599 * [taylor]: Taking taylor expansion of 0 in lambda2 25.599 * [taylor]: Taking taylor expansion of 0 in lambda2 25.599 * [taylor]: Taking taylor expansion of 0 in lambda2 25.599 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 25.599 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.599 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.599 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.599 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.599 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.599 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.599 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.599 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.599 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.599 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.599 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.599 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.600 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.600 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.600 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.600 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.600 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.600 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.600 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.600 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.600 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.600 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.600 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.600 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.600 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.600 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.600 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.600 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.600 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.601 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 25.601 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.601 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.601 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.601 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.601 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.601 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.602 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.602 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.602 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.602 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.602 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.602 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.602 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.602 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 25.602 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.602 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.602 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.602 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.602 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.602 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.602 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.602 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.602 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.602 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.602 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.602 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.602 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.602 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.602 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.603 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.603 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.603 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.603 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.603 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.603 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.603 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.603 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.603 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.603 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.603 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.603 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.603 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.603 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.603 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.603 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.603 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.603 * [taylor]: Taking taylor expansion of 0 in lambda2 25.603 * [taylor]: Taking taylor expansion of 0 in lambda2 25.603 * [taylor]: Taking taylor expansion of 0 in lambda2 25.604 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 25.604 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.604 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.604 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.604 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.604 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.604 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.604 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.604 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.604 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.604 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.604 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.604 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.604 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.604 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.604 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.604 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.604 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.604 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.604 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.604 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.604 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.604 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.604 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.604 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.604 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.605 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.605 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.605 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.605 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.605 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.605 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.605 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.605 * [taylor]: Taking taylor expansion of 0 in lambda2 25.605 * [taylor]: Taking taylor expansion of 0 in lambda2 25.605 * [taylor]: Taking taylor expansion of 0 in lambda2 25.605 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 25.605 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.605 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.605 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.605 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.605 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.605 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.605 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.605 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.605 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.605 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.605 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.605 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.605 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.605 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.605 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.606 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.606 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.606 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.606 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.606 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.606 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.606 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.606 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.606 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.606 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.606 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.606 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.606 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.606 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.607 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 25.607 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.607 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.607 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.607 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.607 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.607 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.607 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.607 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.608 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.608 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.608 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.608 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.608 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.608 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 25.608 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.608 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.608 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.608 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.608 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.608 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.608 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.608 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.608 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.608 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.608 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.608 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.608 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.608 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.608 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.608 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.608 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.608 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.608 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.608 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.608 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.608 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.609 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.609 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.609 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.609 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.609 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.609 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.609 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.609 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.609 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.609 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.609 * [taylor]: Taking taylor expansion of 0 in lambda2 25.609 * [taylor]: Taking taylor expansion of 0 in lambda2 25.609 * [taylor]: Taking taylor expansion of 0 in lambda2 25.609 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 25.609 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.609 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.609 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.609 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.609 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.609 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.609 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.609 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.609 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.609 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.610 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.610 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.610 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.610 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.610 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.610 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.610 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.610 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.610 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.610 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.610 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.610 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.610 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.610 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.610 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.610 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.610 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.610 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.610 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.610 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.610 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.610 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.610 * [taylor]: Taking taylor expansion of 0 in lambda2 25.610 * [taylor]: Taking taylor expansion of 0 in lambda2 25.610 * [taylor]: Taking taylor expansion of 0 in lambda2 25.611 * * * [progress]: simplifying candidates 25.611 * [simplify]: Simplifying using # : (* (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))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 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))) 25.614 * * [simplify]: iteration 0 : 102 enodes (cost 248 ) 25.616 * * [simplify]: iteration 1 : 170 enodes (cost 216 ) 25.619 * * [simplify]: iteration 2 : 356 enodes (cost 216 ) 25.625 * * [simplify]: iteration 3 : 692 enodes (cost 216 ) 25.640 * * [simplify]: iteration 4 : 2118 enodes (cost 216 ) 25.690 * * [simplify]: iteration 5 : 5001 enodes (cost 216 ) 25.691 * [simplify]: Simplified to: (* (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))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- phi1 phi2)) (* 0.020833333333333332 (pow phi1 3))) (sin (* 0.5 (- phi1 phi2))) (sin (* 0.5 (- phi1 phi2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 25.692 * * * [progress]: adding candidates to table 25.943 * * [progress]: iteration 3 / 4 25.943 * * * [progress]: picking best candidate 26.130 * * * * [pick]: Picked # 26.130 * * * [progress]: localizing error 26.180 * * * [progress]: generating rewritten candidates 26.180 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 26.185 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 26.190 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 26.195 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 26.200 * * * [progress]: generating series expansions 26.200 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 26.200 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 26.200 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 26.200 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 26.200 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.200 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 26.200 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.200 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.200 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 26.200 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 26.200 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.201 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 26.201 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.201 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.201 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 26.201 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 26.201 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.201 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 26.201 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.201 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.201 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 26.201 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.201 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.201 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.201 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 26.201 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.201 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 26.201 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.201 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.201 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.202 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 26.202 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 26.202 * [taylor]: Taking taylor expansion of 0.125 in lambda2 26.202 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 26.202 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.202 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.202 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.203 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 26.203 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 26.203 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 26.203 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 26.203 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.203 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.203 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.203 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 26.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 26.203 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 26.203 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.203 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 26.203 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.203 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.203 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.203 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 26.203 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 26.204 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.204 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 26.204 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.204 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.204 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.204 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.204 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 26.204 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 26.204 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.204 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 26.204 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.204 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.204 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.204 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.204 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 26.204 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 26.204 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.204 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 26.204 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.204 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.204 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.204 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.204 * [taylor]: Taking taylor expansion of 0 in lambda2 26.204 * [taylor]: Taking taylor expansion of 0 in lambda2 26.204 * [taylor]: Taking taylor expansion of 0 in lambda2 26.205 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 26.205 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 26.205 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 26.205 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.205 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 26.205 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.205 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.205 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.205 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.205 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 26.205 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 26.205 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.205 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 26.205 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.205 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.205 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.205 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.205 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 26.205 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 26.205 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.205 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 26.205 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.205 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.205 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.205 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.205 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 26.205 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 26.205 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.205 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 26.205 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.205 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.205 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.205 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.206 * [taylor]: Taking taylor expansion of 0 in lambda2 26.206 * [taylor]: Taking taylor expansion of 0 in lambda2 26.206 * [taylor]: Taking taylor expansion of 0 in lambda2 26.206 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 26.206 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 26.206 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 26.206 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 26.206 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.206 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 26.206 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.206 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.206 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 26.206 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 26.206 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.206 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 26.206 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.206 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.206 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 26.206 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 26.206 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.206 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 26.206 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.206 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.207 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 26.207 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.207 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.207 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.207 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 26.207 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.207 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 26.207 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.207 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.207 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.208 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 26.208 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 26.208 * [taylor]: Taking taylor expansion of 0.125 in lambda2 26.208 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 26.208 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.208 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.208 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.208 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 26.208 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 26.208 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 26.208 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 26.208 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.208 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.208 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.209 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 26.209 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 26.209 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 26.209 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.209 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 26.209 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.209 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.209 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.209 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.209 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 26.209 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 26.209 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.209 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 26.209 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.209 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.209 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.209 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.209 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 26.209 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 26.209 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.209 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 26.209 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.209 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.209 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.209 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.210 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 26.210 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 26.210 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.210 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 26.210 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.210 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.210 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.210 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.210 * [taylor]: Taking taylor expansion of 0 in lambda2 26.210 * [taylor]: Taking taylor expansion of 0 in lambda2 26.210 * [taylor]: Taking taylor expansion of 0 in lambda2 26.210 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 26.210 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 26.210 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 26.210 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.210 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 26.210 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.210 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.210 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.210 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.210 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 26.210 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 26.210 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.210 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 26.210 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.210 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.211 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.211 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.211 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 26.211 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 26.211 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.211 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 26.211 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.211 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.211 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.211 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.211 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 26.211 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 26.211 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.211 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 26.211 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.211 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.211 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.211 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.211 * [taylor]: Taking taylor expansion of 0 in lambda2 26.211 * [taylor]: Taking taylor expansion of 0 in lambda2 26.211 * [taylor]: Taking taylor expansion of 0 in lambda2 26.211 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 26.212 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 26.212 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 26.212 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 26.212 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.212 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 26.212 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.212 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.212 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 26.212 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 26.212 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.212 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 26.212 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.212 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.212 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 26.212 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 26.212 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.212 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 26.212 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.212 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.212 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 26.212 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.212 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.212 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.213 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 26.213 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.213 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 26.213 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.213 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.213 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.213 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 26.213 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 26.213 * [taylor]: Taking taylor expansion of 0.125 in lambda2 26.213 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 26.213 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.213 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.213 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.214 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 26.214 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 26.214 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 26.214 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 26.214 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.214 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.214 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.214 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 26.214 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 26.214 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 26.214 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.214 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 26.214 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.214 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.215 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.215 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.215 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 26.215 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 26.215 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.215 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 26.215 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.215 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.215 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.215 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.215 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 26.215 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 26.215 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.215 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 26.215 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.215 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.215 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.215 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.215 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 26.215 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 26.215 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.215 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 26.215 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.215 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.215 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.215 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.216 * [taylor]: Taking taylor expansion of 0 in lambda2 26.216 * [taylor]: Taking taylor expansion of 0 in lambda2 26.216 * [taylor]: Taking taylor expansion of 0 in lambda2 26.216 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 26.216 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 26.216 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 26.216 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.216 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 26.216 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.216 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.216 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.216 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.216 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 26.216 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 26.216 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.216 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 26.216 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.216 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.216 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.216 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.216 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 26.216 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 26.216 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.216 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 26.216 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.216 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.217 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.217 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.217 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 26.217 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 26.217 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.217 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 26.217 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.217 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.217 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.217 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.217 * [taylor]: Taking taylor expansion of 0 in lambda2 26.217 * [taylor]: Taking taylor expansion of 0 in lambda2 26.217 * [taylor]: Taking taylor expansion of 0 in lambda2 26.217 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 26.217 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 26.217 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 26.217 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 26.217 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.217 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 26.217 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.217 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.217 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 26.217 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 26.218 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.218 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 26.218 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.218 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.218 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 26.218 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 26.218 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.218 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 26.218 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.218 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.218 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 26.218 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.218 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.218 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.218 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 26.218 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.218 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 26.218 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.218 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.218 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.219 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 26.219 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 26.219 * [taylor]: Taking taylor expansion of 0.125 in lambda2 26.219 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 26.219 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.219 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.219 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.220 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 26.220 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 26.220 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 26.220 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 26.220 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 26.220 * [taylor]: Taking taylor expansion of -0.5 in lambda2 26.220 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.220 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 26.220 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 26.220 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 26.220 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.220 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 26.220 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.220 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.220 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.220 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.220 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 26.220 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 26.220 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.220 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 26.220 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.220 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.220 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.221 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.221 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 26.221 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 26.221 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.221 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 26.221 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.221 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.221 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.221 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.221 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 26.221 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 26.221 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.221 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 26.221 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.221 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.221 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.221 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.221 * [taylor]: Taking taylor expansion of 0 in lambda2 26.221 * [taylor]: Taking taylor expansion of 0 in lambda2 26.221 * [taylor]: Taking taylor expansion of 0 in lambda2 26.222 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 26.222 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 26.222 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 26.222 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.222 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 26.222 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.222 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.222 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.222 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.222 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 26.222 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 26.222 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.222 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 26.222 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.222 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.222 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.222 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.222 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 26.222 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 26.222 * [taylor]: Taking taylor expansion of 0.5 in lambda1 26.222 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 26.222 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 26.222 * [taylor]: Taking taylor expansion of lambda2 in lambda1 26.222 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 26.222 * [taylor]: Taking taylor expansion of lambda1 in lambda1 26.222 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 26.222 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 26.222 * [taylor]: Taking taylor expansion of 0.5 in lambda2 26.222 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 26.223 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 26.223 * [taylor]: Taking taylor expansion of lambda2 in lambda2 26.223 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 26.223 * [taylor]: Taking taylor expansion of lambda1 in lambda2 26.223 * [taylor]: Taking taylor expansion of 0 in lambda2 26.223 * [taylor]: Taking taylor expansion of 0 in lambda2 26.223 * [taylor]: Taking taylor expansion of 0 in lambda2 26.223 * * * [progress]: simplifying candidates 26.224 * [simplify]: Simplifying using # : (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 26.227 * * [simplify]: iteration 0 : 54 enodes (cost 248 ) 26.228 * * [simplify]: iteration 1 : 89 enodes (cost 216 ) 26.231 * * [simplify]: iteration 2 : 188 enodes (cost 216 ) 26.235 * * [simplify]: iteration 3 : 373 enodes (cost 216 ) 26.245 * * [simplify]: iteration 4 : 1242 enodes (cost 216 ) 26.280 * * [simplify]: iteration 5 : 4970 enodes (cost 216 ) 26.419 * * [simplify]: iteration 6 : 5002 enodes (cost 216 ) 26.420 * [simplify]: Simplified to: (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 26.421 * * * [progress]: adding candidates to table 26.722 * * [progress]: iteration 4 / 4 26.722 * * * [progress]: picking best candidate 26.927 * * * * [pick]: Picked # 26.928 * * * [progress]: localizing error 26.979 * * * [progress]: generating rewritten candidates 26.979 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 26.985 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 26.990 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 26.995 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 27.000 * * * [progress]: generating series expansions 27.000 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 27.001 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 27.001 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 27.001 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 27.001 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.001 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 27.001 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.001 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.001 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 27.001 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 27.001 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.001 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 27.001 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.001 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.001 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 27.001 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 27.001 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.001 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 27.001 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.001 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.001 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 27.001 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.001 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.001 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.002 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 27.002 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.002 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 27.002 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.002 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.002 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.002 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 27.002 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 27.002 * [taylor]: Taking taylor expansion of 0.125 in lambda2 27.002 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 27.002 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.002 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.002 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.003 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 27.003 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 27.003 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 27.003 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 27.003 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.003 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.003 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.004 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 27.004 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 27.004 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 27.004 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.004 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 27.004 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.004 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.004 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.004 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.004 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 27.004 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 27.004 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.004 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 27.004 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.004 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.004 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.004 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.004 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 27.004 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 27.004 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.004 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 27.004 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.004 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.004 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.004 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.004 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 27.004 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 27.004 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.004 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 27.004 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.004 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.004 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.004 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.005 * [taylor]: Taking taylor expansion of 0 in lambda2 27.005 * [taylor]: Taking taylor expansion of 0 in lambda2 27.005 * [taylor]: Taking taylor expansion of 0 in lambda2 27.005 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 27.005 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 27.005 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 27.005 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.005 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 27.005 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.005 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.005 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.005 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.005 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 27.005 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 27.005 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.005 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 27.005 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.005 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.005 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.005 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.005 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 27.006 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 27.006 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.006 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 27.006 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.006 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.006 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.006 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.006 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 27.006 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 27.006 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.006 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 27.006 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.006 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.006 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.006 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.006 * [taylor]: Taking taylor expansion of 0 in lambda2 27.006 * [taylor]: Taking taylor expansion of 0 in lambda2 27.006 * [taylor]: Taking taylor expansion of 0 in lambda2 27.006 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 27.006 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 27.006 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 27.006 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 27.006 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.006 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 27.006 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.006 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.007 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 27.007 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 27.007 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.007 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 27.007 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.007 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.007 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 27.007 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 27.007 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.007 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 27.007 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.007 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.007 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 27.007 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.007 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.007 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.007 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 27.007 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.007 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 27.007 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.007 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.007 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.008 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 27.008 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 27.008 * [taylor]: Taking taylor expansion of 0.125 in lambda2 27.008 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 27.008 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.008 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.008 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.009 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 27.009 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 27.009 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 27.009 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 27.009 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.009 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.009 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.009 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 27.009 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 27.009 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 27.009 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.009 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 27.009 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.009 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.009 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.009 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.009 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 27.009 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 27.009 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.009 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 27.009 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.009 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.010 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.010 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.010 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 27.010 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 27.010 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.010 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 27.010 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.010 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.010 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.010 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.010 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 27.010 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 27.010 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.010 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 27.010 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.010 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.010 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.010 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.010 * [taylor]: Taking taylor expansion of 0 in lambda2 27.010 * [taylor]: Taking taylor expansion of 0 in lambda2 27.010 * [taylor]: Taking taylor expansion of 0 in lambda2 27.010 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 27.010 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 27.011 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 27.011 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.011 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 27.011 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.011 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.011 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.011 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.011 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 27.011 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 27.011 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.011 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 27.011 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.011 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.011 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.011 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.011 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 27.011 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 27.011 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.011 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 27.011 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.011 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.011 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.011 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.013 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 27.013 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 27.013 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.013 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 27.013 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.013 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.013 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.013 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.013 * [taylor]: Taking taylor expansion of 0 in lambda2 27.013 * [taylor]: Taking taylor expansion of 0 in lambda2 27.013 * [taylor]: Taking taylor expansion of 0 in lambda2 27.014 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 27.014 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 27.014 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 27.014 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 27.014 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.014 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 27.014 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.014 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.014 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 27.014 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 27.014 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.014 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 27.014 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.014 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.014 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 27.014 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 27.014 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.014 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 27.014 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.014 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.014 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 27.014 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.014 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.014 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.015 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 27.015 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.015 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 27.015 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.015 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.015 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.015 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 27.015 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 27.015 * [taylor]: Taking taylor expansion of 0.125 in lambda2 27.015 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 27.015 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.015 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.015 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.016 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 27.016 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 27.016 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 27.016 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 27.016 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.016 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.016 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.017 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 27.017 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 27.017 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 27.017 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.017 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 27.017 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.017 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.017 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.017 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.017 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 27.017 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 27.017 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.017 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 27.017 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.017 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.017 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.017 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.017 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 27.017 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 27.017 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.017 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 27.017 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.017 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.018 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.018 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.018 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 27.018 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 27.018 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.018 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 27.018 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.018 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.018 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.018 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.018 * [taylor]: Taking taylor expansion of 0 in lambda2 27.018 * [taylor]: Taking taylor expansion of 0 in lambda2 27.018 * [taylor]: Taking taylor expansion of 0 in lambda2 27.018 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 27.018 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 27.018 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 27.018 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.018 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 27.018 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.018 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.018 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.018 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.018 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 27.019 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 27.019 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.019 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 27.019 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.019 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.019 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.019 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.019 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 27.019 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 27.019 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.019 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 27.019 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.019 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.019 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.019 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.019 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 27.019 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 27.019 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.019 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 27.019 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.019 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.019 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.019 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.019 * [taylor]: Taking taylor expansion of 0 in lambda2 27.019 * [taylor]: Taking taylor expansion of 0 in lambda2 27.019 * [taylor]: Taking taylor expansion of 0 in lambda2 27.020 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 27.020 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 27.020 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 27.020 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 27.020 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.020 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 27.020 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.020 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.020 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 27.020 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 27.020 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.020 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 27.020 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.020 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.020 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 27.020 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 27.020 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.020 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 27.020 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.020 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.020 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 27.020 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.020 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.020 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.021 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 27.021 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.021 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 27.021 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.021 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.021 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.021 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 27.021 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 27.021 * [taylor]: Taking taylor expansion of 0.125 in lambda2 27.021 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 27.021 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.021 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.021 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.022 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 27.022 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 27.022 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 27.022 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 27.022 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 27.022 * [taylor]: Taking taylor expansion of -0.5 in lambda2 27.022 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.023 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 27.023 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 27.023 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 27.023 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.023 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 27.023 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.023 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.023 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.023 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.023 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 27.023 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 27.023 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.023 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 27.023 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.023 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.023 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.023 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.023 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 27.023 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 27.023 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.023 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 27.023 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.023 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.023 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.023 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.023 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 27.023 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 27.023 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.024 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 27.024 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.024 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.024 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.024 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.024 * [taylor]: Taking taylor expansion of 0 in lambda2 27.024 * [taylor]: Taking taylor expansion of 0 in lambda2 27.024 * [taylor]: Taking taylor expansion of 0 in lambda2 27.024 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 27.024 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 27.024 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 27.024 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.024 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 27.024 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.024 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.024 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.024 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.024 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 27.024 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 27.024 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.024 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 27.024 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.024 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.024 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.024 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.025 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 27.025 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 27.025 * [taylor]: Taking taylor expansion of 0.5 in lambda1 27.025 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 27.025 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 27.025 * [taylor]: Taking taylor expansion of lambda2 in lambda1 27.025 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 27.025 * [taylor]: Taking taylor expansion of lambda1 in lambda1 27.025 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 27.025 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 27.025 * [taylor]: Taking taylor expansion of 0.5 in lambda2 27.025 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 27.025 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 27.025 * [taylor]: Taking taylor expansion of lambda2 in lambda2 27.025 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 27.025 * [taylor]: Taking taylor expansion of lambda1 in lambda2 27.025 * [taylor]: Taking taylor expansion of 0 in lambda2 27.025 * [taylor]: Taking taylor expansion of 0 in lambda2 27.025 * [taylor]: Taking taylor expansion of 0 in lambda2 27.025 * * * [progress]: simplifying candidates 27.026 * [simplify]: Simplifying using # : (log (* (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log 1) (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))))) (log (exp (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (log (exp (sqrt (sin (/ (- lambda1 lambda2) 2.0))))) (log (exp 1)) (log (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (exp (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (* (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (* (* (log (exp (sin (/ (- lambda1 lambda2) 2.0)))) (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (log (exp (sin (/ (- lambda1 lambda2) 2.0))))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 27.029 * * [simplify]: iteration 0 : 91 enodes (cost 298 ) 27.031 * * [simplify]: iteration 1 : 150 enodes (cost 260 ) 27.034 * * [simplify]: iteration 2 : 292 enodes (cost 260 ) 27.038 * * [simplify]: iteration 3 : 578 enodes (cost 260 ) 27.051 * * [simplify]: iteration 4 : 1948 enodes (cost 260 ) 27.090 * * [simplify]: iteration 5 : 5001 enodes (cost 260 ) 27.092 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0)))))) (log (cbrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) (log (sqrt (exp (sin (/ (- lambda1 lambda2) 2.0))))) 0 (sin (/ (- lambda1 lambda2) 2.0)) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (sin (/ (- lambda1 lambda2) 2.0)) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 27.093 * * * [progress]: adding candidates to table 27.435 * [progress]: [Phase 3 of 3] Extracting. 27.435 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # #) 27.495 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 27.495 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # # #) 27.782 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # # # # # # # #) 28.055 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # # # # # # # #) 28.332 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # # #) 28.605 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # # #) 28.877 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # # #) 29.149 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # # #) 29.419 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # # #) 29.686 * * * [regime]: Found split indices: #